Search results for "coordination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Farhad Arbab, Éric Monfroy	Distributed Splitting of Constraint Satisfaction Problems.	COORDINATION	2000	DBLP DOI BibTeX RDF
35	Jeremy L. Jacob, Alan M. Wood	A Principled Semantics for inp.	COORDINATION	2000	DBLP DOI BibTeX RDF
35	Martin Weichert	Pipelining the Molecule Soup: A Plumber's Approach to Gamma.	COORDINATION	1999	DBLP DOI BibTeX RDF
35	Cecilia Mascolo	MobiS: A Specification Language for Mobile Systems.	COORDINATION	1999	DBLP DOI BibTeX RDF
35	Bram Klievink, Marijn Janssen	Coordinating e-government service delivery.	DG.O	2010	DBLP BibTeX RDF	multichannel management, coordination, e-government, service delivery, intermediation
35	Stefan Craß, Eva Kühn, Gernot Salzer	Algebraic foundation of a data model for an extensible space-based collaboration protocol.	IDEAS	2009	DBLP DOI BibTeX RDF	extensible virtual shared memory, language independent protocol, coordination, query language, data model, tuple spaces, space-based computing
35	Juha Puustjärvi	Ensuring recoverability in composing web services.	iiWAS	2009	DBLP DOI BibTeX RDF	web services, orchestration, atomic transactions, WS-coordination
35	Maya Daneva, Roel J. Wieringa	A requirements engineering framework for cross-organizational ERP systems.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	Business/IT misalignment, Cross-organizational coordination, Enterprise resource planning, Requirements engineering process
35	Jorge J. Gómez-Sanz, Juan Pavón	Defining coordination in multi-agent systems within an agent oriented software engineering methodology.	SAC	2006	DBLP DOI BibTeX RDF	coordination modeling, agent interaction, agent coordination
35	Marlon Dumas, Tore Fjellheim, Stephen Milliner, Julien Vayssière	Event-Based Coordination of Process-Oriented Composite Applications.	Business Process Management	2005	DBLP DOI BibTeX RDF	flexible process execution, event-based coordination, coordination middleware, activity diagram, object space
35	Damián Arregui, François Pacull, Michel Riviere	Heterogeneous Component Coordination: The CLF Approach.	EDOC	2000	DBLP DOI BibTeX RDF	heterogeneous component coordination, CLF approach, Java/Jini, Corba 3.0, Object Management Group, Coordination Language Facility, two-phase commit protocol, showcase application, heterogeneous components, Java, serializability, distributed object management, distributed transactions, Enterprise JavaBeans
35	Paolo Ciancarini	Modeling the software process using coordination rules.	WETICE	1995	DBLP DOI BibTeX RDF	coordination rules, software system production lifecycle, software process specification, dynamic knowledge base, process-centered development environments, coordination, programming environments, computer aided software engineering, software development process, software process modeling, rule-based program, logic programming languages, logic programming languages, enactment, project support environments, rule-based languages, project database
34	Holger Kasinger, Jörg Denzinger, Bernhard Bauer	Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals.	SAC	2009	DBLP DOI BibTeX RDF	self-organization, emergence, decentralized coordination
34	Manh Tung Pham, Kiam Tian Seow	On-line coordination among discrete-event agents.	AAMAS (2)	2009	DBLP BibTeX RDF	discrete-event modeling, multiagent coordination
34	W. Henk Zijm, Judith Timmer	Coordination mechanisms for inventory control in three-echelon serial and distribution systems.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Multi-echelon system, Nash equilibrium, Supply chain, Coordination mechanism, Inventory control, Strategic game
34	Basil Becker, Holger Giese	On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.	ISORC	2008	DBLP DOI BibTeX RDF	real-time coordination, verification, invariant, graph transformations, service-oriented, autonomous vehicles, structural adaptation
34	Kaveh Fayazbakhsh, Mohammadreza Razzazi	Coordination of a Multi-commodity Supply Chain with Multiple Members Using Flow Networks.	ICDS	2008	DBLP DOI BibTeX RDF	e-hub, multi-commodity, coordination, supply chain, flow networks
34	Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall	Pantaxou: a domain-specific language for developing safe coordination services.	GPCE	2008	DBLP DOI BibTeX RDF	distributed systems, safety, domain-specific languages, architecture description languages, coordination languages
34	David E. Ott, Ketan Mayer-Patel	An open architecture for transport-level protocol coordination in distributed multimedia applications.	ACM Trans. Multim. Comput. Commun. Appl.	2007	DBLP DOI BibTeX RDF	flow coordination, distributed applications, Network protocols
34	Tim Miller 0001, 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
34	Isaac Chao, Oscar Ardaiz, Ramon Sangüesa	Tag Mechanisms Evaluated for Coordination in Open Multi-Agent Systems.	ESAW	2007	DBLP DOI BibTeX RDF	group selection, prisoner’s dilemma, multi-agent systems, coordination, Tags, cooperative games
34	Limin Shen, Feng Li 0017, Shangping Ren, Yunfeng Mu	Dynamic Composition of Web Service Based on Coordination Model.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Web service, coordination, role, separation of concern, dynamic service composition
34	Mattijs Ghijsen, Wouter N. H. Jansweijer, Bob J. Wielinga	The effect of task and environment factors on M.A.S. coordination and reorganization.	AAMAS	2007	DBLP DOI BibTeX RDF	coordination cooperation and teamwork, social and organizational structures
34	Ping Xuan	Modeling plan coordination in multiagent decision processes.	AAMAS	2007	DBLP DOI BibTeX RDF	coordination, multiagent systems, cooperation, teamwork, multiagent planning
34	David Hales, Stefano Arteconi	SLACER: A Self-Organizing Protocol for Coordination in Peer-to-Peer Networks.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	social networks, coordination, P2P, cooperation, self-organization
34	Gordan Jezic, Mario Kusek, Vjekoslav Sinkovic	Teamwork Coordination in Large-Scale Mobile Agent Networks.	KES (1)	2006	DBLP DOI BibTeX RDF	Grid, mobile agents, coordination, teamwork, large-scale network
34	Kaiyu Wan, Vasu S. Alagar	An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents.	DALT	2005	DBLP DOI BibTeX RDF	coordinated transactions, Intensional Programming Language, coordination constructs, Multi-agent systems
34	Jeffrey S. Cox, Edmund H. Durfee, Thomas Bartold	A distributed framework for solving the Multiagent Plan Coordination Problem.	AAMAS	2005	DBLP DOI BibTeX RDF	multiagent planning and merging, distributed constraint optimization, coordination of multiple agents
34	Gianluca Moro, Antonio Natali	On the event coordination in multi-component systems.	SEKE	2002	DBLP DOI BibTeX RDF	component, coordination, observation, event, system
34	Avraam Chimaris, George A. Papadopoulos	Control-Driven Coordination Based Assembling of Components.	COMPSAC	2002	DBLP DOI BibTeX RDF	Coordination Languages and Models, System and Software Architectures, Distributed Software Composition, Component-Based System Integration, Visual Programming, Reusability
34	P. R. Balasubramanian, George M. Wyner, Nitin R. Joglekar	The Role of Coordination and Architecture in Supporting ASP Business Models.	HICSS	2002	DBLP DOI BibTeX RDF	Architecture, Knowledge management, Business processes, Organizational design, ASP, Coordination theory
34	Naftaly H. Minsky, Victoria Ungureanu	Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	coordination of heterogeneous agents, scalability, policy enforcement
34	Gurdip Singh, Arvind Gopalan	A Coordination Service for Distributed Applications.	WETICE	1999	DBLP DOI BibTeX RDF	Coordination, Open systems, Collaborative applications, Session management
34	Ir McChesney	Effective coordination in the software process - historical perspectives and future directions.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	multi-party activity, coordination, software process
33	Matthew Johnson 0001, Paul J. Feltovich, Jeffrey M. Bradshaw, Larry Bunch	Human-robot coordination through dynamic regulation.	ICRA	2008	DBLP DOI BibTeX RDF
33	Eva Kühn, Richard Mordinyi, Christian Schreiber	An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, .	ISoLA	2008	DBLP DOI BibTeX RDF
33	Alain Sarlette, Silvère Bonnabel, Rodolphe Sepulchre	Coordination on Lie groups.	CDC	2008	DBLP DOI BibTeX RDF
33	Matthew Johnson 0001, Paul J. Feltovich, Jeffrey M. Bradshaw, Larry Bunch	Demonstrating Human-Robot Coordination through Dynamic Regulation.	POLICY	2008	DBLP DOI BibTeX RDF	policy, domain, demo
33	Sangmin Kim, VamsiKrishna Vasireddy, Khaled Harfoush	Scalable coordination for sensor networks in challenging environments.	SAC	2007	DBLP DOI BibTeX RDF	wireless sensor networks, sensor networks, routing, mobility
33	Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso	COPA-CASE: Methodological Environment for the Generation, Application and Validation of Coordination Patterns.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
33	Victor Hernandez-Baruch, Alberto Portilla, José-Luis Zechinelli-Martini	ROSE: A transactional services coordination engine.	ENC	2007	DBLP DOI BibTeX RDF
33	Adnene Guabtni, François Charoy, Claude Godart	Concurrency Management in Transactional Web Services Coordination.	DEXA	2006	DBLP DOI BibTeX RDF
33	Thierry Moyaux, Ben Lithgow Smith, Shamimabi Paurobally	Towards Service-Oriented Ontology-Based Coordination.	ICWS	2006	DBLP DOI BibTeX RDF
33	Manfred Bortenschlager, Sigi Reich, Gabriele Kotsis	A Generic Coordination Architecture as an Enabler for Mobile Collaborative Applications.	WETICE	2006	DBLP DOI BibTeX RDF
33	Alessandro Ricci	Agents and Coordination Artifacts for Feature Engineering.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
33	Radu Handorean, Jamie Payton, Christine Julien 0001, Gruia-Catalin Roman	Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
33	Mikhail Prokopenko, Peter Wang	Relating the Entropy of Joint Beliefs to Multi-agent Coordination.	RoboCup	2002	DBLP DOI BibTeX RDF
33	Alberto Barbosa Raposo, Léo Pini Magalhães, Ivan Luiz Marques Ricarte, Hugo Fuks	Coordination of Collaborative Activities: A Framework for the Definition of Tasks Interdependencies.	CRIWG	2001	DBLP DOI BibTeX RDF
33	Patrick Etcheverry, Philippe Lopistéguy, Pantxika Dagorret	Specifying Contexts for Coordination Patterns.	CONTEXT	2001	DBLP DOI BibTeX RDF
33	Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya	Integration of Task and Data Parallelism: A Coordination-Based Approach.	HiPC	2000	DBLP DOI BibTeX RDF
33	Farhad Arbab	The Influence of Coordination on Program Structure.	HICSS (1)	1997	DBLP DOI BibTeX RDF
33	Steven Lucco, Oliver Sharp	Delirium: an embedding coordination language.	SC	1990	DBLP DOI BibTeX RDF
33	Ichiro Nishizaki, Tomohiro Hayashida, Hideki Katagiri, Noriyuki Hara	Agent-Based Simulation Analysis for Equilibrium Selection and Coordination Failure in Coordination Games Characterized by the Minimum Strategy.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	coordination games, agent-based simulation, adaptive agents
33	João Certo, Nuno Lau, Luís Paulo Reis	A generic multi-robot coordination strategic layer.	ROBOCOMM	2007	DBLP DOI BibTeX RDF	distributed coordination of mobile robots
33	Thomas Wagner 0001, Valerie Guralnik, John Phelps	A key-based coordination algorithm for dynamic readiness and repair service coordination.	AAMAS	2003	DBLP DOI BibTeX RDF	TAEMS, multi-agent systems, real-time, coordination, intelligent agents, dynamic, teams
33	Prasanta K. Bose, Xiaoqing Zhou	WWAC: WinWin abstraction based decision coordination.	WACC	1999	DBLP DOI BibTeX RDF	decision coordination, collaborative design, change management
32	Edmund H. Durfee	Planning for Coordination and Coordination for Planning.	Web Intelligence	2008	DBLP DOI BibTeX RDF
32	Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini	Coordination Artifacts: Environment-Based Coordination for Intelligent Agents.	AAMAS	2004	DBLP DOI BibTeX RDF
31	Sung-Shik Jongmans, Antónia Lopes (eds.)	Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Frank Pfenning, Klaas Pruiksma	Relating Message Passing and Shared Memory, Proof-Theoretically.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti	Reasoning About Choreographic Programs.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Valentina Castiglioni, Michele Loreti, Simone Tini	Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	José Proença, Luc Edixhoven	Caos: A Reusable Scala Web Animator of Operational Semantics.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega	A Formal MDE Framework for Inter-DSL Collaboration.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Jonah Pears, Laura Bocchi, Andy King	Safe Asynchronous Mixed-Choice for Timed Interactions.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Gianluca Aguzzi, Roberto Casadei, Mirko Viroli	MacroSwarm: A Field-Based Compositional Framework for Swarm Programming.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli	ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Claudio Antares Mezzina, Francesco Tiezzi 0001, Nobuko Yoshida	Rollback Recovery in Session-Based Programming.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins	Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Cosimo Laneve, Alessandro Parenti, Giovanni Sartor	Legal Contracts Amending with [inline-graphic not available: see fulltext].	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli	Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Loïc Desgeorges, Loïc Germerie Guizouarn	RSC to the ReSCu: Automated Verification of Systems of Communicating Automata.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana	JoT: A Jolie Framework for Testing Microservices.	COORDINATION	2023	DBLP DOI BibTeX RDF
31	Maurice H. ter Beek, Marjan Sirjani (eds.)	Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Gianluca Aguzzi, Roberto Casadei, Mirko Viroli	Towards Reinforcement Learning-based Aggregate Computing.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino	A Sound Up-to-n, δ Bisimilarity for PCTL.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Giorgio Audrito, Luigi Rapetta, Gianluca Torta	Extensible 3D Simulation of Aggregated Systems with FCPP.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb	A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea	A Model of Actors and Grey Failures.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir	A Monitoring Tool for Linear-Time μHML.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Nicola Del Giudice 0002, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti	Sibilla: A Tool for Reasoning about Collective Systems.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Roberto Casadei, Stefano Mariani 0001, Danilo Pianini, Mirko Viroli, Franco Zambonelli	Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Wang Yi 0001, Morteza Mohaqeqi, Susanne Graf	MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Franco Barbanera, Ivan Lanese, Emilio Tuosto	Formal Choreographic Languages.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher	Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Luca Viganò 0001	Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies).	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Laura Bussi, Fabio Gadducci, Francesco Santini 0001	Soft Concurrent Constraint Programming with Local Variables.	COORDINATION	2022	DBLP DOI BibTeX RDF
31	Ferruccio Damiani, Ornela Dardha (eds.)	Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro	Microservice Dynamic Architecture-Level Deployment Orchestration.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	João Mota, Marco Giunti, António Ravara	Java Typestate Checker.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Chad Nester	The Structure of Concurrent Process Histories.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Hannes Saffrich, Peter Thiemann 0001	Relating Functional and Imperative Session Types.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto	Towards Probabilistic Session-Type Monitoring.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh	Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini	Deconfined Global Types for Asynchronous Sessions.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa	Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Chuta Sano, Stephanie Balzer, Frank Pfenning	Manifestly Phased Communication via Shared Session Types.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente	A Theory of Automated Market Makers in DeFi.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Davide Basile 0001, Maurice H. ter Beek	A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.	COORDINATION	2021	DBLP DOI BibTeX RDF
31	Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro	A Session Subtyping Tool.	COORDINATION	2021	DBLP DOI BibTeX RDF