2407 search results - page 236 / 482 » A Tool for Abstraction in Model Checking |
198
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
147
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
185
click to vote
PKDD
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. To represent and manage data mining patterns, several aspects have to be taken into account: (i) patterns are heterogeneous in nature; (ii) patterns can be extracted from...
148
click to vote
ACSD
2004
IEEE
15 years 11 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
210
click to vote
EKAW
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Ontology evolution tools often propose new ontological changes in the form of statements. While different methods exist to check the quality of such statements to be add...