268 search results - page 54 / 54 » Creating persuasive technologies: an eight-step design proce... |
SPAA
2005
ACM
13 years 11 months ago
2005
ACM
The page migration problem is one of subproblems of data management in networks. It occurs in a distributed network of processors sharing one indivisible memory page of size D. Du...
CAV
2005
Springer
13 years 11 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
DOCENG
2003
ACM
13 years 10 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...