8828 search results - page 1161 / 1766 » Formal methods in practice |
204
click to vote
PKC
2005
Springer
16 years 28 days ago
2005
Springer
We develop a method for generating shared, secret, safe primes applicable to use in threshold RSA signature schemes such as the one developed by Shoup. We would like a scheme usabl...
170
click to vote
NORDICHI
2004
ACM
16 years 26 days ago
2004
ACM
The fields HCI/usability and computer games have existed for a few decades with virtually no mutual interaction. However, in recent years, a number of exchanges have appeared, bot...
169
click to vote
NPAR
2004
ACM
16 years 26 days ago
2004
ACM
We present a class of image fusion techniques to automatically combine images of a scene captured under different illumination. Beyond providing digital tools for artists for crea...
171
click to vote
PDC
2004
ACM
16 years 26 days ago
2004
ACM
In this paper, we use the notions of artful integrations and infrastructure to analyze two cases of community Participatory Design ‘in the wild’. Though the communities are qu...
204
click to vote
AUSAI
2004
Springer
16 years 25 days ago
2004
Springer
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...