5246 search results - page 707 / 1050 » Sanitization models and their limitations |
190
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
201
click to vote
CASES
2006
ACM
16 years 23 days ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
192
click to vote
NPAR
2006
ACM
16 years 23 days ago
2006
ACM
ROJECTPROJECT ABSTRACTABSTRACTABSTRACT After achieving real-time photorealistic rendering, the computer graphics community is beginning to turn its attention to non-photorealistic ...
147
click to vote
IWPC
2005
IEEE
16 years 11 days ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
205
Voted
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...