21183 search results - page 3943 / 4237 » Adaptive Testing by Test |
129
Voted
ICNP
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
148
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
The mobile robot localization problem is decomposed into two stages attitude estimation followed by position estimation. The innovation of our method is the use of a smoother, in ...
149
click to vote
INFOCOM
1999
IEEE
15 years 9 months ago
1999
IEEE
We present MTCP, a congestion control scheme for large-scale reliable multicast. Congestion control for reliable multicast is important, because of its wide applications in multim...
154
click to vote
ISIPTA
1999
IEEE
15 years 9 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
151
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...