23201 search results - page 101 / 4641 » Rewriting Systems with Data |
178
click to vote
ADC
2008
Springer
15 years 7 months ago
2008
Springer
Many existing access controls use node filtering or querying rewriting techniques. These techniques require rather time-consuming processes such as parsing, labeling, pruning and/...
186
click to vote
IHI
2010
15 years 7 days ago
2010
Recent advances in healthcare and bioscience technologies and proliferation of portable medical devices are producing massive amounts of multimodal data. The need for parallel pro...
142
click to vote
SIGCSE
1999
ACM
15 years 9 months ago
1999
ACM
In order to build a data structure that is extensible and reusable, it is necessary to decouple the intrinsic and primitive behavior of the structure from the application specific...
112
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidabl...
122
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
We revisit (un)soundness of transformations of conditional into unconditional rewrite systems. The focus here is on so-called unravelings, the most simple and natural kind of such ...