1919 search results - page 272 / 384 » Recent Extensions to Traviando |
195
click to vote
ENTCS
2006
15 years 6 months ago
2006
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
168
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The notion of strong designated verifier signature was put forth by Jakobsson, Sako and Impagliazzo in 1996, but the formal definition was defined recently by Saeednia, Kremer and...
188
click to vote
CGF
2007
15 years 6 months ago
2007
We present a method for animating deformable objects using a novel finite element discretization on convex polyhedra. Our finite element approach draws upon recently introduced ...
164
click to vote
CJ
2007
15 years 6 months ago
2007
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
135
click to vote
CN
2007
15 years 6 months ago
2007
Recently a number of application-layer multicast (ALM) protocols have been proposed as a promising alternative to deploying multicast services in the unicast-only Internet. Curren...