3555 search results - page 623 / 711 » Security-Critical System Development with Extended Use Cases |
123
click to vote
ICAT
2003
IEEE
15 years 6 months ago
2003
IEEE
In the previous paper in ICAT2002, we reported that a non-grounded palm-top torque display "GyroCube" was developed. Although it requires no grounding base for supportin...
110
click to vote
AIME
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
116
click to vote
CAV
2001
Springer
15 years 6 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
111
click to vote
ECAI
1992
Springer
15 years 5 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
WSC
2008
15 years 3 months ago
2008
An increased need for collaborative research, together with continuing advances in communication technology and computer hardware, has facilitated the development of distributed s...