Formalization - Globe Thesis

Keyword [Formalization] Result: 101 - 120 \| Page: 6 of 8
101.	A Formalization Framework Base On UML And Its Applications On The Verification Of Security Protocols
102.	Research And Implemention Of Model Based Real-time System Formalization Validation
103.	The System Energy Consumption Analysis Method Based On Model Transformation
104.	A Multi-level Security Container Mechanism Based On Lightweight Virtualization Environment
105.	Wireless Sensor Network Security Analysis
106.	Research On Domain Policy Key Points Analysis And Formalization Methods Based On Semantic
107.	An Automatic Generation Method Of Extensible Information Model Data Service
108.	Formalization Of Basic Ant Colony Algorithm
109.	The Design And Analysis Of RFID Group Authentication Protocol
110.	Research On Fine-grained Multi-domain Access Control Security Model For Android System
111.	Study On Formalization And Transformation Of Models In MDA Software Paradigm
112.	Formalization And Verification Of Embedded Operating Systems Using Rewriting Logic
113.	Research On Cloud Service Programming Language Apla+ And Its Implementation Method
114.	Formalization And Verification Of Operating System's Global Properties
115.	The Method Of UML Model Transformation And Research On Test Case Prioritization
116.	Formalization And Analysis Of TFTP Based On CSP
117.	Research On Ontology- And CPN-based Formalization Of Resource Allocation Problems
118.	Formalization And Verification Of OpenFlow Bundle Mechanism Based On CSP
119.	Research And Application Of Formal Method In Automatic Code Generation
120.	Research On UML Class Diagram Formalization And Python Code Generation Based On Object-Z
<<First <Prev Next> Last>> Jump to