Sciweavers

832 search results - page 13 / 167
» Mutation of Java Objects
Sort
View
ISORC
2002
IEEE
14 years 1 months ago
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
This paper proposes a framework for integrating the Real-Time Specification for Java and Java's Remote Method Invocation. The concepts of real-time remote and distributed rea...
Andy J. Wellings, Roy Clark, E. Douglas Jensen, Do...
HPCN
2000
Springer
14 years 6 days ago
Communicating Mobile Active Objects in Java
This paper investigates the design and implementation of mobile computations in Java. We discuss various issues encountered while building a Java library that allows active objects...
Françoise Baude, Denis Caromel, Fabrice Hue...
WSC
1997
13 years 10 months ago
SimJAVA - A Framework for Modeling Queueing Networks in Java
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
Wolfgang Kreutzer, Jane Hopkins, Marcel van Mierlo
DAGSTUHL
2001
13 years 10 months ago
Constructive Foundations for Featherweight Java
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
Thomas Studer
ENTCS
2010
111views more  ENTCS 2010»
13 years 6 months ago
Fundamental Nano-Patterns to Characterize and Classify Java Methods
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
Jeremy Singer, Gavin Brown, Mikel Luján, Ad...