Sciweavers

3872 search results - page 90 / 775
» The Java memory model
Sort
View
113
Voted
USS
2008
15 years 4 months ago
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
Michael C. Martin, Monica S. Lam
116
Voted
TACAS
2010
Springer
160views Algorithms» more  TACAS 2010»
15 years 2 days ago
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
Pavel Parizek, Tomás Kalibera
188
Voted
SMA
2010
ACM
333views Solid Modeling» more  SMA 2010»
15 years 18 days ago
Misspecification tests for periodic long memory GARCH models
Massimiliano Caporin, Francesco Lisi
131
Voted
DGO
2009
89views Education» more  DGO 2009»
15 years 3 months ago
Top-level decisions through public deliberation on the internet: evidence from the evolution of Java governance
This study found internet-enabled public deliberation having a direct impact on top-level decisions and it identified institutional mechanisms by which this occurs. Most governmen...
Michael Kaschesky, Reinhard Riedl
89
Voted
ANSS
2001
IEEE
15 years 5 months ago
Reference Filtering for Distributed Simulation of Shared Memory Multiprocessors
Shigeru Imafuku, Kazuhiko Ohno, Hiroshi Nakashima