Sciweavers

11324 search results - page 2 / 2265
» Coordination Models and Languages
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
13 years 10 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
NLDB
2004
Springer
13 years 10 months ago
A Generic Coordination Model for Pervasive Computing Based on Semantic Web Languages
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...
Amine Tafat, Michèle Courant, Béat H...
COORDINATION
2000
Springer
13 years 9 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
SAC
2003
ACM
13 years 10 months ago
Eliciting Coordination Policies from Requirements
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
Henry Muccini, Fabio Mancinelli
COORDINATION
2000
Springer
13 years 9 months ago
Scripting Coordination Styles
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...
Franz Achermann, Stefan Kneubuehl, Oscar Nierstras...