7693 search results - page 1334 / 1539 » Design and Implementation of the FRIENDS System |
151
click to vote
IWPC
2006
IEEE
16 years 15 days ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
173
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
174
click to vote
CONEXT
2006
ACM
16 years 14 days ago
2006
ACM
Due to the lack of built-in quality of service support, IEEE 802.11 ad-hoc networks presents serious defies in meeting the demands of multimedia applications. To overcome such ch...
153
click to vote
ETRA
2006
ACM
16 years 14 days ago
2006
ACM
This paper describes an empathic software agent (ESA) interface using eye movement information to facilitate empathy-relevant reasoning and behavior. Eye movement tracking is used...
165
click to vote
HT
2006
ACM
16 years 14 days ago
2006
ACM
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...