Formalization - Globe Thesis

Keyword [Formalization] Result: 81 - 100 \| Page: 5 of 8
81.	Research On The Roaming Authentication Protocol Of The Mobile Network In The Formalization Way
82.	Study Of Transformation From UML2.0Sequence Diagram To Event Deterministic Finite Automata
83.	Formalization And Model Checking Methods Of System Security Model Based On UMLsec
84.	The Chinesization And Formalization Of Unified Medical Language System
85.	Towards Formalization Of MongoDB
86.	Formalization Of The Routing For Multi-layer Optical Networks Based On Ontology And Its Application Instance
87.	The Research Of Print Media Formalization Innovation In The Time Of Media Convergence
88.	Formal Analysis And Research On Methods Of Security Protocol Based On Strand Space
89.	A Study On Formalization And Materialization Application Of System Evolution
90.	Modeling And Formal Verifying Automated Guided Vehicle
91.	Formalization And Verification Of REST And SA-REST In Viewpoints
92.	Formalization And Analysis Of RESTful Web Service
93.	OCL-Based Automatic Conversion From Application Secenarios To State Diagrams
94.	The Formal Research On Assertion Elements Of Event Ontology
95.	The Design & Optimization And Verification Of IALU And VRDC Unit In 64-bit X-DSP
96.	Design-optimization And Verification Of BP Component And Shuffle Unit In X-DSP
97.	Research Of Embedded Software Formalization Modeling And Verification Method Based On STM
98.	An Event Ontology Formalization Method Based On Elements Projection And Its Application In Sentiment Analysis
99.	Study On Semantic Analysis And Formalization Of Product Classification
100.	Design Optimization And Verification Of IALU And Shuffle Unit In M-DSP
<<First <Prev Next> Last>> Jump to