Sciweavers

    16725 search results - page 714 / 3345
    » Engineering Software Correctness
    Sort
    View
    ISORC
    2008
    IEEE
    78views Distributed And Parallel Com...» more  ISORC 2008»
    Design Methodologies for Embedded Systems: Where is the Super-Glue?
    16 years 1 months ago
    Design Methodologies for Embedded Systems: Where is the Super-Glue?
    Download  pagesperso-systeme.lip6.fr
    Fabrice Kordon
    claim paper
    Read More »
    KBSE
    2008
    IEEE
    121views Software Engineering» more  KBSE 2008»
    Automated Mapping from Goal Models to Self-Adaptive Systems
    16 years 1 months ago
    Automated Mapping from Goal Models to Self-Adaptive Systems
    Download  sra.itc.it
    Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
    Mirko Morandini, Loris Penserini, Anna Perini
    claim paper
    Read More »
    COMSWARE
    2007
    IEEE
    96views Software Engineering» more  COMSWARE 2007»
    Threat Model Framework and Methodology for Personal Networks (PNs)
    16 years 1 months ago
    Threat Model Framework and Methodology for Personal Networks (PNs)
    Download  210.71.44.174
    Neeli Rashmi Prasad
    claim paper
    Read More »
    IOLTS
    2007
    IEEE
    88views Hardware» more  IOLTS 2007»
    Automated Derivation of Application-aware Error Detectors using Static Analysis
    16 years 1 months ago
    Automated Derivation of Application-aware Error Detectors using Static Analysis
    Download  netfiles.uiuc.edu
    Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravisha...
    claim paper
    Read More »
    AOSE
    2007
    Springer
    113views Intelligent Agents» more  AOSE 2007»
    Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation
    16 years 1 months ago
    Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation
    Download  eprints.biblio.unitn.it
    Yudistira Asnar, Paolo Giorgini, Nicola Zannone
    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.