formal framework - Globe Thesis

Font Size: a A A

Keyword [formal framework] Result: 1 - 13 \| Page: 1 of 1
1.	The Automatic Generating Of B/S MIS Programs By Utilizing XML And The Technology Of Framework And Components
2.	A Framework For Agent-Oriented Design Based On Grid
3.	The Formal Framework Designed To Verify VTOS And The Verification Of The Message Module Of VTOS
4.	An Event-Based Formal Framework For Dynamic Software Update
5.	A Formal Framework For SAAS Customization Based On Multi-Layered Architecture Via Process Algebra
6.	A formal framework for engineering intelligent agents-based systems
7.	Formalization of uniprocessor and multiprocessor scheduling of real-time systems using supervisory control of discrete-event systems
8.	Probabilistic constraint nets: A formal framework for the modeling and verification of probabilistic hybrid systems
9.	Formal design analysis framework: An aspect-oriented architectural framework
10.	A formal framework of a secure mobile agent system based on extended elementary object system
11.	Aspect oriented programming as a formal framework for runtime monitoring
12.	A formal framework for the specification and enforcement of object-centered constraints/triggers
13.	A Formal Framework for Designing Verifiable Protocols
<<First <Prev Next> Last>> Jump to