851 search results - page 30 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
158
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
109
click to vote
INFSOF
2006
15 years 2 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
CONCUR
1989
Springer
15 years 6 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
159
Voted
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
141
Voted
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...