966 search results - page 89 / 194 » Communicating Answer Set Programs |
154
Voted
LICS
1993
IEEE
15 years 6 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
197
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
152
click to vote
ORDER
2010
15 years 1 months ago
2010
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
230
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Skyline query processing has received considerable attention in the recent past. Mainly, the skyline query is used to find a set of non dominated data points in a multidimensional...
137
Voted
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
In a database system, disclosure of confidential private data may occur if users can put together the answers of past queries. Traditional access control mechanisms cannot guard a...