615 search results - page 25 / 123 » High-Level Nondeterministic Abstractions in |
ASM
2004
ASM
14 years 3 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
ROBOCUP
2005
Springer
14 years 3 months ago
2005
Springer
The domain of robotic soccer is known as a highly dynamic and non-deterministic environment for multiagent research. We introduce an approach using Hierarchical Task Network planni...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
ICTAC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper, I present the class of linear context free languages (LCFLs) with a class of non-deterministic one-way two-head (read only) automata, called non-determinis...
POLICY
2005
Springer
14 years 3 months ago
2005
Springer
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...