2282 search results - page 202 / 457 » Active property checking |
189
click to vote
CAISE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
143
click to vote
DANCE
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
158
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
152
click to vote
ATVA
2006
Springer
15 years 8 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...
128
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...