4305 search results - page 282 / 861 » Analysing Protocol Implementations |
128
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Microarray experiments, as well as other genomic analyses, often result in large gene sets containing up to several hundred genes. The biological significance of such ...
116
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...
145
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
146
click to vote
FGCN
2007
IEEE
15 years 2 months ago
2007
IEEE
The IETF is currently standardizing a light-weight protocol framework for server redundancy and session failover: Reliable Server Pooling (RSerPool). It is the novel combination o...
116
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Mobile Ad hoc Network (MANET) routing protocols have been the focus of an accomplished research effort for many years within the networking community and now the results of this...