224 search results - page 2 / 45 » A Formal Treatment of Context-Awareness |
CSE
2009
IEEE
2009
IEEE
Using Discovery and Monitoring Services to Support Context-Aware Remote Assisted Living Applications
13 years 11 months ago
Ubiquitous and pervasive applications are aware of the context of the used resources. This class of application can benefit from mechanisms to discover resources (devices and sens...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
COORDINATION
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...
IEEESCC
2006
IEEE
13 years 10 months ago
2006
IEEE
Context-aware Web service is an interactive model between the context of service requesters and the services in Web-enabled environments. We envision that providing context-aware ...
AINA
2009
IEEE
13 years 11 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...