1413 search results - page 21 / 283 » Bisimilarity of Open Terms |
129
Voted
ESORICS
1994
Springer
15 years 4 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
117
Voted
ACMICEC
2006
ACM
15 years 4 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
104
click to vote
SIGIR
2003
ACM
15 years 6 months ago
2003
ACM
One of the major problems in question answering (QA) is that the queries are either too brief or often do not contain most relevant terms in the target corpus. In order to overcom...
95
Voted
ELPUB
2008
ACM
15 years 2 months ago
2008
ACM
It has been noted that one of the potential benefits of Open Access is the increase in visibility for research output from less developed countries. However little is known about ...