1237 search results - page 182 / 248 » Abstract shade trees |
REX
1993
14 years 2 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
SIGOPSE
1992
ACM
14 years 2 months ago
1992
ACM
Abstract-- This paper describes the design and implementation1 of IRIS: an intentional resource indicator service. IRIS springs from the concept that end-users should not be bogged...
ANNPR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Hierarchical neural networks show many benefits when employed for classification problems even when only simple methods analogous to decision trees are used to retrieve t...
ESORICS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
SAS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract We carry out an experimental analysis for two of the design dimensions of flow-insensitive points-to analysis for C: polymorphic versus monomorphic and equality-based vers...