Sciweavers

3394 search results - page 82 / 679
» Hybrid Application Support for Mobile Information Systems
Sort
View
CSL
2010
Springer
13 years 8 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
BCSHCI
2007
13 years 9 months ago
Breaking the campus bubble: informed, engaged, connected
This paper introduces UniVote, a system supporting mobile phone-based interaction with public displays. The case study carried out at Lancaster University indicates that the campu...
Nick Day, Corina Sas, Alan J. Dix, Motoko Toma, Ch...
ICMCS
2007
IEEE
163views Multimedia» more  ICMCS 2007»
14 years 2 months ago
An Augmented Reality Interface for Mobile Information Retrieval
Recent years have seen growing interest in mobile augmented reality. The ability to retrieve information and display it as virtual content overlaid on top of an image of the real ...
Jonathan Mooser, Lu Wang, Suya You, Ulrich Neumann
CASES
2010
ACM
13 years 5 months ago
Resource recycling: putting idle resources to work on a composable accelerator
Mobile computing platforms in the form of smart phones, netbooks, and personal digital assistants have become an integral part of our everyday lives. Moving ahead to the future, m...
Yongjun Park, Hyunchul Park, Scott A. Mahlke, Sukj...
ICDCSW
2002
IEEE
14 years 20 days ago
Peer-to-Peer for Collaborative Applications
Peer-to-peer systems recently captured the attention of practitioners and researchers as they provide an attractive alternative to client-server architectures. Peerto-peer enables...
Gianpaolo Cugola, Gian Pietro Picco