This paper presents an end-user-oriented programming environment called Mashroom. Major contributions herein include an end-user programming model with an expressive data structur...
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...
Benjamin Hagedorn, Matthias Trapp, Tassilo Glander...
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
When a fault such as unbalance occurs in a turbo-generator set, sensors should be put on its bearing to detect vibration signals for extracting fault symptoms, but the relationshi...