11484 search results - page 2142 / 2297 » Modeling in the Large and Modeling in the Small |
199
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...
228
click to vote
ALDT
2011
Springer
14 years 6 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
190
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
200
click to vote
WSDM
2012
ACM
14 years 1 months ago
2012
ACM
We pose a fundamental question in understanding how to identify and design successful communities: What factors predict whether a community will grow and survive in the long term?...
216
click to vote
KDD
2012
ACM
13 years 8 months ago
2012
ACM
Influential people have an important role in the process of information diffusion. However, there are several ways to be influential, for example, to be the most popular or the...