71 search results - page 12 / 15 » soft 2000 |
103
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
104
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
: IC technologies are approaching the ultimate limits of silicon in terms of channel width, power supply and speed. By approaching these limits, circuits are becoming increasingly ...
116
click to vote
DCC
2000
IEEE
15 years 8 months ago
2000
IEEE
The goal of source controlled channel decoding is to improve the performance of the channel decoder by using the residual redundancy of the source encoded data. The original appro...
143
Voted
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
146
Voted
ICC
2000
IEEE
15 years 8 months ago
2000
IEEE
As the Internet transforms from the traditional best-effort service network into QoS-capable multi-service network, it is essential to have new architectural design and appropriate...