Search

Your search keyword '"Wong, Peter Y."' showing total 396 results
Start Over Author "Wong, Peter Y."
396 results on '"Wong, Peter Y."'

2. Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

Author

de Boer, Frank S., de Gouw, Stijn, Johnsen, Einar Broch, Kohn, Andreas, Wong, Peter Y. H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Chiba, Shigeru, editor, Tanter, Éric, editor, Bodden, Eric, editor, Maoz, Shahar, editor, and Kienzle, Jörg, editor

Published
2014
Full Text
View/download PDF

3. Case Studies in Learning-Based Testing

Author

Feng, Lei, Lundmark, Simon, Meinke, Karl, Niu, Fei, Sindhu, Muddassar A., Wong, Peter Y. H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

4. Run-Time Verification of Coboxes

Author

de Boer, Frank S., de Gouw, Stijn, Wong, Peter Y. H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hierons, Robert M., editor, Merayo, Mercedes G., editor, and Bravetti, Mario, editor

Published
2013
Full Text
View/download PDF

5. Compositional Development of BPMN

Author

Wong, Peter Y. H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Binder, Walter, editor, Bodden, Eric, editor, and Löwe, Welf, editor

Published
2013
Full Text
View/download PDF

6. Deadlock Analysis of Concurrent Objects: Theory and Practice

Author

Giachino, Elena, Grazia, Carlo A., Laneve, Cosimo, Lienhardt, Michael, Wong, Peter Y. H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Johnsen, Einar Broch, editor, and Petre, Luigia, editor

Published
2013
Full Text
View/download PDF

7. HATS Abstract Behavioral Specification: The Architectural View

Author

Hähnle, Reiner, Helvensteijn, Michiel, Johnsen, Einar Broch, Lienhardt, Michael, Sangiorgi, Davide, Schaefer, Ina, Wong, Peter Y. H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Beckert, Bernhard, editor, Damiani, Ferruccio, editor, de Boer, Frank S., editor, and Bonsangue, Marcello M., editor

Published
2013
Full Text
View/download PDF

8. Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study

Author

de Boer, Frank S., Hähnle, Reiner, Johnsen, Einar Broch, Schlatte, Rudolf, Wong, Peter Y. H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, De Paoli, Flavio, editor, Pimentel, Ernesto, editor, and Zavattaro, Gianluigi, editor

Published
2012
Full Text
View/download PDF

9. Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study

Author

Wong, Peter Y. H., Diakov, Nikolay, Schaefer, Ina, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Beckert, Bernhard, editor, Damiani, Ferruccio, editor, and Gurov, Dilian, editor

Published
2012
Full Text
View/download PDF

10. Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

Author

Clarke, Dave, Diakov, Nikolay, Hähnle, Reiner, Johnsen, Einar Broch, Schaefer, Ina, Schäfer, Jan, Schlatte, Rudolf, Wong, Peter Y. H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bernardo, Marco, editor, and Issarny, Valérie, editor

Published
2011
Full Text
View/download PDF

11. Property Specifications for Workflow Modelling

Author

Wong, Peter Y. H., Gibbons, Jeremy, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Leuschel, Michael, editor, and Wehrheim, Heike, editor

Published
2009
Full Text
View/download PDF

12. On Specifying and Visualising Long-Running Empirical Studies

Author

Wong, Peter Y. H., Gibbons, Jeremy, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Vallecillo, Antonio, editor, Gray, Jeff, editor, and Pierantonio, Alfonso, editor

Published
2008
Full Text
View/download PDF

13. A Process Semantics for BPMN

Author

Wong, Peter Y. H., Gibbons, Jeremy, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Liu, Shaoying, editor, Maibaum, Tom, editor, and Araki, Keijiro, editor

Published
2008
Full Text
View/download PDF

16. A Process-Algebraic Approach to Workflow Specification and Refinement

Author

Wong, Peter Y. H., Gibbons, Jeremy, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lumpe, Markus, editor, and Vanderperren, Wim, editor

Published
2007
Full Text
View/download PDF

17. CRL: A Context-Aware Request Language for Mobile Computing

Author

