7847 search results - page 375 / 1570 » Designing intimate experiences |
191
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
199
click to vote
MASCOTS
2008
15 years 9 months ago
2008
Manually tuning tens to hundreds of configuration parameters in a complex software system like a database or an application server is an arduous task. Recent work has looked into ...
207
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
Audio guides are a common way to provide museum visitors with an opportunity for personalized, self-paced information retrieval. However, this personalization conflicts with some ...
182
click to vote
ECBS
2009
IEEE
16 years 2 months ago
2009
IEEE
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...
194
click to vote
ISBRA
2009
Springer
16 years 2 months ago
2009
Springer
There are many methods for assessing the quality of microarray data, but little guidance regarding what to do when defective data is identified. Depending on the scientific questio...