Sciweavers

425 search results - page 51 / 85
» How Did We Adapt Agile Processes to Our Distributed Developm...
Sort
View
156
Voted
AIPS
2006
15 years 5 months ago
Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics
The current best conformant probabilistic planners encode the problem as a bounded length CSP or SAT problem. While these approaches can find optimal solutions for given plan leng...
Daniel Bryce, Subbarao Kambhampati, David E. Smith
ICSM
2006
IEEE
15 years 9 months ago
Establishing Maintainability in Systems Integration: Ambiguity, Negotiations, and Infrastructure
This paper investigates how maintainability can be established in system integration (SI) projects where maintainers have no direct access to the source code of the third-party so...
Thomas Østerlie, Alf Inge Wang
SAC
2009
ACM
15 years 8 months ago
Automatic product derivation of multi-agent systems product lines
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...
Elder Cirilo, Ingrid Nunes, Uirá Kulesza, C...
CAV
2009
Springer
187views Hardware» more  CAV 2009»
16 years 4 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
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...
Nathan Kitchen, Andreas Kuehlmann
146
Voted
JLP
2006
155views more  JLP 2006»
15 years 3 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio