10916 search results - page 26 / 2184 » On Constructive Connectives and Systems |
IMA
2007
Springer
14 years 3 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 ...
ACMMPC
2000
Springer
14 years 2 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 ...
IJSN
2006
13 years 9 months 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
14 years 4 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 ...
ECIS
2001
13 years 11 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...