10038 search results - page 1926 / 2008 » Model Checking for Managers |
141
Voted
BMCBI
2006
15 years 22 days ago
2006
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
136
Voted
PERCOM
2008
ACM
15 years 18 days ago
2008
ACM
Integrating p2p services in multi-hop ad hoc networks is today a hot topic. General multi-hop , and pervasive systems in particular, can greatly benefit from high-level middleware...
118
click to vote
IJET
2007
15 years 18 days ago
2007
Remarkable advances in instructional communication technology (ICT) have now made is possible to provide high levels of enrichment and the kinds of curricular differentiation that...
122
click to vote
IJHPCA
2007
15 years 18 days ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
119
click to vote
BMCBI
2005
15 years 17 days ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...