Sciweavers

4205 search results - page 138 / 841
» Typed Mobile Objects
Sort
View
ICRA
2003
IEEE
117views Robotics» more  ICRA 2003»
15 years 9 months ago
Map building with mobile robots in dynamic environments
The problem of generating maps with mobile robots has received considerable attention over the past years. Most of the techniques developed so far have been designed for situation...
Dirk Hähnel, Rudolph Triebel, Wolfram Burgard...
JTAER
2007
104views more  JTAER 2007»
15 years 4 months ago
Key Drivers of Mobile Commerce Adoption. An Exploratory Study of Spanish Mobile Users
Despite dramatic differences between non-store shoppers were discovered, very limited research has been conducted to examine them. This paper analyses the background of M-commerce...
Enrique Bigné, Carla Ruiz-Mafé, Silv...
SAINT
2005
IEEE
15 years 10 months ago
Design and Evaluation of a Location-Based Virtual City System for Mobile Phones
We are developing a virtual city system with a model that consists of virtual architectural objects and virtual creatures, geographically overlaid onto the real world. People who ...
Hiroyuki Tarumi, Seiko Tokuda, Tomohiro Yasui, Kaz...
CLUSTER
2000
IEEE
15 years 8 months ago
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
Luís M. B. Lopes, Álvaro Reis Figuei...
ECOOP
2007
Springer
15 years 8 months ago
Validity Invariants and Effects
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
Yi Lu 0003, John Potter, Jingling Xue