4987 search results - page 347 / 998 » Fuzzifying P Systems |
192
click to vote
IPTPS
2004
Springer
16 years 5 days ago
2004
Springer
We investigate an approach for routing in p2p networks called neighbor-of-neighbor greedy. We show that this approach may reduce significantly the number of hops used, when routi...
197
Voted
PET
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
178
Voted
DBISP2P
2003
Springer
16 years 20 hour ago
2003
Springer
The popularity of peer-to-peer search networks continues to grow, even as the limitations to the scalability of existing systems become apparent. We propose a simple model for sear...
112
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We study the problem of preventing double spending in electronic payment schemes in a distributed fashion. This problem occurs, for instance, when the spending of electro...
147
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...