Sciweavers

2612 search results - page 270 / 523
» Mobile Processes and Termination
Sort
View
124
Voted
ISSTA
2009
ACM
15 years 5 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
117
Voted
EVOW
2001
Springer
15 years 5 months ago
Interactions between Art and Mobile Robotic System Engineering
The field of mobile robotics offers a new medium for public entertainment and art. Mobile robots can move, react, and interact in the real world, generating behaviors that can be u...
Francesco Mondada, Skye Legon
113
Voted
ADBIS
2000
Springer
131views Database» more  ADBIS 2000»
15 years 5 months ago
Mobile Transaction Management in Mobisnap
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
Nuno M. Preguiça, Carlos Baquero, Francisco...
123
Voted
EURONGI
2008
Springer
15 years 2 months ago
Performance Evaluation of Overlay-Based Range Queries in Mobile Systems
Current mobility management systems are operator centralized, and focused on single link technologies. In heterogeneous wireless mesh networks, vertical handovers could be a length...
Amine M. Houyou, Alexander Stenzer, Hermann de Mee...
108
Voted
AMR
2008
Springer
248views Multimedia» more  AMR 2008»
15 years 2 months ago
Mobile Museum Guide Based on Fast SIFT Recognition
Abstract. This article explores the feasibility of a market-ready, mobile pattern recognition system based on the latest findings in the field of object recognition and currently a...
Boris Ruf, Effrosini Kokiopoulou, Marcin Detynieck...