7781 search results - page 84 / 1557 » Experience Design |
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
SPDP
1991
IEEE
14 years 18 days ago
1991
IEEE
A number of experiments regarding the placement of instructions, private data and shared data in the Non-Uniform-Memory-Access multiprocessor, RP3 has been performed. Three Scient...
BMCBI
2008
13 years 9 months ago
2008
Summary: BATS is a user-friendly software for Bayesian Analysis of Time Series microarray experiments based on the novel, truly functional and fully Bayesian approach proposed in ...
ECTEL
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper describes the design and evaluation of an adaptive museum guide for families. In the Kurio system, a mixture of embedded and tangible technology imbues the mus...
ICAC
2009
IEEE
14 years 3 months ago
2009
IEEE
We apply the concept of “games with a purpose” to NPcomplete mapping and scheduling problems in distributed systems and report our experiences. The particular context is a sch...