1385 search results - page 236 / 277 » Natural Rewriting for General Term Rewriting Systems |
109
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
135
click to vote
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
158
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Reflective middleware provides an effective way to support adaptation in distributed systems. However, as distributed systems become increasingly complex, certain drawbacks of the...
127
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
137
click to vote
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
Supercomputer architects strive to maximize the performance of scientific applications. Unfortunately, the large, unwieldy nature of most scientific applications has lead to the...