659 search results - page 64 / 132 » Using formal models to design user interfaces: a case study |
BCSHCI
2007
13 years 10 months ago
2007
Ethnographies often show that users appropriate and adapt technology in ways never envisaged by the designers, or even deliberately subverting the designers’ intentions. As desi...
BPM
2005
Springer
14 years 2 months ago
2005
Springer
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
MUM
2009
ACM
14 years 3 months ago
2009
ACM
In this paper we introduce WiMo, a location-based social networking tool that enables users to share and store their emotional feelings about places. WiMo creates a mobile social ...
DSN
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...