1795 search results - page 214 / 359 » On the Complexity of Circuit Satisfiability |
162
click to vote
AAAI
2004
15 years 8 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
170
click to vote
EUROPLOP
2006
15 years 8 months ago
2006
Service-centric systems are driven more and more towards self-adaptation in order to satisfy QoS in highly dynamic environments. However, the young age and immaturity of this doma...
216
click to vote
CAINE
2003
15 years 8 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
195
click to vote
ISTA
2004
15 years 8 months ago
2004
: Schema mapping is an important approach to solve the problem of data integration. This paper introduces a research prototype called SDE, which is a system for managing and facili...
171
click to vote
WSC
2001
15 years 8 months ago
2001
This paper describes a novel method for detecting the bottleneck in a discrete event system by examining the average duration of a machine being active for all machines. The machi...