243 search results - page 10 / 49 » Error Detection Using Dynamic Dataflow Verification |
CSCWD
2001
Springer
14 years 1 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
BIS
2008
13 years 10 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
WCRE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Static disassembly is a crucial first step in reverse engineering executable files, and there is a considerable body of work in reverse-engineering of binaries, as well as are...
EDCC
2006
Springer
14 years 7 days ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
DSN
2006
IEEE
14 years 7 days ago
2006
IEEE
Distributed sensor networks are highly prone to accidental errors and malicious activities, owing to their limited resources and tight interaction with the environment. Yet only a...