Sciweavers

    62
    Voted
    SAM
    2004
    103views Hardware» more  SAM 2004»
    Comparing UML 2.0 Interactions and MSC-2000
    15 years 9 days ago
    Comparing UML 2.0 Interactions and MSC-2000
    Download  folk.uio.no
    This paper is a brief comparison between the Interactions of UML 2.0 as defined by the Final Adopted Specification (OMG ptc/03-07-06) and MSC-2000 as defined by Z.120 (ITU 1999). T...
    Øystein Haugen
    claim paper
    Read More »
    61
    Voted
    SAM
    2004
    114views Hardware» more  SAM 2004»
    Applying Reduction Techniques to Software Functional Requirement Specifications
    15 years 9 days ago
    Applying Reduction Techniques to Software Functional Requirement Specifications
    Download  www.site.uottawa.ca
    Jameleddine Hassine, Rachida Dssouli, Juergen Rill...
    claim paper
    Read More »
    60
    Voted
    SAM
    2004
    113views Hardware» more  SAM 2004»
    A Flexible Micro Protocol Framework
    15 years 9 days ago
    A Flexible Micro Protocol Framework
    Download  www.site.uottawa.ca
    Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhei...
    claim paper
    Read More »
    57
    Voted
    SAM
    2004
    111views Hardware» more  SAM 2004»
    SPT - The SDL Pattern Tool
    15 years 9 days ago
    SPT - The SDL Pattern Tool
    Download  www.site.uottawa.ca
    Jörg Dorsch, Anders Ek, Reinhard Gotzhein
    claim paper
    Read More »
    112
    Voted
    SAM
    2004
    151views Hardware» more  SAM 2004»
    Checking Secrecy by Means of Partial Order Reduction
    15 years 9 days ago
    Checking Secrecy by Means of Partial Order Reduction
    Download  people.inf.ethz.ch
    We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
    Cas J. F. Cremers, Sjouke Mauw
    claim paper
    Read More »
    60
    Voted
    SAM
    2004
    104views Hardware» more  SAM 2004»
    Applying eODL and SDL-Patterns for Developing TMN Managed Systems
    15 years 9 days ago
    Applying eODL and SDL-Patterns for Developing TMN Managed Systems
    Download  www.site.uottawa.ca
    Margarita de Cabo, Manuel Rodríguez
    claim paper
    Read More »
    58
    Voted
    SAM
    2004
    94views Hardware» more  SAM 2004»
    ICT Convergence: Modeling Issues
    15 years 9 days ago
    ICT Convergence: Modeling Issues
    Download  www.site.uottawa.ca
    Rolv Bræk, Jacqueline Floch
    claim paper
    Read More »
    62
    Voted
    SAM
    2004
    104views Hardware» more  SAM 2004»
    eODL and SDL in Combination for Components
    15 years 9 days ago
    eODL and SDL in Combination for Components
    Download  www.site.uottawa.ca
    Harald Böhme, Joachim Fischer
    claim paper
    Read More »
    « first‹ previous12
    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.