3333 search results - page 236 / 667 » Abstract Proof Search |
135
click to vote
ECEASST
2010
15 years 13 days ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
172
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
137
click to vote
TASE
2008
IEEE
15 years 12 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
144
click to vote
SP
1998
IEEE
15 years 9 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
165
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
AI Planning is concerned with the selection of actions towards achieving a goal. Research on cellular automata (CA) is concerned with the question how global behaviours arise from ...