Sciweavers

    630 search results - page 107 / 126
    » Oclets - Scenario-Based Modeling with Petri Nets
    Sort
    View
    WETICE
    1996
    IEEE
    119views Emerging Technology» more  WETICE 1996»
    Educational applications of multi-client synchronization through improved Web graph semantics
    14 years 1 months ago
    Educational applications of multi-client synchronization through improved Web graph semantics
    Download  rockfish-cs.cs.unc.edu
    The Multi-Head, Multi-Tail, Multi-Client (MMM) Browsing Project is a continuing effort to bring stronger graph semantics to the World Wide Web thereby increasing the Web's us...
    Michael V. Capps, Brian C. Ladd, P. David Stotts, ...
    claim paper
    Read More »
    ISARCS
    2010
    141views Hardware» more  ISARCS 2010»
    Integrating Fault-Tolerant Techniques into the Design of Critical Systems
    14 years 29 days 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 »
    POPL
    1990
    ACM
    153views Programming Languages» more  POPL 1990»
    Concurrent Constraint Programming
    14 years 13 days ago
    Concurrent Constraint Programming
    Download  www-cs-students.stanford.edu
    Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
    Vijay A. Saraswat, Martin C. Rinard
    claim paper
    Read More »
    PDPTA
    2003
    119views Distributed And Parallel Com...» more  PDPTA 2003»
    Dependability Prediction of High Availability OSCAR Cluster Server
    13 years 10 months ago
    Dependability Prediction of High Availability OSCAR Cluster Server
    Download  xcr.cenit.latech.edu
    High availability (HA) computing has recently gained much attention, especially in enterprise and mission critical systems. The HA is now a necessity that is no longer regarded as...
    Chokchai Leangsuksun, Lixin Shen, Tong Liu, Herton...
    claim paper
    Read More »
    SQJ
    2008
    94views more  SQJ 2008»
    Simulation-based analysis of UML statechart diagrams: methods and case studies
    13 years 8 months ago
    Simulation-based analysis of UML statechart diagrams: methods and case studies
    Download  www.cs.uic.edu
    - We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
    Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
    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.