4211 search results - page 529 / 843 » A formal approach to MASQ |
143
click to vote
WDAG
2009
Springer
16 years 1 months ago
2009
Springer
A contention-sensitive data structure is a concurrent data structure in which the overhead introduced by locking is eliminated in the common cases, when there is no contention, or ...
126
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Poor quality data may be detected and corrected by performing various quality assurance activities that rely on techniques with different efficacy and cost. In this pape...
298
click to vote
ECOWS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
164
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
170
click to vote
ISMIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a knowledge-based system, for skills and talent management, exploiting semantic technologies combined with top-k retrieval techniques. The system provides adva...