243 search results - page 10 / 49 » Error Detection Using Dynamic Dataflow Verification |
75
Voted
CSCWD
2001
Springer
15 years 4 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...
81
Voted
BIS
2008
15 years 1 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 ...
85
Voted
WCRE
2009
IEEE
15 years 6 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
15 years 3 months 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...
105
click to vote
DSN
2006
IEEE
15 years 3 months 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...