1288 search results - page 109 / 258 » On Analysis of Design Component Contracts: A Case Study |
100
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Risk for complex disease is thought to be controlled by multiple genetic risk factors, each with small individual effects. Meta-analyses of several independent studies...
110
Voted
JSS
2007
15 years 1 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
- This paper describes the design and fabrication of a low cost, solar powered mobile robot to support a variety of scientific missions on the Antarctic plateau during the austral ...
155
Voted
ASIAMS
2008
IEEE
15 years 3 months ago
2008
IEEE
The paper elaborates upon the interim results achieved in resolving a few newly discovered 16th century letters now alleged to be written by Queen Mary of Scots (QMS). Despite the...
141
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...