882 search results - page 144 / 177 » A Taste of Rewrite Systems |
118
click to vote
CORR
2006
Springer
15 years 16 days ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
86
Voted
OSDI
2006
ACM
16 years 24 days ago
2006
ACM
Vulnerability-driven filtering of network data can offer a fast and easy-to-deploy alternative or intermediary to software patching, as exemplified in Shield [43]. In this paper, ...
193
click to vote
VLDB
2002
ACM
16 years 22 days ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
130
Voted
IESS
2007
Springer
15 years 6 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...