Search results for "interaction protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Maricela Bravo, José Velázquez	Discovering Pragmatic Similarity Relations between Agent Interaction Protocols.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Pragmatic similarity, multi-agent systems, interaction protocols
3	Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda	A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	Multi-agent Systems, Coloured Petri Nets, Interaction Protocols, Business Processes Integration
3	Tim Miller, Peter McBurney	On illegal composition of first-class agent interaction protocols.	ACSC	2008	DBLP DOI BibTeX RDF	multi-agent systems, interaction protocols
3	Juan Manuel Serrano, Sascha Ossowski	A semantic framework for the recursive specification of interaction protocols.	SAC	2005	DBLP DOI BibTeX RDF	recursive definitions, standards for agents and MAS, interaction protocols, agent-based software engineering, agent communication languages and protocols, organisational models
3	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF	web service interaction protocols, formal verification, conformance test, finite state automata
3	Lawrence Cabac, Daniel Moldt, Heiko Rölke	A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.	ICATPN	2003	DBLP DOI BibTeX RDF	agents, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
2	Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh	Choice, interoperability, and conformance in interaction protocols and service choreographies.	AAMAS	2009	DBLP DOI BibTeX RDF	web services, interoperability, choreographies, interaction protocols, conformance
2	Christian Hahn, Ingo Zinnikus, Stefan Warwas, Klaus Fischer	From agent interaction protocols to executable code: a model-driven approach.	AAMAS	2009	DBLP DOI BibTeX RDF	model-driven code generation, model transformation, agent interaction protocols
2	Hywel R. Dunn-Davies, Jim Cunningham	Verifying realizability and reachability in recursive interaction protocol specifications.	AAMAS	2009	DBLP DOI BibTeX RDF	propositional statecharts, verification, interaction protocols
2	Inès Thabet, Chihab Hanachi, Khaled Ghédira	Towards an Adaptive Grid Scheduling: Architecture and Protocols Specification.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Petri-Nets, interaction protocols, BDI agent, Grid scheduling
2	Leila Jemni Ben Ayed, Fatma Siala	From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Specificatin, Multi-agent Systems, Verification, Event B, AUML
2	Tim Miller, Peter McBurney	Annotation and Matching of First-Class Agent Interaction Protocols.	ArgMAS	2008	DBLP DOI BibTeX RDF	first-class protocols, multi-agent systems, annotation, matching, agent interaction
2	Leila Jemni Ben Ayed, Fatma Siala	Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.	DSV-IS	2008	DBLP DOI BibTeX RDF	Multi-Agent System, verification, specification, Event B, AUML
2	Rafael Tolosana-Calasanz, José A. Bañares, Pedro Álvarez, Joaquin Ezpeleta	On Interlinking of Grids: A Proposal for Improving the Flexibility of Grid Service Interactions.	ICIW	2008	DBLP DOI BibTeX RDF	Interlinking of Grids, Grid Interaction Protocols, Petri Nets, Grid Interoperability
2	Javier Fabra, Pedro Álvarez, José A. Bañares, Joaquin Ezpeleta	Runtime Protocol Binding: Flexible Service Integration by Means of Flexible Service Interactions.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Business process composition, Dynamic approaches to integration, Service-oriented architectures, Petri nets, Interaction protocols
2	João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes	Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.	FORTE	2007	DBLP DOI BibTeX RDF
2	Lars Braubach, Alexander Pokahr	Goal-Oriented Interaction Protocols.	MATES	2007	DBLP DOI BibTeX RDF
2	José Luiz Fiadeiro, Vincent Schmitt	Structured Co-spans: An Algebra of Interaction Protocols.	CALCO	2007	DBLP DOI BibTeX RDF
2	Hywel R. Dunn-Davies, Jim Cunningham	Deriving agent-centred representations of protocols described using propositional statecharts.	AAMAS	2007	DBLP DOI BibTeX RDF	propositional statecharts, statecharts, interaction protocols
2	Tim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis	First-Class Protocols for Agent-Based Coordination of Scientific Instruments.	WETICE	2007	DBLP DOI BibTeX RDF	web services, multi-agent systems, coordination, interaction protocols
2	Velik Bellemin, Tadashi Araragi	CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
2	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Interaction Protocols and Capabilities: A Preliminary Report.	PPSWR	2006	DBLP DOI BibTeX RDF
2	José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden	A Modeling Framework for Generic Agent Interaction Protocols.	DALT	2006	DBLP DOI BibTeX RDF
2	Usman Wajid, Nikolay Mehandjiev	Agent Interaction Protocols and Flexible Agent Interaction in Dynamic Environments.	WETICE	2006	DBLP DOI BibTeX RDF
2	Tim Miller, Peter McBurney	Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols.	ESAW	2006	DBLP DOI BibTeX RDF
2	Tarek Jarraya, Zahia Guessoum	Reuse Interaction Protocols to Develop Interactive Agents.	IAT	2006	DBLP DOI BibTeX RDF
2	Gemma Bel Enguix, María Adela Grando, Maria Dolores Jiménez-López	A Grammatical Framework for Modelling Multi-agent Dialogues.	PRIMA	2006	DBLP DOI BibTeX RDF	Grammar Systems, Reproductive Eco-Grammar Systems, Multi-agent Systems, Interaction Protocols
2	Philippe Pasquier, Frank Dignum, Iyad Rahwan, Liz Sonenberg	Interest-Based Negotiation as an Extension of Monotonic Bargaining in 3APL.	PRIMA	2006	DBLP DOI BibTeX RDF	Dialog and interaction protocols, frameworks and toolkits, Agent-based electronic commerce, Agent-oriented software engineering, Agent programming languages, Conflict resolution and negotiation
2	Rie Tanaka, Hideyuki Nakanishi, Toru Ishida	Coordination of Concurrent Scenarios in Multi-agent Interaction.	PRIMA	2006	DBLP DOI BibTeX RDF	Agent and digital cities, dialog & interaction protocols, Multiagent systems and their applications, Agent communication languages, Conflict resolution and negotiation
2	Hind Fadil, Jean-Luc Koning	Rules for Translating Interaction Protocols into a B Formal Representation.	IAT	2005	DBLP DOI BibTeX RDF
2	Stephen Cranefield	Reliable group communication and institutional action in a multi-agent trading scenario.	AAMAS	2005	DBLP DOI BibTeX RDF	pit, reliable group communication, commitments, interaction protocols
2	Hind Fadil, Jean-Luc Koning	A Formal Approach to Model Multiagent Interactions Using the B Formal Method.	ISSADS	2005	DBLP DOI BibTeX RDF	formal specification, multiagent system, B method, interaction protocols
2	Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella	Reasoning About Agents' Interaction Protocols Inside DCaseLP.	DALT	2004	DBLP DOI BibTeX RDF
2	Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello	Specification and verification of agent interaction protocols in a logic-based system.	SAC	2004	DBLP DOI BibTeX RDF	verification, agents, computational logic
2	Frantisek Plasil, Viliam Holub	Exceptions in Component Interaction Protocols - Necessity.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
2	Marc-Philippe Huget, James Odell	Representing Agent Interaction Protocols with Agent UML.	AOSE	2004	DBLP DOI BibTeX RDF
2	Peter McBurney, Simon Parsons	Locutions for Argumentation in Agent Interaction Protocols.	AC	2004	DBLP DOI BibTeX RDF
2	Gery Gutnik, Gal A. Kaminka	A Scalable Petri Net Representation of Interaction Protocols for Overhearing.	AC	2004	DBLP DOI BibTeX RDF
2	Peter McBurney, Simon Parsons	Locutions for Argumentation in Agent Interaction Protocols.	AAMAS	2004	DBLP DOI BibTeX RDF
2	Marc-Philippe Huget, James Odell	Representing Agent Interaction Protocols with Agent UML.	AAMAS	2004	DBLP DOI BibTeX RDF
2	Ayodele Oluyomi, Leon Sterling	A Dedicated Approach for Developing Agent Interaction Protocols.	PRIMA	2004	DBLP DOI BibTeX RDF
2	Lawrence Cabac, Daniel Moldt	Formal Semantics for AUML Agent Interaction Protocol Diagrams.	AOSE	2004	DBLP DOI BibTeX RDF	Capa, net components, agents, operational semantics, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
2	Maryam Purvis, Martin K. Purvis, Azhar Haidar, Bastin Tony Roy Savarimuthu	A Distributed Workflow System with Autonomous Components.	PRIMA	2004	DBLP DOI BibTeX RDF	adaptability, coloured Petri nets, interaction protocols, dynamic workflow, autonomous components
2	Carlos Juiz, Ramón Puigjaner	Performance Modelling of Interaction Protocols for Component-Based System Design Using Object-Oriented Simulation.	ECBS	2003	DBLP DOI BibTeX RDF
2	Martin K. Purvis, Mariusz Nowostawski, Marcos De Oliveira, Stephen Cranefield	Multi-Agent Interaction Protocols for e-Business.	IAT	2003	DBLP DOI BibTeX RDF
2	Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings	Developing Agent Interaction Protocols Using Graphical and Logical Methodologies.	PROMAS	2003	DBLP DOI BibTeX RDF
2	José Ghislain Quenum, Aurélien Slodzian, Samir Aknine	Automatic Derivation of Agent Interaction Model from Generic Interaction Protocols.	AOSE	2003	DBLP DOI BibTeX RDF
2	Nicoletta Fornara, Marco Colombetti	Defining interaction protocols using a commitment-based agent communication language.	AAMAS	2003	DBLP DOI BibTeX RDF	open interaction system, auction, commitment, interaction protocol, agent communication language, communicative act
2	Mariusz Nowostawski, Daniel Carter, Stephen Cranefield, Martin K. Purvis	Communicative acts and interaction protocols in a distributed information system.	AAMAS	2003	DBLP DOI BibTeX RDF	NZDIS, multi-agent systems, software agents, interaction protocols, information agents, FIPA, communicative acts
2	Sobah Abbas Petersen, Mihhail Matskin	Agent Interaction Protocols for the Selection of Partners for Virtual Enterprises.	CEEMAS	2003	DBLP DOI BibTeX RDF
2	Marc-Philippe Huget, Jean-Luc Koning	Requirement Analysis for Interaction Protocols.	CEEMAS	2003	DBLP DOI BibTeX RDF
2	Santtu Toivonen, Heikki Helin	Representing Interaction Protocols in DAML.	AMKM	2003	DBLP DOI BibTeX RDF
2	Sea Ling, Seng Wai Loke	A formal compositional model of multiagent interaction.	AAMAS	2003	DBLP DOI BibTeX RDF	compositional specifications, petri nets, agent-oriented software engineering, interaction protocols
2	Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge	Re-use of Interaction Protocols for Agent-Based Control Applications.	AOSE	2002	DBLP DOI BibTeX RDF
2	David Poutakidis, Lin Padgham, Michael Winikoff	Debugging multi-agent systems using design artifacts: the case of interaction protocols.	AAMAS	2002	DBLP DOI BibTeX RDF
2	Carlos Juiz, Ramón Puigjaner, Ken Jackson	Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures.	Performance Engineering	2001	DBLP DOI BibTeX RDF
2	Jürgen Lind	Specifying Agent Interaction Protocols with Standard UML.	AOSE	2001	DBLP DOI BibTeX RDF
2	Nabil Hameurlain	Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols.	CEEMAS	2001	DBLP DOI BibTeX RDF
2	James Odell, H. Van Dyke Parunak, Bernhard Bauer	Representing Agent Interaction Protocols in UML.	AOSE	2000	DBLP DOI BibTeX RDF
2	Alexander Artikis, Frank Guerin, Jeremy Pitt	Integrating Interaction Protocols and Internet Protocols for Agent-Mediated E-Commerce.	AMEC	2000	DBLP DOI BibTeX RDF
2	Wu Wen, Fumio Mizoguchi	Analysis and Verification of Multi-Agent Interaction Protocols.	APSEC	1999	DBLP DOI BibTeX RDF
1	Mahdi Abdelkafi, Lotfi Bouzguenda, Faïez Gargouri	DiscopFlow: A new Tool for Discovering Organizational Structures and Interaction Protocols in WorkFlow	CoRR	2012	DBLP BibTeX RDF
1	Nicole Ronald, Theo A. Arentze, Harry J. P. Timmermans	The Effects of Different Interaction Protocols in Agent-Based Simulation of Social Activities.	IJATS	2011	DBLP DOI BibTeX RDF
1	Tim Miller, Peter McBurney	Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols.	Computational Intelligence	2011	DBLP DOI BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari	Learning specifications of interaction protocols and business processes and proving their properties.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
1	Meriem Ouederni, Gwen Salaün, Ernesto Pimentel	Measuring the compatibility of service interaction protocols.	SAC	2011	DBLP DOI BibTeX RDF
1	Bexy Alfonso, Emilio Vivancos, Vicente J. Botti, Ana García-Fornes	Integrating jason in a multi-agent platform with support for interaction protocols.	SPLASH Workshops	2011	DBLP DOI BibTeX RDF
1	Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour	A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude.	Journal of Object Technology	2010	DBLP DOI BibTeX RDF
1	Gwen Salaün	Analysis and Verification of Service Interaction Protocols - A Brief Survey	TAV-WEB	2010	DBLP DOI BibTeX RDF
1	Yasser F. O. Mohammad, Toyoaki Nishida	Learning interaction protocols using Augmented Baysian Networks applied to guided navigation.	IROS	2010	DBLP DOI BibTeX RDF
1	Alexander Pokahr, Lars Braubach	Reusable Interaction Protocols for Workflows.	GI Jahrestagung	2010	DBLP BibTeX RDF
1	Tim Miller, Peter McBurney	Characterising and matching iterative and recursive agent interaction protocols.	AAMAS	2010	DBLP DOI BibTeX RDF
1	Christopher Martinez, Randy Kemp, David Birchfield, Ellen Campana, Todd Ingalls, Gkisedtanamoogk	Culturally sensible digital place-making: design of the mediated xicanindio resolana.	Tangible and Embedded Interaction	2010	DBLP DOI BibTeX RDF	cultural interface, culturally sensible design, indigenous media, mixed-reality learning, social interaction
1	Eryk Ciepiela, Maciej Malawski, Marian Bubak	CompTalks - From a Meta-model Towards a Framework for Application-Level Interaction Protocols.	Euro-Par Workshops	2009	DBLP DOI BibTeX RDF
1	J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado	An Obligation Approach for Exception Handling in Interaction Protocols.	Web Intelligence/IAT Workshops	2009	DBLP DOI BibTeX RDF
1	Jan D. Gehrke, Arne Schuldt	Incorporating knowledge about interaction for uniform agent design for simulation and operation.	AAMAS	2009	DBLP DOI BibTeX RDF	communication, agents, multiagent systems, synchronisation, interaction protocols, multiagent-based simulation
1	Stefano Bromuri, Visara Urovi, Maxime Morge, Kostas Stathis, Francesca Toni	A multi-agent system for service discovery, selection and negotiation.	AAMAS	2009	DBLP DOI BibTeX RDF	SOA, grid, negotiation, argumentation
1	Masahiro Tanaka, Toru Ishida, Yohei Murakami, Satoshi Morimoto	Service Supervision: Coordinating Web Services in Open Environment.	ICWS	2009	DBLP DOI BibTeX RDF
1	Milan Rollo, Antonín Komenda	Mobility Model for Tactical Networks.	HoloMAS	2009	DBLP DOI BibTeX RDF	tactical networks, simulation, Mobility model
1	Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella	An Automatic Approach to Enable Replacement of Conversational Services.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
1	Stéphanie Combettes	Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Deontic protocol, Organizational Petri Net, Methodology
1	Omar J. López Orozco, Jose L. Martinez Lastra, José A. Pérez García, María de los Ángeles Cavia Soto	Messaging Performance of FIPA Interaction Protocols in Networked Embedded Controllers.	EURASIP J. Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia	Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols.	IJAOSE	2008	DBLP DOI BibTeX RDF
1	Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung	Checking Interface Interaction Protocols Using Aspect-Oriented Programming.	SEFM	2008	DBLP DOI BibTeX RDF
1	Leila Jemni Ben Ayed, Fatma Siala	An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.	MSVVEIS	2008	DBLP BibTeX RDF
1	Tim Miller, Peter McBurney	Annotation and matching of first-class agent interaction protocols.	AAMAS	2008	DBLP DOI BibTeX RDF
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Verifiable agent interaction in abductive logic programming: The SCIFF framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols
1	Usman Wajid, Nikolay Mehandjiev	Using Task-Based Dialogues for Multi-agent Collaborations.	WETICE	2008	DBLP DOI BibTeX RDF	Agent Dialogues, Flexible Interactions, Task-based Dialogues, Task Structure, Interaction Protocols, Dialogue Model
1	Katie Atkinson, Roderic A. Girle, Peter McBurney, Simon Parsons	Command Dialogues.	ArgMAS	2008	DBLP DOI BibTeX RDF	imperatives, semantics, interaction protocols, agent communications, dialogue games, commands, argument schemes
1	J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado	From Obligations to Organizational Structures in Multi-Agent Systems.	PRIMA	2008	DBLP DOI BibTeX RDF	Multi-agent systems, interaction protocols, social norms
1	Nikolaos I. Spanoudakis, Pavlos Moraitis	An Agent Modeling Language Implementing Protocols through Capabilities.	IAT	2008	DBLP DOI BibTeX RDF
1	Enric Cervera, Jorge Sales, Leo Nomdedeu, Raúl Marín, Veysel Gazi	Agents at play: Off-the-shelf software for practical multi-robot applications.	IROS	2008	DBLP DOI BibTeX RDF
1	Rodrigo Prado, Eduardo Zagari, Tomás Badan, Eleri Cardozo, Murício Magalhães, José Carrilho, Rossano P. Pinto, André Berenguel, Daniel Barboza, Daniel Moraes, Thienne Johnson, Lars Westberg	A reference architecture for micro-mobility support in IP networks.	ISCC	2008	DBLP DOI BibTeX RDF
1	Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi	Precise Steps for Choreography Modeling for SOA Validation and Verification.	SOSE	2008	DBLP DOI BibTeX RDF
1	Roberto Bruni, Leonardo Gaetano Mezzina	Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.	AMAST	2008	DBLP DOI BibTeX RDF
1	Nalaka Gooneratne, Zahir Tari, James Harland	VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.	ICSOC	2008	DBLP DOI BibTeX RDF
1	Andreas Schroeder, Philip Mayer	Verifying Interaction Protocol Compliance of Service Orchestrations.	ICSOC	2008	DBLP DOI BibTeX RDF
1	Shoichi Sawada, Hiromitsu Hattori, Marika Odagaki, Kengo Nakajima, Toru Ishida	Participatory Simulation Platform Using Network Games.	PRIMA	2008	DBLP DOI BibTeX RDF	Participatory Modeling, Gaming, Networked Simulator, Multiagent Simulation, Participatory Simulation
1	Guillermo Vigueras, Jorge J. Gómez-Sanz, Juan A. Botía Blaya, Juan Pavón	Using Semantic Causality Graphs to Validate MAS Models.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Intelligent agent-based systems, MAS debug, MAS validation
1	Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Specification and Verification of Agent Interaction Protocols in a Logic-based System.	Scalable Computing: Practice and Experience	2007	DBLP BibTeX RDF