Sciweavers

    8838 search results - page 1737 / 1768
    » Generalizing Domain Theory
    Sort
    View
    SDL
    2007
    192views Hardware» more  SDL 2007»
    OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
    13 years 9 months ago
    OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
    Download  www.openlicensesociety.org
    Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
    Eric Verhulst, Gjalt G. de Jong
    claim paper
    Read More »
    AVI
    2004
    106views Software Engineering» more  AVI 2004»
    ValueCharts: analyzing linear models expressing preferences and evaluations
    13 years 9 months ago
    ValueCharts: analyzing linear models expressing preferences and evaluations
    Download  people.cs.ubc.ca
    In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...
    Giuseppe Carenini, John Loyd
    claim paper
    Read More »
    AIPS
    2006
    133views Artificial Intelligence» more  AIPS 2006»
    Combining Knowledge Compilation and Search for Conformant Probabilistic Planning
    13 years 9 months ago
    Combining Knowledge Compilation and Search for Conformant Probabilistic Planning
    Download  users.cecs.anu.edu.au
    We present a new algorithm for conformant probabilistic planning, which for a given horizon produces a plan that maximizes the probability of success under quantified uncertainty ...
    Jinbo Huang
    claim paper
    Read More »
    DAGSTUHL
    2006
    146views Software Engineering» more  DAGSTUHL 2006»
    Efficient Software Model Checking of Data Structure Properties
    13 years 9 months ago
    Efficient Software Model Checking of Data Structure Properties
    Download  www.eecs.umich.edu
    This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
    Chandrasekhar Boyapati, Paul T. Darga
    claim paper
    Read More »
    SBBD
    2004
    137views Database» more  SBBD 2004»
    A Lock Manager for Collaborative Processing of Natively Stored XML Documents
    13 years 9 months ago
    A Lock Manager for Collaborative Processing of Natively Stored XML Documents
    Download  wwwlgis.informatik.uni-kl.de
    Today, neither transactional provisions, in general, nor concurrency control, in particular, of DBMS-based processing are tailored to the specific needs of large and collaborative...
    Michael Peter Haustein, Theo Härder
    claim paper
    Read More »
    « Prev « First page 1737 / 1768 Last » Next »
    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.