10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Latest Publications

TOTAL DOCUMENTS

80

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By IEEE

0769530435, 9780769530437

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Systems Architectures for Transactional Network Interface

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.69 ◽

2007 ◽

Author(s):

Manish Marwah ◽

Shivakant Mishra ◽

Christof Fetzer

Keyword(s):

Network Interface ◽

Systems Architectures

Download Full-text

Research on Noise Problem of Reputation Estimation in Virtual Enterprise

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.61 ◽

2007 ◽

Author(s):

Shaofei Wu ◽

Shixian Wang

Keyword(s):

Virtual Enterprise

Download Full-text

Vulnerability Discovery in Multi-Version Software Systems

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.55 ◽

2007 ◽

Author(s):

Jinyoo Kim ◽

Yashwant K. Malaiya ◽

Indrakshi Ray

Keyword(s):

Software Systems ◽

Vulnerability Discovery

Download Full-text

Finance Sector: Requirements for High Assurance within Spatial SOA Based Grid Infrastructures

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.45 ◽

2007 ◽

Author(s):

P C Donachy ◽

R H Perrott ◽

T J Harmer ◽

F Sharkey

Keyword(s):

High Assurance ◽

Grid Infrastructures

Download Full-text

Placement in Dependable and Secure Peer-to-Peer Data Grids

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.51 ◽

2007 ◽

Author(s):

Manghui Tu ◽

Liangliang Xiao ◽

Hui Ma ◽

I-Ling Yen ◽

Farokh Bastani

Keyword(s):

Peer To Peer ◽

Download Full-text

Methodology for Evaluating Aeronautical Regulations using Formal Specifications

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.36 ◽

2007 ◽

Author(s):

Eduardo Rafael Lopez Ruiz

Keyword(s):

Formal Specifications

Download Full-text

A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.65 ◽

2007 ◽

Author(s):

Qi Zhang ◽

Carlos Rendon ◽

Veronica Montes De Oca ◽

Prof. Daniel R. Jeske ◽

Dr. Mazda Marvasti

Keyword(s):

Network Surveillance

Download Full-text

Preliminary Models of the Cost of Fault Tolerance

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.11 ◽

2007 ◽

Author(s):

Ronald J. Leach

Keyword(s):

Fault Tolerance ◽

Download Full-text

Duplication Based Integrated Task and Message Scheduling on a Heterogeneous Network of Workstations (NOWs)

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.20 ◽

2007 ◽

Author(s):

Nitin Auluck

Keyword(s):

Heterogeneous Network ◽

Message Scheduling ◽

Network Of Workstations

Download Full-text

Committees

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.6 ◽

2007 ◽

Download Full-text