Sciweavers

3971 search results - page 113 / 795
» On the Use of Properties in Java Applications
Sort
View
ACSAC
2009
IEEE
15 years 11 months ago
Analyzing Information Flow in JavaScript-Based Browser Extensions
JavaScript-based browser extensions (JSEs) enhance the core functionality of web browsers by improving their look and feel, and are widely available for commodity browsers. To ena...
Mohan Dhawan, Vinod Ganapathy
VMCAI
2009
Springer
15 years 11 months ago
Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
Dilian Gurov, Marieke Huisman
126
Voted
IWMM
2007
Springer
116views Hardware» more  IWMM 2007»
15 years 11 months ago
Heap space analysis for java bytecode
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
Elvira Albert, Samir Genaim, Miguel Gómez-Z...
CCE
2005
15 years 4 months ago
Analysis of dynamic properties of alternative sequences to the Petlyuk column
The Petlyuk distillation configuration has received considerable attention because of its efficiency to reduce the energy required for the separation of ternary mixtures. The stru...
Juan Gabriel Segovia-Hernández, Salvador He...
CSCW
1998
ACM
15 years 9 months ago
Artefact: A Framework for Low-Overhead Web-Based Collaborative Systems
The Artefact framework supports collaborative applications using standard browsers, a lightweight general-purpose Java applet, and HTML representations of objects and actions. We ...
Jeff Brandenburg, Boyce Byerly, Tom Dobridge, Jink...