Search Sciweavers | Sciweavers

1186 search results - page 15 / 238

» Goal-Oriented Interaction Protocols

click to vote

ICDE
2007
IEEE

97views Database» more ICDE 2007»

Protocol Discovery from Imperfect Service Interaction Logs

14 years 11 months ago

Download cgi.cse.unsw.edu.au

Boualem Benatallah, Fabio Casati, Hamid R. Motahar...

claim paper

Read More »

click to vote

ATAL
2009
Springer

192views Intelligent Agents» more ATAL 2009»

Choice, interoperability, and conformance in interaction protocols and service choreographies

14 years 1 months ago

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 »

click to vote

ATAL
2009
Springer

92views Intelligent Agents» more ATAL 2009»

Verifying realizability and reachability in recursive interaction protocol specifications

14 years 4 months ago

Download www.aamas-conference.org

Hywel R. Dunn-Davies, Jim Cunningham

claim paper

Read More »

click to vote

ATAL
2009
Springer

124views Intelligent Agents» more ATAL 2009»

From agent interaction protocols to executable code: a model-driven approach

14 years 4 months ago

Download www.aamas-conference.org

Christian Hahn, Ingo Zinnikus, Stefan Warwas, Klau...

claim paper

Read More »

click to vote

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Integrating Automated and Interactive Protocol Verification

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers