Sciweavers

649 search results - page 71 / 130
» Focusing in Asynchronous Games
Sort
View
99
Voted
CHI
2010
ACM
15 years 8 months ago
Layered elaboration: a new technique for co-design with children
As technology for children becomes more mobile, social, and distributed, our design methods and techniques must evolve to better explore these new directions. This paper reports o...
Greg Walsh, Allison Druin, Mona Leigh Guha, Elizab...
95
Voted
ICDCS
2005
IEEE
15 years 7 months ago
Virtual Leashing: Internet-Based Software Piracy Protection
Software-splitting is a technique for protecting software from piracy by removing code fragments from an application and placing them on a remote trusted server. The server provid...
Ori Dvir, Maurice Herlihy, Nir Shavit
HYBRID
1994
Springer
15 years 6 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
104
Voted
ISM
2008
IEEE
163views Multimedia» more  ISM 2008»
15 years 8 months ago
Cocktail Party on the Mobile
We present the architecture, user interface and prototype implementation of Fluid Voice, a proximity based mobile group communication system for opportunistic social exchanges. It...
Kwan Hong Lee, Andrew Lippman, Thiago Santos
WDAG
1989
Springer
62views Algorithms» more  WDAG 1989»
15 years 5 months ago
Possibility and Impossibility Results in a Shared Memory Environment
We focus on unreliable asynchronous shared memory model which support only atomic read and write operations. For such a model we provide a necessary condition for the solvability ...
Gadi Taubenfeld, Shlomo Moran