Formalization - Globe Thesis

Keyword [Formalization] Result: 1 - 20 \| Page: 1 of 8
1.	Research On The Formal Method Of Description For The Flexible Component Composition And Its Application To The Water Resources Domain
2.	Colored Petri Net Based Modeling Of Parallel Automatic Test Systems
3.	Study On Formalization Design For High-Level Secure Operating System
4.	Researches And Applications Of Some Key Interactive Technologies For Intelligent Education Platform Based On Web
5.	Research On Conceptual Modeling Technology Of Mission Space And It's VV&A
6.	Research On Method For Network Data Collection And Processing And Formalization
7.	The Study Of Construction And Validation Of Object-oriented Formal Specification
8.	Research On The Formalization Of Semantic Features And Behavior Composition For Real-Time Service Component
9.	Research On Some Problems Of Formal Ontology Engineering
10.	Studies On The Engineering User Interface Design Pattern Based On Design Feature And Parameterization
11.	Research On Domain-Oriented Software Requirements Consistency Validation Method
12.	On Semantic Platform For Web Service Based On Ontology
13.	Research On Semantic Programming Language (SPROGLE) And Its Implementation Mechanism
14.	Research On The Security Of Space Communication Protocols
15.	Ad Hoc Network Routing Protocol Security Analysis Methods
16.	Specific Areas Of The Formalization Of The Modeling Language And Its Model Consistency Validation Studies
17.	Internet Of Things Sensor Network Security Protocol
18.	A Distributed Workflow System Modeling Method:DWfS_UMLOPN
19.	On Theory Of Cycle-system And Implementation Of Software Related To Graphic-Library Cycle-system
20.	A Protocol Driving Communication Technology
<<First <Prev Next> Last>> Jump to