Sciweavers

8190 search results - page 69 / 1638
» From Timed to Hybrid Systems
Sort
View
HAIS
2010
Springer
14 years 14 days ago
Incorporating Temporal Constraints in the Planning Task of a Hybrid Intelligent IDS
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
Álvaro Herrero, Martí Navarro, Vicen...
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
14 years 28 days ago
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...
ISCAS
2005
IEEE
96views Hardware» more  ISCAS 2005»
14 years 1 months ago
Stereo video coding system with hybrid coding based on joint prediction scheme
— Stereo video systems require double bandwidth and more than twice computational complexity relative to monovideo systems. Thus, An efficient coding scheme is necessary for tra...
Li-Fu Ding, Shao-Yi Chien, Yu-Wen Huang, Yu-Lin Ch...
GLOBECOM
2006
IEEE
14 years 1 months ago
Adaptive Coding and Modulation for Hybrid ARQ Systems over Partially Observable Nakagami-m Fading Channels
— We study coding and modulation rate adaptation problem for HARQ systems with partially observable state from cross-layer viewpoint. The rate of convolutionally coded MQAM is ad...
Ashok K. Karmokar, Vijay K. Bhargava
JUCS
2006
117views more  JUCS 2006»
13 years 7 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...