4674 search results - page 185 / 935 » cases 2008 |
152
click to vote
EJC
2008
15 years 6 months ago
2008
A linear deformation of a Meyer set M in Rd is the image of M under a group homomorphism of the group [M] generated by M into Rd . We provide a necessary and sufficient condition f...
174
click to vote
EJC
2008
15 years 6 months ago
2008
We introduce a notion of Dyck paths with coloured ascents. For several ways of colouring, when the set of colours is itself some class of lattice paths, we establish bijections be...
151
click to vote
ENTCS
2008
15 years 6 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
152
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...