4212 search results - page 734 / 843 » Rights Expression Languages |
174
Voted
ESORICS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
157
click to vote
GTTSE
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
161
click to vote
HPCC
2007
Springer
16 years 8 days ago
2007
Springer
Computing ”in-place and in-order”FFT poses a very difficult problem on hierarchical memory architectures where data movement can seriously degrade the performance. In this pape...
154
click to vote
ICDT
2007
ACM
16 years 8 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
156
Voted
IFL
2007
Springer
16 years 7 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...