Sciweavers

388 search results - page 35 / 78
» C APIs in Extension and Extensible Languages
Sort
View
SAC
2005
ACM
14 years 1 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
IFIP
2004
Springer
14 years 1 months ago
Nested Commits for Mobile Calculi: Extending Join
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
OTM
2005
Springer
14 years 1 months ago
Multidimensional RDF
RDF has been proposed by W3C as a metadata model and language for representing information about resources in WWW. In this paper we introduce Multidimensional RDF (or MRDF), as an ...
Manolis Gergatsoulis, Pantelis Lilis
ICESS
2007
Springer
14 years 2 months ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
ERCIMDL
1998
Springer
115views Education» more  ERCIMDL 1998»
14 years 8 days ago
The Application of Metadata Standards to Video Indexing
This paper first outlines a multi-level video indexing approach based on Dublin Core extensions and the Resource Description Framework (RDF). The advantages and disadvantages of t...
Jane Hunter