Sciweavers

2403 search results - page 199 / 481
» Mobility Support in IPv6
Sort
View
HICSS
1999
IEEE
115views Biometrics» more  HICSS 1999»
15 years 8 months ago
Focusing on Mobility
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexand...
138
Voted
CHI
2009
ACM
15 years 9 months ago
StoryBank: mobile digital storytelling in a development context
Mobile imaging and digital storytelling currently support a growing practice of multimedia communication in the West. In this paper we describe a project which explores their bene...
David M. Frohlich, Dorothy Rachovides, Kiriaki Rig...
IDEAL
2007
Springer
15 years 10 months ago
Extracting Meaningful Contexts from Mobile Life Log
Life logs include people's experiences collected from various sources. It is used to support user's memory. There are many studies that collect and store life log for per...
Youngseol Lee, Sung-Bae Cho
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 9 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
PERCOM
2007
ACM
16 years 3 months ago
A Scalable Geographic Service Provision Framework for Mobile Ad Hoc Networks
Supporting scalable and efficient routing and service provision in Mobile Ad Hoc Networks (MANET) has been a big research challenge. Conventional topology-based unicast and multic...
Xiaojing Xiang, Xin Wang