915 search results - page 51 / 183 » Proof labeling schemes |
ICICS
2010
Springer
13 years 5 months ago
2010
Springer
Due to the rapid growth of e-commerce technology, secure auction protocols have attracted much attention among researchers. The main reason for constructing sealed-bid auction prot...
ISCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Traffic engineering is one of the important enhancements introduced by the deployment of Multiprotocol Label Switching (MPLS) into IP-networks. Minimizing congestion is a central ...
ISCC
2005
IEEE
14 years 1 months ago
2005
IEEE
This article presents the Micro Mobile MPLS scheme, which is a new proposal for IP local mobility in wireless MPLS access networks. Our proposal is based on multiprotocol label sw...
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract--There exists an injective, information-preserving function that maps a semantic network (i.e a directed labeled network) to a directed network (i.e. a directed unlabeled ...