Sciweavers

550 search results - page 64 / 110
» An Architecture-Based Software Reliability Model
Sort
View
BMCBI
2010
107views more  BMCBI 2010»
13 years 11 months ago
Conditional random pattern model for copy number aberration detection
Background: DNA copy number aberration (CNA) is very important in the pathogenesis of tumors and other diseases. For example, CNAs may result in suppression of anti-oncogenes and ...
Fuhai Li, Xiaobo Zhou, Wanting Huang, Chung-Che Ch...
APLAS
2010
ACM
13 years 11 months ago
JNI Light: An Operational Model for the Core JNI
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
Gang Tan
ECBS
1999
IEEE
171views Hardware» more  ECBS 1999»
14 years 3 months ago
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, ...
SDL
2007
192views Hardware» more  SDL 2007»
14 years 11 days ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
ISSRE
2006
IEEE
14 years 5 months ago
Queuing Models for Field Defect Resolution Process
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
Swapna S. Gokhale, Robert E. Mullen