Sciweavers

1064 search results - page 52 / 213
» Disjoint Systems (Extended Abstract)
Sort
View
ICMCS
1994
IEEE
85views Multimedia» more  ICMCS 1994»
13 years 11 months ago
Synchronization of Temporal Constructs in Distributed Multimedia Systems with Controlled Accuracy
Abstract. Withthe inceptionof technology in communication networks suchasATM, it will be possible to run multimedia applications on future integrated networks. Synchronizationof th...
Sang Hyuk Son, Nipun Agarwal
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
BXML
2004
13 years 9 months ago
Trust and context using the RDF-Source related Storage System (RDF-S3) and easy RQL (eRQL)
Abstract. There exist different ways how to understand and use context information for RDF data. This paper summarizes these different ways and concentrates on the source informati...
Karsten Tolle, Fabian Wleklinski
BIS
2009
192views Business» more  BIS 2009»
13 years 8 months ago
Advanced Social Features in a Recommendation System for Process Modeling
Abstract. Social software is known to stimulate the exchange and sharing of information among peers. This paper describes how an existing system that supports process builders in c...
Agnes Koschmider, Minseok Song, Hajo A. Reijers
GG
2004
Springer
14 years 1 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...