1133 search results - page 65 / 227 » Local Logics for Traces |
114
click to vote
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
105
click to vote
MOBICOM
2010
ACM
15 years 29 days ago
2010
ACM
Localization is a fundamental operation for many wireless networks. While GPS is widely used for location determination, it is unavailable in many environments either due to its h...
CSDA
2006
15 years 24 days ago
2006
The Hurst parameter H characterizes the degree of long-range dependence (and asymptotic selfsimilarity) in stationary time series. Many methods have been developed for the estimat...
98
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
109
click to vote
BMCBI
2010
15 years 27 days ago
2010
Background: Co-evolution is the process in which two (or more) sets of orthologs exhibit a similar or correlative pattern of evolution. Co-evolution is a powerful way to learn abo...