Sciweavers

1679 search results - page 282 / 336
» Variability and Component Composition
Sort
View
RTCSA
1999
IEEE
13 years 12 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
BMCBI
2010
170views more  BMCBI 2010»
13 years 7 months ago
Integrative analysis of gene expression and copy number alterations using canonical correlation analysis
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
Charlotte Soneson, Henrik Lilljebjörn, Thoas ...
BMCBI
2007
121views more  BMCBI 2007»
13 years 7 months ago
Development of an epitope conservancy analysis tool to facilitate the design of epitope-based diagnostics and vaccines
Background: In an epitope-based vaccine setting, the use of conserved epitopes would be expected to provide broader protection across multiple strains, or even species, than epito...
Huynh-Hoa Bui, John Sidney, Wei Li, Nicholas Fusse...
JSS
2007
126views more  JSS 2007»
13 years 7 months ago
Fine-grain analysis of common coupling and its application to a Linux case study
Common coupling (sharing global variables across modules) is widely accepted as a measure of software quality and maintainability; a low level of common coupling is necessary (but...
Dror G. Feitelson, Tokunbo O. S. Adeshiyan, Daniel...
TPDS
2010
115views more  TPDS 2010»
13 years 6 months ago
Providing QoS with the Deficit Table Scheduler
—A key component for networks with Quality of Service (QoS) support is the egress link scheduling algorithm. An ideal scheduling algorithm implemented in a high-performance netwo...
Raul Martinez-Morais, Francisco J. Alfaro-Cortes, ...