Sciweavers

    31387 search results - page 192 / 6278
    » Abstracting abstract machines
    Sort
    View
    SWS
    2005
    ACM
    83views Internet Technology» more  SWS 2005»
    Tailoring the Dolev-Yao abstraction to web services realities
    16 years 23 days ago
    Tailoring the Dolev-Yao abstraction to web services realities
    Download  www.infsec.cs.uni-saarland.de
    Michael Backes, Thomas Groß
    claim paper
    Read More »
    ATAL
    2005
    Springer
    89views Intelligent Agents» more  ATAL 2005»
    Towards flexible teamwork in behavior-based robots: extended abstract
    16 years 22 days ago
    Towards flexible teamwork in behavior-based robots: extended abstract
    Download  u.cs.biu.ac.il
    Gal A. Kaminka, Inna Frenkel
    claim paper
    Read More »
    ATAL
    2005
    Springer
    110views Intelligent Agents» more  ATAL 2005»
    Communication management using abstraction in distributed bayesian networks
    16 years 22 days ago
    Communication management using abstraction in distributed bayesian networks
    Download  mas.cs.umass.edu
    Jiaying Shen, Victor R. Lesser
    claim paper
    Read More »
    154
    Voted
    BPM
    2005
    Springer
    88views Business» more  BPM 2005»
    Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
    16 years 22 days ago
    Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
    Download  dns2.icar.cnr.it
    Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
    claim paper
    Read More »
    CAISE
    2005
    Springer
    119views Information Technology» more  CAISE 2005»
    On Temporal Abstractions of Web Service Protocols
    16 years 22 days ago
    On Temporal Abstractions of Web Service Protocols
    Download  sunsite.informatik.rwth-aachen.de
    Boualem Benatallah, Fabio Casati, Julien Ponge, Fa...
    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.