1054 search results - page 72 / 211 » From a Verified Kernel towards Verified Systems |
174
click to vote
CASES
2001
ACM
15 years 9 months ago
2001
ACM
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
162
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
154
click to vote
WSC
1998
15 years 7 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
168
click to vote
IJSNET
2008
15 years 6 months ago
2008
Abstract: We present PERT, a power-efficient scheme to deliver real-time data packets in sensor networks. Time-sensitive sensor data is common in applications such as hazard monito...
190
click to vote
ICTAC
2009
Springer
15 years 3 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...