 | 1996 |
|---|
| 6 |       | Rwo-Hsi Wang,
Aloysius K. Mok:
Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs.
ICDCS 1996: 47-54 |
| 5 | | Aloysius K. Mok,
Rwo-Hsi Wang,
Chih-Kan Wang:
Realizing EQL Programs for Bounded-Time Execution.
Journal of Systems Integration 6(1/2): 73-92 (1996) |
| 1995 |
|---|
| 4 |  | Rwo-Hsi Wang,
Aloysius K. Mok:
Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure.
IEEE Trans. Software Eng. 21(7): 605-614 (1995) |
| 1994 |
|---|
| 3 | | James C. Browne,
E. Allen Emerson,
Mohamed G. Gouda,
Daniel P. Miranker,
Aloysius K. Mok,
Roberto J. Bayardo Jr.,
Sarah E. Chodrow,
David Gadbois,
F. Furman Haddix,
Thomas W. Hetherington,
Lance Obermeyer,
Duu-Chung Tsou,
Chih-Kan Wang,
Rwo-Hsi Wang:
A New Approach to Modularity in Rule-Based Programming.
ICTAI 1994: 18-25 |
| 2 | | Rwo-Hsi Wang,
Aloysius K. Mok:
Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure.
IEEE Real-Time Systems Symposium 1994: 142-151 |
| 1993 |
|---|
| 1 | | Albert Mo Kim Cheng,
James C. Browne,
Aloysius K. Mok,
Rwo-Hsi Wang:
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.
IEEE Trans. Software Eng. 19(9): 863-885 (1993) |
