857 search results - page 125 / 172 » A Formal Framework for Adaptive Access Control Models |
CHI
2002
ACM
14 years 8 months ago
2002
ACM
We have developed a 3D sound system for headphones that allows real-time sound source and user displacement in a virtual acoustic environment. Because of a flexible design that us...
APWEB
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...
COLCOM
2007
IEEE
13 years 11 months ago
2007
IEEE
Current collaborative tools are often not able to profit from existing systems for user management. It is therefore necessary for collaborative systems to administrate their users ...
APIN
1998
13 years 7 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
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...