1054 search results - page 59 / 211 » Translation Validation of System Abstractions |
156
click to vote
ODBIS
2007
Springer
16 years 8 days ago
2007
Springer
There is a growing need to define a semantic mapping from a database schema to an ontology. Such a mapping is an integral part of the data integration systems that use an ontology...
187
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
147
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
155
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
: Collecting and sharing attention information represents a main concern within the Technology Enhanced Learning community, as the number of works or projects related to this topic...
150
click to vote
OOPSLA
2007
Springer
16 years 8 days ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...