23201 search results - page 161 / 4641 » Rewriting Systems with Data |
206
click to vote
ICALP
2007
Springer
16 years 1 months 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...
194
click to vote
SYNASC
2005
IEEE
16 years 17 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...
182
click to vote
POPL
2005
ACM
16 years 17 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...
182
click to vote
GPCE
2005
Springer
16 years 16 days 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...
176
click to vote
ESORICS
2004
Springer
16 years 12 days 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 ...