MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Non-Determinism and SDL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

An Approach to Automatic Detection of Software Failures
by Hlady Kovacevic Li, R. Kovacevic, J. J. Li, B. R. Pekilis, D. Prairie, T. Savor, R. E. Seviora, D. Simser, A. Vorobiev — 1995 — In Proceedings of the IEEE 6th International Symposium on Software Reliability Engineering (ISSRE
… In order to deal with the non-determinisms of SDL, an input-driven software supervisor must: (1) generate a…
Add To MetaCart

A Real-Time Supervision Approach to the Improvement of Software Reliability
by Li And Seviora, J. J. Li, R. E. Seviora — 1993 — In Proceedings of the IASTED International Conference: Reliability, Quality Control and Risk Assessment
… of supervisor are the non-determinisms permissible under SDL. For instance, in SDL, the communication between…
Cited by 3 (2 self) – Add To MetaCart

Improving the Efficiency of Supervision by Software Through State Aggregation
by Savor And Seviora, R. E. Seviora — 1995 — In IEEE Real-Time Technology and Applications Symposium
… alternatives allowable under the non-determinisms of SDL. The objective of this work is the improvement…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB