5600 search results - page 407 / 1120 » Synthesizing robust systems |
152
click to vote
DSN
2005
IEEE
16 years 12 days ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
176
click to vote
ISCAS
2005
IEEE
16 years 11 days ago
2005
IEEE
— This paper considers the application of the neural networks for the guaranteed cost control problem of discrete– time uncertain systems that have in both state and input dela...
199
click to vote
ICARIS
2004
Springer
16 years 5 days ago
2004
Springer
The use of artificial immune systems in intrusion detection is an appealing concept for two reasons. Firstly, the human immune system provides the human body with a high level of ...
134
click to vote
LISA
2007
15 years 9 months ago
2007
We describe a tool that provides a method for running dataless caching clients – a hybrid combination of imaging systems with traditional diskless nodes. Unlike imaging systems,...
204
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Spoken dialogue systems are gaining popularity with improvements in speech recognition technologies. Dialogue systems can be modeled effectively using POMDPs, achieving improvemen...