10159 search results - page 97 / 2032 » System Design Validation Using Formal Models |
CC
2009
Springer
13 years 6 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
ICSE
2009
IEEE-ACM
14 years 2 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...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...