Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818676299

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Active Multimedia Communication Systems

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618594 ◽

2005 ◽

Author(s):

Shi-Kuo Chang

Keyword(s):

Communication Systems ◽

Multimedia Communication ◽

Multimedia Communication Systems

Download Full-text

PSRR: a scheme for time-bounded fault tolerance in distributed object-based systems

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618573 ◽

2002 ◽

Cited By ~ 2

Author(s):

K.H. Kim ◽

C. Subbaraman

Keyword(s):

Fault Tolerance ◽

Distributed Object ◽

Object Based

Download Full-text

Software on the edge

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618565 ◽

2002 ◽

Author(s):

V.L. Winter

Download Full-text

Specifying fault tolerance in mission critical systems

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618557 ◽

2002 ◽

Cited By ~ 1

Author(s):

T.S. Perraju ◽

S.P. Rana ◽

S.P. Sarkar

Keyword(s):

Fault Tolerance ◽

Critical Systems ◽

Mission Critical

Download Full-text

A real-time specification environment based on Z and graphical object-oriented modeling techniques

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618556 ◽

2002 ◽

Author(s):

J.-M. Bruel ◽

R.B. France ◽

A. Benzekri ◽

Y. Raynaud

Keyword(s):

Real Time ◽

Object Oriented ◽

Graphical Object ◽

Modeling Techniques

Download Full-text

Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD)

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618569 ◽

2002 ◽

Author(s):

S.C. Shanahan

Keyword(s):

Department Of Defense ◽

Product Line ◽

Line Center ◽

Critical Systems ◽

Computer Based ◽

Mission Critical

Download Full-text

Transaction integration for reusable hard real-time components

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618583 ◽

2002 ◽

Author(s):

P. Cornwell ◽

A. Wellings

Keyword(s):

Real Time ◽

Hard Real Time

Download Full-text

Ten practical techniques for high assurance systems engineering

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618562 ◽

2002 ◽

Author(s):

V.T. Thomas

Keyword(s):

Systems Engineering ◽

High Assurance

Download Full-text

A general approach to secure components composition

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618607 ◽

2002 ◽

Cited By ~ 4

Author(s):

Q. Shi ◽

N. Zhang

Download Full-text

Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) ◽

10.1109/hase.1996.618580 ◽

2002 ◽

Cited By ~ 1

Author(s):

D.B. Stewart ◽

P.K. Khosla

Keyword(s):

Operating System ◽

Real Time ◽

Error Detection ◽

Timing Error ◽

Real Time Operating System

Download Full-text

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Active Multimedia Communication Systems

PSRR: a scheme for time-bounded fault tolerance in distributed object-based systems

Software on the edge

Specifying fault tolerance in mission critical systems

A real-time specification environment based on Z and graphical object-oriented modeling techniques

Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD)

Transaction integration for reusable hard real-time components

Ten practical techniques for high assurance systems engineering

A general approach to secure components composition

Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)
Latest Publications