16430 search results - page 2918 / 3286 » On Computable Tree Functions |
202
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
The Random Oracle Model and the Ideal Cipher Model are two well known idealised models of computation for proving the security of cryptosystems. At Crypto 2005, Coron et al. showed...
154
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
This paper describes an ethnographic study conducted to explore the possibilities for future design and development of technological support for trauma teams. We videotaped 10 tra...
220
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
204
click to vote
DIMEA
2008
15 years 8 months ago
2008
Can Augmented Reality (AR) techniques inform the design and implementation of a mobile multimedia guide for the museum setting? Drawing from our experience both on previous mobile...
184
click to vote
DMSN
2008
ACM
15 years 8 months ago
2008
ACM
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...