813 search results - page 73 / 163 » Correctness Properties for Multiagent Systems |
160
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-a...
193
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
152
click to vote
SOFSEM
2010
Springer
15 years 4 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
188
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
161
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...