83 search results - page 16 / 17 » Specification, Safety and Reliability Analysis Using Stochas... |
FASE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
SQJ
2008
13 years 6 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
HICSS
2003
IEEE
13 years 11 months ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
STTT
2008
13 years 6 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
IPPS
2006
IEEE
14 years 2 days ago
2006
IEEE
The growing reliance on services provided by software applications places a high premium on the reliable and efficient operation of these applications. A number of these applicat...