1699 search results - page 305 / 340 » On the Expressive Power of QLTL |
135
click to vote
IPSN
2004
Springer
15 years 7 months ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
124
click to vote
SLIP
2003
ACM
15 years 7 months ago
2003
ACM
In this paper, we describe an accurate metric (perimeter-degree) for measuring interconnection complexity and effective use of it for controlling congestion in a multilevel framew...
115
click to vote
FCCM
2007
IEEE
15 years 5 months ago
2007
IEEE
While medium- and large-sized computing centers have increasingly relied on clusters of commodity PC hardware to provide cost-effective capacity and capability, it is not clear th...
109
click to vote
APAL
2010
15 years 2 months ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
126
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: In recent years, the demand for computational power in computational biology has increased due to rapidly growing data sets from microarray and other high-throughput t...