1249 search results - page 200 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
GECCO
2008
Springer
15 years 26 days ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
115
click to vote
FMCAD
1998
Springer
15 years 4 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
106
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
ISI
2006
Springer
14 years 11 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
101
click to vote
MCS
2006
Springer
14 years 11 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...