183 search results - page 25 / 37 » A Hybrid Testing Methodology for Railway Control Systems |
163
click to vote
ICAC
2009
IEEE
16 years 15 days ago
2009
IEEE
The design of autonomic systems often relies on representative benchmarks for evaluating system performance and scalability. Despite the fact that experimental observations have e...
186
click to vote
AMTA
2004
Springer
15 years 11 months ago
2004
Springer
MT systems that use only superficial representations, including the current generation of statistical MT systems, have been successful and useful. However, they will experience a p...
142
click to vote
HYBRID
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
148
click to vote
RTAS
2008
IEEE
16 years 4 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
198
click to vote
WWW
2011
ACM
15 years 21 days ago
2011
ACM
This paper gives an overview of a politeness recognition tool (PoRT) for Hindi that is currently under preparation. It describes the the kind of problems that need to be tackled w...