Sciweavers

    1186 search results - page 15 / 238
    » Goal-Oriented Interaction Protocols
    Sort
    View
    ICDE
    2007
    IEEE
    97views Database» more  ICDE 2007»
    Protocol Discovery from Imperfect Service Interaction Logs
    16 years 6 months ago
    Protocol Discovery from Imperfect Service Interaction Logs
    Download  cgi.cse.unsw.edu.au
    Boualem Benatallah, Fabio Casati, Hamid R. Motahar...
    claim paper
    Read More »
    ATAL
    2009
    Springer
    192views Intelligent Agents» more  ATAL 2009»
    Choice, interoperability, and conformance in interaction protocols and service choreographies
    15 years 8 months ago
    Choice, interoperability, and conformance in interaction protocols and service choreographies
    Download  www.di.unito.it
    Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
    Matteo Baldoni, Cristina Baroglio, Amit K. Chopra,...
    claim paper
    Read More »
    ATAL
    2009
    Springer
    92views Intelligent Agents» more  ATAL 2009»
    Verifying realizability and reachability in recursive interaction protocol specifications
    15 years 11 months ago
    Verifying realizability and reachability in recursive interaction protocol specifications
    Download  www.aamas-conference.org
    Hywel R. Dunn-Davies, Jim Cunningham
    claim paper
    Read More »
    ATAL
    2009
    Springer
    124views Intelligent Agents» more  ATAL 2009»
    From agent interaction protocols to executable code: a model-driven approach
    15 years 11 months ago
    From agent interaction protocols to executable code: a model-driven approach
    Download  www.aamas-conference.org
    Christian Hahn, Ingo Zinnikus, Stefan Warwas, Klau...
    claim paper
    Read More »
    111
    Voted
    IFIP
    2009
    Springer
    92views Programming Languages» more  IFIP 2009»
    Integrating Automated and Interactive Protocol Verification
    15 years 11 months ago
    Integrating Automated and Interactive Protocol Verification
    Download  www.brucker.ch
    Achim D. Brucker, Sebastian Mödersheim
    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.