4126 search results - page 339 / 826 » Set based logic programming |
147
Voted
SEW
2003
IEEE
15 years 10 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
137
click to vote
IGPL
2010
14 years 11 months ago
2010
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...
167
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
142
click to vote
COR
2008
15 years 4 months ago
2008
The two-dimensional orthogonal packing problem (2OPP) consists in determining if a set of rectangles can be packed in a larger rectangle of fixed size. We propose an exact method ...
171
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...