Sciweavers

1036 search results - page 83 / 208
» Ubiquitous Verification of Ubiquitous Systems
Sort
View
SAGA
2007
Springer
14 years 1 months ago
Randomized Algorithms and Probabilistic Analysis in Wireless Networking
Abstract. Devices connected wirelessly, in various forms including computers, hand-held devices, ad hoc networks, and embedded systems, are expected to become ubiquitous all around...
Aravind Srinivasan
WMTE
2006
IEEE
14 years 1 months ago
JAMIOLAS: Supporting Japanese Mimicry and Onomatopoeia Learning with Sensors
  This  paper  proposes  a  computer  supported  ubiquitous  learning  environment  for  language  learning.  Especially,  this  paper  describes  context­  awar...
Hiroaki Ogata, Chengjiu Yin, Yoneo Yano
MHCI
2004
Springer
14 years 1 months ago
Smartphone Views: Building Multi-device Distributed User Interfaces
Abstract. This paper introduces a prototype of a distributed user interface (DUI) on dual devices, a workstation and a Windows Mobilepowered smartphone. By porting the XML-complian...
Micael Sjölund, Anders Larsson, Erik Berglund
ICWN
2008
13 years 9 months ago
Heterogeneity in Mobile Computing Environmens
The rapid evolution of mobile computing has spawned a very heterogeneous spectrum of technologies affecting both devices and system in the mobile computing domain. Since mobile com...
Robert Schmohl, Uwe Baumgarten
SCN
2010
Springer
132views Communications» more  SCN 2010»
13 years 5 months ago
Solving Revocation with Efficient Update of Anonymous Credentials
Anonymous credential system promise efficient, ubiquitous access to digital services while preserving user privacy. However, their diffusion is impaired by the lack of efficient re...
Jan Camenisch, Markulf Kohlweiss, Claudio Soriente