Ming-Yee Lai

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