Sciweavers

    2227 search results - page 405 / 446
    » Reversibility and Models for Concurrency
    Sort
    View
    OPODIS
    2004
    135views Distributed And Parallel Com...» more  OPODIS 2004»
    A Constraint-Based Formalism for Consistency in Replicated Systems
    13 years 11 months ago
    A Constraint-Based Formalism for Consistency in Replicated Systems
    Download  www-higashi.ist.osaka-u.ac.jp
    Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
    Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
    claim paper
    Read More »
    INTERACT
    2003
    162views Human Computer Interaction» more  INTERACT 2003»
    Chemistry Education: A Tangible Interaction Approach
    13 years 11 months ago
    Chemistry Education: A Tangible Interaction Approach
    Download  www.fjeld.ch
    : This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
    Morten Fjeld, Patrick Juchli, Benedikt M. Voegtli
    claim paper
    Read More »
    AAAI
    1996
    133views Intelligent Agents» more  AAAI 1996»
    An Optimal Contracting Strategy in a Digital Library
    13 years 11 months ago
    An Optimal Contracting Strategy in a Digital Library
    Download  www.aaai.org
    Agents can benefit from contracting some of their tasks that cannot be performedby themselves or that can be performed moreefficiently by other agents. Developing an agent's ...
    Sunju Park, Edmund H. Durfee
    claim paper
    Read More »
    APCCM
    2009
    112views Knowledge Management» more  APCCM 2009»
    Synthesis of Orchestrators from Service Choreographies
    13 years 11 months ago
    Synthesis of Orchestrators from Service Choreographies
    Download  math.ut.ee
    Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
    Stephen McIlvenna, Marlon Dumas, Moe Thandar Wynn
    claim paper
    Read More »
    CSIE
    2009
    IEEE
    156views Theoretical Computer Science» more  CSIE 2009»
    On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
    13 years 11 months ago
    On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
    Download  lutpii.students-blog.undip.ac.id
    Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
    Yongfeng Yin, Bin Liu, Bentao Zheng
    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.