9329 search results - page 509 / 1866 » Feature interaction networks |
177
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
203
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- Despite the rapid advance in networking technologies, detection of network anomalies at high-speed switches/routers is still far from maturity. To push the frontier, two...
173
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Privacy threat is one of the critical issues in network coding, where attacks such as traffic analysis can be easily launched by a malicious adversary once enough encoded packe...
185
click to vote
ISCC
2003
IEEE
16 years 4 days ago
2003
IEEE
Multimedia traffic and real-time e-commerce applications can experience quality degradation in traditional networks such as the Internet. These difficulties can be overcome in n...
170
click to vote
WSC
2001
15 years 8 months ago
2001
Recent advances in low-power embedded processors, radios, and micro-mechanical systems (MEMs) have made possible the development of networks of wirelessly interconnected sensors. ...