508 search results - page 8 / 102 » A logical account of pspace |
POPL
2005
ACM
14 years 7 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
FORTE
2004
13 years 9 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
KI
2006
Springer
13 years 7 months ago
2006
Springer
ETAI
1998
13 years 7 months ago
1998
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...