4767 search results - page 108 / 954 » Structures for Abstract Rewriting |
IANDC
2006
13 years 9 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
JAIR
2008
13 years 9 months ago
2008
Multi-robot path planning is difficult due to the combinatorial explosion of the search space with every new robot added. Complete search of the combined state-space soon intracta...
SAS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
FM
2003
Springer
14 years 2 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
DEXAW
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...