653 search results - page 90 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
EUROSYS
2008
ACM
14 years 6 months ago
2008
ACM
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
The complexity of AI characters in computer games is continually improving; however they still fall short of human players. In this paper we describe an AI bot for the game Quake ...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
ISCA
2010
IEEE
14 years 2 months ago
2010
IEEE
Phase change memory (PCM) is an emerging memory technology for future computing systems. Compared to other non-volatile memory alternatives, PCM is more matured to production, and...
IJCAI
1993
13 years 10 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...