813 search results - page 45 / 163 » Correctness Properties for Multiagent Systems |
142
click to vote
ARGMAS
2008
Springer
15 years 6 months ago
2008
Springer
Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time -- a...
285
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
130
click to vote
JUCS
2010
15 years 2 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
129
click to vote
ESAW
2008
Springer
15 years 5 months ago
2008
Springer
We consider a resource access control scenario in an open multi-agent system. We specify a mutable set of rules to determine how resource allocation is decided, and minimally assum...