Sciweavers

    9370 search results - page 2 / 1874
    » An Abstract Notion of Application
    Sort
    View
    WWW
    2008
    ACM
    168views Internet Technology» more  WWW 2008»
    Extending the compatibility notion for abstract WS-BPEL processes
    15 years 10 months ago
    Extending the compatibility notion for abstract WS-BPEL processes
    Download  www2008.org
    WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Inf...
    Dieter König, Niels Lohmann, Simon Moser, Chr...
    claim paper
    Read More »
    ISMVL
    2005
    IEEE
    114views Hardware» more  ISMVL 2005»
    An Abstract Axiomatization of the Notion of Entropy
    15 years 3 months ago
    An Abstract Axiomatization of the Notion of Entropy
    Download  www.cs.umb.edu
    Ivo G. Rosenberg, Dan A. Simovici
    claim paper
    Read More »
    EDOC
    2004
    IEEE
    79views Distributed And Parallel Com...» more  EDOC 2004»
    On the Notion of Abstract Platform in MDA Development
    15 years 1 months ago
    On the Notion of Abstract Platform in MDA Development
    Download  wwwhome.cs.utwente.nl
    João Paulo A. Almeida, Remco M. Dijkman, Ma...
    claim paper
    Read More »
    CTRS
    1994
    156views Theoretical Computer Science» more  CTRS 1994»
    Abstract Notions and Inference Systems for Proofs by Mathematical Induction
    15 years 1 months ago
    Abstract Notions and Inference Systems for Proofs by Mathematical Induction
    Download  www.ags.uni-sb.de
    Claus-Peter Wirth, Klaus Becker
    claim paper
    Read More »
    WOLLIC
    2009
    Springer
    136views Artificial Intelligence» more  WOLLIC 2009»
    Recognizability in the Simply Typed Lambda-Calculus
    15 years 4 months ago
    Recognizability in the Simply Typed Lambda-Calculus
    Download  www.labri.fr
    Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
    Sylvain Salvati
    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-2025, USA.