Sciweavers

31 search results - page 7 / 7
» Synthesizing contact sounds between textured models
Sort
View
AGTIVE
2007
Springer
13 years 8 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe