5671 search results - page 989 / 1135 » A Semantic Approach to Interpolation |
217
click to vote
GPC
2007
Springer
16 years 21 days ago
2007
Springer
Sharing huge databases in distributed systems is inherently difficult. As the amount of stored data increases, data localization techniques become no longer sufficient. A more ef...
176
click to vote
GPCE
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
166
click to vote
GPCE
2007
Springer
16 years 21 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
177
click to vote
ICADL
2007
Springer
16 years 21 days ago
2007
Springer
Syllabi are important documents created by instructors for students. Students use syllabi to find information and to prepare for class. Instructors often need to find similar syl...
161
click to vote
ICDT
2007
ACM
16 years 21 days ago
2007
ACM
Abstract. In many cases, users may want to consider incomplete answers to their queries. Often, however, there is an overwhelming number of such answers, even if subsumed answers a...