5246 search results - page 203 / 1050 » Sanitization models and their limitations |
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
CEC
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a study on Hierarchical Surrogate-Assisted Evolutionary Algorithm (HSAEA) using different global surrogate models for solving computationally expensive optimiza...
108
click to vote
SC
2000
ACM
15 years 4 months ago
2000
ACM
Adaptive applications have computational workloads and communication patterns which change unpredictably at runtime, requiring dynamic load balancing to achieve scalable performan...
AIRS
2006
Springer
15 years 3 months ago
2006
Springer
This paper proposes a word sense language model based method for information retrieval. This method, differing from most of traditional ones, combines word senses defined in a thes...
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...