382 search results - page 72 / 77 » Rule-based static analysis of network protocol implementatio... |
PPDP
2005
Springer
14 years 28 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
DSN
2003
IEEE
14 years 22 days ago
2003
IEEE
The presence of physical obstacles and radio interference results in the so called “shadow regions” in wireless networks. When a mobile station roams into a shadow region, it ...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
—Collecting per-flow aggregates in high-speed links is challenging and usually requires traffic sampling to handle peak rates and extreme traffic mixes. Static selection of sa...
ICNP
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Multipath streaming protocols have recently attracted much attention because they provide an effective means to provide high-quality streaming over the Internet. However...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...