Sciweavers

713 search results - page 96 / 143
» Viewcharts: Syntax and Semantics
Sort
View
FOIS
2006
15 years 1 months ago
An Algebra for Composing Ontologies
Ontologies are used as a means of expressing agreements to a vocabulary shared by a community in a coherent and consistent manner. As it happens in the Internet, ontologies are cr...
Saket Kaushik, Csilla Farkas, Duminda Wijesekera, ...
CRIWG
2001
15 years 1 months ago
Integration of Domain-Specific Elements into Visual Language Based Collaborative Environments
This paper presents an approach for the integration of domain related elements and operational semantics into collaborative environments based on visual languages. This integratio...
Niels Pinkwart, Heinz Ulrich Hoppe, Katrin Ga&szli...
EUSFLAT
2003
106views Fuzzy Logic» more  EUSFLAT 2003»
15 years 1 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...
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 1 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
FIW
2000
147views Communications» more  FIW 2000»
15 years 1 months ago
Formalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
Kenneth J. Turner