Sciweavers

1009 search results - page 72 / 202
» transML: A Family of Languages to Model Model Transformation...
Sort
View
SEMWEB
2009
Springer
16 years 28 days ago
Towards a Graphical Notation for OWL 2
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
Elisa F. Kendall, Roy Bell, Roger Burkhart, Mark D...
PPDP
2009
Springer
16 years 28 days ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
ECMDAFA
2005
Springer
181views Hardware» more  ECMDAFA 2005»
15 years 12 months ago
Transformations Between UML and OWL-S
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
Roy Grønmo, Michael C. Jaeger, Hjørd...
VL
2000
IEEE
130views Visual Languages» more  VL 2000»
15 years 10 months ago
An OO Visual Language Definition Approach Supporting Multiple Views
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
David H. Akehurst
CASES
2006
ACM
16 years 11 days ago
Automatic performance model construction for the fast software exploration of new hardware designs
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
John Cavazos, Christophe Dubach, Felix V. Agakov, ...