Sciweavers

3836 search results - page 585 / 768
» Semantics of Database Transformations
Sort
View
ADBIS
2011
Springer
275views Database» more  ADBIS 2011»
14 years 4 months ago
An Analysis of the Structure and Dynamics of Large-Scale Q/A Communities
Abstract. In recent years, the World Wide Web (WWW) has transformed to a gigantic social network where people interact and collaborate in diverse online communities. By using Web 2...
Daniel Schall, Florian Skopik
BMCBI
2007
167views more  BMCBI 2007»
15 years 4 months ago
AlzPharm: integration of neurodegeneration data using RDF
Background: Neuroscientists often need to access a wide range of data sets distributed over the Internet. These data sets, however, are typically neither integrated nor interopera...
Hugo Y. K. Lam, Luis N. Marenco, Tim Clark, Yong G...
POPL
1998
ACM
15 years 8 months ago
From System F to Typed Assembly Language
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...
152
Voted
ASE
2005
137views more  ASE 2005»
15 years 3 months ago
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
Grigore Rosu, Klaus Havelund
PODS
2009
ACM
86views Database» more  PODS 2009»
16 years 4 months ago
Reverse data exchange: coping with nulls
An inverse of a schema mapping M is intended to "undo" what M does, thus providing a way to perform "reverse" data exchange. In recent years, three different f...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...