1492 search results - page 129 / 299 » Automatic Software Model Checking Using CLP |
111
Voted
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
114
Voted
CBSE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
131
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is increasingly seen as one key issue. Modern programming fra...
162
click to vote
FROCOS
2011
Springer
14 years 1 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
123
click to vote
CODES
2002
IEEE
15 years 6 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...