3575 search results - page 188 / 715 » Modeling Concurrency with Geometry |
131
Voted
PE
2006
Springer
15 years 5 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
167
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
149
click to vote
ADAEUROPE
2010
Springer
15 years 3 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
126
Voted
JCAMD
2010
15 years 3 months ago
2010
Abstract A prospective study of aqueous solvation energies was done using the SM8 and Zap TK models for a variety of geometries. CM4M charges calculated with M06 and M06-2X were fo...
156
Voted
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we continue the study the round complexity of black-box zero knowledge in the bare public-key (BPK, for short) model previously started by Micali and Reyzin in [11]....