1202 search results - page 185 / 241 » Sortings for Reactive Systems |
115
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
TACAS
2005
Springer
15 years 7 months 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...
132
click to vote
SAC
2010
ACM
15 years 7 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...
128
click to vote
DSRT
2003
IEEE
15 years 7 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). ...
136
click to vote
ICRA
2003
IEEE
15 years 7 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...