975 search results - page 160 / 195 » The Process of Developing a Business Processes Assembler |
SIGADA
2005
Springer
15 years 6 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...
140
click to vote
SIGSOFT
2010
ACM
14 years 10 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 ...
128
click to vote
SAC
2011
ACM
14 years 3 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...
AINA
2009
IEEE
15 years 5 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...
94
Voted
DEXA
1999
Springer
15 years 4 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 ...