2116 search results - page 266 / 424 » On Probabilistic Alternating Simulations |
123
Voted
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
129
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
122
click to vote
INTERWORKING
2000
15 years 8 months ago
2000
In a packet switching based scenario, optical technologies can not completely overcome the problem of insufficient network capacity, due to limitations produced by the presence of ...
157
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We define the class of games called simulation-based games, in which the payoffs are available as an output of an oracle (simulator), rather than specified analytically or using a...
147
Voted
COMPGEOM
2005
ACM
15 years 6 months ago
2005
ACM
We present an efficient algorithm for maintaining the boundary and surface area of protein molecules as they undergo conformational changes. We also describe a robust implementati...