12478 search results - page 1682 / 2496 » Secure Interaction Design |
169
click to vote
EDCC
2006
Springer
15 years 11 months ago
2006
Springer
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits sp...
218
click to vote
FASE
2000
Springer
15 years 11 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
180
click to vote
ISSS
1995
IEEE
15 years 11 months ago
1995
IEEE
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
196
click to vote
CSCW
2008
ACM
15 years 9 months ago
2008
ACM
The design of online collaborative computer games and pervasive games can learn from the everyday practice of deer hunting. We present an ethnographic study revealing how hunters ...
191
click to vote
DOCENG
2008
ACM
15 years 9 months ago
2008
ACM
Many multimedia languages exist today to describe animated, interactive, 2D or 3D graphics and media elements, and each language has its merits. We studied the problems underlying...