564 search results - page 81 / 113 » Do interactive systems need specifications |
127
click to vote
RTCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
Hospital work is characterized by the need to manage multiple activities simultaneously, constant local mobility, frequently interruptions, and intense collaboration and communica...
115
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper attempts to create a research cycle for Problem Based Learning and in so doing help substantiate the use of PBL in business school environments. The paper starts with a...
141
click to vote
COMMA
2010
14 years 11 months ago
2010
Evidence-based decision making is becoming increasingly important in many diverse domains, including healthcare, environmental management, and government. This has raised the need ...
128
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
141
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...