Sciweavers

336 search results - page 23 / 68
» Enhancing Dependability of Component-Based Systems
Sort
View
FAABS
2004
Springer
14 years 3 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
ICALT
2003
IEEE
14 years 3 months ago
A Distributed Software System Architecture For Wireless Peer-to-Peer Collaborative Learning
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...
Indrani Vedula, Richard Han
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
14 years 1 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
JCM
2008
101views more  JCM 2008»
13 years 9 months ago
MIMO Channel Sounder at 3.5 GHz: Application to WiMAX System
The use of antenna arrays at emission and reception seems to represent a prominent solution for future wireless systems, it improves data rates and enhances the quality of service....
Hanna Farhat, Guy Grunfelder, Alvaro Carcelen, Gha...
INTERSPEECH
2010
13 years 4 months ago
The RWTH 2009 quaero ASR evaluation system for English and German
In this work, the RWTH automatic speech recognition systems for English and German for the second Quaero evaluation campaign 2009 are presented. The systems are designed to transc...
Markus Nußbaum-Thom, Simon Wiesler, Martin S...