3229 search results - page 272 / 646 » Theories with the Independence Property |
172
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
188
click to vote
ESORICS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
151
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...
178
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
188
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...