Sciweavers

    1791 search results - page 177 / 359
    » Two Types of Multiple-Conclusion Systems
    Sort
    View
    ICLP
    2010
    Springer
    164views Automated Reasoning» more  ICLP 2010»
    Models for Trustworthy Service and Process Oriented Systems
    14 years 1 months ago
    Models for Trustworthy Service and Process Oriented Systems
    Download  drops.dagstuhl.de
    Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
    Hugo A. López
    claim paper
    Read More »
    TR
    2010
    158views Hardware» more  TR 2010»
    Multi-Objective Approaches to Optimal Testing Resource Allocation in Modular Software Systems
    13 years 3 months ago
    Multi-Objective Approaches to Optimal Testing Resource Allocation in Modular Software Systems
    Download  www.cs.bham.ac.uk
    Software testing is an important issue in software engineering. As software systems become increasingly large and complex, the problem of how to optimally allocate the limited test...
    Zai Wang, Ke Tang, Xin Yao
    claim paper
    Read More »
    EDBT
    2006
    ACM
    156views Database» more  EDBT 2006»
    FlexInd: A Flexible and Parameterizable Air-Indexing Scheme for Data Broadcast Systems
    14 years 27 days ago
    FlexInd: A Flexible and Parameterizable Air-Indexing Scheme for Data Broadcast Systems
    Download  blogs.ddbc.edu.tw
    Abstract. In wireless data broadcast systems, popular information is repetitively disseminated through possibly multiple communication channels to mobile clients using various type...
    André Seifert, Jen-Jou Hung
    claim paper
    Read More »
    AIEDU
    2007
    86views more  AIEDU 2007»
    A Study of Feedback Strategies in Foreign Language Classrooms and Tutorials with Implications for Intelligent Computer-Assisted
    13 years 9 months ago
    A Study of Feedback Strategies in Foreign Language Classrooms and Tutorials with Implications for Intelligent Computer-Assisted
    Download  www.era.lib.ed.ac.uk
    This paper presents two new corpus-based studies of feedback in the domain of teaching Spanish as a foreign language, concentrating on the type and frequency of different feedback ...
    Anita Ferreira, Johanna D. Moore, Chris Mellish
    claim paper
    Read More »
    FORTE
    2008
    131views Formal Methods» more  FORTE 2008»
    Distributed Semantics and Implementation for Systems with Interaction and Priority
    13 years 10 months ago
    Distributed Semantics and Implementation for Systems with Interaction and Priority
    Download  www-verimag.imag.fr
    The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
    Ananda Basu, Philippe Bidinger, Marius Bozga, Jose...
    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.