Sciweavers

755 search results - page 27 / 151
» Visualizing Java in Action
Sort
View
CCS
2008
ACM
13 years 10 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
HICSS
2010
IEEE
173views Biometrics» more  HICSS 2010»
14 years 3 months ago
Design and Evaluation of a Social Visualization Aimed at Encouraging Sustainable Behavior
The environment is affected by our collective behavior, yet many visualizations of energy saving behavior focus on personal actions, or simple, unidimensional comparisons between ...
Catherine Grevet, Jennifer Mankoff, Scott D. Ander...
ECOOP
2010
Springer
14 years 1 months ago
Programming Coordinated Behavior in Java
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
David Harel, Assaf Marron, Gera Weiss
CGI
2001
IEEE
14 years 3 days ago
Javra: A Simple, Extensible Java Package for VRML
Javra is a Java package for handling VRML scene graphs; it operates either stand-alone or in combination with a VRML browser. The combination of Javra and a VRML browser forms an ...
Huub van de Wetering
ECOOP
2007
Springer
14 years 2 months ago
Exception Handling: A Field Study in Java and .NET
Most modern programming languages rely on exceptions for dealing with abnormal situations. Although exception handling was a significant improvement over other mechanisms like chec...
Bruno Cabral, Paulo Marques