Sciweavers

495 search results - page 4 / 99
» Translating the Object Constraint Language into the Java Mod...
Sort
View
75
Voted
WSC
2000
15 years 2 months ago
Silk, Java and object-oriented simulation
Silk
Richard A. Kilgore
128
Voted
OOPSLA
1999
Springer
15 years 5 months ago
Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...
Ilya Lipkind, Igor Pechtchanski, Vijay Karamcheti
ESOP
2005
Springer
15 years 6 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
Alan Jeffrey, Julian Rathke
103
Voted
ASM
2010
ASM
15 years 10 months ago
Lightweight Modeling of Java Virtual Machine Security Constraints
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
Mark C. Reynolds
137
Voted
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 6 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel