813 search results - page 56 / 163 » Correctness Properties for Multiagent Systems |
164
click to vote
ENGL
2007
15 years 4 months ago
2007
— In this work, an hybrid, self-configurable, multilayered and evolutionary subsumption architecture for cognitive agents is developed. Each layer of the multilayered architectur...
129
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
149
click to vote
LOGCOM
1998
15 years 3 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
135
click to vote
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
140
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...