21490 search results - page 486 / 4298 » Business Process Modeling |
127
Voted
DAGSTUHL
2006
15 years 6 months ago
2006
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...
171
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
127
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
In trying to understandand redesign software processes, it is often necessaryto have an understanding of the "whys" that underliethe "whats"
126
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
130
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...