302 search results - page 35 / 61 » Indexing the Java API Using Source Code |
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper, we present a new technique that uses deterministic binary network coding in a distributed manner to enhance the resiliency of Sensor-to-Base information flow aga...
111
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
106
click to vote
JUCS
2008
15 years 2 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
127
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
101
click to vote
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...