1734 search results - page 207 / 347 » What works |
104
click to vote
IFIP
2005
Springer
15 years 6 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
ISW
2005
Springer
15 years 6 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
93
Voted
NIME
2005
Springer
15 years 6 months ago
2005
Springer
When learning a classical instrument, people often either take lessons in which an existing body of “technique” is delivered, evolved over generations of performers, or in som...
95
Voted
WAC
2005
Springer
15 years 6 months ago
2005
Springer
: The development and deployment of interconnected networks is being increasingly limited by their complexity and the concomitant cost of managing the operational network. Autonomi...
120
click to vote
WEBI
2005
Springer
15 years 6 months ago
2005
Springer
This work presents a new perspective on characterizing the similarity between elements of a database or, more generally, nodes of a weighted, undirected, graph. It is based on a M...