8 search results - page 2 / 2 » Designing the whyline: a debugging interface for asking ques... |
MEMOCODE
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
HICSS
2002
IEEE
13 years 9 months ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
CHI
2007
ACM
14 years 4 months ago
2007
ACM
A longitudinal design was employed to collect three waves of survey data over a 14 month period from 2790 online gamers. Respondents were asked questions about their gaming activi...