Sciweavers

    ISARCS
    2010
    156views Hardware» more  ISARCS 2010»
    A Road to a Formally Verified General-Purpose Operating System
    14 years 2 months ago
    A Road to a Formally Verified General-Purpose Operating System
    Download  d3s.mff.cuni.cz
    Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
    Martin Decký
    claim paper
    Read More »
    ISARCS
    2010
    240views Hardware» more  ISARCS 2010»
    Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
    14 years 2 months ago
    Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
    Download  www-public.int-evry.fr
    Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
    J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
    claim paper
    Read More »
    ISARCS
    2010
    164views Hardware» more  ISARCS 2010»
    Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays
    14 years 2 months ago
    Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays
    Download  www.deeds.informatik.tu-darmstadt.de
    Abstract. Supervisory Control and Data Acquisition (SCADA) systems are migrating from isolated to highly-interconnected large scale architectures. In addition, these systems are in...
    Daniel Germanus, Abdelmajid Khelil, Neeraj Suri
    claim paper
    Read More »
    ISARCS
    2010
    141views Hardware» more  ISARCS 2010»
    Integrating Fault-Tolerant Techniques into the Design of Critical Systems
    14 years 4 months ago
    Integrating Fault-Tolerant Techniques into the Design of Critical Systems
    Download  webdiis.unizar.es
    Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
    Ricardo J. Rodríguez, José Merseguer
    claim paper
    Read More »
    ISARCS
    2010
    188views Hardware» more  ISARCS 2010»
    Component Behavior Synthesis for Critical Systems,
    14 years 4 months ago
    Component Behavior Synthesis for Critical Systems,
    Download  www.cs.uni-paderborn.de
    Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
    Tobias Eckardt, Stefan Henkler
    claim paper
    Read More »
    ISARCS
    2010
    168views Hardware» more  ISARCS 2010»
    An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance
    14 years 4 months ago
    An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance
    Download  www.di.univaq.it
    Vittorio Cortellessa, Catia Trubiani, Leonardo Mos...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.