Sciweavers

1289 search results - page 94 / 258
» Flexible Language Interoperability
Sort
View
DEXAW
2003
IEEE
153views Database» more  DEXAW 2003»
14 years 3 months ago
Approaches to Implementing Active Semantics with XML Schema
In order to enrich XML with event driven, active behavior, the Active XML Schema approach defines active behavior within XML schemas along metadata, and stores traces of active b...
Martin Bernauer, Gerti Kappel, Gerhard Kramler
CCGRID
2002
IEEE
14 years 2 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
OWLED
2007
13 years 11 months ago
Ontologies in OWL for Rapid Enterprise Integration
Ontologies enable explicit expression of collective concepts and support Machine-to-Machine (M2M) interactions at the semantic level. Ontologies expressed in a standard language, s...
Suzette Stoutenburg, Leo Obrst, Deborah Nichols, P...
IADIS
2004
13 years 11 months ago
A Taxonomy for Scenario-Based Engineering
Recent works about the activity-oriented approach et educational modeling languages ask questions about the pedagogical scenario concept. The aim of this paper is to define the fo...
Anne Lejeune, Jean-Philippe Pernin
ENTCS
2007
107views more  ENTCS 2007»
13 years 9 months ago
Formal Translation of Bytecode into BoogiePL
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
Hermann Lehner, Peter Müller