8828 search results - page 1708 / 1766 » Formal methods in practice |
121
Voted
ISESE
2006
IEEE
15 years 9 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
112
Voted
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
: A multi-rate capable IEEE 802.11a/b/g node can utilize different link-layer transmission rates. Interestingly, multi-rate capability is defined by IEEE 802.11 standards only for...
118
Voted
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper we compare the following two methods of transmit precoding for the multiple antenna broadcast channel: vector perturbation applied to channel inversion (also term...
150
Voted
ELPUB
2006
ACM
15 years 9 months ago
2006
ACM
The Text Encoding Initiative is an international and interdisciplinary standards project established in 1987 to develop, maintain and promulgate hardware- and software-independent...
150
Voted
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
Designing and planning of the switching, signaling and support network is a fairly complex process in cellular mobile network. In this paper, the problem of assigning cells to swi...