Search results for "coordination languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	George A. Papadopoulos, Farhad Arbab	Dynamic Reconfiguration in Coordination Languages.	HPCN	2000	DBLP DOI BibTeX RDF	Coordination Languages and Models, Software Engineering for Distributed and Parallel Systems, Modelling Software Architectures, Dynamic Reconfiguration, Component-Based Systems
3	Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro	Comparing Software Architectures for Coordination Languages.	COORDINATION	1999	DBLP DOI BibTeX RDF
3	Robert Tolksdorf	Coordinating Java Agents with Multiple Coordination Language on the Berlinda Platform. (PDF / PS)	WETICE	1997	DBLP DOI BibTeX RDF	Java agents, multiple coordination languages, Berlinda platform, multiple coordination environments, Jigsaw Web-server, software agents, coordination languages, interworking
2	Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese	From Flow Logic to Static Type Systems for Coordination Languages.	COORDINATION	2008	DBLP DOI BibTeX RDF
2	Jean-Marie Jacquet, Isabelle Linden	Towards a Theory of Refinement in Timed Coordination Languages.	COORDINATION	2007	DBLP DOI BibTeX RDF
2	Suresh Jagannathan, Jan Vitek	Optimistic Concurrency Semantics for Transactions in Coordination Languages.	COORDINATION	2004	DBLP DOI BibTeX RDF
2	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Probabilistic Linda-Based Coordination Languages.	FMCO	2004	DBLP DOI BibTeX RDF
2	Marco Aldinucci, Sonia Campa, Pierpaolo Ciullo, Massimo Coppola, Marco Danelutto, Paolo Pesciullesi, Roberto Ravazzolo, Massimo Torquati, Marco Vanneschi, Corrado Zoccolo	ASSIST Demo: A High Level, High Performance Portable, Structured Parallel Programming Environment at Work.	Euro-Par	2003	DBLP DOI BibTeX RDF	Structured parallel programming, skeletons, coordination languages
2	Kees G. W. Goossens, Om Prakash Gangwal	The Cost of Communication Protocols and Coordination Languages in Embedded Systems.	COORDINATION	2002	DBLP DOI BibTeX RDF
2	Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi	On Timed Coordination Languages.	COORDINATION	2000	DBLP DOI BibTeX RDF
2	Paul Dechering, Izak van Langevelde	On the Verification of Coordination.	COORDINATION	2000	DBLP DOI BibTeX RDF
2	Robert Tolksdorf	Berlinda: An Object-Oriented Platform for Implementing Coordination Languages in Java.	COORDINATION	1997	DBLP DOI BibTeX RDF
2	Suresh Jagannathan	Communication-Passing Style for Coordination Languages.	COORDINATION	1997	DBLP DOI BibTeX RDF
2	Alessandro Fabbri, Lorenzo Donatiello	Coordination Languages for Parallel Discrete Event Simulation.	HICSS	1997	DBLP DOI BibTeX RDF
1	Gwen Salaün, Marjan Sirjani	Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09).	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi, António Ravara (eds.)	Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures	FOCLASA	2011	DBLP DOI BibTeX RDF
1	Ross Horne, Vladimiro Sassone	A Verified Algebra for Linked Data	FOCLASA	2011	DBLP DOI BibTeX RDF
1	Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani	Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca	FOCLASA	2011	DBLP DOI BibTeX RDF
1	Simon Ware, Robi Malik	A State-Based Characterisation of the Conflict Preorder	FOCLASA	2011	DBLP DOI BibTeX RDF
1	José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab	Decoupled execution of synchronous coordination models via behavioural automata	FOCLASA	2011	DBLP DOI BibTeX RDF
1	Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari	Predicting global usages of resources endowed with local policies	FOCLASA	2011	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese	From Flow Logic to static type systems for coordination languages.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi, Gwen Salaün (eds.)	Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah	Implementing Distributed Controllers for Systems with Priorities	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Abdessamad Imine	On Coordinating Collaborative Objects	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Mohammad Mahdi Jaghoori, Tom Chothia	Timed Automata Semantics for Analyzing Creol	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab	A Compositional Semantics for Stochastic Reo Connectors	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Jan-Mark S. Wams, Maarten van Steen	Simplified Distributed Programming with Micro Objects	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal	Handling Data-Based Concurrency in Context-Aware Service Protocols	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere	Self-Recovering Sensor-Actor Networks	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Mayleen Lacouture, Hervé Grall, Thomas Ledoux	CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources	FOCLASA	2010	DBLP DOI BibTeX RDF
1	Ernesto Pimentel, Jean-Marie Jacquet	Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06).	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	Jean-Marie Jacquet, Isabelle Linden	Fully abstract models and refinements as tools to compare agents in timed coordination languages.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Edward Walker, Weijia Xu, Vinoth Chandar	Composing and executing parallel data-flow graphs with shell pipes.	SC-WORKS	2009	DBLP DOI BibTeX RDF	data-flow processing, parallel processing, coordination languages
1	Matteo Casadei, Andrea Omicini	Situated tuple centres in ReSpecT.	SAC	2009	DBLP DOI BibTeX RDF	A&A, MAS environment, tuple centres, artifacts, ReSpecT, situatedness
1	Mahdi Zargayouna, Flavien Balbo, Gérard Scémama	A Data-Oriented Coordination Language for Distributed Transportation Applications.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
1	Alexander V. Smirnov, Alexey Kashevnik, Nikolay Shilov, Ian Oliver, Sergey Balandin, Sergey Boldyrev	Anonymous Agent Coordination in Smart Spaces: State-of-the-Art.	NEW2AN	2009	DBLP DOI BibTeX RDF	anonymous agents, coordination, smart space
1	Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall	Pantaxou: a domain-specific language for developing safe coordination services.	GPCE	2008	DBLP DOI BibTeX RDF	distributed systems, safety, domain-specific languages, architecture description languages, coordination languages
1	Daniel Martin, Daniel Wutke, Frank Leymann	Synchronizing control flow in a tuplespace-based, distributed workflow management system.	ICEC	2008	DBLP DOI BibTeX RDF	self coordinating components, tuplespaces, distributed workflows
1	Matteo Casadei, Mirko Viroli	Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks.	SASO	2008	DBLP DOI BibTeX RDF
1	Sascha Klüppelholz, Christel Baier	Alternating-Time Stream Logic for Multi-agent Systems.	COORDINATION	2008	DBLP DOI BibTeX RDF
1	Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro	Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.	TGC	2008	DBLP DOI BibTeX RDF
1	Jacob Sorber, Alexander Kostadinov, Matthew Garber, Matthew Brennan, Mark D. Corner, Emery D. Berger	Eon: a language and runtime system for perpetual systems.	SenSys	2007	DBLP DOI BibTeX RDF	embedded systems, energy management, energy harvesting, coordination languages
1	Mirko Viroli, Matteo Casadei, Luca Gardelli	A self-organising solution to the collective sort problem in distributed tuple spaces.	SAC	2007	DBLP DOI BibTeX RDF	self-organization, tuple spaces, coordination models
1	Stijn Mostinckx, Christophe Scholliers, Eline Philips, Charlotte Herzeel, Wolfgang De Meuter	Fact Spaces: Coordination in the Face of Disconnection.	COORDINATION	2007	DBLP DOI BibTeX RDF
1	Dave Clarke	Coordination: Reo, Nets, and Logic.	FMCO	2007	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro	Secure shared data-space coordination languages: A process algebraic survey.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
1	Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok	Foundations on Coordination Languages and Software Architectures.	Fundam. Inform.	2006	DBLP BibTeX RDF
1	Edward A. Lee	The Problem with Threads.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Design patterns, Threads, Nondeterminism, Programming paradigms, Coordination languages
1	Yongjie Zheng, Alvin T. S. Chan, Grace Ngai	Applying Coordination for Service Adaptation in Mobile Computing.	IEEE Internet Computing	2006	DBLP DOI BibTeX RDF	mobile computing, dynamic reconfiguration, coordination languages, service adaptation
1	Yongjie Zheng, Alvin T. S. Chan	MobiGATE: A Mobile Computing Middleware for the Active Deployment of Transport Services.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	infrastructural proxies, Mobile computing, dynamic reconfiguration, adaptive middleware, coordination languages
1	Jiang Guo	A Coordination Framework for Software Component Based Development.	COMPSAC	2006	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	Rocco De Nicola, Diego Latella, Mieke Massink	Formal modeling and quantitative analysis of KLAIM-based mobile systems.	SAC	2005	DBLP DOI BibTeX RDF	formal modeling and validation, stochastic behavior, mobile systems, coordination languages
1	Roel Wieringa, Jaap Gordijn	Value-oriented design of service coordination processes: correctness and trust.	SAC	2005	DBLP DOI BibTeX RDF	business process modeling and specification, requirements for service-oriented processes, trust, e-business, correctness, value modeling, service coordination
1	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.	FMCO	2005	DBLP DOI BibTeX RDF
1	Torsten Fink, Karsten Otto	An Extensible Architecture-Based Framework For Coordination Languages.	Int. J. Cooperative Inf. Syst.	2004	DBLP DOI BibTeX RDF
1	Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel	Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.	Electr. Notes Theor. Comput. Sci.	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	Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri	Web Services for E-commerce: guaranteeing security access and quality of service.	SAC	2004	DBLP DOI BibTeX RDF	security, Web Services, probability, Linda, coordination languages
1	Roberto Lucchi, Gianluigi Zavattaro	WSSecSpaces: a secure data-driven coordination service for Web Services applications.	SAC	2004	DBLP DOI BibTeX RDF	security, Web Services, Linda, coordination languages
1	C. T. H. Everaars, Farhad Arbab, Barry Koren	Modernizing Existing Software: A Case Study.	SC	2004	DBLP DOI BibTeX RDF	software renovation, protocol library, performance, Design, languages, experimentation, software reusability, Parallel and distributed computing, coordination languages
1	Jost Berthold	Towards a Generalised Runtime Environment for Parallel Haskells.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
1	Antony I. T. Rowstron	Using mobile code to provide fault tolerance in tuple space based coordination languages.	Sci. Comput. Program.	2003	DBLP DOI BibTeX RDF
1	Paolo Ciancarini, Alexander L. Wolf	Issues in Coordination Languages and Architectures.	Sci. Comput. Program.	2003	DBLP DOI BibTeX RDF
1	Torsten Fink, Karsten Otto	An Extensible Architecture-based Framework for Coordination Languages.	SAC	2003	DBLP BibTeX RDF
1	Carlos Castro, Eric Monfroy, Christophe Ringeissen	A Rule Language for Interaction.	CSCLP	2003	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Michele Loreti, Rosario Pugliese	An infrastructure language for open nets.	SAC	2002	DBLP DOI BibTeX RDF	open nets, mobility, distributed applications, coordination languages
1	Avraam Chimaris, George A. Papadopoulos	Control-Driven Coordination Based Assembling of Components.	COMPSAC	2002	DBLP DOI BibTeX RDF	Coordination Languages and Models, System and Software Architectures, Distributed Software Composition, Component-Based System Integration, Visual Programming, Reusability
1	Nadia Busi, Gianluigi Zavattaro	On the serializability of transactions in shared dataspaces with temporary data.	SAC	2002	DBLP DOI BibTeX RDF	shared dataspace coordination, temporary data, transaction serializability, Linda
1	Andrea Omicini, Sascha Ossowski	Editorial message: special track on coordination models, languages and applications.	SAC	2002	DBLP DOI BibTeX RDF
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	Robert Tolksdorf, Gregor Rojec-Goldmann	The SPACETUB Models and Framework.	COORDINATION	2002	DBLP DOI BibTeX RDF
1	Valentina Piermarini, Leonardo Pacifici, Stefano Crocchianti, Antonio Laganà	Parallel Approaches to the Integration of the Differential Equations for Reactive Scattering.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF
1	Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro	Temporary Data in Shared Dataspace Coordination Languages.	FoSSaCS	2001	DBLP DOI BibTeX RDF
1	C. T. H. Everaars, Farhad Arbab, Barry Koren	Using Coordination to Restructure Sequential Source Code into a Concurrent Program. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	software renovation, protocol library, multi-grid methods, sparse-grid methods, three-dimensional flow problems, software reusability, computational fluid dynamics, Parallel and distributed computing, coordination languages
1	Suresh Jagannathan	Continuation-based transformations for coordination languages.	Theor. Comput. Sci.	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 BibTeX RDF
1	Nadia Busi, Gianluigi Zavattaro	Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.	SAC	2000	DBLP BibTeX RDF
1	Nadia Busi, Gianluigi Zavattaro	On the Expressiveness of Event Notification in Data-Driven Coordination Languages.	ESOP	2000	DBLP DOI BibTeX RDF
1	Robert Tolksdorf	Coordination Technology for Workflows on the Web: Workspaces.	COORDINATION	2000	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	Mika Katara	Hybrid Models for Mobile Computing.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Stephen Barrett, Brendan Tangney	Wilde: Supporting Change in Groupware.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini	Mobile Agents Coordination in Mobadtl.	COORDINATION	2000	DBLP DOI BibTeX RDF
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	Enrico Denti, Andrea Omicini, Vladimiro Toschi	The LuCe Coordination Technology for MAS Design and Development on the Internet.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Iain Merrick, Alan Wood	Scoped Coordination in Open Distributed Systems.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Masatomo Hashimoto, Akinori Yonezawa	MobileML: A Programming Language for Mobile Computation.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Dan Hirsch, Paola Inverardi, Ugo Montanari	Reconfiguration of Software Architecture Styles with Name Mobility.	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	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	Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron	Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Farhad Arbab, Eric Monfroy	Distributed Splitting of Constraint Satisfaction Problems.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger	Patterns for Coordination.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Rance Cleaveland, Xiaoqun Du, Scott A. Smolka	GCCS: A Graphical Coordination Language for System Specification.	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, Frank S. de Boer, Marcello M. Bonsangue	A Logical Interface Description Language for Components.	COORDINATION	2000	DBLP DOI BibTeX RDF