3081 search results - page 320 / 617 » A Formal Ontology of Properties |
194
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
181
click to vote
ACOM
2006
Springer
16 years 21 days ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
160
click to vote
SAFECOMP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
181
click to vote
SAS
2005
Springer
16 years 6 days ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
189
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...