41 search results - page 2 / 9 » Eliciting Coordination Policies from Requirements |
ICDCS
2002
IEEE
13 years 10 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
SSDBM
2000
IEEE
13 years 9 months ago
2000
IEEE
In a previous paper [Shoshani et al 99], we described a system called STACS (Storage Access Coordination System) for High Energy and Physics (HEP) experiments. These experiments g...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
For Peer-2-Peer (P2P) networks to realize their full potential their nodes need to coordinate and cooperate, to improve the performance of the network as a whole. But this requires...
FATES
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
GCC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Due to the complexity and uncertainties, the engineering process requires dynamic collaborations among the heterogeneous systems and human interactions. In this paper, we...