400 search results - page 2 / 80 » Implementing responsibility for states and events |
ICAC
2008
IEEE
15 years 4 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...
93
Voted
ASM
2008
ASM
15 years 8 days 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...
81
Voted
TACAS
1998
Springer
15 years 2 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
15 years 2 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...
82
Voted
IFM
2004
Springer
15 years 3 months 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...