Formalization - Globe Thesis

Keyword [Formalization] Result: 121 - 140 \| Page: 7 of 8
121.	Research And Realization Of Ontology-based Web Three-dimensional Scene Quickly Build System
122.	Formalization And Verification Of Redis Cluster Message Communication Mechanism Based On CSP
123.	Research On APLA To Python Automatic Program Transformation System Based On PAR Platform
124.	Formalization And Verification Of TESAC Using CSP
125.	Formalization Of Model Analysis Process In Model-Driven Engineering And Its Application
126.	Quantification and formalization of security
127.	Formalization and verification of property specification patterns
128.	Formalization and innovation: An ethnographic study of process formalization
129.	Formalization of uniprocessor and multiprocessor scheduling of real-time systems using supervisory control of discrete-event systems
130.	Classification, formalization and automatic verification of untraceability in RFID protocols
131.	Formalization of input and output in modern operating systems: The Hadley model
132.	Formalization of dynamic trust and uncertain evidence for user authorization
133.	Scenario networks and formalization for scenario management
134.	Decision theory analysis and formalization technique for technology investment strategies relative to military robotic systems development
135.	Logic -as -modeling: A new perspective on *formalization
136.	'Microscopic cybernetics': Mathematical logic, automata theory, and the formalization of biological phenomena, 1936--1970
137.	From informal specification to formalization: An automated visualization approach
138.	Integrating optimization and formalization in a Processor Design Automation System
139.	Formalization And Verification Of DHCPv6 Security Protocol Based On CSP
140.	Formalization And Analysis Of SAVI-DHCP Protocol
<<First <Prev Next> Last>> Jump to