2813 search results - page 279 / 563 » Formalizing Architectural Connection |
173
click to vote
SSS
2007
Springer
16 years 22 days ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
130
click to vote
ICRA
2006
IEEE
16 years 20 days ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...
156
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
The dialogue that follows was written to express some of our ideas and remaining questions about IT systems, moral agency, and responsibility. We seem to have made some progress o...
153
click to vote
ICDCSW
2005
IEEE
16 years 7 days ago
2005
IEEE
The decoupling of producers and consumers in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment with intermittent netwo...
191
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...