4350 search results - page 220 / 870 » Case studies for contract-based systems |
131
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
This article contributes to our major study of decentralized controller design using a multiple-derivative and multiple-delay paradigm for control. In this installment, we pursue ...
131
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
132
click to vote
DSVIS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
133
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
A case study in low-power system-level design is presented. We detail the design of a low-power embedded system, a touchscreen interface device for a personal computer. This devic...
125
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
The design of Interactive TV services is in an experimental phase. The design of these services needs a more structured approach that enables the actors involved to cooperate and ...