58 search results - page 10 / 12 » Opaque Control-Flow Integrity |
GI
2009
Springer
13 years 7 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
ICWS
2009
IEEE
13 years 7 months ago
2009
IEEE
BPEL/WSBPEL is the predominant approach for combining individual web services into integrated business processes, allowing for the specification of their sequence, control flow an...
BPM
2006
Springer
14 years 1 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
FASE
2008
Springer
13 years 11 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
We propose a new method named compressive structured light for recovering inhomogeneous participating media. Whereas conventional structured light methods emit coded light patterns...