2947 search results - page 526 / 590 » Analyzing Program Analyses |
ISI
2007
Springer
14 years 11 months ago
2007
Springer
—Detecting unknown malicious code (malcode) is a challenging task. Current common solutions, such as anti-virus tools, rely heavily on prior explicit knowledge of specific instan...
JASIS
2007
2007
Visualization of the citation impact environments of scientific journals: An online mapping exercise
14 years 11 months ago
Aggregated journal-journal citation networks based on the Journal Citation Reports 2004 of the Science Citation Index (5968 journals) and the Social Science Citation Index (1712 j...
JIB
2007
14 years 11 months ago
2007
Control of cell proliferation, differentiation, activation and cell removal is crucial for the development and existence of multi-cellular organisms. Apoptosis, or programmed cell...
CCR
2004
14 years 11 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
CCR
2002
14 years 11 months ago
2002
The server's storage I/O and network I/O bandwidths are the main bottleneck of VoD service. Multicast offers an efficient means of distributing a video program to multiple cl...