Search Sciweavers | Sciweavers

436 search results - page 2 / 88

» A secure execution framework for Java

click to vote

SP
1998
IEEE

147views Security Privacy» more SP 1998»

Secure Execution of Java Applets using a Remote Playground

13 years 9 months ago

Download www.cs.unc.edu

Dahlia Malkhi, Michael K. Reiter, Aviel D. Rubin

claim paper

Read More »

click to vote

PEPM
2004
ACM

114views Software Engineering» more PEPM 2004»

Program transformations for portable CPU accounting and control in Java

13 years 10 months ago

Download www.inf.usi.ch

In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...

Jarle Hulaas, Walter Binder

claim paper

Read More »

click to vote

OOPSLA
2007
Springer

139views Security Privacy» more OOPSLA 2007»

The JastAdd extensible Java compiler

13 years 11 months ago

Download builds.jastadd.org

We have implemented intraprocedural control-ﬂow and data-ﬂow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...

Torbjörn Ekman, Görel Hedin

claim paper

Read More »

click to vote

ISSE
2010

124views Security Privacy» more ISSE 2010»

Formal executable semantics for conformance in the MDE framework

13 years 3 months ago

Download www.artist-embedded.org

Marina Egea, Vlad Rusu

claim paper

Read More »