Sciweavers

647 search results - page 48 / 130
» Implementation of MAP: A system for mobile assistant program...
Sort
View
SIGCOMM
2010
ACM
15 years 6 months ago
EyePhone: activating mobile phones with your eyes
As smartphones evolve researchers are studying new techniques to ease the human-mobile interaction. We propose EyePhone, a novel "hand-free" interfacing system capable o...
Emiliano Miluzzo, Tianyu Wang, Andrew T. Campbell
ATAL
2010
Springer
15 years 7 months ago
MagneBike: toward multi climbing robots for power plant inspection
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
Andreas Breitenmoser, Fabien Tâche, Gilles C...
ERLANG
2004
ACM
15 years 9 months ago
An external short message entity for gambling services
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
Enrique Marcote, Daniel I. Iglesia, Carlos J. Escu...
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
16 years 2 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
ECOOP
2007
Springer
16 years 5 days ago
Aspect-Based Introspection and Change Analysis for Evolving Programs
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
Kevin J. Hoffman, Murali Krishna Ramanathan, Patri...