1350 search results - page 142 / 270 » Reasoning about Staged Computation |
124
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In many clustering applications, the user has some vague notion of the number and membership of the desired clusters. However, it is difficult for the user to provide such knowled...
144
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
139
click to vote
CHI
2010
ACM
16 years 11 days ago
2010
ACM
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...
179
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
138
click to vote
ICDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...