Ming-Yee Lai

Publication Activity (10 Years)

Years Active: 1981-2015
Publications (10 Years): 1

Top Topics

Remote Monitoring

Control Problems

Indoor Positioning

Top Venues

Publications

Christian Makaya, Ming-Yee Lai, Fuchun Joseph Lin
Over-the-air remote management and control of IP-based M2M devices. WF-IoT (2015)
Kenji Hori, Tomohiko Ogishi, Ming-Yee Lai, Dana Chee, Kaustubh Sinkar
Automatic over-the-air provisioning for Wi-Fi equipped M2M devices. LCN (2013)
Amjad Umar, Deborah Elsinger, Ming-Yee Lai
Next Generation Enterprises: A Framework for Analysis. AIWoRC (2000)
Ming-Yee Lai
An Advanced Overview of the XIS Architecture. ICSI (1990)
Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin
On Distributing JASMIN's Optimistic Multiversioning Page Manager. IEEE Trans. Software Eng. 15 (6) (1989)
Tony T. Lee, Ming-Yee Lai
A Relational Algebraic Approach to Protocol Verification. IEEE Trans. Software Eng. 14 (2) (1988)
Ming-Yee Lai, Vladimir Lanin
Distributing the Optimistic Multiversioning Page Manager in the Jasmin Database Machine. IWDM (1987)
Ming-Yee Lai, Tony T. Lee
Protocol Verification Using Relational Database Systems. ICDE (1987)
W. Kevin Wilkinson, Ming-Yee Lai
The JASMIN Kernel as a Data Manager Base. IEEE Database Eng. Bull. 9 (3) (1986)
W. Kevin Wilkinson, Ming-Yee Lai
Managing Replicate Data in JASMIN. Symposium on Reliability in Distributed Software and Database Systems (1984)
Ming-Yee Lai, W. Kevin Wilkinson
Distributed Transaction Management in Jasmin. VLDB (1984)
Daniel H. Fishman, Ming-Yee Lai, W. Kevin Wilkinson
Overview of the Jasmin Database Machine. SIGMOD Conference (1984)
Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai
Analyzing Concurrency Control Algorithms When User and System Operations Differ. IEEE Trans. Software Eng. 9 (3) (1983)
Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai
Two Part Proof Schema for Database Concurrency Control. Berkeley Workshop (1981)