1362 search results - page 185 / 273 » Model Checking Large Network Protocol Implementations |
121
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Histograms are widely used in medical imaging, network intrusion detection, packet analysis and other streambased high throughput applications. However, while porting such software...
116
click to vote
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
The key application scenario of wireless sensor networks is data gathering: sensor nodes transmit data, possibly in a multi-hop fashion, to an information sink. The performance of...
143
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
146
click to vote
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...
158
click to vote
CSCW
1998
ACM
15 years 7 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...