854 search results - page 156 / 171 » Addressing Dynamic Issues of Program Model Checking |
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
CNSR
2004
IEEE
15 years 3 months ago
2004
IEEE
In order to control and manage highly aggregated Internet traffic flows efficiently, we need to be able to categorize flows into distinct classes and to be knowledgeable about the...
105
click to vote
CONCURRENCY
1998
14 years 11 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
111
click to vote
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
As we progress, society must intelligently address the following question: How much risk is acceptable? How we answer this question could have important consequences for the futur...
105
click to vote
SENSYS
2006
ACM
15 years 5 months ago
2006
ACM
Extensive empirical studies presented in this paper confirm that the quality of radio communication between low power sensor devices varies significantly with time and environme...