Sciweavers

4273 search results - page 454 / 855
» User studies and the design of Natural Language Systems
Sort
View
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 5 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...
ERLANG
2006
ACM
16 years 26 days ago
Concurrent caching
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
Jay Nelson
LADS
2007
Springer
16 years 1 months ago
A Step Towards Fault Tolerance for Multi-Agent Systems
Robustness, through fault tolerance, is a property often put forward in order to advocate MAS. The question is: What is the first step to be fault tolerant? Obviously the answer i...
Katia Potiron, Patrick Taillibert, Amal El Fallah-...
CHI
2006
ACM
16 years 7 months ago
Factors defining face-to-face interruptions in the office environment
This paper presents an on-going investigation on interruptions in the office caused by face-to-face interactions between knowledge workers. The study aims to identify opportunitie...
Agnieszka Matysiak Szóstek, Panos Markopoul...
CHI
2010
ACM
16 years 6 days ago
Motivations to participate in online communities
A consistent theoretical and practical challenge in the design of socio-technical systems is that of motivating users to participate in and contribute to them. This study examines...
Cliff Lampe, Rick Wash, Alcides Velasquez, Elif Oz...