741 search results - page 122 / 149 » Verification of security protocols using LOTOS-method and ap... |
116
click to vote
MOBISYS
2005
ACM
16 years 3 months ago
2005
ACM
? We present a system for automatic monitoring and timely dissemination of multimedia information to a range of mobile information appliances based on each user's interest pro...
143
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Link analysis methods have been used successfully for knowledge discovery from the link structure of mutually linking entities. Existing link analysis methods have been inherently...
168
click to vote
ACISICIS
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years, many Mobile Payment (MP) schemes have been proposed and used in practise. However, a prerequisite for extended acceptance and adoption of MP technologies is to de...
133
click to vote
FC
2005
Springer
15 years 9 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
166
Voted
ECUMN
2007
Springer
15 years 10 months ago
2007
Springer
The Datagram Congestion Control Protocol (DCCP) has been proposed as a transport protocol which supports real-time traffic. In this paper, we focus on the use of DCCP/CCID3 (Cong...