Sciweavers

1678 search results - page 312 / 336
» XML Document Versioning
Sort
View
DAC
2002
ACM
14 years 10 months ago
High-Level specification and automatic generation of IP interface monitors
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
Marcio T. Oliveira, Alan J. Hu
WWW
2008
ACM
14 years 10 months ago
Computable social patterns from sparse sensor data
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
Dinh Q. Phung, Brett Adams, Svetha Venkatesh
CHI
2008
ACM
14 years 10 months ago
Articulating common ground in cooperative work: content and process
We study the development of common ground in an emergency management planning task. Twelve three-person multi-role teams performed the task with a paper prototype in a controlled ...
Gregorio Convertino, Helena M. Mentis, Mary Beth R...
CHI
2005
ACM
14 years 10 months ago
Stencils-based tutorials: design and evaluation
Users of traditional tutorials and help systems often have difficulty finding the components described or pictured in the procedural instructions. Users also unintentionally miss ...
Caitlin Kelleher, Randy Pausch
CISIS
2010
IEEE
14 years 4 months ago
Semantic Integration of Heterogeneous Data Sources for Monitoring Frequent-Release Software Projects
Abstract—Open source software teams routinely develop complex software products in frequent-release settings with rather lightweight processes and project documentation. In this ...
Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser