Search results for "COORDINATION"

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

Publications at "COORDINATION"( http://dblp.L3S.de/Venues/COORDINATION )