20126 search results - page 269 / 4026 » Timed Transition Systems |
134
Voted
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
129
click to vote
NAACL
1994
15 years 5 months ago
1994
In addressing the problem of achieving high-accuracy real-time speech recognition systems, we focus on recognizing speech from ARPA's20,000-word Wall Street Journal (WSJ) tas...
132
Voted
TR
2011
14 years 11 months ago
2011
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...
154
click to vote
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
149
click to vote
KDD
2004
ACM
15 years 10 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...