11740 search results - page 2104 / 2348 » More Problems in Rewriting |
303
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
187
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...
217
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
131
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Nuno Tom?s Daniel Gon?alves With the growing volume of digital information users must deal with, management and retrieval tasks have become increasingly problematic. A popular way ...
168
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Senior citizens often find it difficult to remember names. This paper describes a novel cell phone application that uses information about one's social network and the places...