1846 search results - page 95 / 370 » Geographically-Sensitive Link Analysis |
140
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
124
click to vote
NOMS
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
139
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Social networks have become a major focus of research in recent years, initially directed towards static networks but increasingly, towards dynamic ones. In this paper, we investi...
123
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
131
click to vote
JBI
2007
15 years 4 months ago
2007
In this case study, we describe a method that has potential to provide systematic support for public health information management. Public health agencies depend on specialized in...