3552 search results - page 380 / 711 » Proof theory in the abstract |
158
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
171
click to vote
WDAG
2007
Springer
16 years 27 days ago
2007
Springer
We consider the problem of minimizing the number of ADMs in optical networks. All previous theoretical studies of this problem dealt with the off-line case, where all the lightpat...
182
click to vote
FOCS
2006
IEEE
16 years 25 days ago
2006
IEEE
Given an undirected hypergraph and a subset of vertices S ⊆ V with a specified root vertex r ∈ S, the STEINER ROOTED-ORIENTATION problem is to find an orientation of all the...
198
click to vote
ICNP
2006
IEEE
16 years 25 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
173
click to vote
COMPGEOM
2006
ACM
16 years 23 days ago
2006
ACM
Persistent homology is the mathematical core of recent work on shape, including reconstruction, recognition, and matching. Its pertinent information is encapsulated by a pairing o...