443 search results - page 21 / 89 » A System Development Process with Event-B and the Rodin Plat... |
ICRA
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating r...
DAC
2004
ACM
14 years 7 months ago
2004
ACM
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...
ICDCS
2002
IEEE
13 years 11 months ago
2002
IEEE
Process migration has been used to perform specialized tasks, such as load sharing and checkpoint/restarting long running applications. Implementation typically consists of modifi...
ACMACE
2004
ACM
14 years 6 days ago
2004
ACM
This paper describes a case study of VR platform Magic Mirror and its applications that are economic in development process and cost, flexible by contents and installation conditi...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...