E-LIB Suche - Ergebnisse für: Miller, Raymond E.

1

Raymond E. Miller Interview: March 22, 2012; College Park, ..:

, In: ACM Oral History interviews,

Hemmendinger, David ; Miller, Raymond E. , 2012

Link: https://dl.acm.org/doi/1..

2

Network protocol system monitoring: a formal approach with ..:

Lee, David ; Chen, Dongluo ; Hao, Ruibing...
IEEE/ACM Transactions on Networking (TON). 14 (2006) 2 - p. 424-437 , 2006

Link: https://dl.acm.org/doi/1..

3

Discovery of Potent, Nonsystemic Apical Sodium-Codependent ..:

Huang, Horng-Chih ; Tremont, Samuel J. ; Lee, Len F....
Journal of Medicinal Chemistry. 48 (2005) 18 - p. 5853-5868 , 2005

Link: https://doi.org/10.1021/..

4

Discovery of Potent, Nonsystemic Apical Sodium-Codependent ..:

Tremont, Samuel J. ; Lee, Len F. ; Huang, Horng-Chih...
Journal of Medicinal Chemistry. 48 (2005) 18 - p. 5837-5852 , 2005

Link: https://doi.org/10.1021/..

5

A profitable multicast business model:

Kasera, Sneha ; Miller, Raymond E. ; Hofmann, Markus
Computer Communications. 27 (2004) 13 - p. 1278-1287 , 2004

Link: https://doi.org/10.1016/..

6

Estimating protocol performance using a formal specificatio..:

Miller, Raymond E. ; Chaudhry, Zafar Ullah
International Journal of Communication Systems. 12 (1999) 5-6 - p. 325-347 , 1999

Link: https://doi.org/10.1002/..

7

A multi-disciplinary plan for easier access, management, an..:

Hornstein, Rhoda Shaller ; Miller, Raymond E ; Hei Jr., Donald J...
Acta Astronautica. 41 (1997) 12 - p. 833-840 , 1997

Link: https://doi.org/10.1016/..

8

Generalized fair reachability analysis for cyclic protocols:

Liu, Hong ; Miller, Raymond E.
IEEE/ACM Transactions on Networking (TON). 4 (1996) 2 - p. 192-204 , 1996

Link: https://dl.acm.org/doi/1..

9

An approach to cyclic protocol validation:

Liu, Hong ; Miller, Raymond E.
Computer Communications. 19 (1996) 14 - p. 1175-1187 , 1996

Link: https://doi.org/10.1016/..

10

Book reviews:

Austin, Daniel F. ; Kaplan, Lawrence ; Carty, Susan...
Economic Botany. 48 (1994) 2 - p. 222-228 , 1994

Link: https://doi.org/10.1007/..

11

Structural analysis of protocol specifications and generati..:

Miller, Raymond E. ; Paul, Sanjoy
IEEE/ACM Transactions on Networking (TON). 2 (1994) 5 - p. 457-470 , 1994

Link: https://dl.acm.org/doi/1..

12

On the generation of minimal-length conformance tests for c..:

Miller, Raymond E. ; Paul, Sanjoy
IEEE/ACM Transactions on Networking (TON). 1 (1993) 1 - p. 116-129 , 1993

Link: https://dl.acm.org/doi/1..

13

Stabilization and pseudo-stabilization:

Burns, James E. ; Gouda, Mohamed G. ; Miller, Raymond E.
Distributed Computing. 7 (1993) 1 - p. 35-42 , 1993

Link: https://doi.org/10.1007/..

14

Protocol engineering (panel session):

, In: Proceedings of the 19th annual conference on Computer Science,

Gouda, Mohamed G. ; Miller, Raymond E. ; Sabnani, Krishan K.. - p. 703 ff. , 1991

Link: https://dl.acm.org/doi/1..

15

Specification and analysis of a data transfer protocol usin..:

Lundy, G. M. ; Miller, Raymond E.
Distributed Computing. 5 (1991) 3 - p. 145-157 , 1991

Link: https://doi.org/10.1007/..