5015 search results - page 359 / 1003 » Model Checking a Path |
152
click to vote
KBSE
2007
IEEE
16 years 27 days 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...
168
click to vote
GLOBECOM
2006
IEEE
16 years 20 days 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...
184
click to vote
ICMCS
2006
IEEE
16 years 20 days 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...
171
click to vote
SPAA
2003
ACM
15 years 12 months 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...
174
click to vote
ICRE
2000
IEEE
15 years 10 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...