233 search results - page 5 / 47 » A Middleware for Model-Based Embedded Systems |
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
DAGSTUHL
2007
13 years 9 months ago
2007
CORR
2011
Springer
12 years 11 months ago
2011
Springer
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we present a robot middleware technology named Robot Software Communications Architecture (RSCA) for its use in networked home service robots. The RSCA provides a s...