Sciweavers

2933 search results - page 251 / 587
» Agent-Grid Integration Language
Sort
View
CCGRID
2002
IEEE
15 years 9 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
128
Voted
KI
2001
Springer
15 years 8 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 8 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 8 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 8 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