5084 search results - page 687 / 1017 » Proving Possibility Properties |
185
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
157
click to vote
AAAI
2007
15 years 9 months ago
2007
Several distributed constraint reasoning algorithms employ Depth First Search (DFS) trees on the constraint graph that spans involved agents. In this article we show that it is po...
164
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
156
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exh...
192
click to vote
BIOID
2008
15 years 8 months ago
2008
The determination of hashes based on biometric data is a recent topic in biometrics as it allows to handle biometric templates in a privacy manner. Applications could be the genera...