Sciweavers

    108 search results - page 7 / 22
    » forte 2007
    Sort
    View
    CHI
    2007
    ACM
    157views Human Computer Interaction» more  CHI 2007»
    Encouraging contribution to shared sketches in brainstorming meetings
    14 years 10 months ago
    Encouraging contribution to shared sketches in brainstorming meetings
    Download  hci.stanford.edu
    Corina Yen, Marcello Bastéa-Forte
    claim paper
    Read More »
    CONCURRENCY
    2007
    60views more  CONCURRENCY 2007»
    Science gateways made easy: the In-VIGO approach
    13 years 9 months ago
    Science gateways made easy: the In-VIGO approach
    Download  byron.acis.ufl.edu
    Andréa M. Matsunaga, Maurício O. Tsu...
    claim paper
    Read More »
    FORTE
    2007
    104views Formal Methods» more  FORTE 2007»
    Event Correlation with Boxed Pomsets
    13 years 11 months ago
    Event Correlation with Boxed Pomsets
    Download  thomas.gazagnaire.com
    This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
    Thomas Gazagnaire, Loïc Hélouët
    claim paper
    Read More »
    FORTE
    2007
    95views Formal Methods» more  FORTE 2007»
    Recovering Repetitive Sub-functions from Observations
    13 years 11 months ago
    Recovering Repetitive Sub-functions from Observations
    Download  www.site.uottawa.ca
    This paper proposes an algorithm which, given a set of observations of an existing concurrent system that has repetitive subfunctions, constructs a Message Sequence Charts (MSC) gr...
    Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hü...
    claim paper
    Read More »
    FORTE
    2007
    164views Formal Methods» more  FORTE 2007»
    Composition of Model Programs
    13 years 11 months ago
    Composition of Model Programs
    Download  research.microsoft.com
    Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
    Margus Veanes, Colin Campbell, Wolfram Schulte
    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.