Glenn H. MacEwen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2019

Patient-Specific Physiological Monitoring and Prediction Using Structured Gaussian ProcessesTingting Zhu, Glen Wright Colopy, Glenn H. MacEwen, Katherine E. Niehaus, Yang Yang, Chris W. Pugh, David A. Clifton. access, 7:58094-58103, 2019. [doi]

1996

Behavioral Views for Software Requirements EngineeringAyaz Isazadeh, David Alex Lamb, Glenn H. MacEwen. ECBS 1996: 300-307 [doi]

Task Behavior Monitoring for Adaptive Real-Time CommunicationSam K. Oh, Glenn H. MacEwen. rts, 11(2):173-195, 1996.

1995

Behavioral patterns for software requirement engineeringAyaz Isazadeh, Glenn H. MacEwen, Andrew J. Malton. cascon 1995: 33 [doi]

1994

Interfacing Ada with verification languagesDavid Leeson, Glenn H. MacEwen, David Andrews. setada 1994: 74-81 [doi]

1992

A Logic for Reasoning About SecurityJanice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden. tocs, 10(3):226-264, 1992. [doi]

1991

A Proof of Secrecy for a Network Security ModelGlenn H. MacEwen, Janice I. Glasgow. csfw 1991: 176-181

1990

A Logic for Reasoning about SecurityJanice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden. csfw 1990: 2-13

1989

Obligation as the Basis of Integrity SpecificationJanice I. Glasgow, Glenn H. MacEwen. csfw 1989: 64-70

An Operator Net Model for Distributed SystemsJanice I. Glasgow, Glenn H. MacEwen. dc, 3(4):196-209, 1989.

1988

Reasoning about knowledge in multilevel secure distributed systemsJanice I. Glasgow, Glenn H. MacEwen. sp 1988: 122-128 [doi]

Reasoning about Knowledge and Permission in Secure Distributed SystemsJanice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden. csfw 1988: 139-146

Security by Permission in DatabasesJanice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden. dbsec 1988: 197-205

Using Higher-order Logic for Modular Specification of Real-time Distributed SystemsGlenn H. MacEwen, David B. Skillicorn. ftrtft 1988: 36-66

1987

1986

RNet: A Hard Real-Time Distributed Programming SystemChantal Belzile, Michael F. Coulas, Glenn H. MacEwen, Genevieve Marquis. rtss 1986: 2-13

1985

LUCID: a specification language for distributed systemsJanice I. Glasgow, Glenn H. MacEwen. sigsoft, 10(4):76-79, 1985. [doi]

1984

Multi-Level Security Based on Physical DistributionGlenn H. MacEwen, B. Burwell, Z.-J. Lu. sp 1984: 167-179

1983

The Design for a Secure System Based on Program AnalysisGlenn H. MacEwen. TSE, 9(3):289-299, 1983.

1982

Correction to Information Flow Certification Using an Intermediate Code Programm Representation Glenn H. MacEwen. TSE, 8(4):446, 1982.

Specification prototypingGlenn H. MacEwen. rpr 1982: 112-119 [doi]

1981

Abstraction hierarchies in top-down designGlenn H. MacEwen, T. Patrick Martin. jss, 2(3):213-224, 1981. [doi]

Information Flow Certification Using an Intermediate Code Program RepresentationAllan L. Mennie, Glenn H. MacEwen. TSE, 7(6):594-607, 1981.

1977

A Simulation Sequencing AlgorithmGlenn H. MacEwen. SPE, 7(2):165-172, 1977.

1975

Errata: Performance of Movable-Head Disk Storage Devices C. C. Gotlieb, Glenn H. MacEwen. JACM, 22(1):172, 1975. [doi]

1974

On Instrumentation Facilities in Programming LanguagesGlenn H. MacEwen. ifip 1974: 198-203

A programming project for a course in operating systemsGlenn H. MacEwen. SIGCSE, 6(2):29-36, 1974. [doi]

1973

Performance of Movable-Head Disk Storage DevicesC. C. Gotlieb, Glenn H. MacEwen. JACM, 20(4):604-623, 1973. [doi]

Sign in or sign up to see more results.

runs on WebDSL