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...
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...
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...
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...
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...