1940 search results - page 62 / 388 » Dependable Software: An Oxymoron |
150
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
176
click to vote
ICPADS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
148
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
: We present a dynamic view-dependent isosurface extraction method. Our approach is based on the 3-stage approach we first suggested in WISE [15], i.e., front-to-back traversal, so...
150
click to vote
MM
2006
ACM
16 years 3 days ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...
190
click to vote
AOSD
2009
ACM
16 years 28 days ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...