Sciweavers

4424 search results - page 637 / 885
» Semantic virtual environments
Sort
View
APLAS
2008
ACM
15 years 8 months ago
The Essence of Form Abstraction
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
EKAW
2008
Springer
15 years 8 months ago
A Generic Ontology for Collaborative Ontology-Development Workflows
As knowledge engineering moves to the Semantic Web, ontologies become dynamic products of collaborative development rather than artifacts produced in a closed environment of a sing...
Abraham Sebastian, Natalya Fridman Noy, Tania Tudo...
EUSFLAT
2003
106views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
An XML vocabulary for soft computing
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
Adolfo R. de Soto, Conrado A. Capdevila, Eva Cuerv...
SERP
2004
15 years 8 months ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
Boumediene Belkhouche, Anastasia Nix
CROSSROADS
2006
139views more  CROSSROADS 2006»
15 years 6 months ago
C-Transformers: a framework to write C program transformations
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
Alexandre Borghi, Valentin David, Akim Demaille