Sciweavers

1651 search results - page 30 / 331
» Negotiable Interfaces for Components
Sort
View
ICFEM
1998
Springer
14 years 2 months ago
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
Manfred Broy, Ingolf Krüger
MSE
2002
IEEE
153views Hardware» more  MSE 2002»
14 years 3 months ago
A Framework for User Interface Design in Visual Information Retrieval
This paper describes the user interface framework of the VizIR project ([4]). VizIR is an open project to develop a Java-based, extendible and well-documented asset framework for ...
Horst Eidenberger, Christian Breiteneder
JCDL
2003
ACM
221views Education» more  JCDL 2003»
14 years 3 months ago
The Interactive Shared Educational Environment: User Interface, System Architecture and Field Study
The user interface and system architecture of a novel Interactive Shared Educational Environment (ISEE) are presented. Based on a lightweight infrastructure, ISEE enables relative...
Xiangming Mu, Gary Marchionini, Amy Pattee
IFL
2003
Springer
14 years 3 months ago
Generic Graphical User Interfaces
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
IFIPTCS
2000
14 years 1 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger