Sciweavers

2123 search results - page 201 / 425
» Composition of Cyber-Physical Systems
Sort
View
MM
2004
ACM
124views Multimedia» more  MM 2004»
16 years 1 days ago
Towards an integrated multimedia service hosting overlay
With the proliferation of multimedia data sources on the Internet, we envision an increasing demand for value-added and functionrich multimedia services that transport, process, a...
Dongyan Xu, Xuxian Jiang
HICSS
2003
IEEE
162views Biometrics» more  HICSS 2003»
15 years 12 months ago
Decision Support Models for Composing and Navigating through e-Learning Objects
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...
Gerhard Knolmayer
CSL
1999
Springer
15 years 11 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
APGV
2007
ACM
104views Visualization» more  APGV 2007»
15 years 10 months ago
On the empirical limits of billboard rotation
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...
Elodie Fourquet, William Cowan, Stephen Mann
FORMATS
2007
Springer
15 years 10 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson