6102 search results - page 404 / 1221 » Modelling Environments for Distributed Simulation |
159
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
164
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose several models based on discrete-time Markov chains for the analysis of Distributed Hash Tables (DHTs). Specifically, we examine the Pastry routing protocol, as well a...
195
click to vote
AIIDE
2008
15 years 9 months ago
2008
Culture and emotions have a profound impact on human behavior. Consequently, high-fidelity simulated interactive environments (e.g., trainers and computer games) that involve virt...
156
click to vote
PR
2008
15 years 6 months ago
2008
A maximum-entropy approach to generative similarity-based classifiers model is proposed. First, a descriptive set of similarity statistics is assumed to be sufficient for classifi...
153
click to vote
PPAM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...