805 search results - page 69 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
143
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
131
click to vote
MOBILITY
2009
ACM
15 years 7 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
111
click to vote
CHI
2003
ACM
16 years 3 months ago
2003
ACM
The described dissertation focuses on social regulation of user behavior within virtual social spaces. A multi-year field study of two fantasy-based game MUDs (multi-user dungeons...
121
click to vote
MHCI
2005
Springer
15 years 8 months ago
2005
Springer
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...
119
click to vote
CSCWD
2005
Springer
15 years 5 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...