1963 search results - page 168 / 393 » Applications of Preferences using Answer Set Programming |
155
Voted
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
We introduce a new technique to solve exactly a discrete optimization problem, based on the paradigm of “negative” thinking. The motivation is that when searching the space of...
120
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
149
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
127
Voted
PADL
2010
Springer
15 years 5 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
142
Voted
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...