334 search results - page 43 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
146
Voted
TCBB
2008
15 years 3 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
158
click to vote
ACE
2004
15 years 5 months ago
2004
The Capability Maturity Model and SPICE approach to software process improvement has resulted in a robust system for improving development process capability in the field of softw...
115
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
159
click to vote
CCGRID
2010
IEEE
14 years 7 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
124
click to vote
JCP
2008
15 years 4 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...