10916 search results - page 26 / 2184 » On Constructive Connectives and Systems |
IMA
2007
Springer
15 years 6 months ago
2007
Springer
Key establishment between two parties that uses only one message transmission is referred to as one-pass key establishment (OPKE). OPKE provides the opportunity for very efficient ...
121
Voted
ACMMPC
2000
Springer
15 years 5 months ago
2000
Springer
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
85
Voted
IJSN
2006
15 years 19 days ago
2006
: In order to conceal their identity and origin, network based intruders seldom attack directly from their own hosts, but rather stage their attacks through intermediate `stepping ...
COCOON
2009
Springer
15 years 7 months ago
2009
Springer
It is shown that for every finite set of disjoint convex polygonal obstacles in the plane, with a total of n vertices, the free space around the obstacles can be partitioned into ...
94
Voted
ECIS
2001
15 years 2 months ago
2001
There is a growing sense that knowledge management, to be most effective, must address questions of knowledge creation and innovation in organisational contexts. Therefore, knowle...