Sciweavers

1937 search results - page 10 / 388
» Adaptation-based programming in java
Sort
View
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 2 months ago
Formal Analysis of Java Programs in JavaFAN
Azadeh Farzan, Feng Chen, José Meseguer, Gr...
SEMWEB
2011
Springer
14 years 10 days 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
82
Voted
LCTRTS
2004
Springer
15 years 2 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
94
Voted
PEPM
2004
ACM
15 years 2 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
67
Voted
TOOLS
2010
IEEE
15 years 2 months 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