|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 130 occurrences of 109 keywords
|
|
|
|
|
Results
Found 115 publication records. Showing 115 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Jinyu Zhang, Wei Cai, Xianxiang Huang, Jian Xie |
Online Monitoring and Intelligent Diagnosis System Based on Hybrid Wireless Network for Large Complicated Equipment.  |
HIS  |
2009 |
DBLP DOI BibTeX RDF |
Technology of Instrument and Meter, Intelligent Fault Diagnosis, Embedded System, Online Monitoring, Hybrid Wireless Network |
| 2 | Bin Zhang 0011 |
Online circuit reliability monitoring. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
reliability, circuit, macromodel, online monitoring |
| 2 | Qianxiang Wang, Yonggang Liu, Min Li, Hong Mei |
An Online Monitoring Approach for Web services. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Wenyan Wu 0002, Jinliang Gao, Ming Zhao, Zu Qian, X. Q. Hou, Y. Han |
Assessing and Optimizing Online Monitoring for Securing the Water Distribution System. |
ICNSC |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Nikolaos G. Bartzoudis, Klaus D. McDonald-Maier |
Online monitoring of FPGA-based co-processing engines embedded in dependable workstations. |
IOLTS |
2007 |
DBLP DOI BibTeX RDF |
FPGAs, error detection, dependable systems, online monitoring |
| 2 | Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora |
Formal Specification-based Online Monitoring. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Bernhard Rinner, U. Weiss |
Online monitoring by dynamically refining imprecise models. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Guangzhi Qu, Salim Hariri, Santosh Jangiti, Jayprakash Rudraraju, Seungchan Oh, Samer Fayssal, Guangsen Zhang, Manish Parashar |
Online Monitoring and Analysis for Self-Protection against Network Attacks. |
ICAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Mohammad Zulkernine, Rudolph E. Seviora |
Assume-Guarantee Algorithms for Automatic Detection of Software Failures. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
applied formal methods, Software reliability, compositionality, failure detection, online monitoring |
| 2 | Yun Mao, Kang Chen, Dongsheng Wang, Weimin Zheng |
Cluster-based online monitoring system of web traffic. |
WIDM |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Roland Fried, Ursula Gather, Michael Imhoff, Marcus Bauer |
Some Statistical Methods in Intensive Care Online Monitoring - A Review. |
ISMDA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Tian, Cheng Wang, Xixue Zhang |
Design of the Storage Battery Online Monitoring System. |
Computer and Information Science |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jerome Soumagne, John Biddiscombe |
Computational Steering and Parallel Online Monitoring Using RMA through the HDF5 DSM Virtual File Driver. |
Procedia CS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Borowski, Sylvia Siebig, Christian Wrede, Michael Imhoff |
Reducing False Alarms of Intensive Care Online-Monitoring Systems: An Evaluation of Two Signal Extraction Algorithms. |
Comp. Math. Methods in Medicine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad Afaneh, Alexander N. Kalashnikov |
Embedded processing of acquired ultrasonic waveforms for online monitoring of fast chemical reactions in aqueous solutions. |
IDAACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong Chul Lee, Andrew S. Gardner, Roman Lysecky |
Hardware Observability Framework for Minimally Intrusive Online Monitoring of Embedded Systems. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
online system monitoring, verification, testing, validation, observability |
| 1 | Xiuli Ma, Hongmei Xiao, Shuiyuan Xie, Qiong Li, Qiong Luo, Chunhua Tian |
Continuous, online monitoring and analysis in large water distribution networks. |
ICDE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, Jamal Bentahar |
Online monitoring for sustainable communities of Web Services. |
Integrated Network Management |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Guo, Xiubin He, Dongchun Yan, Yuhai Bao |
Online monitoring system for soil erosion and non-point source pollution in the Three-gorge Reservoir Area. |
ICSDM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Y. M. Lai, Xueling Zheng, K. P. Chow, Lucas Chi Kwong Hui, Siu-Ming Yiu |
Automatic Online Monitoring and Data-Mining Internet Forums. |
IIH-MSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junfeng Man, Luming Yang, Lanjun Wan Man, Lanjun Wan, Xiangbing Wen |
Research on Online Monitoring and Analyzing of Interactive Behavior of Distributed Software. |
JSW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihaela Albu, Elias Kyriakides, G. Chicco, M. Popa, Alexandru Nechifor |
Online Monitoring of the Power Transfer in a DC Test Grid. |
IEEE T. Instrumentation and Measurement |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangcheng Cheng, Yaqin Li, Huizhong Yang, Nam Sun Wang |
Online Monitoring of Catalyst Activity for Synthesis of Bisphenol A. |
LSMS/ICSEE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahendra Kutare, Greg Eisenhauer, Chengwei Wang, Karsten Schwan, Vanish Talwar, Matthew Wolf |
Monalytics: online monitoring and analytics for managing large scale data centers. |
ICAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi |
Online Monitoring of Software System Reliability. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
reliability, monitoring |
| 1 | Manfred Grauer, Sachin S. Karadgi, Daniel Metz, Walter Schäfer |
Online Monitoring and Control of Enterprise Processes in Manufacturing Based on an Event-Driven Architecture. |
Business Process Management Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengwu Dai, Weicong Zhang |
Design of online monitoring unit of capacitive equipment based on DSP. |
BIC-TA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa |
Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
watchdogs, fault tolerance, distributed systems, model checking, intrusion tolerance, online monitoring |
| 1 | Qingmin Li, Li Zhang, Tong Zhao |
Definition of Instantaneous Dielectric Loss Factor and Digital Algorithm for Online Monitoring. |
IEEE T. Instrumentation and Measurement |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qianxiang Wang, Jin Shao, Fang Deng, Yonggang Liu, Min Li, Jun Han, Hong Mei |
An Online Monitoring Approach for Web Service Requirements. |
IEEE T. Services Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianzhong He, Yanjie Guo |
The Online Monitoring System in Wet Zinc Metallurgy Leaching Process Based on Fieldbus. |
ISCID |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen H. Jin, Dan Wu |
MA-DBN: Modeling Cooperative Agents for Approximate Online Monitoring. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinsuo Lu, Tinglin Huang |
Data Mining on Forecast Raw Water Quality from Online Monitoring Station Based on Decision-Making Tree. |
NCM |
2009 |
DBLP DOI BibTeX RDF |
forcasting, decision-making tree, data mining, water quality |
| 1 | Zhengwei Qi, Alei Liang, Haibing Guan, Ming Wu, Zheng Zhang |
A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services. |
NCM |
2009 |
DBLP DOI BibTeX RDF |
Web Services, Model Checking, Online Monitoring |
| 1 | Hao Yin, Wen Hui, Quan Miao, Zheng Li, Chuang Lin |
IVForensic: a digital forensics service platform for internet videos. |
ACM Multimedia |
2009 |
DBLP DOI BibTeX RDF |
video fingerprint, digital forensics, digital video |
| 1 | Luiz Fernando Gonçalves, Jefferson Luiz Bosa, Renato V. B. Henriques, Marcelo Lubaszewski |
Design of an embedded system for the proactive maintenance of electrical valves. |
SBCCI |
2009 |
DBLP DOI BibTeX RDF |
electromechanical systems, novel applications of FPGAs, testability issues, embedded systems |
| 1 | Nanyan Jiang, Manish Parashar |
Enabling autonomic power-aware management of instrumented data centers. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Costas-Perez, Juan J. Rodríguez-Andina |
Algorithmic Concurrent Error Detection in Complex Digital-Processing Systems. |
IEEE Design & Test of Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe |
Lightweight Online Performance Monitoring and Tuning with Embedded Gossip. |
IEEE Trans. Parallel Distrib. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiyun Huang, Edward Omiecinski, Leo Mark, Minh Quoc Nguyen |
History Guided Low-Cost Change Detection in Streams. |
DaWaK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Mashima, Mustaque Ahamad, Swagath Kannan |
User-Centric Handling of Identity Agent Compromise. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Grigore Rosu |
Parametric Trace Slicing and Monitoring. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan-Tien Doan, Rajagopalan Srinivasan |
Online monitoring of multi-phase batch processes using phase-based multivariate statistical process control. |
Computers & Chemical Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Kasberger, A. Saeed, W. Hilber, K. Hingerl, Bernhard Jakoby |
Towards an integrated IR-absorption microsensor for the online monitoring of fluids. |
Elektrotechnik und Informationstechnik |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Ge, Yangsheng Xu, Ruxu Du |
An Intelligent Online Monitoring and Diagnostic System for Manufacturing Automation. |
IEEE T. Automation Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Woosung Kim, Jayant M. Naik |
Using Model Trees for Online Monitoring of Human-Computer Call Dialogues. |
IC-AI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Haggai Roitman, Avigdor Gal, Louiqa Raschid |
Satisfying Complex Data Needs using Pull-Based Online Monitoring of Volatile Data Sources. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aoying Zhou, Ying Yan, Xueqing Gong, Jianlong Chang, Dai Dai |
SMART: A System for Online Monitoring Large Volumes of Network Traffic. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Atkinson, Jakub Piskorski, Bruno Pouliquen, Ralf Steinberger, Hristo Tanev, Vanni Zavarella |
Online-Monitoring of Security-Related Events. |
COLING (Demos) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franco Raimondi, James Skene, Wolfgang Emmerich |
Efficient online monitoring of web-service SLAs. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
services, service level agreements, on-line monitoring |
| 1 | Xinbo Huang, Qindong Sun |
Accuracy of an Icing On-line Monitoring System. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Accuracy, transmission lines, Icing, Online Monitoring |
| 1 | Jiantao Kong, Karsten Schwan, Min Lee, Mustaque Ahamad |
Protectit: trusted distributed services operating on sensitive data. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
traffic interception, trusted data path, data protection |
| 1 | Gregory F. Diamos, Sudhakar Yalamanchili |
Harmony: an execution model and runtime for heterogeneous many core systems. |
HPDC |
2008 |
DBLP DOI BibTeX RDF |
scheduling, optimization, heterogeneous, gpgpu, performance monitoring, dependency graph, many core, runtime, harmony |
| 1 | Manolis Delakis, Kostas Mathioudakis, Nikos Petroulakis, Vasilios A. Siris |
Experiences and investigations with Heraklion MESH: an experimental metropolitan multi-radio mesh network. |
TRIDENTCOM |
2008 |
DBLP DOI BibTeX RDF |
electromagnetic field monitoring, inter-link interference, long-distance 802.11a links, channel assignment |
| 1 | Cristian Grossmann, Christian Langel, Marco Mazzotti, Massimo Morbidelli, Manfred Morari |
Multi-rate optimizing control of simulated moving beds. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunling Liu, Dalong Liu, Jun Guo, Lin Yuan |
ANN-Based Service Level Control in Cluster Supply Chain. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bikram Sengupta, Nilanjan Banerjee, Animashree Anandkumar, Chatschik Bisdikian |
Non-intrusive transaction monitoring using system logs. |
NOMS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Rodriguez-Donate, René de Jesús Romero-Troncoso, Arturo Garcia-Perez, Daniel A. Razo-Montes |
FPGA based embedded system for induction motor failure monitoring at the start-up transient vibrations with wavelets. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Carriço, Luís Duarte, António Broega, Diogo Reis |
Comparing Usage Performance on Mobile Applications. |
CRIWG |
2008 |
DBLP DOI BibTeX RDF |
User Performance & Monitoring, Mobile Devices, Groupware |
| 1 | Mohamed Nassar, Radu State, Olivier Festor |
Monitoring SIP Traffic Using Support Vector Machines. |
RAID |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hazim El-Mounayri, Tamer Wasfy, Eugenia Fernandez, Jeanne Peters |
Innovative Online Course Using an Integrated Virtual Reality Based E-Learning Tool with Course Management Tool. |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Goto, Naoyuki Takahashi, Munenori Kasahara, Yusuke Hasegawa |
Online monitoring and scheduling methods for event-varying DESs with capacity constraints. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Katell Morin-Allory, Laurent Fesquet, Benjamin Roustan, Dominique Borrione |
Asynchronous online-monitoring of logical and temporal assertions. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Takashi Hoshino, Kazuo Goda, Masaru Kitsuregawa |
Online Monitoring of Database Structural Deterioration. |
ICAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Holze, Norbert Ritter |
Towards workload shift detection and prediction for autonomic databases. |
PIKM |
2007 |
DBLP DOI BibTeX RDF |
DBMS architecture, autonomic databases, workload shift detection, workload shift prediction, workload modelling |
| 1 | Nikolaos G. Bartzoudis, Klaus D. McDonald-Maier |
An embedded sensor validation system for adaptive condition monitoring of a wind farms. |
AHS |
2007 |
DBLP DOI BibTeX RDF |
Sensor validation, FPGAs, embedded systems, adaptive systems, condition monitoring |
| 1 | Martin Rehák, Michal Pechoucek, Karel Bartos, Martin Grill, Pavel Celeda |
Network Intrusion Detection by Means of Community of Trusting Agents. |
IAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe |
Embedded Gossip: Lightweight Online Measurement for Large-Scale Applications. |
ICDCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yueguo Chen, Mario A. Nascimento, Beng Chin Ooi, Anthony K. H. Tung |
SpADe: On Shape-based Pattern Detection in Streaming Time Series. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tauseef Gulrez, Manolya Kavakli |
Sensor Relevance Establishment Problem in SharedInformation Gathering Sensor Networks. |
ICNSC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Jean-Baptiste Voron |
Rapid Prototyping of Intrusion Detection Systems. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon |
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Jan Marinissen, Axel Jantsch, Nicola Nicolici |
DATE 07 workshop on diagnostic services in NoCs. |
IEEE Design & Test of Computers |
2007 |
DBLP DOI BibTeX RDF |
diagnostic services, DATE 2007, network on chip, NoC |
| 1 | Mohit Kumar, Matthias Weippert, Reinhard Vilbrandt, Steffi Kreuzfeld, Regina Stoll |
Fuzzy Evaluation of Heart Rate Signals for Mental Stress Assessment. |
IEEE T. Fuzzy Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Vidaurre, Jorge Muruzábal |
A Quick Assessment of Topology Preservation for SOM Structures. |
IEEE Transactions on Neural Networks |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Nunkesser, Karen Schettlinger, Roland Fried |
Applying the Qn. |
GfKl |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi |
Automated Online Monitoring of Distributed Applications through External Monitors. |
IEEE Trans. Dependable Sec. Comput. |
2006 |
DBLP DOI BibTeX RDF |
blackbox detection, temporal and combinatorial rules, Error detection, reliable multicast, monitor system |
| 1 | Gregory C. Sharp, Nagarajan Kandasamy |
A Dependable System Architecture for Safety-Critical Respiratory-Gated Radiation Therapy. |
DSN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio J. Vallejo, Rubén Morales-Menéndez, Ciro A. Rodríguez, Luis Enrique Sucar |
Diagnosis of a Cutting Tool in a Machining Center. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Muttreja, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha |
Active Learning Driven Data Acquisition for Sensor Networks. |
ISCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Qikai Chen, Mesut Meterelliyoz, Kaushik Roy |
A CMOS Thermal Sensor and Its Applications in Temperature Adaptive Design. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Brunner, Hong Linh Truong, Thomas Fahringer |
Performance Monitoring and Visualization of Grid Scientific Workflows in ASKALON. |
HPCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Atulya Nagar, Ghulam Abbas, Hissam Tawfik |
State Estimation of Congested TCP Traffic Networks. |
International Conference on Computational Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kesari Mishra, Kishor S. Trivedi |
Model Based Approach for Autonomic Availability Management. |
ISAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Salim Hariri, Guangzhi Qu, R. Modukuri, Huoping Chen, Mazin S. Yousif |
Quality-of-protection (QoP)-an online monitoring and self-protection mechanism. |
IEEE Journal on Selected Areas in Communications |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Borionne, M. Liu, P. Ostier, Laurent Fesquet |
PSL-based online monitoring of digital systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Guangzhi Qu, Salim Hariri, Mazin S. Yousif |
Multivariate statistical analysis for network attacks detection. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe |
Online Critical Path Profiling for Parallel Applications. |
CLUSTER |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna |
LOLA: Runtime Monitoring of Synchronous Systems. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla |
Real-Time Data Fusion Technique for Validation of an Autonomous System. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeon Bae, Sungshin Kim, Youn Tae Kim, Sang-Hyuk Lee |
Application of Time-Series Data Mining for Fault Diagnosis of Induction Motors. |
ICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongning Dai, Minglu Li, Linpeng Huang, Yi Wang, Feng Hong |
GRAMS: Grid Resource Analysis and Monitoring System. |
International Conference on Computational Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolin Chen, Yonghong Cheng, Zhelei Zhu, Bo Yue, Xiaojun Xie |
Insulating Fault Diagnosis of XLPE Power Cables Using Multi-parameter Based on Artificial Neural Networks. |
ISNN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Klaus Havelund |
Rewriting-Based Techniques for Runtime Verification. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
verification, rewriting, runtime analysis |
| 1 | Hong Linh Truong, Thomas Fahringer, Schahram Dustdar |
Dynamic Instrumentation, Performance Monitoring and Analysis of Grid Scientific Workflows. |
J. Grid Comput. |
2005 |
DBLP DOI BibTeX RDF |
performance monitoring and analysis, Grid computing, scientific workflows, Grid service, dynamic instrumentation |
| 1 | Michael A. Caloyannides |
Online Monitoring: Security or Social Control? |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Henny Sipma |
Checking Finite Traces Using Alternating Automata. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
alternating automata, trace checking, temporal logic, runtime verification, online monitoring |
| 1 | Stefano Bertazzoni, Domenico Di Giovenale, Marcello Salmeri, Arianna Mencattini, Adelio Salsano, M. Florean, Jeffery Wyss, Ricardo Rando, Silvano Lora |
Monitoring Methodology for TID Damaging of SDRAM Devices based on Retention Time Analysis. |
DFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangzhi Qu, Salim Hariri, Santosh Jangiti, Suhail Hussain, Seungchan Oh, Samer Fayssal, Mazin S. Yousif |
Abnormality Metrics to Detect and Protect against Network Attacks. |
ICPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Linh Truong, Thomas Fahringer |
SCALEA-G: A Unified Monitoring and Performance Analysis System for the Grid. |
European Across Grids Conference |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 115 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")