1992 search results - page 268 / 399 » Model Based Testing with Labelled Transition Systems |
110
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...
147
Voted
JAIR
2000
15 years 3 months ago
2000
This paper describes a novel method by which a spoken dialogue system can learn to choose an optimal dialogue strategy from its experience interacting with human users. The method...
123
click to vote
WCE
2007
15 years 4 months ago
2007
— This paper proposes an age artificial immune system (AAIS), for optimal order pickings in an Automated Storage and Retrieval System (AS/RS) with multiple input/ output stations...
127
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
This paper is concerned with rank aggregation, the task of combining the ranking results of individual rankers at meta-search. Previously, rank aggregation was performed mainly by...
125
click to vote
BILDMED
2007
15 years 4 months ago
2007
Abstract. The problem of repositioning mobile C-arms to defined target locations during surgical procedures currently requires not only time, but also skill and additional radiati...