4350 search results - page 393 / 870 » Case studies for contract-based systems |
235
click to vote
CBSQ
2003
Springer
16 years 2 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
154
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Communication designs form the fastest growing segment of the semiconductor market. Both network processors and wireless chipsets have been attracting a great deal of research att...
169
click to vote
PDPTA
2004
15 years 8 months ago
2004
As the algorithms that are used to reconstruct medical images from measurable projection data continue to become mature, medical image reconstruction has remained an interesting a...
141
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
A good software architecture is becoming recognized as a major factor for successful products. There has been much research on the technical aspects of software architecture and i...
162
click to vote
INFOCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
— In this paper, we study cross-layer design for rate control in multihop wireless networks. In our previous work, we have developed an optimal cross-layered rate control scheme ...