Sciweavers

    780 search results - page 2 / 156
    » Compositional Quantitative Reasoning
    Sort
    View
    ADC
    2003
    Springer
    139views Database» more  ADC 2003»
    Web Service Composition with Case-Based Reasoning
    14 years 17 days ago
    Web Service Composition with Case-Based Reasoning
    Download  crpit.com
    To run a smart E-Business or provide efficient Web service, a web services composition model is needed. Web services composition refers to the process of collaborating the heterog...
    Benchaphon Limthanmaphon, Yanchun Zhang
    claim paper
    Read More »
    EACL
    1993
    ACL Anthology
    122views Natural Language Processing» more  EACL 1993»
    A Tradeoff between Compositionality and Complexity in the Semantics of Dimensional Adjectives
    13 years 8 months ago
    A Tradeoff between Compositionality and Complexity in the Semantics of Dimensional Adjectives
    Download  acl.ldc.upenn.edu
    Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
    Geoffrey Simmons
    claim paper
    Read More »
    WICSA
    2004
    187views Software Engineering» more  WICSA 2004»
    Compositional Generation of Software Architecture Performance QN Models
    13 years 8 months ago
    Compositional Generation of Software Architecture Performance QN Models
    Download  www.di.univaq.it
    Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
    Antinisca Di Marco, Paola Inverardi
    claim paper
    Read More »
    IWFM
    2000
    162views Formal Methods» more  IWFM 2000»
    Modal Logics for Reasoning about Object-based Component Composition
    13 years 8 months ago
    Modal Logics for Reasoning about Object-based Component Composition
    Download  www.bcs.org
    Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
    Claus Pahl
    claim paper
    Read More »
    CADE
    2008
    Springer
    98views Logical Reasoning» more  CADE 2008»
    Quantitative Separation Logic and Programs with Lists
    14 years 7 months ago
    Quantitative Separation Logic and Programs with Lists
    Download  www-verimag.imag.fr
    Marius Bozga, Radu Iosif, Swann Perarnau
    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.