1863 search results - page 80 / 373 » Level-Based Link Analysis |
ISSTA
2010
ACM
13 years 11 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...
NOMS
2008
IEEE
14 years 3 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...
AEI
1998
13 years 8 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
SG
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we present a novel approach to visualize irregularly occurring events. We introduce the event line view designed specifically for such events data (a subset...
KDD
2009
ACM
14 years 9 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...