423 search results - page 72 / 85 » On Term Rewriting Systems Having a Rational Derivation |
TMC
2010
14 years 8 months ago
2010
—A key challenge in the design of real-time wireless multimedia systems is the presence of fading coupled with strict delay constraints. A very effective answer to this problem i...
JCDL
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we present a method of parsing unstructured textual records briefly describing a person and their direct relatives, which we use in the construction of a browsing t...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...