12981 search results - page 585 / 2597 » Model Checking (Abstract) |
223
click to vote
WIFT
1998
IEEE
15 years 11 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
175
click to vote
OOPSLA
1992
Springer
15 years 11 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
189
click to vote
C3S2E
2009
ACM
15 years 11 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...
177
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
179
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...