176 search results - page 23 / 36 » Modelling with Generalized Stochastic Petri Nets |
109
click to vote
FORTE
2004
15 years 2 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
119
click to vote
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...
114
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
109
click to vote
SIGSOFT
1996
ACM
15 years 5 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
141
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...