Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"incremental refinement"”.
-
An incremental refinement approach to a development of a flash-based file system in Event-B
… and extensible tool for Event-B specification, refinement and proof. The flash file system is a complex system. Such systems are a challenge to specify and verify at this moment in time. This system was chosen as a case study for our experiments, carried out using Event-B and the Rodin tool. The …
-
An energy-aware framework for cascaded detection algorithms
… an energy-aware detection algorithm based on incremental refinement, an existing alternate approach to developing energy-aware algorithms. Combining our framework with incremental refinement reveals a promising approach to developing energy-aware energy-efficient detection systems.
-
Real-time simulation and visualisation of cloth using edge-based adaptive meshes
… adaptive mesh is developed for the fast incremental refinement and coarsening of a triangular mesh. A mass-spring network is integrated into the mesh permitting the real-time adaptive simulation of cloth, and techniques are developed for the simulation of clothing on an animated character.
-
Information-fusion-based methods to improve the detection of advanced cyber threats
… Information fusion guides the analysis and incremental refinement of monitoring information to obtain more accurate detections and smaller volumes of alerts. The general framework of the presented methods is as follows. We collect security monitoring information by using a range of host- and …