Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0818685972

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

VP reservation for rapid restoration using multiagents

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706662 ◽

2002 ◽

Cited By ~ 4

Author(s):

Y. Kakuda ◽

S. Nagano ◽

T. Kikuno ◽

M. Terabe

Keyword(s):

Rapid Restoration

Download Full-text

The architecture tradeoff analysis method

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706657 ◽

2002 ◽

Cited By ~ 63

Author(s):

R. Kazman ◽

M. Klein ◽

M. Barbacci ◽

T. Longstaff ◽

H. Lipson ◽

...

Keyword(s):

Analysis Method ◽

Tradeoff Analysis

Download Full-text

Inter-completion time scheduling (ICTS): non-preemptive scheduling to maximize the minimum inter-completion time

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706653 ◽

2002 ◽

Author(s):

C.C. Amaro ◽

A.D. Stoyen ◽

S.K. Baruah

Keyword(s):

Completion Time ◽

Preemptive Scheduling ◽

Time Scheduling

Download Full-text

Open complex computer systems are no silver bullet

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706658 ◽

2002 ◽

Cited By ~ 3

Author(s):

T. O'Neill ◽

J. Leaney

Keyword(s):

Computer Systems ◽

Silver Bullet ◽

Complex Computer

Download Full-text

An approach to specifying and verifying safety-critical systems with practical formal method SOFL

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706660 ◽

2002 ◽

Cited By ~ 16

Author(s):

S. Liu ◽

M. Asuka ◽

K. Komaya ◽

Y. Nakamura

Keyword(s):

Formal Method ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Design patterns in Petri net system modeling

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706655 ◽

2002 ◽

Cited By ~ 5

Author(s):

M. Naedele ◽

J.W. Janneck

Keyword(s):

Petri Net ◽

Design Patterns ◽

System Modeling

Download Full-text

Risk assessment and integrity in system design

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706661 ◽

2002 ◽

Author(s):

R.S. Berg ◽

V. Winter

Keyword(s):

Risk Assessment ◽

System Design

Download Full-text

A method and a technique to model and ensure timeliness in safety critical real-time systems

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706651 ◽

2002 ◽

Cited By ~ 2

Author(s):

C. Aussagues ◽

V. David

Keyword(s):

Real Time ◽

Real Time Systems ◽

Safety Critical ◽

Time Systems

Download Full-text

Metrics and tool for system assessment

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706654 ◽

2002 ◽

Cited By ~ 5

Author(s):

G. Bucci ◽

F. Fioravanti ◽

P. Nesi ◽

S. Perlini

Keyword(s):

System Assessment

Download Full-text

Evaluating the performance of group membership protocols

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) ◽

10.1109/iceccs.1998.706652 ◽

2002 ◽

Author(s):

O. Suciu ◽

F. Cristian

Keyword(s):

Group Membership

Download Full-text

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

VP reservation for rapid restoration using multiagents

The architecture tradeoff analysis method

Inter-completion time scheduling (ICTS): non-preemptive scheduling to maximize the minimum inter-completion time

Open complex computer systems are no silver bullet

An approach to specifying and verifying safety-critical systems with practical formal method SOFL

Design patterns in Petri net system modeling

Risk assessment and integrity in system design

A method and a technique to model and ensure timeliness in safety critical real-time systems

Metrics and tool for system assessment

Evaluating the performance of group membership protocols

Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193)
Latest Publications