4770 search results - page 140 / 954 » Flexible Type Analysis |
156
click to vote
EAGC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...
129
click to vote
DELTA
2008
IEEE
15 years 11 months ago
2008
IEEE
Integrated systems represent the most common solution for storage and transmission of confidential data. However, cryptographic devices can be subject to passive attacks that cons...
129
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
122
click to vote
ISMB
2000
15 years 5 months ago
2000
We have developed a method for the integrative analysis of protein interaction data. It comprises clustering, visualization and data integration components. The method is generall...
142
click to vote
SADFE
2009
IEEE
15 years 11 months ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...