7167 search results - page 380 / 1434 » Answer Set Programming |
141
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
115
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
115
Voted
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
Navigational queries on Web-accessible life science sources pose unique query optimization challenges. The objects in these sources are interconnected to objects in other sources, ...
131
click to vote
WLP
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, a dynamic approach to deductive query evaluation is presented which combines the e ects of di erent SIP strategies used for the magic set rewriting technique. Given...
118
Voted
ESOP
2010
Springer
16 years 23 days ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...