140 search results - page 15 / 28 » Extending Context Models for Privacy in Pervasive Computing ... |
134
Voted
AINA
2009
IEEE
15 years 10 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...
193
Voted
CONTEXT
2011
Springer
14 years 3 months ago
2011
Springer
Pervasive computing envisions implicit interaction between people and their intelligent environments instead of individual devices, inevitably leading to groups of individuals inte...
156
Voted
PERCOM
2003
ACM
16 years 3 months ago
2003
ACM
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
129
Voted
TRUSTBUS
2007
Springer
15 years 9 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
121
Voted
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...