24095 search results - page 4765 / 4819 » Researchers and Development - Young Researches |
104
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Corporate mail services are designed to perform better than public mail services. Fast mail delivery, large size file transfer as an attachments, high level spam and virus protect...
137
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The primary mission of UniProt is to support biological research by maintaining a stable, comprehensive, fully classified, richly and accurately annotated protein sequenc...
112
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper addresses the following question: Is it possible to migrate TCP/IP flows between different networks on modern mobile devices, without infrastructure support or protocol...