Refinement - Globe Thesis

Keyword [Refinement] Result: 81 - 100 \| Page: 5 of 10
81.	Research On Software Architecture Description And Refinement Based On UML And XYZ/ADL
82.	The Formal Specification And Refinement Of Open Solaris Kernel Process Based On Temporal Logic
83.	Study On Spatial Downscaling Video Transcoding
84.	Research On Pi-calculus-Based Software Architecture Refinement
85.	Research And Application On Verification Technology Of Formal B Method
86.	Refinement Criteria And Its Application In Computer Graphics
87.	The Research And Application Of B Language And Method In Algorithm Formalization
88.	The Implementation And Application Of B-Method In Abstract Machine Library
89.	Research And Application Of Feature Filtering Strategy In Relevance Feedback
90.	The Research And Implementation Of Policy Refinement And Decision Making Mechanism Based On Security Level
91.	Image Vectorization Based On Gradient Meshes
92.	Research On The Technologies Of Nodes Localization With RSSI Quantitative Models For Wireless Sensor Networks
93.	Description And Refinement Of Distributed Real-time Software Architecture Based On Temporal Logic Language
94.	C++STL-based Technology To Achieve Refinement And Transformation Of Z Formal Specification
95.	Search Result Refinement Based On Semantic Relation Recognition
96.	Research On The Refinability Of Cubic Parametric Splines With Tension Properties
97.	The Interpolation Correction Of The Finite Element Based On Generalized Rayleigh Quotient
98.	Research On Multi-Agent Oriented And Policy-Based Operating Mechanism
99.	Design And Implementation Of H.264 Bitrate/Resolution Downscaling Transcoding
100.	Research On Semantics Of UML Models Based On Denotational Semantics And RCOS
<<First <Prev Next> Last>> Jump to