Sciweavers

2933 search results - page 251 / 587
» Agent-Grid Integration Language
Sort
View
CCGRID
2002
IEEE
15 years 11 months ago
The gSOAP Toolkit for Web Services and Peer-to-Peer Computing Networks
This paper presents the gSOAP stub and skeleton compiler. The compiler provides a unique SOAP-to-C/C++ language binding for deploying C/C++ applications in SOAP Web Services, clie...
Robert van Engelen, Kyle Gallivan
KI
2001
Springer
15 years 11 months ago
DiKe - A Model-Based Diagnosis Kernel and Its Application
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
Gerhard Fleischanderl, Thomas Havelka, Herwig Schr...
OOIS
2001
Springer
15 years 11 months ago
Ontology Modeling Using UML
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
Xin Wang, Christine W. Chan
VL
1998
IEEE
172views Visual Languages» more  VL 1998»
15 years 10 months ago
VIQING: Visual Interactive Querying
This paper presents VIQING, an environment for expressing queries via direct manipulation of data visualizations. VIQING provides a simple graphical interface for connecting visua...
Chris Olston, Michael Stonebraker, Alexander Aiken...
APSEC
1997
IEEE
15 years 10 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu