1895 search results - page 260 / 379 » Using ATL for Checking Models |
152
click to vote
C3S2E
2009
ACM
15 years 8 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...
128
click to vote
ECLIPSE
2007
ACM
15 years 8 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 ...
136
click to vote
DATE
2004
IEEE
15 years 8 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...
151
click to vote
AAAI
2008
15 years 7 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
121
click to vote
LWA
2008
15 years 6 months ago
2008
Many sites are created by people who lack professional training in web design. We present `SiteGuide', a tool that helps amateur web designers to decide which information wil...