4636 search results - page 320 / 928 » Modelling and Validation with VipTool |
138
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
161
click to vote
CMG
2003
15 years 5 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
107
click to vote
JCSS
2006
15 years 4 months ago
2006
Accurate network modeling is critical to the design of network protocols. Traditional modeling approaches, such as Discrete Time Markov Chains (DTMC) are limited in their ability ...
117
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper presents a new model of human attention that allows salient areas to be extracted from video frames. As automatic understanding of video semantic content is still far fr...
138
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...