2935 search results - page 60 / 587 » An Integrated Approach to High Integrity Software Verificati... |
141
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Complex human diseases are often caused by multiple mutations, each of which contributes only a minor effect to the disease phenotype. To study the basis for these com...
138
Voted
CP
2010
Springer
15 years 2 months ago
2010
Springer
A recurring problem in data centres is that the constantly changing workload is not proportionally distributed over the available servers. Some resources may lay idle while others ...
158
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Stroke is the third leading cause of death and the principal cause of serious long-term disability in the United States. Accurate prediction of stroke is highly valuable for early...
153
click to vote
JIRS
2000
15 years 3 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
116
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...