2687 search results - page 492 / 538 » Formal Analysis of PKCS |
72
Voted
ICDM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Support analytics (i.e., statistical analysis, modeling and mining of customer/operations support tickets data) is important in service industries. In this paper, we adop...
118
Voted
ICTAI
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
114
Voted
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
We propose a distributed mechanism for finding websurfing strategies that is inspired by the StumbleUpon recommendation engine. Each day, a websurfer visits a sequence of websites ...
116
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
Potential games are a special class of games that admit tractable static and dynamic analysis. Intuitively, games that are "close" to a potential game should enjoy somewh...
107
Voted
JCS
2011
14 years 7 months ago
2011
Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which lead...