882 search results - page 105 / 177 » A Taste of Rewrite Systems |
VIROLOGY
2010
13 years 3 months ago
2010
Abstract. There is nowadays a wide range of TCP/IP stack identification tools that allow to easily recognize the operating system of foreseen targets. The object of this article is...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
TSD
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper brings together the development of the first Text-toSpeech (TTS) system for Sinhala using the Festival framework and practical applications of it. Construction...
CORR
1999
Springer
13 years 8 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
XSYM
2004
Springer
14 years 2 months ago
2004
Springer
Due to their numerous benefits, relational systems play a major role in storing XML documents. XML also benefits relational systems by providing a means to publish legacy relatio...