2288 search results - page 323 / 458 » Learning Business Process Models: A Case Study |
174
Voted
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
158
click to vote
PE
2010
Springer
15 years 3 months ago
2010
Springer
We introduce Bayesian Expansion (BE), an approximate numerical technique for passage time distribution analysis in queueing networks. BE uses a class of Bayesian networks to appro...
138
click to vote
AIME
2005
Springer
15 years 10 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
160
Voted
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
146
click to vote
CSMR
2010
IEEE
14 years 12 months ago
2010
IEEE
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...