1103 search results - page 149 / 221 » The Relevance of Semantic Subtyping |
APLAS
2008
ACM
14 years 12 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
ASM
2008
ASM
14 years 12 months ago
2008
ASM
The ingredients of typical model based development via refinement are re-examined, and some well known frameworks are reviewed in that light, drawing out commonalities and differen...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
CAISE
2008
Springer
14 years 12 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we examine the special requirements of lifecycle management for entities in the context of an entity management system for the semantic web. We study the requirement...