Sciweavers

704 search results - page 78 / 141
» Mobile Learning
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 3 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
ICRA
2005
IEEE
169views Robotics» more  ICRA 2005»
14 years 3 months ago
Indoor Navigation of a Wheeled Mobile Robot along Visual Routes
— When navigating in an unknown environment for the first time, a natural behavior consists in memorizing some key views along the performed path, in order to use these referenc...
Guillaume Le Blanc, Youcef Mezouar, Philippe Marti...
MHCI
2004
Springer
14 years 3 months ago
Mobile Context Aware Systems: The Intelligence to Support Tasks and Effectively Utilise Resources
: The complex usage of mobile devices coupled with their limited resources in terms of display and processing suggests that being able to understand the context of the user would b...
Russell Beale, Peter Lonsdale
IJIT
2004
13 years 11 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
MOBICOM
2010
ACM
13 years 10 months ago
Did you see Bob?: human localization using mobile phones
Finding a person in a public place, such as in a library, conference hotel, or shopping mall, can be difficult. The difficulty arises from not knowing where the person may be at t...
Ionut Constandache, Xuan Bao, Martin Azizyan, Romi...