1077 search results - page 116 / 216 » Management of Evolving Specifications using Category Theory |
STOC
2003
ACM
14 years 9 months ago
2003
ACM
We present a new bicriteria approximation algorithm for the degree-bounded minimum-cost spanning tree problem: Given an undirected graph with nonnegative edge weights and degree b...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
In many business scenarios, record matching is performed across different data sources with the aim of identifying common information shared among these sources. However such need...
DOLAP
2000
ACM
14 years 1 months ago
2000
ACM
Generating tool specific schemata and configuration information for OLAP database tools from conceptual graphical models is an important prerequisite for a comprehensive tool supp...