1398 search results - page 145 / 280 » Ensuring Properties of Interaction Systems |
173
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
143
click to vote
ICALT
2006
IEEE
16 years 10 days ago
2006
IEEE
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
130
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
— In this paper the Cartesian compliance control of a manipulator mounted on a flexible base is considered. The proposed control law aims at achieving a desired stiffness and da...
144
click to vote
HAPTICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We discuss the properties of force-feedback haptic simulation systems that fundamentally limit the re-creation of periodic gratings, and hence, of any texture. These include sampl...
175
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...