2573 search results - page 470 / 515 » Combinations of Modal Logics |
129
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The paper develops a novel approach to stream cipher design: Both the state update function and the output function of the corresponding pseudorandom generators are compositions of...
168
click to vote
IJSNET
2008
15 years 4 months ago
2008
: Virtual backbone-based routing is a promising approach for enhancing the routing efficiency in MANETs. To establish communication in the network, the virtual backbone nodes have ...
132
click to vote
IJWIS
2008
15 years 4 months ago
2008
Purpose The discovery of the "right" ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of ada...
134
click to vote
JFP
2008
15 years 4 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
145
click to vote
JLP
2008
15 years 4 months ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...