5863 search results - page 334 / 1173 » On Model-Checking of P Systems |
286
Voted
WRLA
2010
15 years 5 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
219
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
To rapidly evolve new designs of peer-to-peer (P2P) multimedia streaming systems, it is highly desirable to test and troubleshoot them in a controlled and repeatable experimental ...
234
Voted
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We design a test methodology to analyze in detail the video quality received at each peer in a peer-to-peer (P2P) video streaming system. The metrics that we employ at each peer i...
233
Voted
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Peer-to-peer (P2P) file sharing systems are becoming increasingly popular due to their flexibility and scalability. We propose a new model to design file replication schemes ...
154
Voted
MASCOTS
2004
15 years 8 months ago
2004
Unstructured peer-to-peer (P2P) system is the prevalent model in today's P2P system. In such systems, a response is sent along the same path that carried the incoming query m...