233 search results - page 32 / 47 » A Middleware for Model-Based Embedded Systems |
HIPC
2000
Springer
13 years 11 months ago
2000
Springer
An increasing number of mission-critical, embedded, telecommunications, and financial distributed systems are being developed using distributed object computing middleware, such a...
SIES
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
CSREAESA
2003
13 years 9 months ago
2003
The combined benefits of Open Services Gateway Initiative (OSGi) and Smart card technologies in embedded devices have made the two technologies suitable for developing middleware ...
ICDCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The inability to perform optimizations based on application-specific information presents a hurdle to the deployment of pervasive LAN file systems across WAN environments. This pa...
PERCOM
2009
ACM
14 years 2 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...