Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christel Baier, Verena Wolf |
Stochastic Reasoning About Channel-Based Component Connectors. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christine Julien 0001, Drew Stovall |
Enabling Ubiquitous Coordination Using Application Sessions. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ciancarini, Herbert Wiklicky (eds.) |
Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Edoardo Bontà, Marco Bernardo 0001, Jeff Magee, Jeff Kramer |
Synthesizing Concurrency Control Components from Process Algebraic Specifications. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alan W. Colman, Jun Han 0004 |
Coordination Systems in Role-Based Adaptive Software. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani |
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lindsay Bradford, Stephen Milliner, Marlon Dumas |
Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Jacquet, Gian Pietro Picco (eds.) |
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Gian-Luigi Ferrari 0002, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
A Process Calculus for QoS-Aware Applications. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
Time-Aware Coordination in ReSpecT. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Paolo Ciancarini, Davide Rossi |
Transactional Aspects in Semantic Based Discovery of Services. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Edoardo Bontà |
Preserving Architectural Properties in Multithreaded Code Generation. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Arnab Ray |
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Mazzara, Sergio Govoni |
A Case Study of Web Services Orchestration. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Oriol, Michael W. Hicks |
Tagged Sets: A Secure and Transparent Coordination Medium. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Russello, Michel R. V. Chaudron, Maarten van Steen |
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Francesco Logozzo |
Abstract Interpretation-Based Verification of Non-functional Requirements. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Global Computing in a Dynamic Network of Tuple Spaces. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob |
Coordination with Multicapabilities. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Busi, Gianluigi Zavattaro |
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Damien Pous, Davide Sangiorgi |
A Correct Abstract Machine for Safe Ambients. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink |
Delegation Modeling with Paradigm. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Taesoon Park |
Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Emilio Tuosto |
Synchronized Hyperedge Replacement for Heterogeneous Systems. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Casati |
Open Issues and Opportunities in Web Services Modeling, Development, and Management. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann |
A Lightweight Coordination Middleware for Mobile Computing. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Gian-Luigi Ferrari 0002, Greg Meredith (eds.) |
Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Butler, Carla Ferreira 0001 |
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Linden, Jean-Marie Jacquet |
On the Expressiveness of Absolute-Time Coordination Languages. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Kane, James C. Browne |
CoorSet: A Development Environment for Associatively Coordinated Components. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Javier Jaén Martínez, Elena Navarro 0001 |
An Infrastructure to Build Secure Shared Grid Spaces. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
O'Klaim: A Coordination Language with Mobile Mixins. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christine Julien 0001, Gruia-Catalin Roman |
Active Coordination in Ad Hoc Networks. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro |
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Suresh Jagannathan, Jan Vitek |
Optimistic Concurrency Semantics for Transactions in Coordination Languages. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic KLAIM. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Zoeteweij, Farhad Arbab |
A Component-Based Parallel Constraint Solver. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
parallelization, coordination, constraint solving, component-based software engineering |
1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001 |
Measuring Component Adaptation. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro |
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mihail F. Ionescu, Naftaly H. Minsky, Thu D. Nguyen |
Enforcement of Communal Policies for P2P Systems. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Haidarian Shahri, Mohammad Reza Meybodi |
Social Control Mechanisms to Coordinate an Unreliable Agent Society. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Amy L. Murphy, Gian Pietro Picco |
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Leonor Barroca 0001, José Luiz Fiadeiro, Michael Jackson 0001, Robin C. Laney, Bashar Nuseibeh |
Problem Frames: A Case for Coordination. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Braione, Gian Pietro Picco |
On Calculi for Context-Aware Coordination. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Colm Rooney, Rem W. Collier, Gregory M. P. O'Hare |
VIPER: A VIsual Protocol EditoR. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Montangero, Laura Semini, Simone Semprini |
Logic Based Coordination for Event-Driven Self-healing Distributed Systems. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi |
Compositionality, Coordination and Software Architecture. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol |
A Reactive Programming Model for Global Computing. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Antonio Pérez, Rafael Corchuelo, David Ruiz 0001, Miguel Toro |
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
coordination algorithms, $alpha$-core, open systems, Multiparty interactions |
1 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Formalizing Properties of Mobile Agent Systems. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jim Waldo |
Coordination and System Design in a Network-Centric Age. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol, Miguel Valero Espada |
Formal Specification of JavaSpaces Architecture Using µCRL. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Anupriya Ankolekar, Frank Huch, Katia P. Sycara |
Concurrent Semantics for the Web Services Specification Language DAML-S. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
concurrent semantics, Web services, agents, DAML-S |
1 | Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez |
Coordination in a Reflective Architecture Description Language. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kunihiko Hiraishi |
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro |
State- and Event-Based Reactive Programming in Shared Dataspaces. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Francesco Franzè |
Exogenous and Endogenous Extensions of Architectural Types. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Radu Handorean, Gruia-Catalin Roman |
Service Provision in Ad Hoc Networks. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger |
Coordination for Orchestration. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Neal Sample, Pedram Keyani, Gio Wiederhold |
Scheduling under Uncertainty: Planning for the Ubiquitous Grid. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Wooldridge, Wiebe van der Hoek |
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kees G. W. Goossens, Om Prakash Gangwal |
The Cost of Communication Protocols and Coordination Languages in Embedded Systems. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Farhad Mavaddat |
Coordination through Channel Composition. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Amnon H. Eden, Jens H. Jahnke |
Coordinating Software Evolution via Two-Tier Programming. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gibbons |
Towards a Colimit-Based Semantics for Visual Programming. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luuk Groenewegen, Erik P. de Vink |
Operational Semantics for Coordination in Paradigm. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens |
Playing Games with Software Design. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
Dynamically Adapting the Behaviour of Software Components. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Samir Tata |
Policies for Cooperative Virtual Teams. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carlos J. Costa, Pedro Antunes 0001, João Ferreira Dias |
Integrating Two Organizational Systems through Communication Genres. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Viroli, Andrea Omicini |
Tuple-Based Models in the Observation Framework. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hwa-Min Lee, Kwang-Sik Chung, Sang-Chul Shin, Dae-Won Lee, Won-Gyu Lee, Heon-Chang Yu |
A Recovery Technique Using Multi-agent in Distributed Computing Systems. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jim Snyder, Ronaldo Menezes |
Using Logical Operators as an Extended Coordination Mechanism in Linda. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Ricci, Andrea Omicini, Enrico Denti |
Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Carolyn L. Talcott (eds.) |
Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pawel T. Wojciechowski, Sergio Mena, André Schiper |
Semantics of Protocol Modules Composition and Interaction. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | James C. Browne, Kevin Kane, Hongxia Tian |
An Associative Broadcast Based Coordination Model for Distributed Processes. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rejane Frozza, Luis Otávio Alvares |
Criteria for the Analysis of Coordination in Multi-agent Applications. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robert Tolksdorf, Gregor Rojec-Goldmann |
The SPACETUB Models and Framework. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Juan Carlos Cruz |
OpenCoLaS a Coordination Framework for CoLaS Dialects. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | George Wells, Alan Chalmers, Peter Clayton |
Extending the Matching Facilities of Linda. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Coordinating Mobile Object-Oriented Code. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andries Stam |
A Framework for Coordinating Parallel Branch and Bound Algorithms. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gian Pietro Picco, Marco L. Buschini |
Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez |
Guaranteeing Coherent Software Systems when Composing Coordinated Components. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Paola Inverardi, Henry Muccini |
Coordination Models and Software Architectures in a Unified Software Development Process. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz |
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
White Box Reuse, Black Box Reuse, Frameworks, Dynamic Reconfiguration, Object-Oriented Languages |
1 | Marco Cremonini, Andrea Omicini, Franco Zambonelli |
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stefan J. Johansson, Paul Davidsson, Bengt Carlsson |
Coordination Models for Dynamic Resource Allocation. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Paul Dechering, Izak van Langevelde |
On the Verification of Coordination. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Barrett, Brendan Tangney |
Wilde: Supporting Change in Groupware. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Franz Achermann, Stefan Kneubuehl, Oscar Nierstrasz |
Scripting Coordination Styles. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Joost N. Kok, Kaisa Sere |
Coordination-Based Design of Distributed Systems. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
A Logical Interface Description Language for Components. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Prasanta K. Bose, Mark G. Matthews |
An Agent Mediated Approach to Dynamic Change in Coordination Policies. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Xuhui Ao, Naftaly H. Minsky, Thu D. Nguyen, Victoria Ungureanu |
Law-Governed Internet Communities. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
A Timed Linda Language. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Éric Monfroy |
Distributed Splitting of Constraint Satisfaction Problems. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | António Porto, Gruia-Catalin Roman (eds.) |
Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
A Formalization of the IWIM Model. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|