Formal - Globe Thesis - Globe Thesis

Keyword [Formal] Result: 181 - 200 \| Page: 10 of 10
181.	Formal Semantics, Algorithm Evaluation Of Logical Process Paradigm And Their Application In Spatial Stochastic Simulation
182.	Research On Web Database Extraction Based On Formal Concept Analysis
183.	Research On Transforming Requirements Specification To Software Architecture Models Of Embedded Software
184.	Key Techniques And Formalism For Dynamic Component-based Software Updating
185.	Research On Method And Key Technologies Of Semantic Model-driven Development For Services Oriented Enterprise Application Software
186.	Study On The Application Of Formal Method In Component-based Real-time System
187.	Research On Knowledge Discovery Based On Formal Concept Analysis In Folksonomy
188.	Some Applications And Formal Semantics Of DNA Computing
189.	Reserch On Security Protocol Based On Strand Space Theory
190.	Formal Analysis And Verification Of Trustworthy Services In Pervasive Computing
191.	Fault Related Formal Test Method Of The Software In Train Control System
192.	Formal Verification Of Real-time Operating System In Binary Code Level
193.	Lattice-valued Quantitative Verification Of State Transition Systems
194.	Modeling And Analysis Of Embedded Periodic Control Systems
195.	Services Of Certain Key Technologies Of Ontology-based Knowledge Of The Field Of Agriculture
196.	A Method Of Design Home Location Register
197.	The Automatic Generating Of B/S MIS Programs By Utilizing XML And The Technology Of Framework And Components
198.	The Logic Analysis And Research Of Electronic Commerce Protocol
199.	The Research And Formal Description Of Locking Mechanism For Concurrent Control In Cooperative Design
200.	A Study On Modeling Software Requirements Based On Scenario & Formal Method
<<First <Prev Next> Last>> Jump to