1163 search results - page 142 / 233 » Case Studies of Model Checking for Embedded System Designs |
155
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...
142
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
130
click to vote
ENTCS
2008
15 years 4 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
156
click to vote
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming ge...
143
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...