Sciweavers

2377 search results - page 109 / 476
» Hybrid Systems in TLA
Sort
View
ISPW
2006
IEEE
15 years 5 months ago
Spiral Lifecycle Increment Modeling for New Hybrid Processes
The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring h...
Raymond J. Madachy, Barry W. Boehm, Jo Ann Lane
HAIS
2010
Springer
15 years 3 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...
ICIP
2001
IEEE
16 years 21 days ago
A novel hybrid face profile recognition system using the FERET and MUGSHOT databases
Face recognition has established itself as an important subbranch of pattern recognition within the field of computer science. Many state-of-the-art systems have focused on the ta...
Frank Wallhoff, Gerhard Rigoll, Payman Moallem
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
15 years 4 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...
DSOM
2009
Springer
15 years 5 months ago
Self-optimizing Hybrid Routing in Publish/Subscribe Systems
Rendering networks and distributed systems self-managing and self-optimizing has become a major research focus. This task is especially important for systems, such as publish/subsc...
Arnd Schröter, Daniel Graff, Gero Mühl, ...