4099 search results - page 703 / 820 » A Framework for Interactive Proof |
138
click to vote
WECWIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
131
click to vote
ACMACE
2005
ACM
15 years 9 months ago
2005
ACM
FreeWill+ is a framework that aims at integrating various animation techniques for controlling human-like characters. With heterogeneity and multi-layering as its main design prin...
118
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
Active reading and hypermedia usage are an integral part of scholar daily practices, but the full exploitation of their potentialities still lies far ahead. In the search for new ...
124
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...
133
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...