4647 search results - page 404 / 930 » Analysis and design of OFDM-IDMA systems |
208
click to vote
ESORICS
2002
Springer
16 years 7 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
166
click to vote
MABS
2000
Springer
15 years 11 months ago
2000
Springer
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...
176
click to vote
TACAS
1995
Springer
15 years 11 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
304
click to vote
SCL
2011
15 years 2 months ago
2011
In this paper we present a technique for design of decentralized controllers for mean square stability of a large scale system with cascaded clusters of subsystems. Each subsystem...
215
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...