Pervasive Computing Research dynamically update its formal

Abstract

Related Dissertations

1. Philosophical Research on the Intelligence Space in the Pervasive Computing Environment,N02
2. Study on Acquisition Query Techniques Based on Teams in Wireless Sensor Networks,TN929.5
3. The Model of Services Publishment and Choise in Self-Organizing Network Environment,TP393.09
4. Mobile Ad-Hoc Network Services Resource Management,TN929.5
5. Research and Implementation on Context-aware Architecture for Pervasive Computing,TP338
6. Elder Care Assistant System Based on Pervasive Computing,TP311.52
7. Automatic Verification of Security Protocols Based on Tree Automata,TP393.08
8. An Novel BAN-Liked Logic for Security Protocol Analysis and Its Automatic Implementation,TP393.08
9. Research on Formal Analysis Methods of Security Protocols Based on Strand Space Model,TP393.08
10. Service Discovery Based on Maemo Moile Terminal,TN929.53
11. Research on Web Services Based on REST,TP393.09
12. OWL-S - based Web services discovery research,TP393.09
13. Ontology-based QoS and business applications,TP393.09
14. Research on Pervasive Computing Security Technology,TP393.08
15. A Personalized Recommendation Model Fused with Users’ Behavioral Context-awareness,TP393.09
16. Research on the Semantic-based Web Service Discovery and Algorithm,TP393.09
17. Research and Application on Formal Analysis of Security Protocol of Mobile Ad Hoc Network,TN929.5
18. A Research on Service Discovery Model for Mobile Ad Hoc Networks Based on Zrp》,TN929.5
19. ScudCORE: A Context-driven Reasoning Engine,TP391.3
20. Research on Some Key Techniques of Context-aware Computing Based on Pervasive Computing,TP391.1