Search results for "coordination"

Hits ?▲	Authors	Title	Venue	Year	Link
31	Paul H. Lewis, Maria Katsorchi-Hayes	Trust and Virtual Organisations - Emergent Considerations for Virtual Interorganisational Work in the Global Chemicals Industry.	Computer Supported Acitivity Coordination	2006	DBLP BibTeX RDF
31	Faisal Abouzaid	Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations.	Computer Supported Acitivity Coordination	2006	DBLP BibTeX RDF
31	Rainer Schmidt 0001	A Design Method for Inter-Organizational Service Processes.	Computer Supported Acitivity Coordination	2006	DBLP BibTeX RDF
31	Kudakwashe Dube, Bing Wu 0004	An Active Database Approach to Computerised Clinical Guideline Management.	Computer Supported Acitivity Coordination	2006	DBLP BibTeX RDF
31	Oskar Javier Cantor, Leonardo Enrique Mancilla, Enrique González	Ayllu: Agent-Inspired Cooperative Services for Human Interaction.	Computer Supported Acitivity Coordination	2006	DBLP BibTeX RDF
31	Meina Song, Xiaosu Zhan, Junde Song	Mining Self-similarity in Time Series.	Computer Supported Acitivity Coordination	2006	DBLP BibTeX RDF
31	Janis Grundspenkis, Egons Lavendelis	Multiagent Based Simulation Tool for Transportation and Logistics Decision Support.	Computer Supported Acitivity Coordination	2006	DBLP BibTeX RDF
31	Alan Eardley, Oleksy Shelest, Saeed Fararooy	Electronic Data Interchange System for Safety Case Management.	Computer Supported Acitivity Coordination	2006	DBLP BibTeX RDF
31	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A WSDL-Based Type System for WS-BPEL.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	Laura Bocchi, Roberto Lucchi	Atomic Commit and Negotiation in Service Oriented Computing.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	William R. Cook, Sourabh Patwardhan, Jayadev Misra	Workflow Patterns in Orc.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	Choreography and Orchestration Conformance for System Design.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	Amy L. Murphy, Gian Pietro Picco	Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	Martín López Nores, Jorge García Duque, José Juan Pazos-Arias	Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	Thomas T. Hildebrandt, Henning Niss, Martin Olsen	Formalising Business Process Execution with Bigraphs and Reactive XML.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	Thomas Nitsche 0001	Coordinating Computation with Communication.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	Edoardo Bontà, Marco Bernardo 0001, Jeff Magee, Jeff Kramer	Synthesizing Concurrency Control Components from Process Algebraic Specifications.	COORDINATION	2006	DBLP DOI BibTeX RDF
31	José Cordeiro, Joaquim Filipe (eds.)	Computer Supported Activity Coordination, Proceedings of the 2nd International Workshop on Computer Supported Activity Coordination, CSAC 2005, In conjunction with ICEIS 2005, Miami, USA, May 2005	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	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
31	Fernando Rosa-Velardo, Olga Marroquín Alonso, David de Frutos-Escrig	Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.	MTCoord@COORDINATION	2005	DBLP DOI BibTeX RDF
31	Carolyn L. Talcott	Coordination Models Based on a Formal Model of Distributed Object Reflection.	MTCoord@COORDINATION	2005	DBLP DOI BibTeX RDF
31	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre	Roles as a Coordination Construct: Introducing powerJava.	MTCoord@COORDINATION	2005	DBLP DOI BibTeX RDF
31	Andres Mellik	A Workflow Model For Integrating IC Design and Testing.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Omid Amirhamzeh Tafreschi, Janina Fengel, Michael Rebstock	Identity Management for Electronic Negotiations.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Rubén Darío Franco, Ángel Ortiz Bas, Víctor Anaya, Rosa Navarro	Improving Supply Chain Operations Performance by Using a Collaborative Platform Based on a Service Oriented Architecture.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Kenji Saito, Eiichi Morino, Jun Murai	Reduction Over Time: Easing the Burden of Peer-to-Peer Barter Relationships to Facilitate Mutual Help.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Duncan Dubugras A. Ruiz, Karin Becker, Bernardo Copstein, Flávio Moreira de Oliveira, Angelina Torres de Oliveira, Gustavo Rossarolla Forgiarini, Cristiano Rech Meneguzzi, Rafaela Lisboa Carvalho	A Workflow-based Environment to manage Software-Testing Process Executions.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Roberto Naranjo, Jorge Moreno, Luz Marina Sierra, Martha Mendoza	Other Way of Making Business: A Virtual e-Commerce Community / CVN Platform.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Leszek Kieltyka, Rafal Niedbal	A Conception of Multiagent Management System of Dispersed Market Information - E-negotiations Area.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Dina Goren-Bar, Tal Goori	A Framework for Designing Collaborative Tasks in a Web-Environment.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Chintan Amrit	Application of Social Network Theory to Software Development: The problem of Task Allocation.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Vijayanand Bharadwaj, Y. V. Ramana Reddy, Sumitra Reddy	Integrating Awareness Sources in Heterogeneous Collaboration Environments.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Jun Liu, Bo Yang 0013, Wei Lu	A Web Services based Communication Services Framework for Collaborative Work.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Volker Gruhn, Ralf Laue 0001	Using Timed Model Checking for Verifying Workflows.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	Wail M. Omar, A. Taleb-Bendiab, Yasir Karam	A Machine Learning Middleware For On Demand Grid Services Engineering and Support.	Computer Supported Activity Coordination	2005	DBLP BibTeX RDF
31	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
31	Arnab Ray	Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.	COORDINATION	2005	DBLP DOI BibTeX RDF
31	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
31	Agostino Cortesi, Francesco Logozzo	Abstract Interpretation-Based Verification of Non-functional Requirements.	COORDINATION	2005	DBLP DOI BibTeX RDF
31	Rocco De Nicola, Daniele Gorla, Rosario Pugliese	Global Computing in a Dynamic Network of Tuple Spaces.	COORDINATION	2005	DBLP DOI BibTeX RDF
31	Daniel Hirschkoff, Damien Pous, Davide Sangiorgi	A Correct Abstract Machine for Safe Ambients.	COORDINATION	2005	DBLP DOI BibTeX RDF
31	Ivan Lanese, Emilio Tuosto	Synchronized Hyperedge Replacement for Heterogeneous Systems.	COORDINATION	2005	DBLP DOI BibTeX RDF
31	Guido Boella, Leendert W. N. van der Torre	Preface.	CoOrg@COORDINATION	2005	DBLP DOI BibTeX RDF
31	Andrea Omicini, Alessandro Ricci, Mirko Viroli	Agens Faber: Toward a Theory of Artefacts for MAS.	CoOrg@COORDINATION	2005	DBLP DOI BibTeX RDF
31	Cosmin Carabelea, Olivier Boissier	Coordinating Agents in Organizations Using Social Commitments.	CoOrg@COORDINATION	2005	DBLP DOI BibTeX RDF
31	Alan W. Colman, Jun Han 0004	Using Association Aspects to Implement Organisational Contracts.	CoOrg@COORDINATION	2005	DBLP DOI BibTeX RDF
31	Estefania Argente, Vicente Julián, Vicente J. Botti	Multi-Agent System Development Based on Organizations.	CoOrg@COORDINATION	2005	DBLP DOI BibTeX RDF
31	José Cordeiro, Joaquim Filipe (eds.)	Computer Supported Activity Coordination, Proceedings of the 1st International Workshop on Computer Supported Activity Coordination, CSAC 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004	Computer Supported Activity Coordination	2004	DBLP BibTeX RDF
31	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
31	Ernst Kesseler	Supporting the sky Computer mediated co-operation to fly aircraft.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Otmar Adam, Anja Hofer, Sven Zang	Cross-enterprise Process Orchestration - Framework for Collaborative Process Automation.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Ângela Lacerda Nobre	Collaboration: is it only a metaphor? - an action perspective on how to make it real.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Sabri Boutemedjet, Faysal Abouzaid, Omar Cherkaoui, Gilles Gauthier	ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Duncan Sanderson, Lynda Atack	Teaching Nurses to Build a Hospital Without Walls: Developing a Training Curriculum for Telehomecare.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Sébastien Cherry, Pierre N. Robillard	Empirical Study of Ad Hoc Collaborative Activities in Software Engineering.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Kuldar Taveter	From Business Process Modelling to Business Process Automation.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Han Liu, Chao Li, Jizhe Wang, Qing Wang 0001, Mingshu Li 0001	A User-Oriented Model-Driven Requirements Elicitation Process based on User Modeling.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Julie Chapron, Xavier Boucher, Patrick Burlat, Pierre Lebrun	Domain Oriented Meta-Modelling for change Management of Information System.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Pentti Marttiin, Göte Nyman, Jari Takatalo, Jari A. Lehto	Learning virtual project work.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Achim Karduck, Amadou Sienou	TeamEnabler: Towards ad hoc mCRM.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Kirsten Lenz, Andrijana Mandaric, Andreas Oberweis	Modeling Processes for Managing Reputation Information - A Petri Net Approach.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Sodki Chaari, Chokri Ben Amar, Frédérique Biennier, Joël Favrel	An Authorization and Access Control Model for Workflow.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	José Luis Caro, Antonio Guevara, Andrés Aguayo, José uis. Leiva	Communication based workflow loop formalization using Temporal Logic of Actions (TLA).	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Alberto Barbosa Raposo, Mariano Gomes Pimentel, Marco Aurélio Gerosa, Hugo Fuks, Carlos José Pereira de Lucena	Prescribing e-Learning Activities Using Workflow Technologies.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Dina Neiger, Leonid Churilov	Goal-Oriented Business Process Engineering Revisited: a Unifying Perspective.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Leo Pudhota, Elizabeth Chang 0001, Jon Davis, John R. Venable	Collaborative Workflow Management for Logistics Consortium.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Keishi Suzumura, Natsuko Hikage, Yuko Murayama	A chat system with knock-on-the-door sound and shadow.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Salem Aljareh, B. Nick Rossiter, Michael A. Heather	A Formal Security Model for Collaboration in Multi-agency Networks.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Andrzej Ceglowski, Leonid Churilov, Jeff Wassertheil	Data driven process modelling for a hospital emergency department.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Jorge Cardoso 0001	Building workflows definitions based on business cases.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
31	Fabio Casati	Open Issues and Opportunities in Web Services Modeling, Development, and Management.	COORDINATION	2004	DBLP DOI BibTeX RDF
31	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
31	Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001	Measuring Component Adaptation.	COORDINATION	2004	DBLP DOI BibTeX RDF
31	Mihail F. Ionescu, Naftaly H. Minsky, Thu D. Nguyen	Enforcement of Communal Policies for P2P Systems.	COORDINATION	2004	DBLP DOI BibTeX RDF
31	Hamid Haidarian Shahri, Mohammad Reza Meybodi	Social Control Mechanisms to Coordinate an Unreliable Agent Society.	COORDINATION	2004	DBLP DOI BibTeX RDF
31	Colm Rooney, Rem W. Collier, Gregory M. P. O'Hare	VIPER: A VIsual Protocol EditoR.	COORDINATION	2004	DBLP DOI BibTeX RDF
31	Gérard Boudol	A Reactive Programming Model for Global Computing.	COORDINATION	2004	DBLP DOI BibTeX RDF
31	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
31	Lorenzo Bettini, Rocco De Nicola, Michele Loreti	Formalizing Properties of Mobile Agent Systems.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Kunihiko Hiraishi	PN2: An Elementary Model for Design and Analysis of Multi-agent Systems.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro	State- and Event-Based Reactive Programming in Shared Dataspaces.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Marco Bernardo 0001, Francesco Franzè	Exogenous and Endogenous Extensions of Architectural Types.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Neal Sample, Pedram Keyani, Gio Wiederhold	Scheduling under Uncertainty: Planning for the Ubiquitous Grid.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	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
31	Amnon H. Eden, Jens H. Jahnke	Coordinating Software Evolution via Two-Tier Programming.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Perdita Stevens	Playing Games with Software Design.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Andrea Bracciali, Antonio Brogi, Carlos Canal	Dynamically Adapting the Behaviour of Software Components.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Samir Tata	Policies for Cooperative Virtual Teams.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	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
31	Pawel T. Wojciechowski, Sergio Mena, André Schiper	Semantics of Protocol Modules Composition and Interaction.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Ronaldo Menezes, Robert Tolksdorf, Alan Wood	Scalability in Linda-like Coordination Systems.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF
31	Monica Divitini, Chihab Hanachi, Christophe Sibertin-Blanc	Inter-Organizational Workflows for Enterprise Coordination.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF
31	Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf	Preface: Coordination of Internet Agents.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF
31	Matthias Klusch, Katia P. Sycara	Brokering and Matchmaking for Coordination of Agent Societies: A Survey.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF
31	Éric Monfroy, Farhad Arbab	Constraints Solving as the Coordination of Inference Engines.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF
31	Andrea Omicini	Coordination Models and Languages: State of the Art, Introduction.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF
31	Antony I. T. Rowstron	Run-Time Systems for Coordination.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF
31	Robert Tolksdorf	Applications of Coordination Technology, Introduction.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF
31	George A. Papadopoulos	Models and Technologies for the Coordination of Internet Agents: A Survey.	Coordination of Internet Agents: Models, Technologies, and Applications	2001	DBLP BibTeX RDF