Sciweavers

479 search results - page 18 / 96
» Putting personas to work
Sort
View
EDCC
2006
Springer
13 years 11 months ago
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits sp...
Ludovic Courtès, Marc-Olivier Killijian, Da...
APLAS
2001
ACM
13 years 11 months ago
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
Masahito Hasegawa
CADUI
2006
13 years 9 months ago
Towards A System Of Patterns For The Design Of Multimodal Interfaces
Since R. Bolt's seminal "Put that there" demonstrator, more and more robust and innovative modalities can be used and empirical work on the usage of multiple modalit...
Guillaume Godet-Bar, Sophie Dupuy-Chessa, Laurence...
JFPLC
1998
13 years 9 months ago
DF - a feature constraint system and its extension to a logic concurrent language
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
Liviu-Virgil Ciortuz
COLING
1994
13 years 8 months ago
Tools for Extracting and Structuring Knowledge from Texts
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...
Antoine Ogonowski, Marie Luce Herviou, Eva Dauphin