42 results on '"Nam, Wonhong"'
Search Results
2. MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems
3. AESOP: Adjustable Exhaustive Search for One-Pixel Attacks in Deep Neural Networks
4. Semantic Web Service Composition Using Formal Verification Techniques
5. SAT Solving Technique for Semantic Web Service Composition
6. DL2Go: Editable Digital Libraries in the Pocket
7. MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems
8. Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
9. Symbolic Compositional Verification by Learning Assumptions
10. On the computational complexity of behavioral description-based web service composition
11. Formal Verification of Blockchain Smart Contracts via ATL Model Checking
12. ATL Model Checking for Analysis of Ethereum Smart Contracts
13. Graph Theoretic Topological Analysis of Web Service Networks
14. Automatic symbolic compositional verification by learning assumptions
15. Symbolic computational techniques for solving games
16. Automatic incremental recomposition algorithm for QoS-aware internet of things service composition
17. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System
18. Efficient Replanning Technique for QoS-aware Web Service Composition
19. DL2Go: Editable Digital Libraries in the Pocket
20. Winning Strategy Tree Construction for BDD-Based ATL Model Checkers
21. Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
22. Symbolic Compositional Verification by Learning Assumptions
23. Symbolic Computational Techniques for Solving Games
24. Reliable Approximated Number System with Exact Bounds and Three-Valued Logic
25. Optimal algorithm for Internet-of-Things service composition based on response time
26. Transaction history-based web service composition for uncertain QoS
27. Optimal algorithm for Internet-of-Things service composition based on response time
28. Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft
29. On-the-fly Learning-based Search for QoS-aware Web Service Composition
30. Semantic web service composition via model checking techniques
31. Behavioural description based web service composition using abstraction and refinement
32. Efficient anytime algorithm for large-scale QoS-aware web service composition
33. Synthesis and compositional verification using language learning
34. A Model of Multi-agent Design for Virtualization Resource Configuration in Cloud Computing
35. Anytime algorithm for QoS web service composition
36. QoS-Driven Web Service Composition Using Learning-Based Depth First Search
37. Automatic web service composition with abstraction and refinement
38. Computational Complexity of Web Service Composition Based on Behavioral Descriptions
39. Type-Aware Web Service Composition Using Boolean Satisfiability Solver
40. Synthesis of interface specifications for Java classes
41. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System
42. Active Learning of Plans for Safety and Reachability Goals With Partial Observability.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.