4604 search results - page 254 / 921 » Analysis of Negotiation Dynamics |
141
Voted
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
167
click to vote
ICDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
With the proliferation of wireless devices, mobile ad hoc networking (MANET) has become a very exciting and important technology due to its characteristics of open medium and dyna...
140
Voted
HT
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes a generic approach to structuring and visualising a hypertext-based information space on the WWW. This approach, called Generalised Similarity Analysis (GSA),...
157
Voted
SPIESR
2003
15 years 6 months ago
2003
In western art music, composers communicate their work to performers via a standard notation which specificies the musical pitches and relative timings of notes. This notation ma...
133
click to vote
BIOINFORMATICS
2006
15 years 4 months ago
2006
Motivation: In many proteins, helix-helix interactions can be critical to establishing protein conformation (folding) and dynamics, as well as determining associations between pro...