5252 search results - page 800 / 1051 » Logic in Access Control |
162
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
A distributed search system consists of a large number of autonomous search servers logically connected in a peerto-peer network. Each search server maintains a local index of a c...
170
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
163
click to vote
PADL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
188
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
178
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...