7892 search results - page 336 / 1579 » Programming with Models |
120
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
126
click to vote
AAIM
2009
Springer
15 years 9 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
111
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
131
click to vote
CSCLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
ILP
2004
Springer
15 years 7 months ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...