3500 search results - page 127 / 700 » Implementing Java on Clusters |
136
Voted
CCS
2010
ACM
15 years 22 days ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...
106
click to vote
CORR
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
137
Voted
CJ
2002
15 years 10 days ago
2002
monitoring indicators at different levels of abstraction. At the application level, it instruments the Java Virtual Machine (JVM) to notify several different types of events trigge...
96
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
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...
115
click to vote
ESIAT
2009
IEEE
14 years 10 months ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...