3555 search results - page 158 / 711 » Security-Critical System Development with Extended Use Cases |
135
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Multiple-input multiple-output (MIMO) precoding scheme is developed for time division duplex (TDD) systems in a multicell environment. The proposed scheme is designed to maximiz...
154
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
133
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
113
click to vote
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...
136
Voted
IEEEARES
2007
IEEE
2007
IEEE
Using Privacy Process Patterns for Incorporating Privacy Requirements into the System Design Process
15 years 10 months ago
In the online world every person has to hold a number of different data sets so as to be able to have access to various e-services and take part in specific economical and social ...