Sciweavers

2123 search results - page 299 / 425
» Composition of Cyber-Physical Systems
Sort
View
MMSP
2008
IEEE
133views Multimedia» more  MMSP 2008»
15 years 11 months ago
Recent developments in panoramic image generation and sprite coding
—1 The composition of panoramic images has recently received considerable attention. While panoramic images were first used mainly as a flexible visualization technique, they a...
Dirk Farin, Martin Haller, Andreas Krutz, Thomas S...
184
Voted
AIMS
2008
Springer
15 years 11 months ago
A Theory of Closure Operators
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
Alva L. Couch, Marc Chiarini
126
Voted
DSN
2007
IEEE
15 years 11 months ago
On the Selection of Error Model(s) for OS Robustness Evaluation
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
Andréas Johansson, Neeraj Suri, Brendan Mur...
111
Voted
IPPS
2007
IEEE
15 years 11 months ago
FixD : Fault Detection, Bug Reporting, and Recoverability for Distributed Applications
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
Cristian Tapus, David A. Noblet
94
Voted
AI
2007
Springer
15 years 10 months ago
Rethinking the Semantics of Complex Nominals
Complex Nominals (CNs) have simple syntactic structure that conceals non-trivial semantic characteristics. While speakers of natural languages combine noun(s)/adjective(s) with a h...
Nabil Abdullah, Richard A. Frost