3555 search results - page 166 / 711 » Security-Critical System Development with Extended Use Cases |
126
Voted
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
130
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
133
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
173
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
158
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...