252 search results - page 32 / 51 » Checking Properties of Business Process Models with Logic Pr... |
ADC
2004
Springer
15 years 5 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
104
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
104
click to vote
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
103
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
102
click to vote
ENTCS
2006
14 years 11 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...