400 search results - page 2 / 80 » Implementing responsibility for states and events |
ICAC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— There are many applications where a timely response to an important event is needed. Often such response can require significant computation and possibly communication...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper addresses a novel coordination problem for distributed agents in a discrete-event setting. We introduce and study a predicate coordination problem as the problem of dist...
IFM
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...