Sciweavers

832 search results - page 13 / 167
» Mutation of Java Objects
Sort
View
ISORC
2002
IEEE
15 years 5 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
15 years 4 months 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...
123
Voted
WSC
1997
15 years 2 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
114
Voted
DAGSTUHL
2001
15 years 2 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
95
Voted
ENTCS
2010
111views more  ENTCS 2010»
14 years 10 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...