287 search results - page 45 / 58 » Modular Analysis of Petri Nets |
ARCS
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
IFM
1999
Springer
14 years 28 days ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
VVEIS
2007
13 years 9 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
ISPA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
CIKM
1994
Springer
14 years 23 days ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...