4485 search results - page 333 / 897 » Equivalences on Observable Processes |
166
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
140
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Fundamental frequency contours for speech, as obtained by common pitch tracking algorithms, contain a great deal of fine detail that is unlikely to hold much perceptual significa...
152
click to vote
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Failure detector class Ωk has been defined in [18] as an extension to failure detector Ω, and an algorithm has been given in [16] to solve k-set agreement using Ωk in async...
157
click to vote
MFCS
2007
Springer
16 years 27 days ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
197
click to vote
ICDE
2005
IEEE
16 years 11 days ago
2005
IEEE
Current federated systems deploy cost-based query optimization mechanisms; i.e., the optimizer selects a global query plan with the lowest cost to execute. Thus, cost functions in...