23201 search results - page 78 / 4641 » Rewriting Systems with Data |
138
click to vote
IAT
2009
IEEE
16 years 10 hour ago
2009
IEEE
In a normative multi-agent system the behaviour of the constituting agents is regulated by means of social and organisational inspired concepts like norms and sanctions. This pape...
148
Voted
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...
136
Voted
ENTCS
2007
15 years 5 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
241
click to vote
RTA
2011
Springer
14 years 8 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
262
Voted
CMSB
2011
Springer
14 years 5 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...