3888 search results - page 624 / 778 » Change-Driven Model Transformations |
166
click to vote
FOSSACS
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
226
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
171
click to vote
ICIAR
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes an iterative methodology for real-time robust mosaic topology inference. It tackles the problem of optimal feature selection (optimal sampling) for global estim...
156
click to vote
ISW
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a one-round 1-out-of-n computationally-private information retrieval protocol for -bit strings with low-degree polylogarithmic receivercomputation, linear send...
167
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...