9110 search results - page 236 / 1822 » Formally-Based Design Evaluation |
133
click to vote
ACMSE
2006
ACM
16 years 13 days ago
2006
ACM
We present a location-aware messaging system that lets users read and post notes linked to a particular location. We developed multiple clients (designed to run on desktop compute...
171
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...
142
click to vote
MHCI
2005
Springer
2005
Springer
Augmenting audio messages with visual directions in mobile guides: an evaluation of three approaches
15 years 12 months ago
Supporting users’ navigation is a fundamental feature of mobile guides. This paper presents an experimental evaluation comparing three different ways of providing navigation gu...
160
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
Emerging technologies offer new ways of using entertainment technology to foster interactions between players and connect people. Evaluating collaborative entertainment technology...
167
click to vote
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...