Sciweavers

8347 search results - page 1035 / 1670
» Performance testing of software systems
Sort
View
SAMOS
2007
Springer
16 years 1 months ago
The Weight-Watcher Service and its Lightweight Implementation
—This paper presents the Weight-Watcher service. This service aims at providing resource consumption measurements and estimations for software executing on resourceconstrained de...
Benoît Garbinato, Rachid Guerraoui, Jarle Hu...
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
16 years 1 months ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
190
Voted
IUI
2004
ACM
16 years 26 days ago
Where to look: a study of human-robot engagement
This paper reports on a study of human subjects with a robot designed to mimic human conversational gaze behavior in collaborative conversation. The robot and the human subject to...
Candace L. Sidner, Cory D. Kidd, Christopher Lee, ...
IUI
2003
ACM
16 years 20 days ago
Tool support for designing nomadic applications
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
Giulio Mori, Fabio Paternò, Carmen Santoro
IUI
2000
ACM
15 years 11 months ago
More than just a pretty face: affordances of embodiment
Prior research into embodied interface agents has found that users like them and find them engaging. In this paper, we argue that embodiment can serve an even stronger function if...
Justine Cassell, Timothy W. Bickmore, Hannes H&oum...
« Prev « First page 1035 / 1670 Last » Next »