5499 search results - page 181 / 1100 » Generalized Rewrite Theories |
163
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
We generalize the unfolding semantics, previously developed for concrete formalisms such as Petri nets and graph grammars, to the setting of (single pushout) rewriting over adhesiv...
180
click to vote
DBPL
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
174
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
195
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...
186
click to vote
FCT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...