1320 search results - page 165 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
155
Voted
EUSAI
2007
Springer
15 years 5 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
125
Voted
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
135
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
158
Voted
DKE
2010
15 years 3 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
139
Voted
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...