4205 search results - page 48 / 841 » Typed Mobile Objects |
123
Voted
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Abstract. Mobile objects have become ubiquitous in our everyday lives, ranging from cellular phones to sensors, therefore, analyzing and mining mobile data becomes an interesting p...
116
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper proposes a new technique for computing the distance to an unknown planar surface and, at the same time, estimating the material of the surface through the use of low-co...
122
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
AINA
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper introduces a novel reprocessingtransaction model that handles the update conflicts between mobile transactions without abortion. The proposed model executes a new subtr...