813 search results - page 51 / 163 » Correctness Properties for Multiagent Systems |
129
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
147
click to vote
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...
134
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Rigidity of formation is an importance concept in multi-agent localization and control problems. There are welldeveloped existing methods to test the rigidity of a given graph....
123
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
167
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...