ICECCS B

13 papers

YearTitle / Authors
19984th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 10-14 August 1998, Monterey, CA, USA
1998A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.
Christophe Aussaguès, Vincent David
1998An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.
Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura
1998Applying Slicing Technique to Software Architectures.
Jianjun Zhao
1998Building Soft Real-Time Monitors Based on Software Reuse.
Mei-Ling Hsu, Tei-Wei Kuo
1998Design Patterns in Petri Net System Modeling.
Martin Naedele, Jörn W. Janneck
1998Evaluating the Performance of Group Membership Protocols.
Oliver Suciu, Flaviu Cristian
1998Inter-Completion Time Scheduling (ICTS): Non-Preemptive Scheduling to Maximize the Minimum Inter-Completion Time.
Carlos C. Amaro, Alexander D. Stoyen, Sanjoy K. Baruah
1998Metrics and Tool for System Assessment.
Giacomo Bucci, Fabrizio Fioravanti, Paolo Nesi, Sandro Perlini
1998Open Complex Computer Systems are No Silver Bullet.
Tim O'Neill, John Leaney
1998Risk Assessment and Integrity in System Design.
Raymond Berg, Victor L. Winter
1998The Architecture Tradeoff Analysis Method.
Rick Kazman, Mark H. Klein, Mario Barbacci, Thomas A. Longstaff, Howard F. Lipson, S. Jeromy Carrière
1998VP Reservation for Rapid Restoration Using Multiagents.
Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe