1522 search results - page 190 / 305 » Supporting Dynamic Process Specifications Using Communicatio... |
153
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
136
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
122
Voted
IDMS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
92
Voted
DSVIS
1995
Springer
15 years 6 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
MFCS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...