5639 search results - page 599 / 1128 » Timed Abstract Non-interference |
180
click to vote
CRIWG
2010
15 years 8 months ago
2010
Abstract. Workspace awareness support is mandatory for group support systems. In this paper, we present a novel approach to asynchronous awareness by means of traceability support....
179
click to vote
CRIWG
2007
15 years 8 months ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
133
click to vote
DAIS
2007
15 years 8 months ago
2007
Abstract. Replication systems require a state-transfer mechanism in order to recover crashed replicas and to integrate new ones into replication groups. This paper presents and eva...
176
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
173
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...