251 search results - page 24 / 51 » Transactions with isolation and cooperation |
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
Structured P2P systems have been developed for constructing applications at internet scale in cooperative environments and exhibit a number of desirable features such as scalabili...
EUC
2007
Springer
14 years 4 months ago
2007
Springer
Existing access control systems are typically unilateral in that the enterprise service provider assigns the access rights and makes the access control decisions, and there is no n...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper introduces a fully-automated, unsupervised method to recognise sign from subtitles. It does this by using data mining to align correspondences in sections of videos. Bas...
TACAS
1999
Springer
14 years 2 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
A key problem in multi-agent systems research is identifying appropriate techniques to facilitate effective cooperation between agents. In this paper, we investigate the efficacy o...