391 search results - page 58 / 79 » Protecting Users' Anonymity in Pervasive Computing Environme... |
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Rapid pervasion of the web into users' daily lives has put much importance on capturing location-specific information on the web, due to the fact that most human activities o...
ASE
2005
13 years 8 months ago
2005
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
SIGECOM
2008
ACM
13 years 8 months ago
2008
ACM
Computer users express a strong desire to prevent attacks and to reduce the losses from computer and information security breaches. However, security compromises are common and wi...
PERCOM
2004
ACM
14 years 8 months ago
2004
ACM
: Service Discovery as an essential element in pervasive computing environments is widely accepted. Much active research on service discovery has been conducted, but privacy has be...