7785 search results - page 436 / 1557 » The Concept of Dynamic Analysis |
210
click to vote
GRAPHITE
2006
ACM
16 years 1 months ago
2006
ACM
Retargeting and interpolation methods may introduce physical inaccuracies in virtual human animation. This paper presents a method for evaluating the dynamical correctness of reta...
182
click to vote
CSFW
2005
IEEE
16 years 21 days 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...
233
Voted
ICDCS
2003
IEEE
16 years 11 days 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...
207
click to vote
HT
1997
ACM
15 years 11 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),...
202
click to vote
SPIESR
2003
15 years 8 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...