Sciweavers

    ISSE
    2007
    89views Security Privacy» more  ISSE 2007»
    Specifying real-time properties in autonomic systems
    13 years 11 months ago
    Specifying real-time properties in autonomic systems
    Download  www.cse.msu.edu
    Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
    Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K...
    claim paper
    Read More »
    ISSE
    2007
    75views Security Privacy» more  ISSE 2007»
    Key factors for achieving project success in integration of automotive mechatronics
    13 years 11 months ago
    Key factors for achieving project success in integration of automotive mechatronics
    Download  www.mrtc.mdh.se
    Joakim Fröberg, Mikael Åkerholm, Kristi...
    claim paper
    Read More »
    ISSE
    2006
    60views Security Privacy» more  ISSE 2006»
    Modeling security as a dependability attribute: a refinement-based approach
    13 years 11 months ago
    Modeling security as a dependability attribute: a refinement-based approach
    Download  www.csm.ornl.gov
    Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...
    Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani...
    claim paper
    Read More »
    ISSE
    2006
    95views Security Privacy» more  ISSE 2006»
    Pattern Componentization: The Factory Example
    13 years 11 months ago
    Pattern Componentization: The Factory Example
    Download  se.ethz.ch
    Can Design Patterns be turned into reusable components? To help answer this question, we have performed a systematic study of the standard design patterns. One of the most ing is ...
    Karine Arnout, Bertrand Meyer
    claim paper
    Read More »
    ISSE
    2006
    80views Security Privacy» more  ISSE 2006»
    Formalization and assessment of regulatory requirements for safety-critical software
    13 years 11 months ago
    Formalization and assessment of regulatory requirements for safety-critical software
    Download  core.ecu.edu
    Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. G...
    claim paper
    Read More »
    ISSE
    2006
    81views Security Privacy» more  ISSE 2006»
    On Privacy-aware Information Lifecycle Management in Enterprises: Setting the Context
    13 years 11 months ago
    On Privacy-aware Information Lifecycle Management in Enterprises: Setting the Context
    Download  www.hpl.hp.com
    Marco Casassa Mont
    claim paper
    Read More »
    ISSE
    2006
    93views Security Privacy» more  ISSE 2006»
    Security Analysis and Configuration of Large Networks
    13 years 11 months ago
    Security Analysis and Configuration of Large Networks
    Download  security.polito.it
    Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
    Antonio Lioy
    claim paper
    Read More »
    ISSE
    2006
    69views Security Privacy» more  ISSE 2006»
    Blending Corporate Governance with Information Security
    13 years 11 months ago
    Blending Corporate Governance with Information Security
    Download  www.isticom.it
    Yves Le Roux
    claim paper
    Read More »
    ISSE
    2008
    96views Security Privacy» more  ISSE 2008»
    Foundations of a new software engineering method for real-time systems
    13 years 11 months ago
    Foundations of a new software engineering method for real-time systems
    Download  www.artist-embedded.org
    Isabelle Perseil, Laurent Pautet
    claim paper
    Read More »
    ISSE
    2008
    86views Security Privacy» more  ISSE 2008»
    A framework for computer-aided validation
    13 years 11 months ago
    A framework for computer-aided validation
    Download  faculty.nps.edu
    Doron Drusinsky, James Bret Michael, Man-tak Shing
    claim paper
    Read More »
    123next ›last »
    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.