18 search results - page 4 / 4 » Context-Sensitive Equivalences for Non-interference Based Pr... |
ESCIENCE
2006
IEEE
13 years 9 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
ICMAS
2000
13 years 7 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
CPHYSICS
2007
13 years 5 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...