5863 search results - page 325 / 1173 » On Model-Checking of P Systems |
217
Voted
TPDS
2008
15 years 7 months ago
2008
Consistency maintenance is important to the sharing of dynamic contents in peer-to-peer (P2P) networks. The TTL-based mechanism is a natural choice for maintaining freshness in P2P...
198
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Ribonuclease P is an ancient endonuclease that cleaves precursor tRNA and generally consists of a catalytic RNA subunit (RPR) and one or more proteins (RPPs). It repre...
191
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
229
Voted
AP2PC
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Peer-to-Peer (P2P) data management systems combine traditional schema-based integration techniques with the P2P infrastructure. In this paper, we propose a P2P data manag...
208
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The availability of various "omics" datasets creates a prospect of performing the study of genomewide genetic regulatory networks. However, one of the major ...