975 search results - page 160 / 195 » The Process of Developing a Business Processes Assembler |
129
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
180
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
160
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Logs are one of the most important pieces of analytical data in a cloud-based service infrastructure. At any point in time, service owners and operators need to understand the sta...
136
click to vote
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of web services into complex, valued-added workflows in both indus...
130
click to vote
DEXA
1999
Springer
15 years 8 months ago
1999
Springer
Workflow management systems require advanced transaction support to cope with their inherently long-running processes. The recent trend to distribute workflow executions requires ...