748 search results - page 75 / 150 » Time and Probability in Process Algebra |
129
click to vote
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
107
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Abstract--The question of polynomial learnability of probability distributions, particularly Gaussian mixture distributions, has recently received significant attention in theoreti...
111
Voted
CIKM
2003
Springer
15 years 5 months ago
2003
Springer
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
95
Voted
CHES
2001
Springer
15 years 5 months ago
2001
Springer
A variation of the Complex Multiplication (CM) method for generating elliptic curves of known order over finite fields is proposed. We give heuristics and timing statistics in th...
98
Voted
ENTCS
2006
15 years 16 days ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...