842 search results - page 3 / 169 » About the authors |
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
For my dissertation, I am designing, implementing and evaluating the use of a new kind of "authorable" virtual peer that allows children with autism to learn about recip...
OZCHI
2006
ACM
14 years 1 months ago
2006
ACM
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media. We discuss visitors’ interaction with installations and corresponding int...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
ERCIMDL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Today, bibliographic digital libraries play an important role in helping members of academic community search for novel research. In particular, author disambiguation for...