1894 search results - page 257 / 379 » A TLA Proof System |
116
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Use of watermarking techniques to provide authentication and tamper proofing of speech in mobile environment is becoming important. However, the current efforts do not allow for...
126
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
113
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we investigate experimentally the performance of Marginal Cost (MC) and Shapley Value (SH) mechanisms for sharing the cost of multicast transmissions. We implement a...
113
click to vote
ARITH
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
132
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...