3605 search results - page 188 / 721 » Analysis and Applications of the XDI model |
202
click to vote
FMICS
2007
Springer
16 years 22 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
179
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
176
click to vote
VR
2007
IEEE
16 years 25 days ago
2007
IEEE
Wildfires are a frequent summer-time concern for land managers and communities neighboring wildlands throughout the world. Computational simulations have been developed to help an...
145
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
167
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper reports on transfer rate models for the Gnutella signaling protocol. New results on message-level and IP-level rates are presented. The models are based on traffic capt...