1418 search results - page 142 / 284 » How to Explain Mistakes |
110
click to vote
VISUAL
1999
Springer
15 years 7 months ago
1999
Springer
How should we design visual presentations to explain how a complex system works? One promising approach involves multimedia presentation of explanations in visual and verbal format...
149
click to vote
FMOODS
2007
15 years 4 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
123
click to vote
FORTE
2008
15 years 4 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
151
click to vote
PTS
2008
15 years 4 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
105
click to vote
IMAGING
2001
15 years 4 months ago
2001
The ultimate in color reproduction is a display that can produce arbitrary spectral content over a 300-800 nm range with 1 arc-minute resolution in a full spherical hologram. Alth...