3335 search results - page 558 / 667 » Grid result checking |
163
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
140
click to vote
EGOV
2010
Springer
15 years 5 months ago
2010
Springer
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...
139
click to vote
DIMVA
2009
15 years 5 months ago
2009
Drive-by download attacks are among the most common methods for spreading malware today. These attacks typically exploit memory corruption vulnerabilities in web browsers and brows...
123
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
128
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Many of today's web applications are built on frameworks that include sophisticated defenses against malicious adversaries. However, mistakes in the way developers deploy tho...