1458 search results - page 249 / 292 » Extended Term Rewriting Systems |
167
click to vote
ACMACE
2006
ACM
15 years 11 months ago
2006
ACM
Interactive synthetic environments are currently used in a wide variety of applications, including video games, exposure therapy, education, and training. Their success in such do...
156
click to vote
ECLIPSE
2006
ACM
15 years 11 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
144
click to vote
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
181
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
196
click to vote
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...