Sciweavers

    2776 search results - page 38 / 556
    » System-Level Abstraction Semantics
    Sort
    View
    EON
    2008
    149views Internet Technology» more  EON 2008»
    Semantic System Integration - Incorporating Rule based Semantic Bridges into BPEL Processes
    13 years 11 months ago
    Semantic System Integration - Incorporating Rule based Semantic Bridges into BPEL Processes
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
    Nils Barnickel, Ralf Weinand, Matthias Flügge
    claim paper
    Read More »
    APSEC
    2006
    IEEE
    147views Software Engineering» more  APSEC 2006»
    Security-Oriented Service Composition and Evolution
    14 years 4 months ago
    Security-Oriented Service Composition and Evolution
    Download  www.ict.swin.edu.au
    This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
    Jun Han, Khaled M. Khan
    claim paper
    Read More »
    ENTCS
    2008
    146views more  ENTCS 2008»
    Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
    13 years 10 months ago
    Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
    Download  lanther.co.uk
    istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
    Michael J. A. Smith
    claim paper
    Read More »
    TCSV
    2002
    125views more  TCSV 2002»
    Object-based video abstraction for video surveillance systems
    13 years 9 months ago
    Object-based video abstraction for video surveillance systems
    Download  www.cs.utsa.edu
    ased Video Abstraction for Video Surveillance Systems Changick Kim, Member, IEEE, and Jenq-Neng Hwang, Fellow, IEEE Key frames are the subset of still images which best t the conte...
    Changick Kim, Jenq-Neng Hwang
    claim paper
    Read More »
    DAC
    2004
    ACM
    225views Computer Architecture» more  DAC 2004»
    Abstraction of assembler programs for symbolic worst case execution time analysis
    14 years 11 months ago
    Abstraction of assembler programs for symbolic worst case execution time analysis
    Download  es.cs.uni-kl.de
    ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
    Klaus Schneider, Tobias Schüle
    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.