Sciweavers

709 search results - page 121 / 142
» A user interface framework for multimodal VR interactions
Sort
View
81
Voted
CHI
2004
ACM
15 years 10 months ago
Finding meaningful uses for context-aware technologies: the humanistic research strategy
Human?computer interaction (HCI) is undergoing a paradigm change towards interaction that is contextually adapted to rich use situations taking place "beyond the desktop"...
Antti Oulasvirta
TPHOL
2008
IEEE
15 years 4 months ago
The Isabelle Framework
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
Makarius Wenzel, Lawrence C. Paulson, Tobias Nipko...
ICMCS
2006
IEEE
185views Multimedia» more  ICMCS 2006»
15 years 3 months ago
DMB (Digital Multimedia Broadcasting) Voice EPG Application
Recently, mobile TV is becoming a mainstream service in mobile broadcasting scenario, where requires lots of mobile factors such as robust transmission, high performance and easy ...
Bong-Ho Lee, So Park, Heejeong Kim, Chung-Hyun Ahn...
HPDC
2000
IEEE
15 years 1 months ago
Automatic Configuration and Run-time Adaptation of Distributed Applications
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...
Fangzhe Chang, Vijay Karamcheti
90
Voted
WWW
2009
ACM
15 years 10 months ago
Rapid development of spreadsheet-based web mashups
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...
Woralak Kongdenfha, Boualem Benatallah, Julien Vay...