Sciweavers

    DAGSTUHL
    2006
    115views Software Engineering» more  DAGSTUHL 2006»
    A SOA-Based Architecture Framework
    15 years 1 months ago
    A SOA-Based Architecture Framework
    Download  alexandria.tue.nl
    Wil M. P. van der Aalst, Michael Beisiegel, Kees M...
    claim paper
    Read More »
    70
    Voted
    DAGSTUHL
    2006
    125views Software Engineering» more  DAGSTUHL 2006»
    Formalizing On Chip Communications in a Functional Style
    15 years 1 months ago
    Formalizing On Chip Communications in a Functional Style
    Download  www.eurice.info
    Julien Schmaltz, Dominique Borrione
    claim paper
    Read More »
    DAGSTUHL
    2006
    97views Software Engineering» more  DAGSTUHL 2006»
    An Introduction to the Tool Ticc
    15 years 1 months ago
    An Introduction to the Tool Ticc
    Download  people.na.infn.it
    Axel Legay, Luca de Alfaro, Marco Faella
    claim paper
    Read More »
    83
    Voted
    DAGSTUHL
    2006
    115views Software Engineering» more  DAGSTUHL 2006»
    SANA - Security Analysis in Internet Traffic through Artificial Immune Systems
    15 years 1 months ago
    SANA - Security Analysis in Internet Traffic through Artificial Immune Systems
    Download  drops.dagstuhl.de
    The Attacks done by Viruses, Worms, Hackers, etc. are a Network Security-Problem in many Organisations. Current Intrusion Detection Systems have significant Disadvantages, e.g. the...
    Michael Hilker, Christoph Schommer
    claim paper
    Read More »
    77
    Voted
    DAGSTUHL
    2006
    120views Software Engineering» more  DAGSTUHL 2006»
    Explaining Data Type Reduction in the Shape Analysis Framework
    15 years 1 months ago
    Explaining Data Type Reduction in the Shape Analysis Framework
    Download  drops.dagstuhl.de
    Björn Wachter
    claim paper
    Read More »
    DAGSTUHL
    2006
    107views Software Engineering» more  DAGSTUHL 2006»
    An Operator-based Approach to Incremental Development of Conform Protocol State Machines
    15 years 1 months ago
    An Operator-based Approach to Incremental Development of Conform Protocol State Machines
    Download  hal.inria.fr
    An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
    Arnaud Lanoix, Dieu Donné Okalas Ossami, Je...
    claim paper
    Read More »
    DAGSTUHL
    2006
    121views Software Engineering» more  DAGSTUHL 2006»
    Using Abstraction in Modular Verification of Synchronous Adaptive Systems
    15 years 1 months ago
    Using Abstraction in Modular Verification of Synchronous Adaptive Systems
    Download  drops.dagstuhl.de
    Ina Schaefer, Arnd Poetzsch-Heffter
    claim paper
    Read More »
    DAGSTUHL
    2006
    98views Software Engineering» more  DAGSTUHL 2006»
    Shape Analysis of Sets
    15 years 1 months ago
    Shape Analysis of Sets
    Download  rw4.cs.uni-saarland.de
    Jan Reineke
    claim paper
    Read More »
    DAGSTUHL
    2006
    154views Software Engineering» more  DAGSTUHL 2006»
    Empirical Software Engineering Research Roadmap Introduction
    15 years 1 months ago
    Empirical Software Engineering Research Roadmap Introduction
    Download  www.esem-conferences.org
    Richard W. Selby
    claim paper
    Read More »
    67
    Voted
    DAGSTUHL
    2006
    120views Software Engineering» more  DAGSTUHL 2006»
    Software Support Tools and Experimental Work
    15 years 1 months ago
    Software Support Tools and Experimental Work
    Download  www.mockus.us
    Audris Mockus
    claim paper
    Read More »
    « first‹ previous…363738394041424344…next ›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-2025, USA.