1143 search results - page 82 / 229 » Abstract Syntax and Logic Programming |
138
click to vote
FCSC
2010
14 years 11 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
204
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
103
click to vote
JELIA
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
144
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
136
click to vote
SWAP
2008
15 years 3 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...