245 search results - page 31 / 49 » The Use of Multithreading for Exception Handling |
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
WSC
1998
13 years 10 months ago
1998
GPSS/H is a well-known, traditional simulation tool whose user base continues to grow despite the presence of many "new" trends in simulation technology. In GPSS/H, the ...
JLP
2010
13 years 3 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...