12841 search results - page 2331 / 2569 » PL-detective: experiences and results |
170
click to vote
QEST
2007
IEEE
16 years 28 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
197
click to vote
SASO
2007
IEEE
16 years 28 days ago
2007
IEEE
Incentives for resource sharing are crucial for the proper operation of P2P networks. The principle of the incentive mechanisms in current content sharing P2P networks such as Bit...
177
click to vote
SMC
2007
IEEE
16 years 28 days ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...
189
click to vote
SP
2007
IEEE
16 years 28 days ago
2007
IEEE
Many proposed low-latency anonymous communication systems have used various flow transformations such as traffic padding, adding cover traffic (or bogus packets), packet droppi...
154
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...