3229 search results - page 483 / 646 » Theories with the Independence Property |
165
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
195
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We investigate how to organize a large collection of geotagged photos, working with a dataset of about 35 million images collected from Flickr. Our approach combines content analy...
140
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
163
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
263
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...