Sciweavers

208 search results - page 28 / 42
» A Visual Approach for Monitoring Logs
Sort
View
NOMS
2010
IEEE
154views Communications» more  NOMS 2010»
13 years 5 months ago
Extending a knowledge-based network to support temporal event reasoning
—While the polling or request/response paradigm adopted by many network and systems management approaches form the backbone of modern monitoring and management systems, the most ...
John Keeney, Clay Stevens, Declan O'Sullivan
ICALP
2009
Springer
14 years 7 months ago
LTL Path Checking Is Efficiently Parallelizable
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
Lars Kuhtz, Bernd Finkbeiner
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
14 years 20 days ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
WWW
2004
ACM
14 years 8 months ago
Visualising student tracking data to support instructors in web-based distance education
This paper presents a novel approach of using web log data generated by course management systems (CMS) to help instructors become aware of what is happening in distance learning ...
Riccardo Mazza, Vania Dimitrova
ICIAP
2001
Springer
14 years 7 months ago
Detecting Objects, Shadows and Ghosts in Video Streams by Exploiting Color and Motion Information
Many approaches to moving object detection for traffic monitoring and video surveillance proposed in the literature are based on background suppression methods. How to correctly a...
Rita Cucchiara, Costantino Grana, Andrea Prati, Ma...