329 search results - page 47 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
110
click to vote
SIGOPS
2010
14 years 10 months ago
2010
Gossip-based protocols are commonly used for diffusing information in large-scale distributed applications. GO (Gossip Objects) is a per-node gossip platform that we developed in...
DAC
2005
ACM
16 years 21 days ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
CONEXT
2006
ACM
15 years 5 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
100
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: RNA editing is one of several post-transcriptional modifications that may contribute to organismal complexity in the face of limited gene complement in a genome. One f...
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...