520 search results - page 91 / 104 » An Algebraic Semantics for MOF |
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
It is well recognized that data cubing often produces huge outputs. Two popular efforts devoted to this problem are (1) iceberg cube, where only significant cells are kept, and (2...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
EDBT
2002
ACM
14 years 8 months ago
2002
ACM
An important issue in data integration is the integration of semantically equivalent but schematically heterogeneous data sources. Declarative mechanisms supporting powerful source...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...