1490 search results - page 183 / 298 » The Logic of Authentication Protocols |
131
click to vote
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
— this paper proposes a distributed routing protocol for ad hoc sensor networks which uses Fuzzy Logic. Each sensor uses a Fuzzy decision making process to find the best Cluster ...
104
click to vote
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
90
Voted
ARGMAS
2004
Springer
15 years 6 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
104
Voted
SIGCOMM
1992
ACM
15 years 4 months ago
1992
ACM
With the emergence of large switched public data networks that are well-suited to connectionless internets, for instance SMDS, it is possible that larger and larger numbers of int...
106
click to vote
AAI
2004
15 years 14 days ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...