3116 search results - page 332 / 624 » Positively dependent types |
155
click to vote
PKC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Perfect forward secrecy, one of the possible security features provided by key establishment protocols, concerns dependency of a session key upon long-term secret keys (s...
153
click to vote
CRITIS
2007
15 years 8 months ago
2007
Abstract In this paper we discuss the properties and algorithmic methods for the identification and classification of cyclical interdependencies in critical infrastructures based...
165
click to vote
LREC
2010
15 years 8 months ago
2010
Reflecting the rapid growth of science, technology, and culture, it has become common practice to consult tools on the World Wide Web for various terms. Existing search engines pr...
156
click to vote
USAB
2008
15 years 8 months ago
2008
Three different instruction formats were examined respecting their usefulness for the navigation through hierarchical menus in mobile phones. 56 middle-aged adults had to solve fou...
135
click to vote
ACL
2004
15 years 8 months ago
2004
In this paper we present a methodology for extracting subcategorisation frames based on an automatic LFG f-structure annotation algorithm Penn-II Treebank. We extract abstract syn...