Sciweavers

1651 search results - page 72 / 331
» Negotiable Interfaces for Components
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
14 years 11 months ago
Assume-Guarantee Verification for Interface Automata
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...
CACM
2000
86views more  CACM 2000»
14 years 9 months ago
Haptic Interfaces
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...
Hong Z. Tan
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
Open vehicular data interfaces for in-car context inference
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...
COMPSAC
2002
IEEE
15 years 2 months ago
A Structured Approach to Handling On-Line Interface Upgrades
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
IEAAIE
2000
Springer
15 years 1 months ago
Intelligent and Self-Adaptive Interface
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...
Hadhoum Boukachour, Claude Duvallet, Alain Cardon