Sciweavers

10820 search results - page 272 / 2164
» Understanding the
Sort
View
ICFP
2001
ACM
16 years 6 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
EUROSYS
2007
ACM
16 years 3 months ago
Fine grained kernel logging with KLogger: experience and insights
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
Yoav Etsion, Dan Tsafrir, Scott Kirkpatrick, Dror ...
HICSS
2010
IEEE
173views Biometrics» more  HICSS 2010»
16 years 1 months ago
Analysis of Stakeholder/Value Dependency Patterns and Process Implications: A Controlled Experiment
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
Di Wu, Qi Li, Mei He, Barry W. Boehm, Ye Yang, Sup...
161
Voted
CHI
2010
ACM
16 years 1 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
TEI
2010
ACM
173views Hardware» more  TEI 2010»
16 years 1 months ago
ToonTastic: a global storytelling network for kids, by kids
Creativity, collaboration, and cultural understanding are becoming increasingly important in our workplace and society. As educators, we are therefore challenged to create new opp...
Andy Russell