Sciweavers

1651 search results - page 98 / 331
» Negotiable Interfaces for Components
Sort
View
ADAEUROPE
2004
Springer
15 years 3 months ago
High-Integrity Interfacing to Programmable Logic with Ada
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
Adrian J. Hilton, Jon G. Hall
DATE
2002
IEEE
166views Hardware» more  DATE 2002»
15 years 2 months ago
Event Model Interfaces for Heterogeneous System Analysis
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
Kai Richter, Rolf Ernst
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
UIST
2000
ACM
15 years 2 months ago
Dynamic space management for user interfaces
We present a general approach to the dynamic representation of 2D space that is well suited for userinterface layout. We partition space into two distinct categories: full and emp...
Blaine Bell, Steven Feiner
QOFIS
2000
Springer
15 years 1 months ago
On the Feasibility of RSVP as General Signalling Interface
Much debate exists whether explicit signalling is eventually required to create a reliable and integrated multi-service Internet. If yes, further disagreement exists, how such sign...
Martin Karsten, Jens Schmitt, Nicole Beriér...