Sciweavers

2834 search results - page 504 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
CHI
2010
ACM
13 years 9 months ago
How routine learners can support family coordination
Researchers have detailed the importance of routines in how people live and work, while also cautioning system designers about the importance of people's idiosyncratic behavi...
Scott Davidoff, John Zimmerman, Anind K. Dey
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
14 years 10 months ago
BrainGazer - Visual Queries for Neurobiology Research
Abstract-- Neurobiology investigates how anatomical and physiological relationships in the nervous system mediate behavior. Molecular genetic techniques, applied to species such as...
Stefan Bruckner, Veronika Šoltészová, M. Edua...
ICSE
2008
IEEE-ACM
14 years 10 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
SIGSOFT
2007
ACM
14 years 9 months ago
A specification-based approach to testing software product lines
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
CHI
2007
ACM
14 years 9 months ago
He says, she says: conflict and coordination in Wikipedia
Wikipedia, a wiki-based encyclopedia, has become one of the most successful experiments in collaborative knowledge building on the Internet. As Wikipedia continues to grow, the po...
Aniket Kittur, Bongwon Suh, Bryan A. Pendleton, Ed...