504 search results - page 45 / 101 » Definitional Reflection and the Completion |
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
TASE
2009
IEEE
14 years 3 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes the human computer interface of a new emergency medical services application, which uses several emerging technologies to clarify the inherent complexity and ...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Semantic Web Services (SWS) hold a lot of potential to the future of the Semantic Web. In this area, a number of tools have been developed to facilitate their definition and deploy...