1159 search results - page 17 / 232 » The LINK system: MUC-4 test results and analysis |
98
Voted
OTM
2009
Springer
15 years 8 months ago
2009
Springer
This paper proposes new protocols for the interconnection of FIFO- and causal-ordered broadcast systems, thus increasing their scalability. They use several interconnection links b...
126
click to vote
WSDM
2010
ACM
15 years 11 months ago
2010
ACM
Web 2.0 applications have attracted a considerable amount of attention because their open-ended nature allows users to create lightweight semantic scaffolding to organize and shar...
105
Voted
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
– The Mars Exploration Rover (MER) Descent Image Motion Estimation System (DIMES) is the first autonomous machine vision system used to safely land a robotics payload on another ...
107
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
101
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...