1163 search results - page 6 / 233 » Case Studies of Model Checking for Embedded System Designs |
161
click to vote
ENTCS
2006
15 years 5 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
139
Voted
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
193
Voted
UML
2005
Springer
15 years 11 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
128
click to vote
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
Energy dissipationis a hot topic in the design of
162
Voted
HT
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...