84 results on '"Wong, Peter Y."'
Search Results
2. Toward Religious Harmony
3. Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
4. Compositional Development of BPMN
5. Case Studies in Learning-Based Testing
6. Deadlock Analysis of Concurrent Objects: Theory and Practice
7. Run-Time Verification of Coboxes
8. HATS Abstract Behavioral Specification: The Architectural View
9. Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study
10. Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
11. Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
12. Property Specifications for Workflow Modelling
13. A Process Semantics for BPMN
14. CRL: A Context-Aware Request Language for Mobile Computing
15. Ruptured abdominal aortic aneurysm repair in pediatric Marfan syndrome patient
16. Outcomes of a single-center experience with classification and treatment of endothermal heat-induced thrombosis after endovenous ablation
17. Outcomes for forearm and upper arm arteriovenous fistula creation with the transposition technique
18. PC104. Arteriovenous Fistula Creation With Transposition Technique: A Review of Outcomes
19. The Acute Cold Leg
20. Thyroid Neoplasms
21. On Specifying and Visualising Long-Running Empirical Studies
22. A Process-Algebraic Approach to Workflow Specification and Refinement
23. Engineering Now
24. Vasculature of the hive: heat dissipation in the honey bee (Apis mellifera) hive
25. Preliminary results of Zenith Fenestrated abdominal aortic aneurysm endovascular grafts
26. Testing abstract behavioral specifications
27. Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
28. aPET: a test case generation tool for concurrent objects
29. Run-time checking of data- and protocol-oriented properties of Java programs
30. Endovascular Repair of Bilateral Iliac Aneurysms With Hypogastric Preservation
31. Formal methods and analysis in software product line engineering
32. The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
33. Modeling of Droplet-Based Processing for the Production of High-Performance Particulate Materials using the Level Set Method
34. Endovascular repair of traumatic thoracic aortic tears
35. Delta modeling in practice
36. Vascular procedures in nonagenarians and centenarians are safe
37. Development of an Endoscopic Fiber Optic Shape Tracker
38. Evaluation of techniques to model bend loss in multimode fibers for endoscopic application
39. Comparison of Physicochemical and Antioxidant Properties of Egg-White Proteins and Fructose and Inulin Maillard Reaction Products
40. Optical design of endoscopic shape-tracker using quantum dots embedded in fiber bundles
41. Carbon Nanospheres Fabricated by Pyrolysis of Micelles Formed in Pectin Gels
42. Verifying Business Process Compatibility (Short Paper)
43. Endoscope Shape-Tracker Based on Embedded Fluorescent Dyes in an Optical Fiber
44. Design of an Endoscope Shape Tracker to Guide Navigation in Colonoscopy
45. Advanced shape tracking to improve flexible endoscopic diagnostics
46. Modeling of Droplet-Based Processing for the Production of High-Performance Particulate Materials Using Level Set Method
47. Design of a Navigational Aid for Colonoscopy
48. The Effect of Hydrophobic Patterning on Micromolding of Aqueous-Derived Silk Structures
49. Effects of High-Speed Deformation on the Phase Stability and Interdiffusion in Ultrasonically Joined Aluminum and Zinc Foils
50. Thermal and Mass Modeling of the Laser-Point Sealing Process in MEMS Packaging
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.