3765 search results - page 361 / 753 » Formal Methods for Systems Engineering Behavior Models |
201
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
197
click to vote
BNCOD
2007
15 years 8 months ago
2007
This paper presents WordRank, a new page ranking system, which exploits similarity between interconnected pages. WordRank introduces the model of the ‘biased surfer’ which is ...
186
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
168
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
191
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Owing to the ever growing complexity of present day computer vision systems, system architecture has become an emerging topic in vision research. Systems that integrate numerous m...