360 search results - page 20 / 72 » Communication synthesis for distributed embedded systems |
RTCSA
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
193
click to vote
TASE
2012
IEEE
13 years 7 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
115
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
116
click to vote
ERSA
2003
15 years 1 months ago
2003
The Software Communications Architecture (SCA), a mandatory specification for Software Radio implementations by the Joint Tactical Radio System (JTRS), defines a Common Object R...