232 search results - page 24 / 47 » A Model Checking Approach to Verify BPEL4WS Workflows |
109
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
111
click to vote
PAMI
2002
15 years 1 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
137
click to vote
ENASE
2009
14 years 11 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
130
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
135
click to vote
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...