1124 search results - page 170 / 225 » Refined quorum systems |
188
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
101
click to vote
EDBT
2006
ACM
15 years 12 months ago
2006
ACM
Abstract. Target search in content-based image retrieval (CBIR) systems refers to finding a specific (target) image such as a particular registered logo or a specific historical ph...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
118
click to vote
ICTAI
2009
IEEE
15 years 6 months ago
2009
IEEE
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
101
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—A hybrid protocol for application level multicast (HPAM) for live video streaming without native IP multicast support is proposed. HPAM exploits the simplicity and optimality of...