3081 search results - page 446 / 617 » A Formal Ontology of Properties |
173
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
197
click to vote
CTRSA
2005
Springer
16 years 2 days ago
2005
Springer
Undeniable signatures were introduced in 1989 by Chaum and van Antwerpen to limit the self-authenticating property of digital signatures. An extended concept – the convertible un...
149
click to vote
FC
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
131
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
224
click to vote
ICNC
2005
Springer
16 years 1 days ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...