23201 search results - page 161 / 4641 » Rewriting Systems with Data |
185
click to vote
ICALP
2007
Springer
16 years 19 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
175
click to vote
SYNASC
2005
IEEE
16 years 2 days ago
2005
IEEE
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
172
click to vote
POPL
2005
ACM
16 years 1 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
165
click to vote
GPCE
2005
Springer
16 years 11 hour ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
160
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...