CONTEXT: Ubiquitous Computing (or UbiComp) represents a paradigm in which information
processing is thoroughly integrated into everyday objects and activities. From a Software …

We address the problem of reachability analysis for large finite state systems. Symbolic
techniques have revolutionized reachability analysis but still have limitations in traversing …

This paper describes research that aims to define the information needs of mobile
individuals, to implement a mobile information system that can satisfy those needs, and …

Sustained advances in wireless communications, geo-positioning, and consumer
electronics pave the way to a kind of location-based service that relies on the tracking of the …

This paper describes a new possible model for distributing hyper-local data across
subscribers. This new model uses Wi-Fi proximity approach as a service. According to this …

Location-Based Service (LBS) is considered as a key component of upcoming ubiquitous
environments. A recommendation system based on LBS is expected to be an important …

The convergence and miniaturisation of a range of information and communication
technologies, together with increasing bandwidth availability and near ubiquity of mobile …

Advances in mobile devices, sensors and wireless networks have motivated the
development of context-aware applications. Such mobile applications use sensors for …

Purpose–The design of context‐aware mobile applications can be improved through a clear
and in‐depth understanding of context and how it can be used to meet users' requirements …

While an enterprise architectural approach is appropriate for business and IT alignment it
also has potential with respect to the design and implementation of healthcare applications …