2661 search results - page 432 / 533 » Model Checking Performability Properties |
103
Voted
PETRA
2009
ACM
15 years 9 months ago
2009
ACM
In Italy, the service of Pediatric oncology is very centralized and granted by high-specialized medical structures. In the Italian Regione Campania there are just few of such medi...
133
Voted
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
131
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
107
Voted
NDSS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
124
click to vote
ASAP
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...