ONLINE MONITORING - A TUTORIAL

被引：46
|
作者：
SCHROEDER, BA
机构：
[1] State University of New York, Binghamton
来源：
COMPUTER | 1995年 / 28卷 / 06期
关键词：
D O I：
10.1109/2.386988
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
On-line monitoring can complement formal techniques to increase application dependability. This tutorial outlines the concepts and identifies the activities that comprise event-based monitoring, describing several representative monitoring systems.
引用
收藏
页码：72 / 78
页数：7
相关论文
共 50 条
  • [21] TUTORIAL ON ONLINE SUBSTRUCTURE SEARCHING FOR INORGANIC CHEMISTS
    KOZLOWSKI, AW
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1985, 190 (SEP): : 48 - INR
  • [22] Usability testing of an online information literacy tutorial
    Bury, Sophie
    Oud, Joanne
    REFERENCE SERVICES REVIEW, 2005, 33 (01) : 54 - +
  • [23] Assessing the TIP online information literacy tutorial
    Tronstad, Bryan
    Phillips, Lori
    Garcia, Jenny
    Harlow, Mary Ann
    REFERENCE SERVICES REVIEW, 2009, 37 (01) : 54 - +
  • [24] Tutorial: development of an online risk calculator platform
    Ji, Xinge
    Kattan, Michael W.
    ANNALS OF TRANSLATIONAL MEDICINE, 2018, 6 (03)
  • [25] CRITICAL THINKING IN A COLLABORATIVE ONLINE PBL TUTORIAL
    Schell, Robyn
    Kaufman, David
    JOURNAL OF EDUCATIONAL COMPUTING RESEARCH, 2009, 41 (02) : 155 - 170
  • [26] Tutorial on Online User Engagement: Metrics and Optimization
    Hong, Liangjie
    Lalmas, Mounia
    COMPANION OF THE WORLD WIDE WEB CONFERENCE (WWW 2019 ), 2019, : 1303 - 1305
  • [27] Monitoring and Measuring Hybrid Behaviors A Tutorial
    Nickovic, Dejan
    RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 378 - 402
  • [28] A Tutorial on Stream-Based Monitoring
    Baumeister, Jan
    Finkbeiner, Bernd
    Kohn, Florian
    Scheerer, Frederik
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 624 - 648
  • [29] Student Engagement with Online Tutorial: A Perspective on Flow Theory
    Santosa, P. I.
    INTERNATIONAL JOURNAL OF EMERGING TECHNOLOGIES IN LEARNING, 2015, 10 (01): : 60 - 67
  • [30] A Tutorial-Generating Method for Autonomous Online Learning
    Wu, Xiang
    Wang, Huanhuan
    Zhang, Yongting
    Zou, Baowen
    Hong, Huaqing
    IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, 2024, 17 : 1558 - 1567
12345