Sciweavers

    619 search results - page 121 / 124
    » Formal Methods Meet Domain Specific Languages
    Sort
    View
    ADBIS
    2005
    Springer
    147views Database» more  ADBIS 2005»
    Declarative Data Fusion - Syntax, Semantics, and Implementation
    14 years 1 months ago
    Declarative Data Fusion - Syntax, Semantics, and Implementation
    Download  www.hpi.uni-potsdam.de
    In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
    Jens Bleiholder, Felix Naumann
    claim paper
    Read More »
    CAV
    2005
    Springer
    173views Hardware» more  CAV 2005»
    Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
    14 years 1 months ago
    Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
    Download  projects.cis.ksu.edu
    Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
    Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
    claim paper
    Read More »
    WWW
    2003
    ACM
    182views Internet Technology» more  WWW 2003»
    SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions
    14 years 8 months ago
    SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions
    Download  ebusiness.mit.edu
    SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
    Benjamin N. Grosof, Terrence C. Poon
    claim paper
    Read More »
    WWW
    2005
    ACM
    153views Internet Technology» more  WWW 2005»
    A service creation environment based on end to end composition of Web services
    14 years 8 months ago
    A service creation environment based on end to end composition of Web services
    Download  www.www2005.org
    The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
    Vikas Agarwal, Koustuv Dasgupta, Neeran M. Karnik,...
    claim paper
    Read More »
    KCAP
    2005
    ACM
    81views Information Technology» more  KCAP 2005»
    An instance mapping ontology for the semantic web
    14 years 1 months ago
    An instance mapping ontology for the semantic web
    Download  eprints.aktors.org
    Semantic data transformation plays an important role in realizing the vision of the semantic web. It supports the transformation of data in different representations into ontologi...
    Yuangui Lei
    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.