Sciweavers

4349 search results - page 84 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
ICSM
2006
IEEE
15 years 9 months ago
Model-Based Testing of Community-Driven Open-Source GUI Applications
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
Qing Xie, Atif M. Memon
152
Voted
BMCBI
2005
302views more  BMCBI 2005»
15 years 3 months ago
CGHPRO - A comprehensive data analysis tool for array CGH
Background: Array CGH (Comparative Genomic Hybridisation) is a molecular cytogenetic technique for the genome wide detection of chromosomal imbalances. It is based on the cohybrid...
Wei Chen, Fikret Erdogan, H.-Hilger Ropers, Steffe...
116
Voted
RIDE
1998
IEEE
15 years 7 months ago
A Scalable Approach to Continuous-Media Processing
Techniques that emphasize software reuse and scalability are becoming more important than ever. In this paper we present a component-basedmodel for continuous-mediaapplications. C...
Dragos-Anton Manolescu, Klara Nahrstedt
FPL
2007
Springer
101views Hardware» more  FPL 2007»
15 years 9 months ago
Formal Modeling of Process Migration
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa...
ICST
2010
IEEE
15 years 1 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...