1067 search results - page 51 / 214 » An Autonomic Context Management System for Pervasive Computi... |
81
Voted
JSAC
2010
14 years 11 months ago
2010
Abstract—Networks cannot be managed without communication among geographically distributed network devices and control agents. Unfortunately, computer networks today lack an auto...
109
Voted
AINA
2009
IEEE
15 years 7 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...
115
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
131
Voted
UDM
2005
IEEE
15 years 6 months ago
2005
IEEE
Ubiquitous computing environments embedding a wide range of pervasive computing technologies provide a challenging and exciting new domain for information access. Individuals work...
119
Voted
CONTEXT
2003
Springer
15 years 5 months ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...