1669 search results - page 123 / 334 » Modeling ODP Computational Specifications Using UML |
141
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
154
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Many current gene prediction methods use only one model to represent proteincoding regions in a genome, and so are less likely to predict the location of genes that ha...
104
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
The paper is concerned with the problem of question recommendation. Specifically, given a question as query, we are to retrieve and rank other questions according to their likelih...
117
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The occurrence of a genetic bottleneck in HIV sexual or mother-to-infant transmission has been well documented. This results in a majority of new infections being homo...
142
Voted
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
The routing performance of delay tolerant networks (DTN) is highly correlated with the distribution of inter-contact times (ICT), the time period between two successive contacts o...