17049 search results - page 19 / 3410 » cans 2007 |
EUROCRYPT
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents an off-line divisible e-cash scheme where a user can withdraw a divisible coin of monetary value 2L that he can parceled and spend anonymously and unlinkably. ...
ENTCS
2007
13 years 7 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
In this paper we discuss how we've adapted the technique of informance design for use in design ethnography. We detail our design ethnography workflow method and describe our...
PERSUASIVE
2007
Springer
14 years 1 months ago
2007
Springer
: Having engaged one billion users by early 2006, the Internet is the world’s fastest-growing mass communications medium. As it permeates into countless lives across the planet, ...
SGAI
2007
Springer
14 years 1 months ago
2007
Springer
Grid-World is a working computer model which has been used to investigate the search capabilities of artificial agents that understand the world in terms of non-conceptual content...