Sciweavers

8190 search results - page 69 / 1638
» From Timed to Hybrid Systems
Sort
View
HAIS
2010
Springer
15 years 10 months 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...
168
Voted
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
15 years 11 months 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»
15 years 11 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
15 years 12 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»
15 years 5 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...