Sciweavers

357 search results - page 13 / 72
» A Contracting System for Hierarchical Components
Sort
View
ENTCS
2010
173views more  ENTCS 2010»
13 years 11 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
EUROMICRO
2005
IEEE
14 years 4 months ago
Distribution of a Hierarchical Component in a Non-Connected Environment
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
Didier Hoareau, Yves Mahéo
DRM
2003
Springer
14 years 4 months ago
Experiences with the enforcement of access rights extracted from ODRL-based digital contracts
In this paper, we present our experiences concerning the enforcement of access rights extracted from ODRL-based digital contracts. We introduce the generalized Contract Schema (Co...
Susanne Guth, Gustaf Neumann, Mark Strembeck
COOPIS
2003
IEEE
14 years 4 months ago
From Distributed Objects to Hierarchical Grid Components
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
Françoise Baude, Denis Caromel, Matthieu Mo...
SAC
2008
ACM
13 years 10 months ago
Preserving coordination properties when transforming concurrent system components
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
Gudmund Grov, Robert F. Pointon, Greg Michaelson, ...