1210 search results - page 128 / 242 » Formal Techniques for Java Programs |
107
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
138
click to vote
EDO
2006
Springer
15 years 6 months ago
2006
Springer
Reflective middleware has been proposed as an effective way to enhance adaptability of component-oriented middleware architectures. To be effectively adaptable, the implementation...
117
click to vote
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
135
Voted
ENTCS
2006
15 years 2 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
131
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...