1163 search results - page 46 / 233 » Case Studies of Model Checking for Embedded System Designs |
145
click to vote
ECRTS
2002
IEEE
15 years 8 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
141
click to vote
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Abstract--Norm-enforcement models applied in human societies may serve as an inspiration for the design of multi-agent systems. Models for norm-enforcement in multi-agent systems o...
134
Voted
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
125
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
127
click to vote
TSE
2011
14 years 10 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...