262 search results - page 18 / 53 » Meetings and meeting modeling in smart environments |
PERVASIVE
2007
Springer
14 years 1 months ago
2007
Springer
As pervasive environments become more commonplace, the privacy of users is placed at increased risk. The numerous and diverse sensors in these environments can record users’ cont...
MEMOCODE
2003
IEEE
14 years 25 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
GRID
2004
Springer
14 years 28 days ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
SC
2004
ACM
14 years 1 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...
MOBISYS
2007
ACM
14 years 7 months ago
2007
ACM
We present rendezvous-based access control for access control in the pre-hospital environment. Rendezvous-based access control is a simple cryptographic access control method that...