Sciweavers

    31387 search results - page 73 / 6278
    » Abstracting abstract machines
    Sort
    View
    WWW
    2008
    ACM
    168views Internet Technology» more  WWW 2008»
    Extending the compatibility notion for abstract WS-BPEL processes
    14 years 11 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 »
    SAS
    2009
    Springer
    148views Formal Methods» more  SAS 2009»
    Abstract Interpretation from a Topological Perspective
    14 years 11 months ago
    Abstract Interpretation from a Topological Perspective
    Download  santos.cis.ksu.edu
    Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...
    David A. Schmidt
    claim paper
    Read More »
    MOBISYS
    2004
    ACM
    80views Computer Networks» more  MOBISYS 2004»
    Hood: A Neighborhood Abstraction for Sensor Networks
    14 years 10 months ago
    Hood: A Neighborhood Abstraction for Sensor Networks
    Download  www.cs.berkeley.edu
    Kamin Whitehouse, Cory Sharp, David E. Culler, Eri...
    claim paper
    Read More »
    POPL
    2010
    ACM
    176views Programming Languages» more  POPL 2010»
    Automatic Numeric Abstractions for Heap-Manipulating Programs
    14 years 8 months ago
    Automatic Numeric Abstractions for Heap-Manipulating Programs
    Download  www.cs.cmu.edu
    Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Ku...
    claim paper
    Read More »
    SCAM
    2009
    IEEE
    150views Software Engineering» more  SCAM 2009»
    Engineering Abstractions in Model Checking and Testing
    14 years 5 months ago
    Engineering Abstractions in Model Checking and Testing
    Download  www.dcs.kcl.ac.uk
    ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
    Michael Achenbach, Klaus Ostermann
    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.