Sciweavers

1776 search results - page 128 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
ISSTA
2009
ACM
15 years 9 months ago
Identifying semantic differences in AspectJ programs
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
Martin Th Görg, Jianjun Zhao
BMCBI
2008
159views more  BMCBI 2008»
15 years 3 months ago
Estimation and testing for the effect of a genetic pathway on a disease outcome using logistic kernel machine regression via log
Background: Growing interest on biological pathways has called for new statistical methods for modeling and testing a genetic pathway effect on a health outcome. The fact that gen...
Dawei Liu, Debashis Ghosh, Xihong Lin
117
Voted
ATAL
2005
Springer
15 years 8 months ago
An agent-based approach for managing symbiotic simulation of semiconductor assembly and test operation
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
Malcolm Yoke-Hean Low, Kong Wei Lye, Peter Lenderm...
146
Voted
RTCSA
1999
IEEE
15 years 7 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
122
Voted
ECAL
2005
Springer
15 years 5 months ago
Valency for Adaptive Homeostatic Agents: Relating Evolution and Learning
This paper introduces a novel study on the sense of valency as a vital process for achieving adaptation in agents through evolution and developmental learning. Unlike previous stud...
Theodoros Damoulas, Ignasi Cos-Aguilera, Gillian M...