1092 search results - page 93 / 219 » Automated Evaluation of Coordination Approaches |
179
click to vote
CADE
2004
Springer
15 years 11 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
160
click to vote
IJSEKE
2011
14 years 9 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
189
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
164
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
194
click to vote
IROS
2007
IEEE
16 years 20 days ago
2007
IEEE
— When the tasks of a mission are interrelated and subject to several resource constraints, more efforts are needed to coordinate robots towards achieving the mission than indepe...