Search results for "Interaction Protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Norizal Abd Latif, Mohd. Fadzil Hassan, Mohd Hilmi Hasan	Interaction protocol for agent-based e-learning system.	iiWAS	2009	DBLP DOI BibTeX RDF	interaction protocol, electronic institution, e-learning system, agent-based
3	Hongbing Chen, Qun Yang, Manwu Xu	A Calculus for MAS Interaction Protocol.	PRIMA	2006	DBLP DOI BibTeX RDF	Dialogue protocol, Multi-agent, Interaction protocol, ?-Calculus
2	Andreas Schroeder, Philip Mayer	Verifying Interaction Protocol Compliance of Service Orchestrations.	ICSOC	2008	DBLP DOI BibTeX RDF
2	Ludivine Crépin, Yves Demazeau, Olivier Boissier, François Jacquenet	Sensitive Data Transaction in Hippocratic Multi-Agent Systems.	ESAW	2008	DBLP DOI BibTeX RDF	Sensitive Data Transaction, Privacy, Multi-Agent Systems, Confidentiality, Interaction Protocol
2	Gemma Bel Enguix, María Adela Grando, Maria Dolores Jiménez-López	An Interaction Protocol for Agent Communication.	CEEMAS	2007	DBLP DOI BibTeX RDF
2	Yasmine Charif-Djebbar, Nicolas Sabouret	Dynamic Service Composition and Selection through an Agent Interaction Protocol.	IAT Workshops	2006	DBLP DOI BibTeX RDF
2	Yasmine Charif-Djebbar, Nicolas Sabouret	Dynamic Web Service Selection and Composition: An Approach Based on Agent Dialogues.	ICSOC	2006	DBLP DOI BibTeX RDF	Agent-based SOA, Agents’ Dialogues, Service Composition, Service Selection, Interaction Protocol
2	Fernando Alonso Amo, Sonia Frutos, Genoveva López Gómez, F. Javier Soriano Camino	A Formal Framework for Interaction Protocol Engineering.	CEEMAS	2005	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	Marc-Philippe Huget, Jean-Luc Koning	Interaction Protocol Engineering.	Communication in Multiagent Systems	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	Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang	Extended Modeling Languages for Interaction Protocol Design.	AOSE	2001	DBLP DOI BibTeX RDF
2	Konstantin Trachos, Erik Maehle	A class hierarchy emulating virtual shared objects on message-passing systems.	PDP	1995	DBLP DOI BibTeX RDF	virtual shared objects, scalable performance, composite virtual objects, object-oriented abstractions, shared composite virtual objects, parallel programming, parallel programming, object-oriented programming, C++, message passing, shared memory, shared memory systems, distributed memory systems, type theory, interaction protocol, distributed memory, data types, C language, shared objects, message-passing systems, class hierarchy
1	Guiovanni Jules, Mohammad Owliya, Mozafar Saadat	A ring-based interaction protocol for job allocation in manufacturing networks.	SMC	2011	DBLP DOI BibTeX RDF
1	Roman Popp, David Raneburger	A High-Level Agent Interaction Protocol Based on a Communication Ontology.	EC-Web	2011	DBLP DOI BibTeX RDF
1	Liliana Ardissono, Roberto Furnari, Giovanna Petrone, Marino Segnan	Interaction protocol mediation in web service composition.	Int. J. Web Eng. Technol.	2010	DBLP DOI BibTeX RDF
1	Joachim Zeiß, René Gabner, Sandford Bessler, Marco Happenhofer	The SHIP: A SIP to HTTP Interaction Protocol - Advanced Thin-Client Architecture for IMS Applications.	WEBIST (Selected Papers)	2009	DBLP DOI BibTeX RDF
1	Joachim Zeiss, René Gabner, Sandford Bessler, Marco Happenhofer	SHIP - SIP HTTP Interaction Protocol - Proposing a Thin-client Architecture for IMS Applications.	WEBIST	2009	DBLP BibTeX RDF
1	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
1	Kazimierz Wilkosz, Zofia Kruczkiewicz, Tomasz Rojek	Multiagent Systems for Power System Topology Verification.	IDEAL	2009	DBLP DOI BibTeX RDF	power system topology, radial basic function networks, multiagent system, interaction protocol
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	Laurent Mazuel, Nicolas Sabouret	A communication protocol for semantic heterogeneity with incomplete ontology alignment.	AAMAS	2009	DBLP DOI BibTeX RDF	communication & protocol, ontologies, interaction, multiagent systems, semantic heterogeneity
1	Byung-Joon Min, Kwang-Il Goh, In-mook Kim	Dynamics of Priority-Queue Networks.	Complex	2009	DBLP DOI BibTeX RDF	human dynamics, social network, Priority queue
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	Elisabeth Ball, Michael Butler	Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	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
1	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
1	Hamid R. Motahari Nezhad, Régis Saint-Paul, Boualem Benatallah, Fabio Casati	Deriving Protocol Models from Imperfect Service Conversation Logs.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
1	Christopher Dartnell, Éric Martin, Jean Sallantin	Learning from Each Other.	Discovery Science	2008	DBLP DOI BibTeX RDF	Interaction for Knowledge Discovery, Machine learning, Logic
1	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
1	Liliana Ardissono, Roberto Furnari, Anna Goy, Giovanna Petrone, Marino Segnan	An Event-Based Model for the Management of Choreographed Services.	EC-Web	2008	DBLP DOI BibTeX RDF
1	Stella Heras, Miguel Rebollo, Vicente Julián	A Dialogue Game Protocol for Recommendation in Social Networks.	HAIS	2008	DBLP DOI BibTeX RDF
1	Giorgio Gosti	Resolving CSP with Naming Games.	ICLP	2008	DBLP DOI BibTeX RDF
1	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
1	Özgür Gümüs, Önder Gürcan, Oguz Dikenelli	Towards a Broker Agent in the Semantic Services Environment.	SOCASE	2008	DBLP DOI BibTeX RDF
1	Daniela Weinberg	Efficient Controllability Analysis of Open Nets.	WS-FM	2008	DBLP DOI BibTeX RDF	Petri nets, Business process analysis, Process verification and validation, Formal models in business process management
1	Emanuele Bellini, Ernesto Damiani, Cristiano Fugazza, Maurizio Lunghi	Semantics-Aware Resolution of Multi-part Persistent Indentifiers.	WSKS	2008	DBLP DOI BibTeX RDF	Persistent Identification, Ontologies, Metadata
1	Aleksej Jerman Blazic, Tomaz Klobucar, Borka Dzonova-Jerman-Blazic	Long-term trusted preservation service using service interaction protocol and evidence records.	Computer Standards & Interfaces	2007	DBLP DOI BibTeX RDF
1	Nacéra Benamrane, Samir Nassane	Medical Image Segmentation by a Multi-Agent System Approach.	MATES	2007	DBLP DOI BibTeX RDF	multi-agent system, cooperation, negotiation, region growing, interaction protocol, JADE, FIPA, medical image segmentation
1	Francesco Viganò, Marco Colombetti	Symbolic model checking of institutions.	ICEC	2007	DBLP DOI BibTeX RDF	model checking, norms, institutions
1	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
1	Shamimabi Paurobally, Michael Wooldridge	Joint conversation specification and compliance.	AAMAS	2007	DBLP DOI BibTeX RDF	joint communicative action, agent, protocol, belief
1	Nalaka Gooneratne, Zahir Tari, James Harland	Verification of web service descriptions using graph-based traversal algorithms.	SAC	2007	DBLP DOI BibTeX RDF	consistent descriptions, verification, service descriptions
1	Clauvice Kenfack	Modeling Community of Practices Using Intelligent Agents.	CSCWD	2007	DBLP DOI BibTeX RDF
1	Qiang Lin, JiDong Ge, Hao Hu, Jian Lu	An Approach to Model Cross-organizational Processes using Object Petri net.	IEEE SCW	2007	DBLP DOI BibTeX RDF
1	Emil Vassev, Joey Paquet	ASSL - Autonomic System Specification Language.	SEW	2007	DBLP DOI BibTeX RDF
1	Shamimabi Paurobally, Michael Wooldridge	Joint Conversation Specification and Compliance.	DALT	2007	DBLP DOI BibTeX RDF	joint conversation, communicative action, compliance, intention
1	Jayeola Femi Opadiji, Toshiya Kaihara	Distributed Production Scheduling Using Federated Agent Architecture.	HoloMAS	2007	DBLP DOI BibTeX RDF	Auction-Based Scheduling, Federated Agent Architecture, Multiagent System, Production Scheduling
1	Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh	A New Formalism for Describing Concurrent Systems.	ISPA Workshops	2007	DBLP DOI BibTeX RDF
1	Shohei Yamane, Toru Ishida	An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation.	PRIMA	2007	DBLP DOI BibTeX RDF
1	Frank Guerin	Applying game theory mechanisms in open agent systems with complete information.	Autonomous Agents and Multi-Agent Systems	2007	DBLP DOI BibTeX RDF	Open agent systems, Interoperability, Game theory, Mechanism verification
1	Patrick C. K. Hung, Dickson K. W. Chiu, W. W. Fung, William K. Cheung, Raymond K. Wong, Samuel P. M. Choi, Eleanna Kafeza, James T. Kwok, Joshua C. C. Pun, Vivying S. Y. Cheng	End-to-end privacy control in service outsourcing of human intensive processes: A multi-layered Web service integration approach.	Information Systems Frontiers	2007	DBLP DOI BibTeX RDF	Web service integration, Need-to-know principle, APPEL, SLA, Privacy policies, P3P, Layered architecture
1	Gustavo R. de Carvalho, Carlos José Pereira de Lucena, Rodrigo B. de Paes, Ricardo Choren, Jean-Pierre Briot	Applying the Governance Framework Technique to Promote Maintainability in Open Multi-Agent Systems.	AOSE	2006	DBLP DOI BibTeX RDF	Reuse, Interaction protocol, Law-enforcement
1	Stefanie Tomko, Roni Rosenfeld	Shaping user input in speech graffiti: a first pass.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	user interfaces, speech recognition, spoken dialog systems
1	Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling	Towards self-adaptive service-oriented architectures.	TAV-WEB	2006	DBLP DOI BibTeX RDF
1	Sam Chung, Jennifer R. Pan, Sergio Davalos	A Special Web Service Mechanism: Asynchronous .NET Web Services.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
1	Velik Bellemin, Tadashi Araragi	CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
1	Ingo Müller 0001, Ryszard Kowalczyk, Peter Braun	Towards Agent-Based Coalition Formation for Service Composition.	IAT	2006	DBLP DOI BibTeX RDF
1	Emerson Ribeiro de Mello, Savas Parastatidis, Philipp Reinecke, Chris Smith, Aad P. A. van Moorsel, Jim Webber	Secure and Provable Service Support for Human-Intensive Real-Estate Processes.	IEEE SCC	2006	DBLP DOI BibTeX RDF
1	Erwin Jansen, Hen-I Yang, Sumi Helal	Automated Verification of Proper Choreography Implementation.	SAINT	2006	DBLP DOI BibTeX RDF	Internet workflow, Infrastructure for e-services, Cooperation, Smart home, Brokering, Webservice
1	Yuu Nakajima, Hironori Shiina, Shohei Yamane, Hirofumi Yamaki, Toru Ishida	Caribbean/Q: A Massively Multi-Agent Platform with Scenario Description Language.	SKG	2006	DBLP DOI BibTeX RDF
1	Santiago Ontañón, Enric Plaza	Arguments and Counterexamples in Case-Based Joint Deliberation.	ArgMAS	2006	DBLP DOI BibTeX RDF
1	Miguel A. López-Carmona, Juan R. Velasco	A Fuzzy Constraint Based Model for Automated Purchase Negotiations.	TADA/AMEC	2006	DBLP DOI BibTeX RDF
1	Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally	Modularity and Composition in Propositional Statecharts.	Diagrams	2006	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti	A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.	ICSOC	2006	DBLP DOI BibTeX RDF
1	Fernando Alonso, Rafael Fernández, Sonia Frutos, Javier Soriano	Engineering Agent Conversations with the DIALOG Framework.	MATES	2006	DBLP DOI BibTeX RDF
1	Lawrence Cabac, Nicolas Knaak, Daniel Moldt, Heiko Rölke	Analysis of Multi-Agent Interactions with Process Mining Techniques.	MATES	2006	DBLP DOI BibTeX RDF
1	Denis Jouvin	Continuations and Behavior Components Engineering in Multi-Agent Systems.	MATES	2006	DBLP DOI BibTeX RDF	conversational multi-agent systems, behavioral component, continuation-based automatons, Continuations, agent oriented software engineering
1	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
1	Nicola Dragoni, Mauro Gaspari	Crash failure detection in asynchronous agent communication languages.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	Robust multi-agent systems, Open asynchronous multi-agent systems, Anonymous interaction, Knowledge level agents, Multi-agent systems, Agent communication languages
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	An infrastructure to support cooperation of knowledge-level agents on the semantic Grid.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Knowledge-level agents, Open service architectures, Agent communication languages, Semantic GRID
1	Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney	Computational Representation of Practical Argument.	Synthese	2006	DBLP DOI BibTeX RDF
1	Yingchun Chen, Huan Qi, Shan-Shan Wang	Multi-agent Pursuit-Evasion Algorithm Based on Contract Net Interaction Protocol.	ICNC	2005	DBLP DOI BibTeX RDF
1	Robert A. Barta	TMIP, A RESTful Topic Maps Interaction Protocol.	Extreme Markup Languages®	2005	DBLP BibTeX RDF
1	Minxin Shen	The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System.	SEKE	2005	DBLP BibTeX RDF
1	Aleksej Jerman Blazic, Peter Sylvester	Provision of Long-Term Archiving Service for Digitally Signed Documents Using an Archive Interaction Protocol.	EuroPKI	2005	DBLP DOI BibTeX RDF
1	Mohd. Fadzil Hassan, Dave Robertson, Chris Walton	Addressing Constraint Failures in Agent Interaction Protocol.	PRIMA	2005	DBLP DOI BibTeX RDF
1	Maoguang Wang, Zhongzhi Shi, Wenpin Jiao	Dynamic Interaction Protocol Load in Multi-Agent System Collaboration.	PRIMA	2005	DBLP DOI BibTeX RDF
1	Christopher Cheong, Michael Winikoff	Hermes: a methodology for goal oriented agent interactions.	AAMAS	2005	DBLP DOI BibTeX RDF	agent-oriented software engineering, interaction protocol, goal-oriented
1	Patrick C. K. Hung, Dickson K. W. Chiu, W. W. Fung, William K. Cheung, Raymond K. Wong, Samuel P. M. Choi, Eleanna Kafeza, James T. Kwok, Joshua C. C. Pun, Vivying S. Y. Cheng	Towards end-to-end privacy control in the outsourcing of marketing activities: a web service integration solution.	ICEC	2005	DBLP DOI BibTeX RDF	Web service integration, need-to-know principle, OWL, SOAP, WSDL, privacy policies, UDDI, EPAL
1	Jarred McGinnis, David Robertson, Christopher Walton	Protocol synthesis with dialogue structure theory.	AAMAS	2005	DBLP DOI BibTeX RDF	dialogue structure, interaction protocols, distributed protocols
1	A. Neho	An extensible framework for automatic negotiation in distributed online bargaining applications.	AICCSA	2005	DBLP DOI BibTeX RDF
1	Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori	Incremental Design of a State Machine Specification for Mobile and Real-Time Systems .	AINA	2005	DBLP DOI BibTeX RDF
1	Hind Fadil, Jean-Luc Koning	Rules for Translating Interaction Protocols into a B Formal Representation.	IAT	2005	DBLP DOI BibTeX RDF
1	Li Guo, David Robertson, Yun-Heh Chen-Burger	A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition.	IAT	2005	DBLP DOI BibTeX RDF
1	Li Guo, David Robertson, Yun-Heh Chen-Burger	A Novel Approach for Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-Agent Platform.	ICEBE	2005	DBLP DOI BibTeX RDF
1	Stefan Luckner, Daniel Rolli, Christof Momm, Christof Weinhardt	Market Agents with a Sense for Mechanisms.	ICEBE	2005	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	An ACL for Specifying Fault-Tolerant Protocols.	AI*IA	2005	DBLP DOI BibTeX RDF
1	Juan C. García-Ojeda, Álvaro Enrique Arenas, José de Jesús Pérez Alcázar	Paving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML.	AOSE	2005	DBLP DOI BibTeX RDF
1	Jarred McGinnis, David Robertson, Christopher Walton	Protocol Synthesis with Dialogue Structure Theory.	ArgMAS	2005	DBLP DOI BibTeX RDF
1	Nabil Hameurlain	Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems.	CEEMAS	2005	DBLP DOI BibTeX RDF
1	Christopher Dartnell, Jean Sallantin	Assisting Scientific Discovery with an Adaptive Problem Solver.	Discovery Science	2005	DBLP DOI BibTeX RDF
1	Lei Gao, Yongsheng Ding	A Flexible Communication Scheme to Support Grid Service Emergence.	ICCSA	2005	DBLP DOI BibTeX RDF
1	Xiuhui Wang, Wei Hua, Hujun Bao	Interactive 3D Editing on Tiled Display Wall.	ICCSA	2005	DBLP DOI BibTeX RDF
1	Karthik Gomadam, Kunal Verma, Amit P. Sheth, John A. Miller	Demonstrating Dynamic Configuration and Execution of Web Processes.	ICSOC	2005	DBLP DOI BibTeX RDF
1	Hai Jin, Weizhong Qiang, Xuanhua Shi, Deqing Zou	A Novel Authorization Mechanism for Service-Oriented Virtual Organization.	ISCIS	2005	DBLP DOI BibTeX RDF
1	Bastin Tony Roy Savarimuthu, Maryam Purvis, Martin K. Purvis	Different Perspectives on Modeling Workflows in an Agent Based Workflow Management System.	KES	2005	DBLP DOI BibTeX RDF
1	Li Guo, David Robertson, Yun-Heh Chen-Burger	Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform.	MATES	2005	DBLP DOI BibTeX RDF
1	Willem-Jan van den Heuvel, Kees Leune, Mike P. Papazoglou	EFSOC: A Layered Framework for Developing Secure Interactions between Web-Services.	Distributed and Parallel Databases	2005	DBLP DOI BibTeX RDF	security, role based access control, business process
1	Aizhong Lin, Igor Hawryszkiewycz, Brian Henderson-Sellers	Agent Interaction Management and Application in a Virtual Collaborative Environment.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	Agent Interaction Management, Agent Business Relationship, Agent Belief Revision, Agent, Agent Interaction, Agent Interaction Protocol