1802 search results - page 112 / 361 » Using Declarative Specifications in Business Process Design |
188
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
174
click to vote
FMOODS
2003
15 years 7 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
163
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
166
click to vote
FM
2009
Springer
16 years 25 days ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
191
click to vote
WECWIS
2007
IEEE
16 years 16 days ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...