3742 search results - page 671 / 749 » On the Use of Formal Techniques for Validation |
167
click to vote
MSWIM
2004
ACM
15 years 11 months ago
2004
ACM
Discrete event network simulators have emerged as popular tools for verification and performance evaluation for various wireless networks. Nevertheless, the desire to model such ...
170
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...
186
click to vote
SIGMETRICS
2003
ACM
15 years 11 months ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...
131
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper explores the issues and the techniques of enabling multimedia applications for the thin client computing. A prototype of a video communication system based on H.323 fam...
175
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
With the growing popularity of the Internet, there is increasing interest in using it for audio and video transmission. Periodic network overloads, leading to bursty packet losses...