2838 search results - page 169 / 568 » Verifying Controlled Components |
113
click to vote
WICON
2008
15 years 2 months ago
2008
We consider a wireless network consisting of multiple transmitters with multicast traffic destined for a set of receivers. We are interested in the problem of joint scheduling and...
74
Voted
FMOODS
2006
15 years 2 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
WSC
1997
15 years 2 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
95
Voted
ICIP
2007
IEEE
15 years 25 days ago
2007
IEEE
The H.264 hypothetical reference decoder (HRD) ensures interoperability and smooth playback of video. Because the encoded bit rate may not match the channel rate, buffering and ti...
88
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...