Sciweavers

3395 search results - page 360 / 679
» Designs, Disputes and Strategies
Sort
View
APLAS
2006
ACM
16 years 22 days 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 ...
GIR
2006
ACM
16 years 22 days ago
Relevance Ranking for Geographic IR
In this paper, we introduce a geographic similarity operator that computes the relatedness between two geographic places and describe how it is combined with textual ranking. The ...
Leonardo Andrade, Mário J. Silva
UIST
2006
ACM
16 years 21 days ago
Soap: a pointing device that works in mid-air
Soap is a pointing device based on hardware found in a mouse, yet works in mid-air. Soap consists of an optical sensor device moving freely inside a hull made of fabric. As the us...
Patrick Baudisch, Mike Sinclair, Andrew Wilson
ASYNC
2005
IEEE
112views Hardware» more  ASYNC 2005»
16 years 11 days ago
Request-Driven GALS Technique for Wireless Communication System
A Globally Asynchronous - Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a reques...
Milos Krstic, Eckhard Grass, Christian Stahl
CIG
2005
IEEE
16 years 11 days ago
On TRACS: Dealing with a Deck of Double-Sided Cards
TRACS (Tool for Research on Adaptive Cognitive Strategies) is a new suite of card games played with a special deck, where the back of each card is a clue to the front of the card. ...
Kevin Burns