Sciweavers

537 search results - page 64 / 108
» Mobile sound communities
Sort
View
ASPLOS
2011
ACM
13 years 1 months ago
Pocket cloudlets
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
Emmanouil Koukoumidis, Dimitrios Lymberopoulos, Ka...
CAV
2009
Springer
150views Hardware» more  CAV 2009»
14 years 10 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur
HAID
2007
Springer
14 years 4 months ago
Shake2Talk: Multimodal Messaging for Interpersonal Communication
This paper explores the possibilities of using audio and haptics for interpersonal communication via mobile devices. Drawing on the literature on current messaging practises, a new...
Lorna M. Brown, John Williamson
APLAS
2006
ACM
14 years 3 months ago
Computational Secrecy by Typing for the Pi Calculus
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
Martín Abadi, Ricardo Corin, Cédric ...
VISUALIZATION
2005
IEEE
14 years 3 months ago
Interactive Poster: Using CoMIRVA for Visualizing Similarities Between Music Artists
This paper presents our framework for music information retrieval and visualization (CoMIRVA). We focus on the functions for visualizing similarities between music artists or song...
Markus Schedl, Peter Knees, Gerhard Widmer