Ming-Yee Lai

According to our database1, Ming-Yee Lai authored at least 14 papers between 1981 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Over-the-air remote management and control of IP-based M2M devices.
Proceedings of the 2nd IEEE World Forum on Internet of Things, 2015

2013
Automatic over-the-air provisioning for Wi-Fi equipped M2M devices.
Proceedings of the 38th Annual IEEE Conference on Local Computer Networks, 2013

2000
Next Generation Enterprises: A Framework for Analysis.
Proceedings of the 2000 Academia / Industry Working Conference on Research Challenges (AIWoRC 2000), 2000

1990
An Advanced Overview of the XIS Architecture.
Proceedings of the First International Conference on Systems Integration, 1990

1989
On Distributing JASMIN's Optimistic Multiversioning Page Manager.
IEEE Trans. Software Eng., 1989

1988
A Relational Algebraic Approach to Protocol Verification.
IEEE Trans. Software Eng., 1988

1987
Distributing the Optimistic Multiversioning Page Manager in the Jasmin Database Machine.
Proceedings of the Database Machines and Knowledge Base Machines, 1987

Protocol Verification Using Relational Database Systems.
Proceedings of the Third International Conference on Data Engineering, 1987

1986
The JASMIN Kernel as a Data Manager Base.
IEEE Database Eng. Bull., 1986

1984
Distributed Transaction Management in Jasmin.
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Managing Replicate Data in JASMIN.
Proceedings of the Fourth Symposium on Reliability in Distributed Software and Database Systems, 1984

Overview of the Jasmin Database Machine.
Proceedings of the SIGMOD'84, 1984

1983
Analyzing Concurrency Control Algorithms When User and System Operations Differ.
IEEE Trans. Software Eng., 1983

1981
Two Part Proof Schema for Database Concurrency Control.
Proceedings of the Fifth Berkeley Workshop on Distributed Data Management and Computer Networks, 1981


  Loading...