4987 search results - page 347 / 998 » Fuzzifying P Systems |
149
click to vote
IPTPS
2004
Springer
15 years 10 months 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...
158
Voted
PET
2004
Springer
15 years 10 months 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...
140
Voted
DBISP2P
2003
Springer
15 years 10 months 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...
CORR
2008
Springer
15 years 5 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...
114
Voted
ENTCS
2008
15 years 5 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...