11484 search results - page 2195 / 2297 » Modeling in the Large and Modeling in the Small |
191
click to vote
ISPAN
2009
IEEE
16 years 29 days ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...
190
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
182
click to vote
ACNS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We examine the use of randomness extraction and expansion in key agreement (KA) protocols to generate uniformly random keys in the standard model. Although existing works...
186
click to vote
WEBDB
2009
Springer
16 years 27 days ago
2009
Springer
Linguists and geographers are more and more interested in route direction documents because they contain interesting motion descriptions and language patterns. A large number of s...
188
click to vote
WINE
2009
Springer
16 years 27 days ago
2009
Springer
We consider weighted linear congestion games, and investigate how social ignorance, namely lack of information about the presence of some players, affects the inefficiency of pure...