Chris Reade

Learn More
This paper describes a formal method for checking the equivalence between the finite state machine with data path (FSMD) model of the high-level behavioural specification and the FSMD model of the behaviour transformed by the scheduler. The method consists in introducing cutpoints in one FSMD, visualizing its computations as concatenation of paths from(More)
This paper provides a rationale for its abstract data definitions of geometric features. These definitions are used as the basis of a suite of functions to support feature modelling. It assumes that implementations of the proposed functions will make use of a solid modelling kernel that supports objects with a disjoint cellular structure and persistent cell(More)
This paper is concerned with the mathematics and formal specification of " set-like " operations for the mixed dimension cellular objects of the Djinn Application Programming Interface. The relationships between these operations and stratifications of dimensionally heterogeneous semi-analytic point-sets are uncovered and formalised. Semianalytic geometry is(More)
—A minimum connected dominating set (MCDS) offers an optimized way of sending messages in wireless networks. However, constructing a MCDS is a NP-complete problem. Many heuristics based approximation algorithms for MCDS problems have been previously reported. In this paper, we propose a new degree-based multiple leaders initiated greedy approximation(More)
Results from the study of O-minimal structures are used to formalise fundamental objects and operations for geometric modelling kernels. O-minimal structures provide a more general setting than the traditional semialgebraic sets; they allow semianalytic sets such as screw-threads to be modelled accurately. O-minimality constrains the class of sets to ensure(More)