Sciweavers

708 search results - page 97 / 142
» Observing the Materiality of Values in Information Systems R...
Sort
View
149
Voted
DEBU
2010
138views more  DEBU 2010»
14 years 10 months ago
A Rule-Based Citation System for Structured and Evolving Datasets
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...
Peter Buneman, Gianmaria Silvello
88
Voted
CHI
2010
ACM
15 years 7 months ago
Exploring mobile technologies for the urban homeless
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...
Christopher A. Le Dantec
93
Voted
CANDC
2009
ACM
15 years 7 months ago
Local issues, local uses: tools for robotics and sensing in community contexts
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...
DPD
1998
117views more  DPD 1998»
15 years 11 days ago
Solving Local Cost Estimation Problem for Global Query Optimization in Multidatabase Systems
To meet users’ growing needs for accessing pre-existing heterogeneous databases, a multidatabase system (MDBS) integrating multiple databases has attracted many researchers recen...
Qiang Zhu, Per-Åke Larson
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 11 months ago
On Model Checking Techniques for Randomized Distributed Systems
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 ...
Christel Baier