3318 search results - page 325 / 664 » The Weak Instance Model |
135
click to vote
ICSOC
2007
Springer
15 years 11 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
138
click to vote
IDEAL
2007
Springer
15 years 11 months ago
2007
Springer
The dependence of the classification error on the size of a bagging ensemble can be modeled within the framework of Monte Carlo theory for ensemble learning. These error curves ar...
150
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
This work proposes a parallel memetic algorithm applied to the total tardiness single machine scheduling problem. Classical models of parallel evolutionary algorithms and the gene...
112
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
151
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...