18918 search results - page 3561 / 3784 » Using Technology in Teaching |
168
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
173
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
181
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Although CMOS feature size scaling has been the source of dramatic performance gains, it has lead to mounting reliability concerns due to increasing power densities and on-chip te...
165
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
System-call monitoring has become the basis for many hostbased intrusion detection as well as policy enforcement techniques. Mimicry attacks attempt to evade system-call monitorin...
192
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Malware has become the centerpiece of most security threats on the Internet. Malware analysis is an essential technology that extracts the runtime behavior of malware, and supplie...