319 search results - page 45 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
153
click to vote
ASIACRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
150
click to vote
CCS
2007
ACM
15 years 11 months 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...
167
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
166
click to vote
ECAL
1995
Springer
15 years 9 months ago
1995
Springer
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
159
click to vote
KI
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...