Sciweavers

2163 search results - page 78 / 433
» cases 2004
Sort
View
PRIMA
2004
Springer
15 years 3 months ago
A Distributed Workflow System with Autonomous Components
This paper describes the architecture of a distributed workflow management system in a dynamic environment. The system features autonomous agent components that can adapt to both s...
Maryam Purvis, Martin K. Purvis, Azhar Haidar, Bas...
SERP
2004
14 years 11 months ago
Straightening Spaghetti-Code with Refactoring?
Changes to software systems often entail a loss of quality, especially if they have to be accomplished under pressure of time. Long-term software projects must counter this phenome...
Markus Pizka
CSL
2004
Springer
15 years 3 months ago
Abstract Interpretation of Proofs: Classical Propositional Calculus
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
Martin Hyland
GI
2004
Springer
15 years 3 months ago
Integrating an Agile Process in a Model Driven Architecture
The model driven development is an interested area among software engineers as well as the agile development. In fact, combining model driven and agile practices is an interesting ...
Paloma Cáceres, Francisco Díaz, Espe...
APPROX
2004
Springer
116views Algorithms» more  APPROX 2004»
15 years 3 months ago
Randomized Approximation Algorithms for Set Multicover Problems with Applications to Reverse Engineering of Protein and Gene Net
In this paper we investigate the computational complexity of a combinatorial problem that arises in the reverse engineering of protein and gene networks. Our contributions are as ...
Piotr Berman, Bhaskar DasGupta, Eduardo D. Sontag