93 search results - page 7 / 19 » Towards Correspondence Carrying Specifications |
JSC
2006
14 years 9 months ago
2006
In this paper we show that a large class of cut-elimination methods can be analyzed by clause terms representing sets of characteristic clauses extractable from the original proof...
IJISMD
2010
14 years 7 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
COLT
2006
Springer
15 years 1 months ago
2006
Springer
We are interested in supervised ranking with the following twist: our goal is to design algorithms that perform especially well near the top of the ranked list, and are only requir...
EXPERT
2007
14 years 9 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
109
click to vote
PODS
2008
ACM
15 years 10 months ago
2008
ACM
A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data ex...