1288 search results - page 109 / 258 » On Analysis of Design Component Contracts: A Case Study |
163
click to vote
BMCBI
2008
15 years 6 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...
155
click to vote
JSS
2007
15 years 6 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 ...
149
click to vote
ICRA
2005
IEEE
15 years 12 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 ...
211
click to vote
ASIAMS
2008
IEEE
15 years 8 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...
202
click to vote
DSN
2004
IEEE
15 years 10 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...