Sciweavers

    31387 search results - page 283 / 6278
    » Abstracts
    Sort
    View
    APPINF
    2003
    196views Information Technology» more  APPINF 2003»
    Experimenting the Performance of Abstraction Mechanisms Through a Parametric Hierarchical Planner
    15 years 8 months ago
    Experimenting the Performance of Abstraction Mechanisms Through a Parametric Hierarchical Planner
    Download  www.diee.unica.it
    Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu
    claim paper
    Read More »
    DAGSTUHL
    2001
    121views Software Engineering» more  DAGSTUHL 2001»
    Abstract Interpretation Based Formal Methods and Future Challenges
    15 years 8 months ago
    Abstract Interpretation Based Formal Methods and Future Challenges
    Download  www.di.ens.fr
    Patrick Cousot
    claim paper
    Read More »
    128
    Voted
    ICWS
    2004
    IEEE
    70views Internet Technology» more  ICWS 2004»
    Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
    15 years 8 months ago
    Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
    Download  www.cs.wayne.edu
    Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,...
    claim paper
    Read More »
    IFIP12
    2004
    91views Information Technology» more  IFIP12 2004»
    Diagnosing Java Programs with Static Abstractions of Data Structures
    15 years 8 months ago
    Diagnosing Java Programs with Static Abstractions of Data Structures
    Download  www.ist.tugraz.at
    Rong Chen, Daniel Köb, Franz Wotawa
    claim paper
    Read More »
    129
    Voted
    CSREASAM
    2003
    94views Security Privacy» more  CSREASAM 2003»
    The Case for Abstracting Security Policies
    15 years 8 months ago
    The Case for Abstracting Security Policies
    Download  www.cl.cam.ac.uk
    Anil Madhavapeddy, Alan Mycroft, David Scott, Rich...
    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.