Sciweavers

388 search results - page 45 / 78
» C APIs in Extension and Extensible Languages
Sort
View
ESWS
2008
Springer
15 years 6 months ago
Foundations of RDF Databases
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
Claudio Gutierrez
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 9 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
VRML
1998
ACM
15 years 8 months ago
Building OpenWorlds
This paper discusses the history and design decisions behind OpenWorlds, the first C++ toolkit for VRML 2.0 integration. OpenWorlds is a highly extensible set of libraries which s...
Paul J. Diefenbach, Prakash Mahesh, Daniel Hunt
CONEXT
2005
ACM
15 years 6 months ago
Modeling, simulation, and emulation of QoS oriented transport mechanisms
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...
Guillaume Jourjon, Ernesto Exposito, Laurent Daira...
OOPSLA
2005
Springer
15 years 9 months ago
Parametric polymorphism for software component architectures
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
Cosmin E. Oancea, Stephen M. Watt