SECURE COMPUTATIONAL WORKFLOWS von Ross, Robert B, Martin, Patrick J, Baker, Brent C, Eakman, Gregory T, Blakley, Collin T

Volltext bestellen

UML fits abnormal system-states test von Eakman, Gregory T

Volltext

Flexible Monitor Deployment for Runtime Verification of Large Scale Software von Zhang, Teng, Eakman, Gregory, Lee, Insup, Sokolsky, Oleg

Volltext

Cyber situational awareness through operational streaming analysis von Streilein, W. W., Truelove, J., Meiners, C. R., Eakman, G.

Volltext

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement von Zhang, Teng, Wiegley, John, Giannakopoulos, Theophilos, Eakman, Gregory, Pit-Claudel, Clément, Lee, Insup, Sokolsky, Oleg

Volltext

Cyber Situational Awareness through Operational Streaming Analysis von Streilein, William W, Truelove, John, Meiners, Chad R, Eakman, Gregory

Volltext bestellen

Quadratically convergent techniques in linearly constrained optimization von Husen, Gregory J., Eakman, James M.

Volltext

Estimation of parameters in population models for Schizosaccharomyces pombe from chemostat data von Kothari, Indravadan R., Martin, Gregory C., Reilly, Peter J., Martin, Peter J., Eakman, James M.

Volltext