4285 search results - page 787 / 857 » Differential Behavioral Analysis |
138
click to vote
INFOVIS
2005
IEEE
15 years 11 months ago
2005
IEEE
The most common approach to support analysis of graphs with associated time series data include: overlay of data on graph vertices for one timepoint at a time by manipulating a vi...
155
Voted
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
180
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
163
click to vote
NPAR
2004
ACM
15 years 10 months ago
2004
ACM
ssionism”, (bottom row) “Abstract”, “Pointillism”, “Flower” and “Abstract” styles. Figure 3 shows some of the brush strokes used. We present techniques for trans...
171
click to vote
SERA
2004
Springer
15 years 10 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...