7781 search results - page 372 / 1557 » Experience Design |
118
click to vote
ICSE
2000
IEEE-ACM
15 years 8 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. ...
116
Voted
BIOINFORMATICS
2004
15 years 4 months ago
2004
EST databases have grown exponentially in recent years and now represent the largest collection of genetic sequences. An important application of these databases is that they conta...
128
Voted
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper investigates the feasibility of using diffusion MRI to measure axon-cell dimensions in the white matter of live subjects. A simple geometric model of white-matter tissu...
125
click to vote
ECBS
2009
IEEE
15 years 11 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...
150
click to vote
EDUTAINMENT
2009
Springer
15 years 11 months ago
2009
Springer
This paper addresses the development of a computer game design and development curriculum at the authors’ institution. The basis for curriculum decisions, as well as comparison t...