2639 search results - page 304 / 528 » Biological Systems as Reactive Systems |
168
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...
176
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
153
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
182
click to vote
VL
2005
IEEE
16 years 7 days ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
169
click to vote
FOSSACS
2005
Springer
16 years 6 days 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...