3555 search results - page 500 / 711 » Security-Critical System Development with Extended Use Cases |
163
click to vote
TSE
2002
15 years 5 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
152
click to vote
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Large scale systems (LSS) contain multiple subsystems that interact across multiple nodes in sometimes unforeseen and complicated ways. As a result, pinpointing the subsystems t...
158
click to vote
TIT
2010
15 years 5 days ago
2010
In this paper, a communication system including n interfering additive white Gaussian noise (AWGN) links is considered. Each transmitter uses a Gaussian codebook and each receiver...
161
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
The blind identification of single-input multiple-output (SIMO) systems suffers in the presence of near-common and exact common zeros between the channels, particularly in conjun...
173
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...