56 search results - page 1 / 12 » Subtyping and Matching for Mobile Objects |
ICTCS
2001
Springer
14 years 3 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
COORDINATION
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
ECOOP
1997
Springer
14 years 2 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
SAC
2009
ACM
14 years 5 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
ICIP
2008
IEEE
15 years 13 days ago
2008
IEEE
Typical object detection algorithms on mobile cameras suffer from the lack of a-priori knowledge on the object to be detected. The variability in the shape, pose, color distributi...