1031 search results - page 129 / 207 » Modeling and Formal Verification of Production Automation Sy... |
167
click to vote
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
112
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
191
click to vote
KI
2010
Springer
14 years 11 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
248
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
158
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...