Sciweavers

194 search results - page 3 / 39
» An Exception Monitoring System for Java
Sort
View
COMCOM
2000
125views more  COMCOM 2000»
14 years 11 months ago
On object initialization in the Java bytecode
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
Stephane Doyon, Mourad Debbabi
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 3 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...
CACM
2010
121views more  CACM 2010»
14 years 9 months ago
Goldilocks: a race-aware Java runtime
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
ATAL
2004
Springer
15 years 5 months ago
Towards Robust Multi-Agent Systems: Handling Communication Exceptions in Double Auctions
This paper addresses an important question in the development of multi-agent systems—how can we create robust systems out of the often unreliable agents and infrastructures we ca...
Simon Parsons, Mark Klein
CORR
2010
Springer
174views Education» more  CORR 2010»
14 years 9 months ago
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
Mads Dam, Andreas Lundblad