We consider the requirements that a citation system must fulfill in order to cite structured and evolving data sets. Such a system must take into account variable granularity, con...
My research examines the practical and social impact of technology on the urban homeless. To accomplish this, I have conducted interviews with the homeless to understand how techn...
This paper describes six creativity support tools we developed to foster community engagement and expression with robotics and sensing, assessing the benefits and shortcomings of ...
Carl F. DiSalvo, Marti Louw, Julina Coupland, Mary...
To meet users’ growing needs for accessing pre-existing heterogeneous databases, a multidatabase system (MDBS) integrating multiple databases has attracted many researchers recen...
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...