5882 search results - page 209 / 1177 » networks 2010 |
ENTCS
2007
13 years 10 months 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...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
---------------------------------------------------ABSTRACT-----------------------------------------------Reliable transport protocols such as TCP are tuned to perform well in trad...
IEEEARES
2010
IEEE
14 years 2 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...
BMCBI
2010
13 years 11 months 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...
HYBRID
2010
Springer
14 years 5 months ago
2010
Springer