1304 search results - page 190 / 261 » Model Checking C Programs Using F-SOFT |
114
Voted
ESWA
2006
15 years 3 months ago
2006
This paper investigates how to estimate the likelihood of a customer accepting a loan offer as a function of the offer parameters and how to choose the optimal set of parameters f...
115
Voted
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Large-scale attacks generated by fast-spreading or stealthy malicious mobile code, such as flash worms and e-mail viruses, demand new approaches to patch management and disinfecti...
133
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
111
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
159
Voted
IWMM
2011
Springer
14 years 6 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...