1833 search results - page 264 / 367 » Mechanized Verification with Sharing |
113
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...
112
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
WebDAV needs awareness support in order to be a full-fledged collaboration system, This paper introduces AwareDAV, a new WebDAV extension framework enabling shared awareness throu...
145
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
This project describes the continuing development of a Privacy Label to present to consumers the ways organizations collect, use, and share personal information. Several studies h...
157
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
This paper describes mechanisms for asynchronous collaboration in the context of information visualization, recasting visualizations as not just analytic tools, but social spaces....
132
click to vote
HPCA
2007
IEEE
16 years 5 months ago
2007
IEEE
Transactional Memory (TM) provides mechanisms that promise to simplify parallel programming by eliminating the need for locks and their associated problems (deadlock, livelock, pr...