332 search results - page 50 / 67 » Protocol Modelling Semantics for Embedded Systems |
IJDST
2011
12 years 10 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
CLIMA
2004
13 years 8 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
VL
2005
IEEE
14 years 29 days ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
DAIS
2008
13 years 8 months ago
2008
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
MOBIQUITOUS
2007
IEEE
14 years 1 months ago
2007
IEEE
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...