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
    16 years 6 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
    16 years 6 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
    16 years 5 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
    16 years 2 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
    16 years 6 days 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
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.