1992 search results - page 200 / 399 » Model Based Testing with Labelled Transition Systems |
106
click to vote
WSC
2000
15 years 5 months ago
2000
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...
136
click to vote
IKE
2008
15 years 5 months ago
2008
One major source of performance decline in speaker recognition system is channel mismatch between training and testing. This paper focuses on improving channel robustness of speake...
139
click to vote
WCE
2007
15 years 5 months ago
2007
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
165
click to vote
CISS
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...
174
click to vote
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...