1716 search results - page 306 / 344 » Proving Conditional Termination |
104
Voted
JACM
2000
15 years 16 days ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
MST
2007
15 years 7 days ago
2007
Consider a collection of r identical asynchronous mobile agents dispersed on an arbitrary anonymous network of size n. The agents all execute the same protocol and move from node ...
127
Voted
ACRI
2010
Springer
14 years 11 months ago
2010
Springer
In this work we study the complexity of the three-dimensional sandpile avalanches triggered by the addition of two critical configurations. We prove that the algorithmic problem c...
98
Voted
SCN
2010
Springer
14 years 11 months ago
2010
Springer
The Fiat-Shamir (FS) transform is a popular tool to produce particularly efficient digital signature schemes out of identification protocols. It is known that the resulting signat...
119
click to vote
IMC
2010
ACM
14 years 10 months ago
2010
ACM
Network tomography establishes linear relationships between the characteristics of individual links and those of end-toend paths. It has been proved that these relationships can b...