HPCN
2000
Springer
13 years 8 months ago
2000
Springer
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...
FOSAD
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
GC
2004
Springer
13 years 10 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...
ACMSE
2006
ACM
13 years 11 months ago
2006
ACM
elow are abstracts of student-faculty collaborative work presented at regional, national, and international conferences. Gregory Adkins, Elizabeth Carter, Amanda Micai, and Sarah M...