Sciweavers

236 search results - page 24 / 48
» RBVO Formation Protocol
Sort
View
90
Voted
ICC
2007
IEEE
115views Communications» more  ICC 2007»
15 years 6 months ago
Distributed Minimum-Cost Clustering Protocol for UnderWater Sensor Networks (UWSNs)
—In this paper, we study the node clustering problem in UnderWater Sensor Networks (UWSNs). We formulate the problem into a cluster-centric cost-based optimization problem with a...
Pu Wang, Cheng Li, Jun Zheng
BMCBI
2005
101views more  BMCBI 2005»
14 years 11 months ago
TmaDB: a repository for tissue microarray data
Background: Tissue microarray (TMA) technology has been developed to facilitate large, genome-scale molecular pathology studies. This technique provides a high-throughput method f...
Archana Sharma-Oates, Philip Quirke, David R. West...
106
Voted
JUCS
2007
90views more  JUCS 2007»
14 years 11 months ago
High-level Structured Interactive Programs with Registers and Voices
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...
JOC
2011
157views more  JOC 2011»
14 years 6 months ago
Universally Composable Symbolic Security Analysis
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
Ran Canetti, Jonathan Herzog
ISMB
1998
15 years 1 months ago
Advanced Query Mechanisms for Biological Databases
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
I-Min A. Chen, Anthony Kosky, Victor M. Markowitz,...