359 search results - page 31 / 72 » Abstract Patterns of Compositional Reasoning |
120
click to vote
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
100
click to vote
TGC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
115
click to vote
TVCG
2008
15 years 1 months ago
2008
Abstract-- This paper introduces orthogonal vector field visualization on 2D manifolds: a representation by lines that are perpendicular to the input vector field. Line patterns ar...
146
click to vote
IFIPTCS
2010
14 years 12 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
119
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...