47 search results - page 5 / 10 » Per-Input Control-Flow Integrity |
CASCON
2010
13 years 9 months ago
2010
In Service Oriented Architecture (SOA), service composition integrates existing services to fulfill specific tasks using a set of standards and tools. However, current service comp...
GI
2009
Springer
13 years 8 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 8 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...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
Structured embedded databases are currently becoming an integrated part of embedded systems, thus, enabling higher standards in system automation. These embedded databases are typ...
EPK
2006
14 years 7 days ago
2006
: Within the requirements phase of many projects, functional requirements are often documented as Use Cases. Within SOA projects, however, these Use Cases are not sufficient since ...