488 search results - page 89 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper presents a sensor fusion model developed for the 2005 Grand Challenge competition, an autonomous ground vehicle race across the Mojave desert organized by DARPA1 . T...
100
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: RNA editing is one of several post-transcriptional modifications that may contribute to organismal complexity in the face of limited gene complement in a genome. One f...
BMCBI
2007
14 years 12 months ago
2007
Background: Systematic, high-throughput studies of mouse phenotypes have been hampered by the inability to analyze individual animal data from a multitude of sources in an integra...
104
click to vote
CADE
2005
Springer
16 years 1 days ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
SOFTVIS
2003
ACM
15 years 5 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...