4096 search results - page 149 / 820 » An Object Model for Interoperable Systems |
147
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
128
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
158
Voted
VRST
2005
ACM
15 years 10 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
134
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
141
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...