1362 search results - page 223 / 273 » Model Checking Large Network Protocol Implementations |
115
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Despite recent algorithmic and conceptual progress, the stoichiometric network analysis of large metabolic models remains a computationally challenging problem. Result...
150
click to vote
ECCB
2005
IEEE
15 years 8 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
116
Voted
CNSR
2008
IEEE
15 years 9 months ago
2008
IEEE
Attacks and intrusions to information systems cause large revenue losses. The prevention of these attacks is not always possible by just considering information from isolated sour...
122
click to vote
VTC
2010
IEEE
15 years 11 days ago
2010
IEEE
Cognitive radios are devices capable of sensing a large range of frequencies in order to detect the presence of primary networks and reuse their bands when they are not occupied. D...
157
click to vote
CCGRID
2004
IEEE
15 years 6 months ago
2004
IEEE
Next generation applications and architectures (for example, Grids) are driving radical changes in the nature of traffic, service models, technology, and cost, creating opportunit...