2639 search results - page 305 / 528 » Biological Systems as Reactive Systems |
165
click to vote
TACAS
2005
Springer
16 years 4 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
197
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
192
click to vote
DSRT
2003
IEEE
15 years 12 months ago
2003
IEEE
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
208
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...
153
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— Knowledge of the up-to-date physical (i.e., layer-2) topology of an Ethernet network is crucial to a number of critical network management tasks, including reactive and proacti...