Chan, Alvin T. S., Wong, Peter Y. H., Chuang, Siu-Nam, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cao, Jiannong, editor, Yang, Laurence T., editor, Guo, Minyi, editor, and Lau, Francis, editor

Published
2005
Full Text
View/download PDF

18. Thyroid Neoplasms

Author

Wong, Peter Y., Prinz, Richard A., Saclarides, Theodore J., editor, Millikan, Keith W., editor, and Godellas, Constantine V., editor

Published
2003
Full Text
View/download PDF

27. Evaluation of techniques to model bend loss in multimode fibers for endoscopic application

Author

Eisenstein, Jessica, Wong, Peter Y., and Cao, Caroline G.L.

Subjects
Fiber optics -- Equipment and supplies, Fiber optics -- Properties, Fiber optics -- Usage, Optics -- Research, Optics -- Methods, Astronomy, Physics
Abstract

Bend loss from optical fibers can have positive applications, which need to be characterized and related to fiber curvature in a systematic approach to be useful. One potential application for optical fibers is a shape sensor for tracking flexible bodies in remote access environments, such as in endoscopy or boroscopy. We conducted a review of bend-loss characterization and evaluated several methods for characterizing bend loss in multimode optical fibers for an endoscopic shape-tracking application. Specifically, closed-form equation-based methods and numerical simulations were examined. Beam propagation method (BPM) simulations were determined to be the most applicable characterization tool. Results from simulations using BPM software were compared to experimentally obtained data. BPM simulation was sufficiently accurate for modeling 50 [micro]m fibers but impractical for larger, multimode fibers. OCIS codes: 060.2370, 280.4788, 170.2150, 080.1510.

Published
2010

42. Effects of a butterfly scale microstructure on the iridescent color observed at different angles

Author

Tada, Haruna, Mann, Seth E., Miaoulis, Ioannis N., and Wong, Peter Y.

Subjects
Butterflies -- Research, Iridescence -- Research, Astronomy, Physics
Abstract

Multilayer thin-film structures in butterfly wing scales produce a colorful iridescence from reflected sunlight. Because of optical phenomena, changes in the angle of incidence of light and the viewing angle of an observer result in shifts in the color of butterfly wings. Colors ranging from green to purple, which are due to nonplanar specular reflection, can be observed on Papilio blumei iridescent scales. This refers to a phenomenon in which the curved surface patterns in the thin-film structure cause the specular component of the reflected light to be directed at various angles while affecting the spectral reflectivity at the same time by changing the optical path length through the structure. We determined the spectral reflectivities of P. blumei iridescent scales numerically by using models of a butterfly scale microstructure and experimentally by using a microscale-reflectance spectrometer. The numerical models accurately predict the shifts in spectral reflectivity observed experimentally.

Published
1998

46. Cross correlation of optical properties of thin films under thermal radiation

Author

Wong, Peter Y., Trefethen, Lloyd M., and Miaoulis, IoannisN.

Subjects
Thin films -- Optical properties, Thin films, Multilayered -- Research, Physics
Abstract

The link between the optical characteristics and temperature distributions in multilayer thin film structures exposed to thermalradiation was investigated. The results showed that film thickness, geometry and material characteristics determined the correlation. Variation in film thickness resulted in local minima and maxima in reflectivity and temperature distribution of these structures. This behavior was brought about by a cross correlation phenomenon that occurred when the optical thickness of the films was equal over a broad radiation spectrum.

Published
1992

47. In situ measurement of thermomechanical effects and properties in thin-film polymers

Author

Bluestein, Stephen D., Chan, Eddy K., Miaoulis, Ioannis N., and Wong, Peter Y.

Subjects
In situ processing (Mining) -- Methods, Magnetic fluids -- Thermomechanical properties, Polymers -- Models, Microelectronic packaging -- Analysis, Business, Electronics and electrical industries, Engineering and manufacturing industries
Abstract

The effects of microelectronic packaging on the thermomechanical properties of polymers are examined. The impact of thermal loading on a polymide structure is discussed, and the manufacturing process' impact on a multilayer structure's curvature change is analyzed.

Published
1999

Catalog

Books, media, physical & digital resources
See catalog results