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 2 of 2 for “"DTSS"”.
-
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
… the context of distributed transaction systems (DTSs) from two complementary perspectives: (i) designing DTSs with high assurance such that they satisfy desired correctness and performance requirements; and (ii) transforming verified system designs into correct-by-construction distributed …
-
A GIS Model for Minefield Area Prediction: The Minefield Likelihood Procedure
… and the Digital Topographic Support System (DTSS), trafficability estimates are generated for specific vehicles under specific terrain and weather conditions in specific areas of interest. The model could be used to create prioritized maps for minefield detection sensors, demining teams, or …