Sciweavers

437 search results - page 19 / 88
» Automatic Generation of Implied Constraints
Sort
View
AAAI
2008
15 years 6 months ago
Resource Constrained Distributed Constraint Optimization with Virtual Variables
Cooperative problem solving with resource constraints are important in practical multi-agent systems. Resource constraints are necessary to handle practical problems including dis...
Toshihiro Matsui, Hiroshi Matsuo, Marius Silaghi, ...
TAP
2008
Springer
93views Hardware» more  TAP 2008»
15 years 4 months ago
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
Nikolai Tillmann, Jonathan de Halleux
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 4 months ago
A Middleware Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
Alan Dearle, Graham N. C. Kirby, Andrew McCarthy
CORR
2010
Springer
121views Education» more  CORR 2010»
15 years 1 months ago
A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications
We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative ...
Alan Dearle, Graham N. C. Kirby, Andrew McCarthy
150
Voted
ISMIR
2005
Springer
159views Music» more  ISMIR 2005»
15 years 9 months ago
Ringomatic: A Real-Time Interactive Drummer Using Constraint-Satisfaction and Drum Sound Descriptors
We describe a real-time musical agent that generates an audio drum-track by concatenating audio segments automatically extracted from pre-existing musical files. The drum-track c...
Jean-Julien Aucouturier, François Pachet