1163 search results - page 129 / 233 » Case Studies of Model Checking for Embedded System Designs |
124
click to vote
CAD
1998
Springer
15 years 4 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
147
click to vote
IVA
2010
Springer
15 years 2 months ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
129
click to vote
IJDST
2011
14 years 8 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...
138
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
123
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...