4698 search results - page 62 / 940 » Making Functionality More General |
115
click to vote
ISW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
134
click to vote
SODA
1996
ACM
15 years 4 months ago
1996
ACM
Emerging high speed networks will carry tra c for services such as video-on-demand and video teleconferencing that require resource reservation along the path on which the tra c i...
133
click to vote
CLEF
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
122
click to vote
TMC
2008
15 years 3 months ago
2008
In multihop wireless sensor networks that are often characterized by many-to-one (convergecast) traffic patterns, problems related to energy imbalance among sensors often appear. S...
154
click to vote
IEEECGIV
2009
IEEE
15 years 26 days ago
2009
IEEE
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...