443 search results - page 21 / 89 » A System Development Process with Event-B and the Rodin Plat... |
158
click to vote
ICRA
2002
IEEE
15 years 10 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...
153
click to vote
DAC
2004
ACM
16 years 6 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...
152
click to vote
ICDCS
2002
IEEE
15 years 10 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...
164
click to vote
ACMACE
2004
ACM
15 years 10 months 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...
156
click to vote
ATAL
2009
Springer
15 years 12 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...