|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7468 occurrences of 3075 keywords
|
|
|
Results
Found 17405 publication records. Showing 17405 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Farhad Arbab, Éric Monfroy |
Distributed Splitting of Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings, pp. 115-132, 2000, Springer, 3-540-41020-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Jeremy L. Jacob, Alan M. Wood |
A Principled Semantics for inp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings, pp. 51-65, 2000, Springer, 3-540-41020-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Martin Weichert |
Pipelining the Molecule Soup: A Plumber's Approach to Gamma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings, pp. 69-84, 1999, Springer, 3-540-65836-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Cecilia Mascolo |
MobiS: A Specification Language for Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings, pp. 37-52, 1999, Springer, 3-540-65836-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Bram Klievink, Marijn Janssen |
Coordinating e-government service delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 11th Annual International Conference on Digital Government Research, Public Administration Online: Challenges and Opportunities, DG.O 2010, Puebla, Mexico, May 17-20, 2010, pp. 209-216, 2010, Digital Government Research Center, 978-1-4503-0070-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 301-306, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 519-523, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 11(3), pp. 194-204, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 424-428, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings, pp. 236-251, 2005, 3-540-28238-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 September 2000, Makuhari, Japan, Proceedings, pp. 194-203, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 46-53, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1223-1224, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
self-organization, emergence, decentralized coordination |
34 | Manh Tung Pham, Kiam Tian Seow |
On-line coordination among discrete-event agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1223-1224, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 158(1), pp. 161-182, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 203-210, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDS ![In: Second International Conference on the Digital Society (ICDS 2008), February 10-15, 2008, Sainte Luce, Martinique, France, pp. 25-30, 2008, IEEE Computer Society, 978-0-7695-3087-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 149-160, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Multim. Comput. Commun. Appl. ![In: ACM Trans. Multim. Comput. Commun. Appl. 3(3), pp. 17, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 18-20 June 2007, Paris, France, pp. 41-46, 2007, IEEE Computer Society, 0-7695-2879-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers, pp. 254-269, 2007, Springer, 978-3-540-87653-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 317-327, 2007, Springer, 978-3-540-72908-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 79, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coordination cooperation and teamwork, social and organizational structures |
34 | Ping Xuan |
Modeling plan coordination in multiagent decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 225, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 21(2), pp. 29-35, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part I, pp. 236-243, 2006, Springer, 3-540-46535-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 205-222, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 821-827, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 315-322, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
component, coordination, observation, event, system |
34 | Avraam Chimaris, George A. Papadopoulos |
Control-Driven Coordination Based Assembling of Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 572-580, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 75, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 9(3), pp. 273-305, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
coordination of heterogeneous agents, scalability, policy enforcement |
34 | Gurdip Singh, Arvind Gopalan |
A Coordination Service for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 8th Workshop on Enabling Technologies (WETICE '99), Infrastructure for Collaborative Enterprises, 16-18 June 1999, Stanford, CA, USA, Proceedings, pp. 72-77, 1999, IEEE Computer Society, 0-7695-0365-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 6(3), pp. 235-246, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 2159-2164, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
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, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 634-648, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Alain Sarlette, Silvère Bonnabel, Rodolphe Sepulchre |
Coordination on Lie groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 1275-1279, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Matthew Johnson 0001, Paul J. Feltovich, Jeffrey M. Bradshaw, Larry Bunch |
Demonstrating Human-Robot Coordination through Dynamic Regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA, pp. 231-232, 2008, IEEE Computer Society, 978-0-7695-3133-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
policy, domain, demo |
33 | Sangmin Kim, VamsiKrishna Vasireddy, Khaled Harfoush |
Scalable coordination for sensor networks in challenging environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 214-221, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 255-264, 2007, Springer, 978-3-540-76887-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Victor Hernandez-Baruch, Alberto Portilla, José-Luis Zechinelli-Martini |
ROSE: A transactional services coordination engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Eight Mexican International Conference in Current Trends in Computer Science, ENC 2007, 24-28 September 2007, Morelia, Michoacan, Mexico, Proceedings, pp. 123-130, 2007, IEEE Computer Society, 0-7695-2899-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Adnene Guabtni, François Charoy, Claude Godart |
Concurrency Management in Transactional Web Services Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 17th International Conference, DEXA 2006, Kraków, Poland, September 4-8, 2006, Proceedings, pp. 592-601, 2006, Springer, 3-540-37871-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Thierry Moyaux, Ben Lithgow Smith, Shamimabi Paurobally |
Towards Service-Oriented Ontology-Based Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 265-274, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Manfred Bortenschlager, Sigi Reich, Gabriele Kotsis |
A Generic Coordination Architecture as an Enabler for Mobile Collaborative Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 26-28 June 2006, Manchester, United Kingdom, pp. 125-130, 2006, IEEE Computer Society, 0-7695-2623-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Alessandro Ricci |
Agents and Coordination Artifacts for Feature Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Objects, Agents, and Features ![In: Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers, pp. 209-226, 2003, Springer, 3-540-21989-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 19-22 May 2003, Providence, RI, USA, pp. 362-368, 2003, IEEE Computer Society, 0-7695-1921-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Mikhail Prokopenko, Peter Wang |
Relating the Entropy of Joint Beliefs to Multi-agent Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2002: Robot Soccer World Cup VI, pp. 367-374, 2002, Springer, 3-540-40666-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Seventh International Workshop on Groupware (CRIWG'01), September 6-8, 2001, Darmstadt, Germany, Proceedings, pp. 170-180, 2001, IEEE Computer Society, 0-7695-1351-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Patrick Etcheverry, Philippe Lopistéguy, Pantxika Dagorret |
Specifying Contexts for Coordination Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings, pp. 437-440, 2001, Springer, 3-540-42379-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2000, 7th International Conference, Bangalore, India, December 17-20, 2000, Proceedings, pp. 173-182, 2000, Springer, 3-540-41429-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Farhad Arbab |
The Influence of Coordination on Program Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 300-309, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Steven Lucco, Oliver Sharp |
Delirium: an embedding coordination language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, pp. 515-524, 1990, IEEE Computer Society, 0-89791-412-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 629-638, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBOCOMM ![In: Proceedings of the 1st International Conference on Robot Communication and Coordination, ROBOCOMM 2007, Athens, Greece, October 15-17, 2007, pp. 11, 2007, ICST/ACM, 978-963-9799-08-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 757-764, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACC ![In: Proceedings of the international joint conference on Work activities coordination and collaboration 1999, San Francisco, California, USA, February 22-25, 1999, pp. 127-136, 1999, ACM, 978-1-58113-070-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
decision coordination, collaborative design, change management |
32 | Edmund H. Durfee |
Planning for Coordination and Coordination for Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 1-3, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini |
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 286-293, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![Springer, 978-3-031-35360-4 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Frank Pfenning, Klaas Pruiksma |
Relating Message Passing and Shared Memory, Proof-Theoretically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 3-27, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti |
Reasoning About Choreographic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 144-162, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 115-132, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | José Proença, Luc Edixhoven |
Caos: A Reusable Scala Web Animator of Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 163-171, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega |
A Formal MDE Framework for Inter-DSL Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 232-249, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Jonah Pears, Laura Bocchi, Andy King |
Safe Asynchronous Mixed-Choice for Timed Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 214-231, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 31-51, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 52-70, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Claudio Antares Mezzina, Francesco Tiezzi 0001, Nobuko Yoshida |
Rollback Recovery in Session-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 195-213, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 93-114, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Cosimo Laneve, Alessandro Parenti, Giovanni Sartor |
Legal Contracts Amending with [inline-graphic not available: see fulltext]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 253-270, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 71-89, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Loïc Desgeorges, Loïc Germerie Guizouarn |
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 135-143, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana |
JoT: A Jolie Framework for Testing Microservices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 172-191, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![Springer, 978-3-031-08145-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
Towards Reinforcement Learning-based Aggregate Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 72-91, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
A Sound Up-to-n, δ Bisimilarity for PCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 35-52, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Giorgio Audrito, Luigi Rapetta, Gianluca Torta |
Extensible 3D Simulation of Aggregated Systems with FCPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 55-71, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 181-199, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea |
A Model of Actors and Grey Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 140-158, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 200-219, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 92-98, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 99-117, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 17-34, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
Formal Choreographic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 121-139, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 223-240, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Luca Viganò 0001 |
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 3-14, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Laura Bussi, Fabio Gadducci, Francesco Santini 0001 |
Soft Concurrent Constraint Programming with Local Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 159-177, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![Springer, 978-3-030-78141-5 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
Microservice Dynamic Architecture-Level Deployment Orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 257-275, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | João Mota, Marco Giunti, António Ravara |
Java Typestate Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 121-133, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Chad Nester |
The Structure of Concurrent Process Histories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 209-224, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Hannes Saffrich, Peter Thiemann 0001 |
Relating Functional and Imperative Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 61-79, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
Towards Probabilistic Session-Type Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 106-120, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 276-284, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini |
Deconfined Global Types for Asynchronous Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 41-60, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 3-19, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Chuta Sano, Stephanie Balzer, Frank Pfenning |
Manifestly Phased Communication via Shared Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 23-40, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
A Theory of Automated Market Makers in DeFi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 168-187, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Davide Basile 0001, Maurice H. ter Beek |
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 225-238, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
A Session Subtyping Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: 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, pp. 90-105, 2021, Springer, 978-3-030-78141-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 17405 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|