287 search results - page 45 / 58 » Modular Analysis of Petri Nets |
123
Voted
ARCS
2006
Springer
15 years 5 months 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...
117
click to vote
IFM
1999
Springer
15 years 6 months 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 ...
118
click to vote
VVEIS
2007
15 years 3 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...
110
click to vote
ISPA
2004
Springer
15 years 7 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...
126
click to vote
CIKM
1994
Springer
15 years 6 months 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...