1282 search results - page 64 / 257 » Signing on signing off |
MLMI
2007
Springer
14 years 3 months ago
2007
Springer
TSD
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper is devoted to the problem of automatic translation between Czech and SC in both directions. We introduced our simple monotone phrase-based decoder - SiMPaD sui...
WEA
2007
Springer
14 years 3 months ago
2007
Springer
The Balanced Subgraph problem (edge deletion variant) asks for a 2-coloring of a graph that minimizes the inconsistencies with given edge labels. It has applications in social netw...
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...