3914 search results - page 360 / 783 » A Pattern Approach to Interaction Design |
161
click to vote
ACMACE
2010
ACM
15 years 1 months ago
2010
ACM
To detect players who are engaged in real-money trading (RMT) in massively multi-player online role-playing games (MMORPGs), behavior of players was analyzed using log data of a c...
202
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
223
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In wireless ad hoc networks, multiple access interference is the limiting factor for the overall system performance. The lack of any central control unit necessitates a c...
170
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
179
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...