Sciweavers

1289 search results - page 221 / 258
» Flexible Language Interoperability
Sort
View
ICALP
2009
Springer
14 years 7 months ago
High Complexity Tilings with Sparse Errors
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...
Bruno Durand, Andrei E. Romashchenko, Alexander Sh...
SIGMOD
2007
ACM
106views Database» more  SIGMOD 2007»
14 years 7 months ago
Highly distributed XQuery with DXQ
Many modern applications, from Grid computing to RSS handling, need to support data processing in a distributed environment. Currently, most such applications are implemented usin...
Jérôme Siméon, Kristi Morton, ...
SIGMOD
2006
ACM
89views Database» more  SIGMOD 2006»
14 years 7 months ago
"A veritable bucket of facts" origins of the data base management system
The data base concept derives from early military on-line systems, and was not originally associated with the specific technologies of modern data base management systems. While t...
Thomas Haigh
SIGMOD
2004
ACM
105views Database» more  SIGMOD 2004»
14 years 7 months ago
Query Processing for SQL Updates
A rich set of concepts and techniques has been developed in the context of query processing for the efficient and robust execution of queries. So far, this work has mostly focused...
César A. Galindo-Legaria, Stefano Stefani, ...
ICSE
2008
IEEE-ACM
14 years 7 months ago
PLURAL: checking protocol compliance under aliasing
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
Kevin Bierhoff, Jonathan Aldrich