1027 search results - page 77 / 206 » Callgraph properties of executables |
108
Voted
BPSC
2009
15 years 1 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
106
click to vote
TCS
2008
15 years 21 days ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
113
Voted
TKDE
2010
14 years 11 months ago
2010
—We investigate techniques to automatically decompose any XQuery query—including updating queries specified by the XQuery Update Facility (XQUF)—into subqueries, that can be ...
190
Voted
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
110
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...