Sciweavers

15644 search results - page 216 / 3129
» Brittle System Analysis
Sort
View
SOCO
2005
Springer
16 years 2 days ago
Analysis of Compositional Conflicts in Component-Based Systems
Andreas Leicher, Susanne Busse, Jörn Guy S&uu...
SPIRE
2005
Springer
16 years 2 days ago
Lydia: A System for Large-Scale News Analysis
Levon Lloyd, Dimitrios Kechagias, Steven Skiena
VMCAI
2005
Springer
16 years 2 days ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
ATAL
2005
Springer
16 years 1 days ago
Design, runtime, and analysis of multi-agent systems
K. Suzanne Barber, Nishit Gujral, Jaesuk Ahn, Davi...
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 12 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang