189
Voted
HPCN
2000
Springer
15 years 10 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...
196
Voted
FOSAD
2000
Springer
15 years 10 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...
161
click to vote
GC
2004
Springer
16 years 10 days 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...
174
Voted
ACMSE
2006
ACM
16 years 28 days 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...