963 search results - page 73 / 193 » Formal Analysis of BPMN Models Using Event-B |
138
click to vote
IRI
2008
IEEE
15 years 7 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
111
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
128
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
107
click to vote
EP
1998
Springer
15 years 5 months ago
1998
Springer
This paper deals with the representation of document models used in the field of document recognition. A novel formalism called generalized n-gram is presented, which is shown to b...
139
click to vote
ECBS
1999
IEEE
15 years 5 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...