1541 search results - page 257 / 309 » Tools and Techniques for Model Checking Networked Programs |
119
Voted
GD
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
116
click to vote
SC
1995
ACM
15 years 4 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
120
Voted
NDSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Linking network flows is an important problem in intrusion detection as well as anonymity. Passive traffic analysis can link flows but requires long periods of observation to r...
117
click to vote
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
141
Voted
BMCBI
2005
15 years 12 days ago
2005
Background: To study complex biochemical reaction networks in living cells researchers more and more rely on databases and computational methods. In order to facilitate computatio...