Sciweavers

748 search results - page 104 / 150
» Requirements Driven Quality Control
Sort
View
177
Voted
CBSQ
2003
Springer
15 years 9 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
HICSS
2002
IEEE
136views Biometrics» more  HICSS 2002»
15 years 9 months ago
Automated Decision Technology for Network Design in Cellular Communication Systems
The location and configuration of transmission infrastructure for cellular communication networks is a complex engineering task involving many competing objectives. While minimis...
Stuart M. Allen, Steve Hurley, Roger M. Whitaker
ISCC
2002
IEEE
144views Communications» more  ISCC 2002»
15 years 9 months ago
A hierarchical distributed protocol for MPLS path creation
Network service provisioning involves the control of network resources through signaling, routing and management protocols that achieve Quality of Service and Traffic Engineering ...
Mohamed El-Darieby, Dorina C. Petriu, Jerry Rolia
MCSS
2009
Springer
15 years 9 months ago
Dynamic Cross-Layer Spectrum Allocation for Multi-Band High-Rate UWB Systems
- In this paper, we investigate a new approach for the spectrum allocation in UWB systems. This approach consists in a cross-layer scheme that takes into consideration the differen...
Ayman Khalil, Matthieu Crussière, Jean-Fran...
144
Voted
IDMS
1999
Springer
106views Multimedia» more  IDMS 1999»
15 years 9 months ago
A Video Compression Algorithm for ATM Networks with ABR Service, Using Visual Criteria
: The design of adaptive video compression algorithms to support multimedia applications that can adapt to changing network conditions is currently being the subject of intense stu...
Santiago Felici, Jorge Martinez