5882 search results - page 209 / 1177 » networks 2010 |
94
Voted
ENTCS
2007
15 years 20 days ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
82
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
---------------------------------------------------ABSTRACT-----------------------------------------------Reliable transport protocols such as TCP are tuned to perform well in trad...
115
Voted
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
—In large network environments multiple intrusion detection sensors are needed to adequately monitor network traffic. However, deploying and managing additional sensors on a lar...
124
click to vote
BMCBI
2010
15 years 25 days ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
83
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer