Sciweavers

1937 search results - page 10 / 388
» Adaptation-based programming in java
Sort
View
CAV
2004
Springer
108views Hardware» more  CAV 2004»
14 years 1 months ago
Formal Analysis of Java Programs in JavaFAN
Azadeh Farzan, Feng Chen, José Meseguer, Gr...
SEMWEB
2011
Springer
12 years 10 months ago
The OWL API: A Java API for OWL ontologies
We present the OWL API, a high level Application Programming Interface (API) for working with OWL ontologies. The OWL API is closely aligned with the OWL 2 structural specificatio...
Matthew Horridge, Sean Bechhofer
LCTRTS
2004
Springer
14 years 1 months ago
Advanced control flow in Java card programming
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
Peng Li, Steve Zdancewic
PEPM
2004
ACM
14 years 1 months ago
Program transformations for portable CPU accounting and control in Java
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
TOOLS
2010
IEEE
14 years 26 days ago
Welterweight Java
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
Johan Östlund, Tobias Wrigstad