2520 search results - page 334 / 504 » Model-checking behavioral programs |
148
click to vote
SP
2007
IEEE
15 years 8 months 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 ...
131
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
115
click to vote
SIGMETRICS
1996
ACM
15 years 6 months ago
1996
ACM
A large and increasing gap exists between processor and memory speeds in scalable cache-coherent multiprocessors. To cope with this situation, programmers and compiler writers mus...
124
click to vote
UM
2005
Springer
15 years 7 months ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
125
Voted
EICS
2009
ACM
15 years 7 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...