10038 search results - page 1926 / 2008 » Model Checking for Managers |
173
click to vote
BMCBI
2006
15 years 3 months 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...
170
click to vote
PERCOM
2008
ACM
15 years 3 months 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...
148
click to vote
IJET
2007
15 years 3 months 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...
149
click to vote
IJHPCA
2007
15 years 3 months 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...
153
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...