4248 search results - page 81 / 850 » Simulating hci for all |
143
click to vote
BPM
2009
Springer
15 years 5 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
126
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
Due to the simulation time of the reference input set, architects often use alternative simulation techniques. Although these alternatives reduce the simulation time, what has not...
168
click to vote
ICAS
2008
IEEE
15 years 11 months ago
2008
IEEE
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
152
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
135
click to vote
WSC
2007
15 years 6 months ago
2007
Machine failure is often an important factor in throughput of manufacturing systems. To simplify the inputs to the simulation model for complex machining and assembly lines, we ha...