4205 search results - page 50 / 841 » Typed Mobile Objects |
227
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
128
click to vote
INFOSCALE
2009
ACM
15 years 6 months ago
2009
ACM
With the current proliferation of wireless networks and mobile device technologies, the management of moving object databases to facilitate queries over these domains has been exte...
119
click to vote
FUIN
2008
15 years 1 months ago
2008
We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the envi...
115
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
135
click to vote
ECSQARU
2005
Springer
15 years 7 months ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...