1301 search results - page 151 / 261 » Specifications via Realizability |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
We consider systems for data sharing among heterogeneous peers related by a network of schema mappings. Each peer has a locally controlled and edited database instance, but wants ...
SIGMOD
2006
ACM
14 years 10 months ago
2006
ACM
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...
PODS
2006
ACM
14 years 10 months ago
2006
ACM
The most acute information management challenges today stem from organizations relying on a large number of diverse, interrelated data sources, but having no means of managing the...
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
With the Web 2.0 trend and its participation of end-users more and more data and information services are online accessible, such as web sites, Wikis, or web services. The integra...