3082 search results - page 169 / 617 » Deviation Analysis: A New Use of Model Checking |
195
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
190
click to vote
CVIU
2007
15 years 6 months ago
2007
Skin detection is an important indicator of human presence and actions in many domains, including interaction, interfaces and security. It is commonly performed in three steps: tr...
196
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
173
click to vote
C3S2E
2009
ACM
15 years 10 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...
167
click to vote
WINE
2009
Springer
16 years 1 months ago
2009
Springer
Sponsored search auction is used by most search engines to select ads to display on the web page of a search result, according to advertisers’ bidding prices. The income of this ...