10159 search results - page 1979 / 2032 » System Design Validation Using Formal Models |
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...
EUC
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Location is the most essential presence information for mobile users. In this paper, we present an improved time-based clustering technique for extracting significant lo...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...
IKE
2003
13 years 9 months ago
2003
Inverted files are widely used to index documents in large-scale information retrieval systems. An inverted file consists of posting lists, which can be stored in either a documen...