599 search results - page 109 / 120 » Integrating answer set programming and constraint logic prog... |
137
Voted
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
125
Voted
ENTCS
2008
15 years 3 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
154
click to vote
AIPS
2009
15 years 4 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
109
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
126
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...