5015 search results - page 359 / 1003 » Model Checking a Path |
175
Voted
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
197
Voted
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract- This paper presents a RWA strategy based on the stochastic estimation of the Effective Number of Available Wavelengths (ENAW) along interdomain paths. We propose an appro...
208
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Video transmission over unreliable packet network is in general hampered by the packet losses and constraint by stringent playback deadline. With these two key factors in consider...
193
Voted
SPAA
2003
ACM
16 years 21 days ago
2003
ACM
Recent research on processor microarchitecture suggests using instruction criticality as a metric to guide hardware control policies. Fields et al. [3, 4] have proposed a directed...
199
Voted
ICRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...