Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|