Sciweavers

3399 search results - page 172 / 680
» Requirements Development in Scenario-Based Design
Sort
View
INFSOF
2007
83views more  INFSOF 2007»
15 years 6 months ago
On the design of more secure software-intensive systems by use of attack patterns
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
Michael Gegick, Laurie Williams
TWC
2008
131views more  TWC 2008»
15 years 6 months ago
On channel estimation and optimal training design for amplify and forward relay networks
In this paper, we provide a complete study on the training based channel estimation issues for relay networks that employ the amplify-and-forward (AF) transmission scheme. We first...
Feifei Gao, Tao Cui, Arumugam Nallanathan
TELSYS
2002
126views more  TELSYS 2002»
15 years 6 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
TMI
2010
94views more  TMI 2010»
15 years 4 months ago
Theoretical Bounds and System Design for Multipinhole SPECT
Abstract—The pinhole camera in single photon emission computed tomography (SPECT) has an inherent trade-off between resolution and sensitivity. Recent systems overcome this to so...
Peter Nillius, Mats Danielsson
IPPS
2007
IEEE
16 years 22 days ago
On the Design of Online Scheduling Algorithms for Advance Reservations and QoS in Grids
Abstract— We consider the problem of providing QoS guarantees to Grid users through advance reservation of resources. Advance reservation mechanisms provide the ability to alloca...
Claris Castillo, George N. Rouskas, Khaled Harfous...