2488 search results - page 135 / 498 » An improvement in formal verification |
115
Voted
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
84
Voted
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
114
click to vote
CCS
1998
ACM
15 years 5 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
112
click to vote
C3S2E
2009
ACM
15 years 4 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
111
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...