1988 search results - page 385 / 398 » Engineering formal metatheory |
SEW
2006
IEEE
14 years 2 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
NSPW
2006
ACM
14 years 2 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...