Sciweavers

7429 search results - page 584 / 1486
» Embedded System Update
Sort
View
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 10 months ago
Input-output framework for robust stability of time-varying delay systems
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
Yassine Ariba, Frédéric Gouaisbaut
ESOP
2008
Springer
15 years 9 months ago
A Hybrid Denotational Semantics for Hybrid Systems
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
Olivier Bouissou, Matthieu Martel
JSI
1998
125views more  JSI 1998»
15 years 6 months ago
The Algebraic Framework for Object-Oriented Systems
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
D. H. H. Yoon
FGCS
2010
91views more  FGCS 2010»
15 years 5 months ago
Real-time performance analysis for publish/subscribe systems
The publish/subscribe communication system have been popular communication model in many area. Especially, it is well suited for distributed real-time system in many ways. However,...
Sangyoon Oh, Jai-Hoon Kim, Geoffrey Fox
WWW
2004
ACM
16 years 7 months ago
Using semantic web approach in augmented audio reality system for museum visitors
In this paper, we describe our work in progress on the reasoning module of ec(h)o, an augmented audio-reality interface for museum visitors utilizing spatialized soundscapes and a...
Leila Kalantari, Marek Hatala, Jordan Willms