Sciweavers

4772 search results - page 229 / 955
» An approach to interface synthesis
Sort
View
CBSE
2008
Springer
15 years 8 months ago
State Space Reduction Techniques for Component Interfaces
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
Markus Lumpe, Lars Grunske, Jean-Guy Schneider
DSVIS
2008
Springer
15 years 8 months ago
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
Frédéric Jourde, Yann Laurillau, Alb...
EUROSSC
2008
Springer
15 years 8 months ago
Transforming Daily Life Objects into Tactile Interfaces
This article describes a few techniques to transform daily life objects into tactile interfaces, and presents the implementation details for three objects chosen as example: a ligh...
Alain Crevoisier, Cédric Bornand
DATESO
2007
113views Database» more  DATESO 2007»
15 years 8 months ago
Using XSEM for Modeling XML Interfaces of Services in SOA
In this paper we briefly describe a new conceptual model for XML data called XSEM and how to use it for modeling XML interfaces of services in service oriented architecture (SOA)....
Martin Necasky
EHCI
2004
15 years 8 months ago
Supporting Flexible Development of Multi-device Interfaces
Tools based on the use of multiple abstraction levels have shown to be a useful solution for developing multi-device interfaces. To obtain general solutions in this area it is impo...
Francesco Correani, Giulio Mori, Fabio Patern&ogra...