1288 search results - page 235 / 258 » On Analysis of Design Component Contracts: A Case Study |
140
click to vote
FCSC
2007
15 years 1 months ago
2007
1 The techniques for image analysis and classi cation generally consider the image sample labels xed and without uncertainties. The rank regression problem is studied in this pape...
TWC
2008
15 years 1 months ago
2008
In this paper we study the performance of Filtered Multitone (FMT) modulation systems in time-frequency selective fading channels. FMT generalizes the OFDM scheme through the deplo...
116
click to vote
TSE
2002
15 years 1 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
104
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
TSMC
2010
14 years 8 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...