4075 search results - page 283 / 815 » Modeling Distributed Algorithm Using B |
241
click to vote
WOA
2010
15 years 4 months ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
194
click to vote
JMLR
2010
15 years 1 months ago
2010
We present a polynomial update time algorithm for the inductive inference of a large class of context-free languages using the paradigm of positive data and a membership oracle. W...
216
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
Cognitive radio is an enabling technology that allows unlicensed users to opportunistically access the spectrum in order to enhance the spectrum efficiency. In this paper, we cons...
157
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Rogue Access Points (RAPs) pose serious security threats to local networks. An analytic model of prior probability distribution of Segmental TCP Jitter (STJ) is deduced from the m...
170
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
Real-time transit tracking is gaining popularity as a means for transit agencies to improve the rider experience. However, many transit agencies lack either the funding or initiat...