Proceedings 1997 High-Assurance Engineering Workshop
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0818679719

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software Complexity Analysis On Department Of Defense Real-time Systems

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648051 ◽

2005 ◽

Author(s):

W.G. Castaneda

Keyword(s):

Real Time ◽

Department Of Defense ◽

Complexity Analysis ◽

Real Time Systems ◽

Software Complexity ◽

Time Systems

Download Full-text

Combining testing and correctness verification in software reliability assessment

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648061 ◽

2002 ◽

Cited By ~ 1

Author(s):

B. Cukic

Keyword(s):

Software Reliability ◽

Reliability Assessment

Download Full-text

Analytical design of evolutionary control flow components

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648038 ◽

2002 ◽

Cited By ~ 2

Author(s):

C.L. Hoover ◽

P.K. Khosla

Keyword(s):

Control Flow ◽

Analytical Design ◽

Flow Components ◽

Evolutionary Control

Download Full-text

On the development of dependability-evaluation workbench for high-assurance system designers

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648031 ◽

2002 ◽

Author(s):

A.T. Tai ◽

K.S. Trivedi ◽

H. Hecht

Keyword(s):

Assurance System ◽

Dependability Evaluation ◽

High Assurance

Download Full-text

Verifying fault-tolerant behavior of state machines

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648044 ◽

2002 ◽

Cited By ~ 3

Author(s):

M.D. Cin

Keyword(s):

Fault Tolerant ◽

State Machines

Download Full-text

A recovery model for extended real-time transactions

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648050 ◽

2002 ◽

Author(s):

E. Nett ◽

M. Mock

Keyword(s):

Real Time ◽

Recovery Model

Download Full-text

Hierarchical specification of system behavior

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648052 ◽

2002 ◽

Author(s):

R. Sumners ◽

J.A. Abraham

Keyword(s):

System Behavior

Download Full-text

Process measures for predicting software quality

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648056 ◽

2002 ◽

Cited By ~ 10

Author(s):

T.M. Khoshgoftaar ◽

E.B. Allen ◽

R. Halstead ◽

G.P. Trio ◽

R. Flass

Keyword(s):

Software Quality ◽

Process Measures

Download Full-text

A case study of agreement problems in distributed systems: non-blocking atomic commitment

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648067 ◽

2002 ◽

Cited By ~ 4

Author(s):

M. Raynal

Keyword(s):

Distributed Systems ◽

Atomic Commitment

Download Full-text

Modeling applications for adaptive QoS-based resource management

Proceedings 1997 High-Assurance Engineering Workshop ◽

10.1109/hase.1997.648064 ◽

2002 ◽

Cited By ~ 38

Author(s):

S. Chatterjee ◽

J. Sydir ◽

B. Sabata ◽

T. Lawrence

Keyword(s):

Resource Management ◽

Adaptive Qos

Download Full-text

Proceedings 1997 High-Assurance Engineering WorkshopLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Software Complexity Analysis On Department Of Defense Real-time Systems

Combining testing and correctness verification in software reliability assessment

Analytical design of evolutionary control flow components

On the development of dependability-evaluation workbench for high-assurance system designers

Verifying fault-tolerant behavior of state machines

A recovery model for extended real-time transactions

Hierarchical specification of system behavior

Process measures for predicting software quality

A case study of agreement problems in distributed systems: non-blocking atomic commitment

Modeling applications for adaptive QoS-based resource management

Proceedings 1997 High-Assurance Engineering Workshop
Latest Publications