6740 search results - page 1218 / 1348 » Using Classification as a Programming Language |
138
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Given two rooted, ordered, and labeled trees P and T the tree inclusion problem is to determine if P can be obtained from T by deleting nodes in T. This problem has recently been r...
132
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
141
click to vote
IFIP
2005
Springer
15 years 10 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...
117
Voted
SAMOS
2005
Springer
15 years 10 months ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
171
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...