251 search results - page 10 / 51 » Looking for Help |
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
HCI
2007
13 years 9 months ago
2007
We reported a study that analyzes collaborative information behavior of small groups in an online math discourse community. Taking group as the unit of analysis, we analyzed the so...
WSC
1997
13 years 9 months ago
1997
In this rapidly changing economy, businesses are constantly seeking newer, simpler methods which will help them remain competitive. In this quest, they have discovered that simula...
JCP
2007
13 years 7 months ago
2007
— An educational game is a recreational activity designed to teach people (typically children) about a certain subject, or to help them learn a skill as they play. These games ar...
SIGUCCS
2000
ACM
13 years 12 months ago
2000
ACM
The Web Documentation Project at the University of Delaware (UD) organizes the computing help information available to the University community. The project’s goal is to provide...