2468 search results - page 315 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
142
click to vote
PAMI
2008
15 years 6 months ago
2008
Multibiometric systems fuse information from different sources to compensate for the limitations in performance of individual matchers. We propose a framework for optimal combinati...
147
click to vote
EUROPAR
2007
Springer
16 years 17 days ago
2007
Springer
In this work we present the design principles of a wearable positioning system for users in unprepared indoor environments. We describe the most suitable technology for our applica...
134
click to vote
ASIACRYPT
2004
Springer
15 years 11 months ago
2004
Springer
d abstract) Bartosz Przydatek1 and Reto Strobl2 1 Department of Computer Science, ETH Z¨urich, Switzerland 2 IBM Research, Zurich Research Laboratory, Switzerland In this paper, w...
151
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...
178
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...