3742 search results - page 709 / 749 » On the Use of Formal Techniques for Validation |
169
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Tissue MicroArray technique is becoming increasingly important in pathology for the validation of experimental data from transcriptomic analysis. This approach produce...
195
click to vote
CAD
2010
Springer
15 years 6 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
177
click to vote
CCR
2008
15 years 6 months ago
2008
A key requirement for IETF recognition of new TCP algorithms is having an independent, interoperable implementation. This paper describes our BSD-licensed implementation of H-TCP ...
172
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Proteins are comprised of one or several building blocks, known as domains. Such domains can be classified into families according to their evolutionary origin. Wherea...
188
click to vote
JSAC
2008
15 years 6 months ago
2008
Wireless Mesh Networks (WMNs) are envisaged to extend Internet access and other networking services in personal, local, campus, and metropolitan areas. Mesh routers (MR) form the c...