1163 search results - page 207 / 233 » Case Studies of Model Checking for Embedded System Designs |
101
Voted
HF
2002
15 years 1 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
111
Voted
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
159
click to vote
MSWIM
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we discuss utility functions models to study Radio Resource Management. Our goal is to identify the characteristics of the wireless systems which make such theoretic...
121
click to vote
WWIC
2005
Springer
15 years 7 months ago
2005
Springer
The needs for run-time data storage in modern wired and wireless network applications are increasing. Additionally, the nature of these applications is very dynamic, resulting in ...
147
Voted
SOUPS
2006
ACM
15 years 7 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...