177 search results - page 21 / 36 » Codex-dp: Co-design of Communicating Systems Using Dynamic P... |
139
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper investigates the scenario of a robot making a tradeoff between tracking a time-varying reference trajectory and stopping to communicate at points where the radio sig...
137
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
117
click to vote
IWMM
2004
Springer
15 years 10 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
143
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
148
click to vote
JOT
2008
15 years 4 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...