2415 search results - page 12 / 483 » Markov Processes on Curves |
AI
2006
Springer
13 years 11 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...
ICIAP
2003
ACM
14 years 7 months ago
2003
ACM
GMP
2003
IEEE
14 years 23 days ago
2003
IEEE
Elliptic curve cryptography is known for its complexity due to its discrete logarithm problem, and this gives advantage to the system used since the formula developed using this c...
APN
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
ICIP
1997
IEEE
14 years 9 months ago
1997
IEEE