1458 search results - page 182 / 292 » Extended Term Rewriting Systems |
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
109
click to vote
IEEEINTERACT
2003
IEEE
15 years 6 months ago
2003
IEEE
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...
100
click to vote
SACMAT
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
107
click to vote
EUROCRYPT
2003
Springer
15 years 6 months ago
2003
Springer
A classical construction of stream ciphers is to combine several LFSRs and a highly non-linear Boolean function f. Their security is usually analysed in terms of correlation attack...