8232 search results - page 1425 / 1647 » Dynamic Logic Programming |
201
click to vote
SP
2007
IEEE
16 years 20 days ago
2007
IEEE
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...
200
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
200
click to vote
CGO
2006
IEEE
16 years 14 days ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...
190
click to vote
VEE
2006
ACM
16 years 11 days ago
2006
ACM
During recent years, microprocessor energy consumption has been surging and efforts to reduce power and energy have received a lot of attention. At the same time, virtual executio...
181
click to vote
ISORC
2005
IEEE
16 years 3 hour ago
2005
IEEE
Adaptation to changing environmental conditions is a major challenge for most distributed applications. The service-oriented programming paradigm leads to an increasing number of ...