1610 search results - page 107 / 322 » A Transaction Model for Mobile Computing |
181
Voted
KIVS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
134
Voted
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
This paper extends earlier work in the use of ‘Agent-based Computational Economics’ (ACE) for modelling the development of co-operation between firms. Inter-firm relations hav...
142
Voted
IC3
2009
15 years 11 days ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
128
Voted
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a simple artificial landmark model and a robust tracking algorithm for the navigation of indoor mobile robots. The landmark model is designed to have a three-dimensiona...
133
Voted
ACMICEC
2003
ACM
15 years 7 months ago
2003
ACM
In recent years, the growth of Mobile Computing, Electronic Commerce and Mobile Electronic Commerce has created a new concept of Mobile Electronic Marketing. New marketing models ...