Sciweavers

    15644 search results - page 216 / 3129
    » Brittle System Analysis
    Sort
    View
    SOCO
    2005
    Springer
    120views Software Engineering» more  SOCO 2005»
    Analysis of Compositional Conflicts in Component-Based Systems
    16 years 2 days ago
    Analysis of Compositional Conflicts in Component-Based Systems
    Download  www.itee.uq.edu.au
    Andreas Leicher, Susanne Busse, Jörn Guy S&uu...
    claim paper
    Read More »
    SPIRE
    2005
    Springer
    149views Information Technology» more  SPIRE 2005»
    Lydia: A System for Large-Scale News Analysis
    16 years 2 days ago
    Lydia: A System for Large-Scale News Analysis
    Download  www.cs.sunysb.edu
    Levon Lloyd, Dimitrios Kechagias, Steven Skiena
    claim paper
    Read More »
    VMCAI
    2005
    Springer
    65views Software Engineering» more  VMCAI 2005»
    Scalable Analysis of Linear Systems Using Mathematical Programming
    16 years 2 days ago
    Scalable Analysis of Linear Systems Using Mathematical Programming
    Download  ropas.snu.ac.kr
    Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
    claim paper
    Read More »
    ATAL
    2005
    Springer
    104views Intelligent Agents» more  ATAL 2005»
    Design, runtime, and analysis of multi-agent systems
    16 years 1 days ago
    Design, runtime, and analysis of multi-agent systems
    Download  www.cs.huji.ac.il
    K. Suzanne Barber, Nishit Gujral, Jaesuk Ahn, Davi...
    claim paper
    Read More »
    CAV
    2004
    Springer
    93views Hardware» more  CAV 2004»
    Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
    15 years 12 months ago
    Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
    Download  cc.ee.ntu.edu.tw
    —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
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.