2358 search results - page 170 / 472 » A Secure Pervasive Environment |
AINA
2009
IEEE
14 years 4 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...
NTMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—The concept of Mobile Web Services (Mob-WS) is catching pace within research communities due to rapid classification of mobile devices enabling pervasive environments. A Web Se...
ICSNC
2007
IEEE
14 years 3 months ago
2007
IEEE
Wireless sensor networks (WSNs) constitute a new pervasive and ubiquitous technology. They have been successfully used in various application areas and in future computing environ...
SAINT
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a system that enables applications to discover and obtain information that describes the context of a particular entity (e.g., a user or a device). Our system revolves ...
PEPM
2007
ACM
14 years 3 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...