23201 search results - page 96 / 4641 » Rewriting Systems with Data |
139
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
142
click to vote
IJFCS
2011
15 years 10 days ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...
152
click to vote
LATA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
177
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
149
click to vote
ACSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...