2493 search results - page 206 / 499 » Tool Support for Design by Contract |
171
click to vote
SCAM
2008
IEEE
16 years 28 days ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
148
click to vote
ACSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
169
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
As data mining evolves and matures more and more businesses are incorporating this technology into their business practices. However, currently data mining and decision support so...
194
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
Security, privacy and governance are increasingly the focus of government regulations in the U.S., Europe and elsewhere. This trend has created a “regulation compliance” probl...
184
click to vote
AIME
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...