3895 search results - page 132 / 779 » Measuring the effectiveness of ACATS |
123
Voted
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
125
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
A ‘contact network’ modeling infection transmission comprises of nodes (or individuals) that are linked when they are in contact that possibly transmits an infection. We here s...
121
click to vote
ICMI
2005
Springer
15 years 10 months ago
2005
Springer
We motivate an approach to evaluating the utility of lifelike interface agents that is based on human eye movements rather than questionnaires. An eye tracker is employed to obtai...
121
click to vote
PADS
2004
ACM
15 years 9 months ago
2004
ACM
An important question for network simulation is what level of detail is required to obtain a desired level of accuracy. While in some networks, the level of detail is an open rese...
155
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...