Sciweavers

    307 search results - page 35 / 62
    » Towards Integrated Verification of Timed Transition Models
    Sort
    View
    IJCAI
    2007
    168views Artificial Intelligence» more  IJCAI 2007»
    Towards Reasoning about the Past in Neural-symbolic Systems
    13 years 8 months ago
    Towards Reasoning about the Past in Neural-symbolic Systems
    Download  sunsite.informatik.rwth-aachen.de
    Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
    Rafael V. Borges, Luís C. Lamb, Artur S. d'...
    claim paper
    Read More »
    SYRCODIS
    2008
    184views Database» more  SYRCODIS 2008»
    Towards Cost-based Query Optimization in Native XML Database Management Systems
    13 years 8 months ago
    Towards Cost-based Query Optimization in Native XML Database Management Systems
    Download  sunsite.informatik.rwth-aachen.de
    In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
    Andreas M. Weiner, Christian Mathis, Theo Här...
    claim paper
    Read More »
    GLVLSI
    2005
    IEEE
    99views VLSI» more  GLVLSI 2005»
    An empirical study of crosstalk in VDSM technologies
    14 years 1 months ago
    An empirical study of crosstalk in VDSM technologies
    Download  atrak.usc.edu
    We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
    Shahin Nazarian, Massoud Pedram, Emre Tuncer
    claim paper
    Read More »
    COMPSAC
    2006
    IEEE
    100views Software Engineering» more  COMPSAC 2006»
    On the Distribution of Property Violations in Formal Models: An Initial Study
    14 years 1 months ago
    On the Distribution of Property Violations in Formal Models: An Initial Study
    Download  menzies.us
    Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
    Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
    claim paper
    Read More »
    SPLC
    2007
    207views Software Engineering» more  SPLC 2007»
    Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
    13 years 8 months ago
    Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
    Download  www.voelter.de
    Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
    Markus Völter, Iris Groher
    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.