489 search results - page 55 / 98 » A Case Study in Interactive Narrative Design |
126
click to vote
GPCE
2009
Springer
15 years 3 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
CBMS
2007
IEEE
15 years 6 months ago
2007
IEEE
The abundance of complex media-rich information in state-of-the-art bio-medical sciences underlines the importance of paradigms for organizing, searching, browsing, and assimilati...
IPSN
2010
Springer
15 years 6 months ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...
107
click to vote
CHI
1994
ACM
15 years 3 months ago
1994
ACM
A marking menu is designed to allow a user to perform a menu selection by either popping-up a radial (or pie) menu, or by making a straight mark in the direction of the desired me...
190
click to vote
ICFP
2009
ACM
16 years 14 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...