10891 search results - page 1876 / 2179 » Combining Model Reductions |
151
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
116
click to vote
ICMI
2004
Springer
15 years 8 months ago
2004
Springer
This paper discusses the Ohio University Virtual Haptic Back (VHB) project, including objectives, implementation, and initial evaluations. Haptics is the science of human tactile ...
127
click to vote
IFL
2004
Springer
15 years 8 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
129
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
109
click to vote
ISMIR
2004
Springer
15 years 8 months ago
2004
Springer
Annotating music poses a cognitive load on listeners and this potentially interferes with the emotions being reported. One solution is to let software agents learn to make the ann...