Sciweavers

3346 search results - page 169 / 670
» A Generic Rendering System
Sort
View
IFE
2002
69views more  IFE 2002»
15 years 6 months ago
Generierung interaktiver Animationen von Berechnungsmodellen
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Stephan Diehl, Andreas Kerren
SEUS
2008
IEEE
16 years 25 days ago
A Two-Layered Management Architecture for Building Adaptive Real-Time Systems
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...
Florian Kluge, Sascha Uhrig, Jörg Mische, The...
FSTTCS
1998
Springer
15 years 10 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
CDC
2009
IEEE
118views Control Systems» more  CDC 2009»
15 years 10 months ago
Algebraic observer for a class of switched systems with zeno phenomenon
For a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in t...
Gang Zheng, Lei Yu, Driss Boutat, Jean-Pierre Barb...
ENTCS
2008
110views more  ENTCS 2008»
15 years 6 months ago
Exploring an Option Space to Engineer a Ubiquitous Computing System
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
Michael D. Harrison, Christian Kray, José C...