1287 search results - page 54 / 258 » Reduction of Timed Hybrid Systems |
149
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
119
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
A rational Arnoldi method for passivity-preserving model-order reduction (MOR) with implicit multi-point moment matching for systems with frequency-dependent interconnects is desc...
140
Voted
ISPW
2006
IEEE
15 years 10 months ago
2006
IEEE
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...
123
click to vote
HAIS
2010
Springer
15 years 8 months ago
2010
Springer
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...
146
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
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...