4513 search results - page 530 / 903 » Logic programming with satisfiability |
136
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
154
click to vote
PODS
1998
ACM
15 years 9 months ago
1998
ACM
We study the complexity of the problem of answering queries using materialized views. This problem has attracted a lot of attention recently because of its relevance in data integ...
148
click to vote
COOPIS
1994
IEEE
15 years 9 months ago
1994
IEEE
We present a logical framework for representing the agents in two different cooperating information systems. We define an architecture for Integrated Supply Chain Management in wh...
151
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
136
Voted
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...