2702 search results - page 281 / 541 » Practically Applicable Formal Methods |
103
Voted
SCN
2010
Springer
15 years 1 months ago
2010
Springer
In this work, we consider Authentication and Key Agreement (AKA), a popular client-server Key Exchange (KE) protocol, commonly used in wireless standards (e.g., UMTS), and widely c...
241
click to vote
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
Given a set of multi-dimensional points, the skyline contains the best points according to any preference function that is monotone on all axes. In practice, applications that req...
120
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
125
Voted
KDD
2009
ACM
16 years 3 months ago
2009
ACM
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
108
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
MultiView is a new video conferencing system that supports collaboration between remote groups of people. MultiView accomplishes this by being spatially faithful. As a result, Mul...