Font Size: a A A
Keyword [Calculus]
Result: 141 - 160 | Page: 8 of 10
141. Design And Implementation Of Multiaccess Procotol Model Base On The Process Algebra
142. Research On Discretization Methods Of Fractional Order Model
143. Research On Concurrent Plans As Programs In State Calculus
144. Research And Implementation Of State Calculus Based On Knowledge
145. The Research Of Belief Change In Intelligent Agent Action Reasoning
146. The Research And Simulation Of Tuning Method Based On Fractional Order Of Proportional And Derivative Controller In Servo System
147. Research On The Modeling Method Of Workflow And Its Model Verification Mdthoe
148. Fractional Differential Applied To The Study Of Edge Detection
149. Research On Denoising Integrated Model Of Partial Differential Equations
150. Conversion And Verification Of PI Calculus With Compositional Petri Net
151. Extension Of Mobile Ambients And Its Implementation For The Lexical Analysis Program
152. Research And Realization: A Software Model To Support Business Process Variability
153. Formal Description Of Ontology Evolution Based Extend-PI Calculus
154. Research Of Automatic Composition Based On Formalization For Semantic Web Service
155. Formal Analysis Of Security Protocols Based On SPI Calculus
156. The Operational Semantics For RCOS And Its Application In Program Analysis
157. A Research Of UML Formal Verification Based On Situation Calculus And OCL Constraints Automatic Generation
158. The Research On Key Technologies Of QoS In WMNs
159. Compensation Model For Web Services Transaction Based On Ï€-Calculus
160. Research On Web Services Feature Interaction Detection Method
  <<First  <Prev  Next>  Last>>  Jump to