741 search results - page 122 / 149 » Verification of security protocols using LOTOS-method and ap... |
136
click to vote
MOBISYS
2005
ACM
16 years 5 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...
166
click to vote
SIGIR
2009
ACM
16 years 13 days 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...
208
click to vote
ACISICIS
2008
IEEE
16 years 13 days 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...
163
click to vote
FC
2005
Springer
15 years 11 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 ...
194
click to vote
ECUMN
2007
Springer
16 years 3 days 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...