7209 search results - page 1227 / 1442 » Software Engineering for Multi-Agent Systems |
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
ISORC
2007
IEEE
14 years 5 months ago
2007
IEEE
Scheduling tasks on large-scale computational grids is difficult due to the heterogeneous computational capabilities of the resources, node unavailability and unreliable network ...
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...