571 search results - page 69 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
ICDCS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a theoretical and experimental study on the limitations of copy-on-write snapshots and incremental backups in terms of data recoverability. We provide mathemat...
EDOC
2008
IEEE
15 years 4 months ago
2008
IEEE
The Zachman Framework offers a classification of the models created in an enterprise architecture project. These models form a holistic representation of the organization. Despite...
108
click to vote
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
ICDCSW
2002
IEEE
15 years 2 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
SIGARCH
2008
14 years 9 months ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...