3121 search results - page 349 / 625 » Information Survivability Control Systems |
185
click to vote
VRCAI
2009
ACM
16 years 1 months ago
2009
ACM
Terrain maps, commonly used for updating elevation values of a moving object (i.e., a traveler), may be conveniently used for detecting and preventing collisions between the trave...
124
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
199
click to vote
IV
2007
IEEE
16 years 28 days ago
2007
IEEE
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...
168
click to vote
IWSOS
2007
Springer
16 years 24 days ago
2007
Springer
Autonomic computing environments rely on devices that are able to make intelligent decisions without human supervision. Automated Trust Negotiation supports the cooperation of devi...
160
click to vote
ESCIENCE
2006
IEEE
16 years 21 days ago
2006
IEEE
The paper describes the design of FAME (Flexible Access Middleware Extension) architecture aimed at providing multi-level user authentication service for Shibboleth, which is endo...