Sciweavers

1027 search results - page 36 / 206
» A Model for Java with Wildcards
Sort
View
98
Voted
HICSS
2008
IEEE
128views Biometrics» more  HICSS 2008»
15 years 5 months ago
Service Composition Language to Unify Simulation and Optimization of Supply Chains
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
Alexander Brodsky, Malak Al-Nory, Hadon Nash
EUROPAR
1998
Springer
15 years 3 months ago
Performance Measurement of Interpreted Programs
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
Tia Newhall, Barton P. Miller
AMAST
2004
Springer
15 years 4 months ago
Formal JVM Code Analysis in JavaFAN
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
Azadeh Farzan, José Meseguer, Grigore Rosu
83
Voted
WSC
1997
15 years 12 days ago
Web-based Simulation in Simjava Using Remote Method Invocation
An investigation is underway regarding technologies to support the design, development and use of distributed, web-based simulations. As part of this investigation the Simjava sim...
Ernest H. Page, Robert L. Moose Jr., Sean P. Griff...
FIDJI
2003
Springer
15 years 4 months ago
Hard Real-Time Implementation of Embedded Software in JAVA
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
Jean-Pierre Talpin, Abdoulaye Gamatié, Davi...