Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
Haptic interfaces enable person-machine communication through touch, and most commonly, in response to user movements. We comment on a distinct property of haptic interfaces, that...
In this paper, we present a concept for an open vehicular data interface and describe it’s components and architecture. We discuss the enabled applications in the context of adv...
Matthias Kranz, Eduard Weber, Korbinian Frank, Dan...
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...