7058 search results - page 624 / 1412 » Modelling Business Process Performance |
196
click to vote
GI
2009
Springer
16 years 5 days ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
192
click to vote
IPMU
2010
Springer
15 years 6 months ago
2010
Springer
It is well known that among all probabilistic graphical Markov models the class of decomposable models is the most advantageous in the sense that the respective distributions can b...
172
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Active Appearance Model (AAM) [1] had been popular on object segmentation for medical images. However, its performance is not good on Ultrasound (US) images. In this paper, we pro...
207
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
222
click to vote
ISSRE
2008
IEEE
16 years 2 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...