Sciweavers

1875 search results - page 210 / 375
» A Calculus of Broadcasting Systems
Sort
View
120
Voted
TCS
2008
15 years 21 days ago
Role-based access control for boxed ambients
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bi...
77
Voted
ESOP
2010
Springer
15 years 10 months ago
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
Jesse A. Tov, Riccardo Pucella
IPPS
2010
IEEE
14 years 10 months ago
A scalable algorithm for maintaining perpetual system connectivity in dynamic distributed systems
We investigate the problem of maintaining a topology with small degree as well as small diameter in a dynamic distributed system such that the system always stays connected and pr...
Tarun Bansal, Neeraj Mittal
CVPR
2009
IEEE
16 years 6 months ago
Learning Signs from Subtitles: A Weakly Supervised Approach to Sign Language Recognition
This paper introduces a fully-automated, unsupervised method to recognise sign from subtitles. It does this by using data mining to align correspondences in sections of videos. Bas...
Helen Cooper, Richard Bowden
103
Voted
CHI
2006
ACM
16 years 1 months ago
TapTap: a haptic wearable for asynchronous distributed touch therapy
TapTap is a wearable haptic system that allows nurturing human touch to be recorded, broadcast and played back for emotional therapy. Haptic input/output modules in a convenient m...
Leonardo Bonanni, Cati Vaucelle, Jeff Lieberman, O...