23201 search results - page 113 / 4641 » Rewriting Systems with Data |
125
click to vote
TCS
2010
15 years 3 months ago
2010
In a left-forbidding grammar, a set of nonterminals is attached to every context-free production, and such a production can rewrite a nonterminal if no symbol from the attached se...
145
click to vote
ENTCS
2006
15 years 5 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
183
click to vote
ASPLOS
1996
ACM
15 years 9 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
266
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
We present ACXESS (Access Control for XML with Enhanced Security Specifications), a system for specifying and enforcing enhanced security constraints on XML via virtual "secu...
137
Voted
CSL
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes a hand-written rule-based grapheme-to-phoneme (GTP) conversion system for Korean built within the Festival text-to-speech (TTS) synthesis framework. The core ...