423 search results - page 83 / 85 » Formal access control analysis in the software development p... |
AI
2002
Springer
13 years 7 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
TVCG
2010
13 years 5 months ago
2010
— While a number of information visualization software frameworks exist, creating new visualizations, especially those that involve novel visualization metaphors, interaction tec...
MOBISYS
2010
ACM
13 years 10 months ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...
SIGUCCS
2000
ACM
13 years 12 months ago
2000
ACM
The User Services division of the Office of Technology Integration is the "safety net" for computer support at Florida State University (FSU). Areas of support include t...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Kernel-level attacks or rootkits can compromise the security of an operating system by executing with the privilege of the kernel. Current approaches use virtualization to gain hi...