Responsive Computing
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer US

9781461362043, 9781461527862

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compositional Reasoning about Responsive Systems with Limited Resources

Responsive Computing ◽

10.1007/978-1-4615-2786-2_5 ◽

1994 ◽

pp. 65-87 ◽

Cited By ~ 1

Author(s):

Henk Schepers

Keyword(s):

Limited Resources ◽

Compositional Reasoning ◽

Responsive Systems

Download Full-text

Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines

Responsive Computing ◽

10.1007/978-1-4615-2786-2_4 ◽

1994 ◽

pp. 49-63

Author(s):

Yoshiaki Kakuda ◽

Tohru Kikuno ◽

Kenichi Kawashima

Keyword(s):

Finite State Machines ◽

Automated Verification ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Enhancing Fault-Tolerance in Rate-Monotonic Scheduling

Responsive Computing ◽

10.1007/978-1-4615-2786-2_6 ◽

1994 ◽

pp. 89-103

Author(s):

Yingfeng Oh ◽

Sang H. Son

Keyword(s):

Fault Tolerance ◽

Rate Monotonic ◽

Rate Monotonic Scheduling

Download Full-text

Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems

Responsive Computing ◽

10.1007/978-1-4615-2786-2_2 ◽

1994 ◽

pp. 3-19 ◽

Cited By ~ 3

Author(s):

Alan A. Bertossi ◽

Luigi V. Mancini

Keyword(s):

Fault Tolerance ◽

Real Time ◽

Scheduling Algorithms ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Guest Editor’s Introduction

Responsive Computing ◽

10.1007/978-1-4615-2786-2_1 ◽

1994 ◽

pp. 1-2

Author(s):

Miroslaw Malek

Download Full-text

Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems

Responsive Computing ◽

10.1007/978-1-4615-2786-2_3 ◽

1994 ◽

pp. 21-47 ◽

Cited By ~ 2

Author(s):

Farnam Jahanian ◽

Ragunathan Rajkumar ◽

Sitaram C. V. Raju

Keyword(s):

Real Time ◽

Runtime Monitoring ◽

Timing Constraints ◽

Real Time Systems ◽

Time Systems

Download Full-text