Stem monitor$ (all stems)

680 papers:

CASE-2015-ChenY #monitoring #process

Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.

CASE-2015-DasCQMTMK #automation #monitoring #precise

Devices, systems, and methods for automated monitoring enabling precision agriculture (JD, GC, CQ, AM, PT, YM, VK), pp. 462–469.

CASE-2015-KanY #image #modelling #monitoring #network

Network models for monitoring high-dimensional image profiles (CK, HY), pp. 1078–1083.

CASE-2015-MoalDC #bibliography #case study #monitoring #on the #process

On the feasibility of a monitoring system for the friction stir welding process: Literature review and experimental study (GLM, FD, DC), pp. 1576–1583.

CASE-2015-ZafarKSMJA #health #monitoring #process #using

Tool health monitoring for wood milling process using airborne acoustic emission (TZ, KK, ZS, SM, AJ, UA), pp. 1521–1526.

DAC-2015-TodmanSL #configuration management #design #monitoring #runtime #verification

In-circuit temporal monitors for runtime verification of reconfigurable designs (TT, SS, WL), p. 6.

DATE-2015-BortolottiMBRSB #monitoring #power management

An ultra-low power dual-mode ECG monitor for healthcare and wellness (DB, MM, AB, RR, GS, LB), pp. 1611–1616.

DATE-2015-KumarAL #detection #fault #monitoring

Operational fault detection and monitoring of a memristor-based LUT (TNK, HAFA, FL), pp. 429–434.

DATE-2015-LeeLMHP #monitoring #named #security

Extrax: security extension to extract cache resident information for snoop-based external monitors (JL, YL, HM, IH, YP), pp. 151–156.

DATE-2015-OborilET #monitoring #online

High-resolution online power monitoring for modern microprocessors (FO, JE, MBT), pp. 265–268.

DATE-2015-SalivaCHFABBA #monitoring #reliability

Digital circuits reliability with in-situ monitors in 28nm fully depleted SOI (MS, FC, VH, XF, DA, AB, AB, LA), pp. 441–446.

VLDB-2015-DasuSSS #monitoring #quality

FIT to Monitor Feed Quality (TD, VS, DS, DFS), pp. 1729–1740.

VLDB-2015-LazersonSKSGS #distributed #monitoring #using

Monitoring Distributed Streams using Convex Decompositions (AL, IS, DK, AS, MNG, VS), pp. 545–556.

TACAS-2015-RegerCR #monitoring #named #runtime

MarQ: Monitoring at Runtime with QEA (GR, HCC, DER), pp. 596–610.

PLDI-2015-EmmiEH #monitoring #reasoning #refinement

Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.

FM-2015-DuLT #independence #ltl #monitoring #policy #runtime

Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.

ICFP-2015-SwordsST #communication #contract #monitoring

Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.

ICGT-2015-WeberDP #formal method #graph transformation #monitoring #using

Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.

CHI-2015-0005RSP #mobile #named #physics #process

CrowdMonitor: Mobile Crowd Sensing for Assessing Physical and Digital Activities of Citizens during Emergencies (TL, CR, TS, VP), pp. 4083–4092.

CHI-2015-AdibMKKM #monitoring #smarttech

Smart Homes that Monitor Breathing and Heart Rate (FA, HM, ZK, DK, RCM), pp. 837–846.

CHI-2015-HanXSCW #design #game studies #mobile #monitoring

Balancing Accuracy and Fun: Designing Camera Based Mobile Games for Implicit Heart Rate Monitoring (TH, XX, LS, JFC, JW), pp. 847–856.

CHI-2015-KimCD #detection #interactive #monitoring

Sensors Know When to Interrupt You in the Car: Detecting Driver Interruptibility Through Monitoring of Peripheral Interactions (SK, JC, AKD), pp. 487–496.

CHI-2015-SkovJSL #monitoring

No News is Good News: Remote Monitoring of Implantable Cardioverter-Defibrillator Patients (MBS, PGJ, CSS, AL), pp. 827–836.

DHM-EH-2015-ZhengBISEL #behaviour #monitoring #using

Driving-Behavior Monitoring Using an Unmanned Aircraft System (UAS) (CZ, AB, WI, IS, EE, KL), pp. 305–312.

DHM-HM-2015-ItoTGK #monitoring

Study of Caregivers’ Skills for Monitoring Senior Residents (MI, YT, AG, NK), pp. 83–94.

DUXU-IXD-2015-AbyarjooOTOB #health #named #realtime #smarttech

PostureMonitor: Real-Time IMU Wearable Technology to Foster Poise and Health (FA, NOL, ST, FRO, AB), pp. 543–552.

DUXU-IXD-2015-FernandesL #interface #internet #monitoring

An Internet of Things Application with an Accessible Interface for Remote Monitoring Patients (COF, CJPdL), pp. 651–661.

DUXU-IXD-2015-LucenaMA #evolution #mobile #monitoring #named

MedData: A Mobile Application Designed for Medical Teams to Monitor Clinical Evolution of Inpatient in ICU Context (CAPdL, CRM, BAdA), pp. 672–681.

HIMI-IKD-2015-MaierKMK #interactive #monitoring #process #visual notation

Visual Interactive Process Monitoring (SM, HK, TM, AK), pp. 74–85.

AdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance #runtime

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.

ICEIS-v1-2015-SilveiraCC #fault #monitoring #testing

Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.

ICEIS-v2-2015-MendesAASNM #evolution #monitoring #named #open source #technical debt #using #visualisation

VisMinerTD — An Open Source Tool to Support the Monitoring of the Technical Debt Evolution using Software Visualization (TSM, DAA, NSRA, ROS, RLN, MGM), pp. 457–462.

ICEIS-v2-2015-SariK #analysis #debugging #monitoring #predict

Bug Prediction for an ATM Monitoring Software — Use of Logistic Regression Analysis for Bug Prediction (ÖS, OK), pp. 382–387.

ICEIS-v2-2015-ZhomartkyzyB #development #information management #monitoring

Monitoring the Development of University Scientific Schools in University Knowledge Management (GZ, TB), pp. 222–230.

KDD-2015-GabelKS #distributed #modelling #monitoring

Monitoring Least Squares Models of Distributed Streams (MG, DK, AS), pp. 319–328.

KDD-2015-NairRKBSKHD #detection #learning #monitoring

Learning a Hierarchical Monitoring System for Detecting and Diagnosing Service Issues (VN, AR, SK, VB, SS, SSK, SH, SD), pp. 2029–2038.

KDD-2015-ZhangKX #contest #image #modelling #monitoring #online #topic

Dynamic Topic Modeling for Monitoring Market Competition from Online Text and Image Data (HZ, GK, EPX), pp. 1425–1434.

SEKE-2015-AbrantesC #exception #monitoring #policy #specification

Specifying and Dynamically Monitoring the Exception Handling Policy (JA, RC), pp. 370–374.

SEKE-2015-SalehianF #detection #embedded #monitoring #realtime

Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.

SAC-2015-AbeywickramaSL #adaptation #monitoring #runtime #visualisation

Monitoring and visualizing adaptation of autonomic systems at runtime (DBA, NBS, ML), pp. 1857–1860.

SAC-2015-BarbosaBA #monitoring

Defending against load monitoring in smart metering data through noise addition (PB, AB, HA), pp. 2218–2224.

SAC-2015-DionisisCP #adaptation #execution #feedback #framework #hybrid #monitoring #using

A hybrid framework for WS-BPEL scenario execution adaptation, using monitoring and feedback data (MD, VC, GP), pp. 1672–1679.

SAC-2015-JakobssonKS #c #hybrid #memory management #monitoring #performance

Fast as a shadow, expressive as a tree: hybrid memory monitoring for C (AJ, NK, JS), pp. 1765–1772.

SAC-2015-VorobyovKS #monitoring #specification

A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.

ICSE-v2-2015-AbreuEP #fine-grained #monitoring #named

CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts (RA, HE, AP), pp. 551–554.

ICSE-v2-2015-LegunsenMR #programming

Evolution-Aware Monitoring-Oriented Programming (OL, DM, GR), pp. 615–618.

ASPLOS-2015-RingenburgSACG #approximate #debugging #monitoring #quality #source code

Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.

HPCA-2015-LoCIS #monitoring #runtime #using

Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.

HPDC-2015-WangZQLMR #consistency #distributed #scalability #towards

Towards Scalable Distributed Workload Manager with Monitoring-Based Weakly Consistent Resource Stealing (KW, XZ, KQ, ML, BM, IR), pp. 219–222.

SOSP-2015-MaceRF #distributed #monitoring

Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.

CBSE-2014-Attouchi0BM #execution #memory management #monitoring #multitenancy

Memory monitoring in a multi-tenant OSGi execution environment (KA, GT, AB, GM), pp. 107–116.

WICSA-2014-Gonzalez-HerreraBDRBFJ #adaptation #component #framework #monitoring #named

Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems (IYGH, JB, ED, WR, OB, FF, JMJ), pp. 67–76.

WICSA-2014-VierhauserRGDWZ #architecture #flexibility #framework #monitoring #runtime

A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures (MV, RR, PG, CD, SW, HZ), pp. 57–66.

ASE-2014-Vierhauser #framework #monitoring #requirements

A requirements monitoring infrastructure for systems of systems (MV), pp. 887–890.

CASE-2014-GaoLWA #monitoring #petri net #problem #sequence #using

A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.

CASE-2014-LaiTCL #energy #industrial #monitoring #performance

Non-Intrusive Load Monitoring applied in energy efficiency of the smart manufacturing industry: A case of air-conditioner (YHL, IJT, CYC, CFL), pp. 1127–1132.

CASE-2014-LiuKCY #functional #modelling #monitoring #parametricity

Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.

CASE-2014-LiuLS #monitoring

A wavelet-based characteristic vector construction method for machining condition monitoring (CL, YL, WS), pp. 304–308.

CASE-2014-LyuYCCC #development #monitoring

Development of robotic walking-aid system with mobility assistance and remote monitoring (SRL, WTY, YSC, HHC, YLC), pp. 830–835.

DAC-2014-BraojosMJAARM #design #monitoring #power management #smarttech

Ultra-Low Power Design of Wearable Cardiac Monitoring Systems (RB, HM, ADJ, GA, DA, FJR, SM), p. 6.

DAC-2014-Chandra #embedded #monitoring #multi #perspective #reliability

Monitoring Reliability in Embedded Processors — A Multi-layer View (VC), p. 6.

DAC-2014-ChenWLWSC #design #monitoring #scalability

Critical Path Monitor Enabled Dynamic Voltage Scaling for Graceful Degradation in Sub-Threshold Designs (YGC, TW, KYL, WYW, YS, SCC), p. 6.

DAC-2014-HuWTT #hardware #monitoring #network #security

System-Level Security for Network Processors with Hardware Monitors (KH, TW, TT, RT), p. 6.

DAC-2014-LiS #monitoring #pipes and filters #robust #self

Robust and In-Situ Self-Testing Technique for Monitoring Device Aging Effects in Pipeline Circuits (JL, MS), p. 6.

DAC-2014-SunBMCCBLLJ #health #monitoring #named #smarttech

eButton: A Wearable Computer for Health Monitoring and Personal Assistance (MS, LEB, ZHM, YC, HCC, YB, YL, CL, WJ), p. 6.

DATE-2014-GuarnieriPSVBFMP #embedded #monitoring #verification

A cross-level verification methodology for digital IPs augmented with embedded timing monitors (VG, MP, AS, SV, NB, FF, EM, MP), pp. 1–6.

DATE-2014-KimSXWPC #android #fine-grained #monitoring #named #smarttech

FEPMA: Fine-grained event-driven power meter for android smartphones based on device driver layer event monitoring (KK, DS, QX, YW, MP, NC), pp. 1–6.

DATE-2014-NowotschPHPS #analysis #monitoring #multi #off the shelf

Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems (JN, MP, AH, WP, AS), pp. 1–5.

VLDB-2014-HassanSWZLYY #automation #monitoring

Data In, Fact Out: Automated Monitoring of Facts by FactWatcher (NH, AS, YW, GZ, CL, JY, CY), pp. 1557–1560.

VLDB-2014-LiuST0DJ #database #monitoring #named #web

HDBTracker: Monitoring the Aggregates On Dynamic Hidden Web Databases (WL, SBS, ST, NZ, GD, AJ), pp. 1569–1572.

TACAS-2014-DeckerLT #modulo theories #monitoring

Monitoring Modulo Theories (ND, ML, DT), pp. 341–356.

FM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #performance #runtime

Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.

SFM-2014-BoerG #monitoring #runtime

Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.

CHI-2014-WanMWR #evaluation #monitoring

Addressing the subtleties in dementia care: pre-study & evaluation of a GPS monitoring system (LW, CM, VW, DWR), pp. 3987–3996.

CSCW-2014-MunsonKRR #email #monitoring #performance

Monitoring email to indicate project team performance and mutual attraction (SAM, KK, LPRJ), pp. 542–549.

CSCW-2014-SheppardWT #monitoring #quality #volunteer

Capturing quality: retaining provenance for curated volunteer monitoring data (SAS, AW, LGT), pp. 1234–1245.

DHM-2014-AndreoniCABMNPBPRP #design #monitoring

Design and Ergonomics of Monitoring System for Elderly (GA, FC, AA, GB, SM, PN, AP, RB, RP, MR, PP), pp. 499–507.

DHM-2014-MazzolaACRADA #architecture #education #monitoring

Integrated Architecture for Next-Generation m-Health Services (Education, Monitoring and Prevention) in Teenagers (MM, PA, GC, CR, MA, CD, GA), pp. 403–414.

DUXU-ELAS-2014-Abdullah #monitoring #network #simulation

Simulation of Wireless Sensor Network for Flood Monitoring System (MA), pp. 255–264.

LCT-TRE-2014-Stylianou-GeorgiouPI #education #monitoring #web

Monitoring Teachers’ Complex Thinking while Engaging in Philosophical Inquiry with Web 2.0 (ASG, AP, AI), pp. 319–327.

SCSM-2014-AhangamaLKP #analysis #mobile #monitoring

Revolutionizing Mobile Healthcare Monitoring Technology: Analysis of Features through Task Model (SA, YSL, SYK, DCCP), pp. 298–305.

CAiSE-2014-MaggiFDG #monitoring #predict #process

Predictive Monitoring of Business Processes (FMM, CDF, MD, CG), pp. 457–472.

ICEIS-v1-2014-Rios-AguilarLP #behaviour #information management #mobile #monitoring #using

Business Information System for the Control of Workforce Through Behaviour Monitoring Using Reactive and Terminal-based Mobile Location Technologies (SRA, FJLM, APS), pp. 30–38.

ICEIS-v2-2014-Gateau #in the cloud #monitoring #multi

A Multi-agent System to Monitor SLA for Cloud Computing (BG), pp. 647–652.

ICEIS-v2-2014-ShamsuzzohaAKH #collaboration #internet #monitoring #process #realtime #repository

Smart Collaborative Processes Monitoring in Real-time Business Environment — Applications of Internet of Things and Cloud-data Repository (AS, SA, SK, PTH), pp. 556–563.

ICEIS-v3-2014-LivieriBL #benchmark #metric #monitoring #ontology #visualisation

Ontologies and Information Visualization for Strategic Alliances Monitoring and Benchmarking (BL, MAB, AL), pp. 402–409.

CIKM-2014-ChuWCC #metric #microblog #monitoring #topic

Microblog Topic Contagiousness Measurement and Emerging Outbreak Monitoring (VWC, RKW, FC, CHC), pp. 1099–1108.

ECIR-2014-AlbornozASG #automation #monitoring #named #online #twitter

ORMA: A Semi-automatic Tool for Online Reputation Monitoring in Twitter (JCdA, EA, DS, JG), pp. 742–745.

ICML-c2-2014-LinAKLC #combinator #feedback #game studies #linear #monitoring

Combinatorial Partial Monitoring Game with Linear Feedback and Its Applications (TL, BDA, RDK, JL, WC), pp. 901–909.

ICPR-2014-RidiGH #bibliography #monitoring #recognition

A Survey on Intrusive Load Monitoring for Appliance Recognition (AR, CG, JH), pp. 3702–3707.

KDIR-2014-CainaRV #impact analysis #monitoring

Marble Initiative — Monitoring the Impact of Events on Customers Opinion (MFC, RPDR, AFV), pp. 403–410.

KMIS-2014-LashariW #monitoring

A Tool for Monitoring of YouTube Content (IAL, UKW), pp. 171–178.

KR-2014-Baader #monitoring #ontology

Ontology-Based Monitoring of Dynamic Systems (FB).

MLDM-2014-BaroutiKKM #clustering #data type #distributed #monitoring

Monitoring Distributed Data Streams through Node Clustering (MB, DK, JK, YM), pp. 149–162.

RecSys-2014-Ben-ShimonTFH #as a service #configuration management #monitoring #recommendation

Configuring and monitoring recommender system as a service (DBS, AT, MF, JH), pp. 363–364.

SIGIR-2014-SpinaGA #detection #learning #monitoring #online #similarity #topic

Learning similarity functions for topic detection in online reputation monitoring (DS, JG, EA), pp. 527–536.

ECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine

Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.

REFSQ-2014-VierhauserRG #framework #monitoring #requirements

A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.

SAC-2014-AdibuzzamanAL #monitoring #personalisation #smarttech #using

A personalized model for monitoring vital signs using camera of the smart phone (MA, SIA, RL), pp. 444–449.

SAC-2014-ChenLFCCK #algorithm #design #detection #effectiveness #health #implementation #monitoring

Design and implementation of a personal health monitoring system with an effective SVM-based PVC detection algorithm in cardiology (HC, GTL, YCF, BCC, CMC, TCK), pp. 33–35.

SAC-2014-FlemingWWS #monitoring

Monitoring water scarcity risk in Africa (KF, KW, HW, OS), pp. 567–568.

SAC-2014-IturriozAD #monitoring

Generalizing the “like” button: empowering websites with monitoring capabilities (JI, IA, OD), pp. 743–750.

SAC-2014-JeongLCHP #android #approach #behaviour #kernel #monitoring

A kernel-based monitoring approach for analyzing malicious behavior on Android (YJ, HtL, SC, SH, MP), pp. 1737–1738.

SAC-2014-KluschMKS #monitoring #named #semantics

ICM-Wind: semantics-empowered fluid condition monitoring of wind turbines (MK, APM, PK, AS), pp. 308–315.

SAC-2014-KrichenAB #health #monitoring

WSN-based flutter control application for aircraft wings structural health monitoring (DK, WA, NB), pp. 680–685.

SAC-2014-TupakulaV #monitoring

Secure monitoring for dementia patients (UKT, VV), pp. 14–19.

SAC-2014-ZanattaBGL #component #framework #monitoring #off the shelf

Building a WSN infrastructure with COTS components for the thermal monitoring of datacenters (GZ, GDB, RG, JCBL), pp. 1443–1448.

FSE-2014-Brunink #monitoring #non-functional

Autonomous compliance monitoring of non-functional properties (MB), pp. 795–798.

FSE-2014-MirakhorliFGWC #architecture #detection #monitoring #named

Archie: a tool for detecting, monitoring, and preserving architecturally significant code (MM, AF, AG, MW, JCH), pp. 739–742.

HPCA-2014-FytrakiVKFG #monitoring #named #programmable

FADE: A programmable filtering accelerator for instruction-grain monitoring (SF, EV, YOK, BF, BG), pp. 108–119.

PPoPP-2014-Bautista-GomezC #detection #monitoring

Detecting silent data corruption through data dynamic monitoring for scientific applications (LABG, FC), pp. 381–382.

CAV-2014-ChowdhuryJGD #monitoring #policy #privacy #runtime

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (OC, LJ, DG, AD), pp. 131–149.

ICST-2014-VarvaressosLMGH #automation #case study #debugging #game studies #monitoring #runtime #video

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.

ICTSS-2014-ChabotP #embedded #framework #hardware #monitoring

A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.

LICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic #monitoring

Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.

VMCAI-2014-FaymonvilleFP #logic #monitoring #parametricity

Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.

ASE-2013-ZhangPXJWZ #monitoring #on-demand #towards

Towards contextual and on-demand code clone management by continuous monitoring (GZ, XP, ZX, SJ, HW, WZ), pp. 497–507.

CASE-2013-GohWYFPLL #monitoring #named #realtime #risk management #visualisation

RiskVis: Supply chain visualization with risk management and real-time monitoring (RSMG, ZW, XY, XF, LP, SL, XL), pp. 207–212.

CASE-2013-GuoUZ #energy #feedback #monitoring

Evaluating feedback systems for residential building energy monitoring (WWG, TU, MZ), pp. 112–116.

CASE-2013-KurzDP #monitoring #reliability

Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.

CASE-2013-WangBR #modelling #monitoring #using

Model based unbalance monitoring using augmented observer in rotor systems under the consideration of gyroscopic effect (ZW, MB, SR), pp. 59–64.

CASE-2013-WongdhammaLB #monitoring #multi #smarttech

Wireless wearable multi-sensory system for monitoring of sleep apnea and other cardiorespiratory disorders (WW, TQL, STSB), pp. 605–610.

CASE-2013-ZhangPJST #energy #interface #monitoring #scalability #using

A secure and scalable telemonitoring system using ultra-low-energy wireless sensor interface for long-term monitoring in life science applications (WZ, PP, EJ, RS, KT), pp. 617–622.

DAC-2013-ChandrikakuttyUTW #hardware #monitoring #network

High-performance hardware monitors to protect network processors from data plane attacks (HC, DU, RT, TW), p. 6.

DATE-2013-LaiCAG #monitoring #named #online

SlackProbe: a low overhead in situ on-line timing slack monitoring methodology (LL, VC, RCA, PG), pp. 282–287.

DATE-2013-PerelliCMBMB #design #health #monitoring #power management

Design of an ultra-low power device for aircraft structural health monitoring (AP, CC, LDM, DB, AM, LB), pp. 1127–1130.

DATE-2013-PorcarelliBBP #industrial #low cost #monitoring

Perpetual and low-cost power meter for monitoring residential and industrial appliances (DP, DB, DB, GP), pp. 1155–1160.

SIGMOD-2013-FanXS #adaptation #monitoring #named #performance #realtime

FAST: differentially private real-time aggregate monitor with filtering and adaptive sampling (LF, LX, VSS), pp. 1065–1068.

VLDB-2013-GarofalakisKS #distributed #geometry #monitoring #query #sketching

Sketch-based Geometric Monitoring of Distributed Stream Queries (MNG, DK, VS), pp. 937–948.

VLDB-2013-KotsakosSKG #health #monitoring #named #smarttech #using

SmartMonitor: Using Smart Devices to Perform Structural Health Monitoring (DK, PS, VK, DG), pp. 1282–1285.

VLDB-2013-LiWC #automation #framework #monitoring #social #topic #towards #twitter

Towards Social Data Platform: Automatic Topic-focused Monitor for Twitter Stream (RL, SW, KCCC), pp. 1966–1977.

ICPC-2013-RoehmGBJM #interactive #monitoring

Monitoring user interactions for supporting failure reproduction (TR, NG, BB, CJ, WM), pp. 73–82.

ICSM-2013-RoehmBHP #behaviour #identification #specification #towards

Towards Identification of Software Improvements and Specification Updates by Comparing Monitored and Specified End-User Behavior (TR, BB, TMH, BP), pp. 464–467.

PLDI-2013-HungG #monitoring #named

AutoSynch: an automatic-signal monitor based on predicate tagging (WLH, VKG), pp. 253–262.

SEFM-2013-WonischSW #monitoring #runtime

Zero Overhead Runtime Monitoring (DW, AS, HW), pp. 244–258.

GT-VMT-2013-ColomboP #automaton #programming

Monitor-Oriented Compensation Programming Through Compensating Automata (CC, GJP).

CSCW-2013-KusunokiSZB #comprehension #monitoring #visual notation

Understanding visual attention of teams in dynamic medical settings through vital signs monitor use (DSK, AS, ZZ, RSB), pp. 527–540.

DUXU-NTE-2013-AbujaradSDP #monitoring #safety

Rap Backs: Continuous Workforce Monitoring to Improve Patient Safety in Long-Term Care (FA, SJS, TAD, LAP), pp. 3–9.

HCI-AS-2013-FekryHA #monitoring #named

Anti-Bump: A Bump/Pothole Monitoring and Broadcasting System for Driver Awareness (MF, AH, AA), pp. 561–570.

HCI-AS-2013-KosnikH #data transformation #design #framework #health #interface #monitoring

Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring (DEK, LJH), pp. 107–116.

HCI-UC-2013-HimmelZA #monitoring

From Living Space to Urban Quarter: Acceptance of ICT Monitoring Solutions in an Ageing Society (SH, MZ, KA), pp. 49–58.

HIMI-D-2013-SusukiTOM #analysis #behaviour

Cognitive Analysis of Driver’s Behavior with Seamless Display of Back-Monitor and Side-View Mirror (NS, KT, MO, HM), pp. 642–649.

HIMI-HSM-2013-Noda #analysis #industrial #monitoring #performance #statistics

Performance Monitoring of Industrial Plant Alarm Systems by Statistical Analysis of Plant Operation Data (MN), pp. 131–135.

HIMI-LCCB-2013-ItoW #communication #monitoring #named

ARM-COMS: ARm-Supported eMbodied COmmunication Monitor System (TI, TW), pp. 307–316.

VISSOFT-2013-BeckHDW #embedded #monitoring #source code #visual notation

Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.

VISSOFT-2013-WallerWFDH #3d #concurrent #monitoring #named #visualisation

Synchrovis: 3D visualization of monitoring traces in the city metaphor for analyzing concurrency (JW, CW, FF, PD, WH), pp. 1–4.

EDOC-2013-BerryM #data type #health #legacy #monitoring #quality #realtime

Real-Time Analytics for Legacy Data Streams in Health: Monitoring Health Data Quality (AB, ZM), pp. 91–100.

EDOC-2013-GallegeGHR #contract #monitoring #trust #using

Trustworthy Service Selection Using Long-Term Monitoring of Trust Contracts (LSG, DG, JHH, RRR), pp. 195–200.

EDOC-2013-InzingerHLLTZD #evolution #lifecycle #modelling #monitoring

Decisions, Models, and Monitoring — A Lifecycle Model for the Evolution of Service-Based Systems (CI, WH, IL, PL, HT, UZ, SD), pp. 185–194.

EDOC-2013-LyMMRA #comparison #evaluation #framework #monitoring

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches (LTL, FMM, MM, SRM, WMPvdA), pp. 7–16.

ICEIS-J-2013-BevacquaCFGP13a #data-driven #framework #monitoring #predict #process

A Data-Driven Prediction Framework for Analyzing and Monitoring Business Process Performances (AB, MC, FF, MG, LP), pp. 100–117.

ICEIS-v2-2013-GratiBB #metamodelling #monitoring #requirements

A Meta Model for Monitoring Requirements in Cloud Environnment (RG, KB, HBA), pp. 223–231.

KDD-2013-TangLSPG #automation #framework #monitoring #optimisation #scalability

An integrated framework for optimizing automatic monitoring systems in large IT infrastructures (LT, TL, LS, FP, GG), pp. 1249–1257.

SEKE-2013-CarmoCML #adaptation #monitoring #runtime #self

Runtime Monitoring and Auditing of Self-Adaptive Systems (S) (DHC, STC, LGPM, OL), pp. 731–736.

ECMFA-2013-PatzinaPPM #generative #modelling #monitoring #runtime

Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.

REFSQ-2013-KlambauerHG #monitoring #multi #product line #requirements

Monitoring System-of-Systems Requirements in Multi Product Lines (TK, GH, PG), pp. 379–385.

SAC-2013-BanerjeeSS #detection #monitoring #using

Participatory sensing based traffic condition monitoring using horn detection (RB, AS, AS), pp. 567–569.

SAC-2013-BartoliniBACM #monitoring

Apprehensive QoS monitoring of Service choreographies (CB, AB, GDA, AC, RM), pp. 1893–1899.

SAC-2013-CruzCMZ #monitoring

Monitoring SOA-based applications with business provenance (SMSdC, RMC, LMBM, JZ), pp. 1927–1932.

SAC-2013-MagalhaesS #adaptation #monitoring #performance

Adaptive monitoring of web-based applications: a performance study (JPM, LMS), pp. 471–478.

ESEC-FSE-2013-BertolinoMM #composition #monitoring

Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.

ICSE-2013-LiuYCY #monitoring #novel #parallel #process

Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes (XL, YY, DC, DY), pp. 1281–1284.

CAV-2013-DonzeFM #monitoring #performance #robust

Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.

ISSTA-2013-PurandareDE #finite #monitoring #optimisation

Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.

CBSE-2012-MaurelBKA #adaptation #monitoring

Adaptive monitoring of end-user OSGi-based home boxes (YM, AB, RK, KA), pp. 157–166.

WICSA-ECSA-2012-RathfelderBKR #email #monitoring #performance #predict #scalability #using

Workload-aware System Monitoring Using Performance Predictions Applied to a Large-scale E-Mail System (CR, SB, KK, RHR), pp. 31–40.

ASE-2012-NoureddineBRS #energy #monitoring #runtime

Runtime monitoring of software energy hotspots (AN, AB, RR, LS), pp. 160–169.

CASE-2012-HungLHYC #development #industrial #monitoring

Development of a cloud-computing-based equipment monitoring system for machine tool industry (MHH, YCL, TQH, HCY, FTC), pp. 962–967.

CASE-2012-KimCLK #fault #framework #monitoring #process

Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.

DAC-2012-LionelPSE #monitoring #statistics #testing

Embedding statistical tests for on-chip dynamic voltage and temperature monitoring (LV, PM, SL, EB), pp. 994–999.

DAC-2012-LoS #analysis #execution #monitoring #parallel #runtime #worst-case

Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.

DAC-2012-ZhouLCKQY #framework #monitoring

An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring (HZ, XL, CYC, EK, HQ, SCY), pp. 642–647.

DATE-2012-DoganCRBA #architecture #design #health #manycore #monitoring #power management #smarttech

Multi-core architecture design for ultra-low-power wearable health monitoring systems (AYD, JC, MR, AB, DA), pp. 988–993.

DATE-2012-FritzBAH #approach #evaluation #monitoring #performance

Evaluation of a new RFID system performance monitoring approach (GF, VB, OEKA, DH), pp. 1439–1442.

DATE-2012-ShoaibMGM #monitoring

A closed-loop system for artifact mitigation in ambulatory electrocardiogram monitoring (MS, GM, HG, SM), pp. 431–436.

DATE-2012-Voyiatzis #concurrent #logic #monitoring #multi

Input vector monitoring on line concurrent BIST based on multilevel decoding logic (IV), pp. 1251–1256.

DATE-2012-WanK #embedded #monitoring

Monitoring active filters under automotive aging scenarios with embedded instrument (JW, HGK), pp. 1096–1101.

SIGMOD-2012-BogSP #interactive #monitoring #performance

Interactive performance monitoring of a composite OLTP and OLAP workload (AB, KS, HP), pp. 645–648.

SIGMOD-2012-GiatrakosDGSS #data type #distributed #geometry #monitoring #predict

Prediction-based geometric monitoring over distributed data streams (NG, AD, MNG, IS, AS), pp. 265–276.

SIGMOD-2012-IoriSPWH #clustering #monitoring #named

CloudAlloc: a monitoring and reservation system for compute clusters (EI, AS, TP, KW, SH), pp. 721–724.

ESOP-2012-DimoulasTF #behaviour #contract #monitoring

Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.

FASE-2012-MaggiMA #constraints #framework #monitoring

An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.

TACAS-2012-HamlenJS #aspect-oriented #certification #monitoring #runtime

Aspect-Oriented Runtime Monitor Certification (KWH, MJ, MS), pp. 126–140.

CSMR-2012-HamannVGK #monitoring #runtime

Abstract Runtime Monitoring with USE (LH, LV, MG, MK), pp. 549–552.

CSMR-2012-NonnenI #identification #monitoring

Identifying Knowledge Divergence by Vocabulary Monitoring in Software Projects (JN, PI), pp. 441–446.

STOC-2012-WoodruffZ #bound #distributed #functional #monitoring

Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.

FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.

FM-2012-BauerF #distributed #ltl #monitoring

Decentralised LTL Monitoring (AKB, YF), pp. 85–100.

SEFM-2012-ColomboFMP #bound #configuration management #monitoring #named #resource management #runtime #verification

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (CC, AF, RM, GJP), pp. 218–232.

CHI-2012-HaqueKAALDRHS #mobile #monitoring

Findings of e-ESAS: a mobile based symptom monitoring system for breast cancer patients in rural Bangladesh (MMH, FAK, MA, SIA, RL, RD, DR, SH, RS), pp. 899–908.

CHI-2012-NowakN #behaviour #monitoring #online #recommendation

Effects of behavior monitoring and perceived system benefit in online recommender systems (MN, CN), pp. 2243–2246.

CHI-2012-PierceP #energy #interactive #monitoring

Beyond energy monitors: interaction, energy, and emerging energy systems (JP, EP), pp. 665–674.

CHI-2012-SzafirM #adaptation #design #exclamation #monitoring

Pay attention!: designing adaptive agents that monitor and improve user engagement (DS, BM), pp. 11–20.

CHI-2012-ToscosCR #health #monitoring

Best intentions: health monitoring technology and children (TT, KC, YR), pp. 1431–1440.

CAiSE-2012-ComuzziAV #monitoring #process

Patterns to Enable Mass-Customized Business Process Monitoring (MC, SA, JV), pp. 445–459.

EDOC-2012-HolmesZD #automation #modelling #monitoring #runtime #version control

Automating the Management and Versioning of Service Models at Runtime to Support Service Monitoring (TH, UZ, SD), pp. 211–218.

CIKM-2012-FanX #difference #monitoring #privacy #realtime

Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.

ECIR-2012-AlhadiGKN #microblog #monitoring #named #predict

LiveTweet: Monitoring and Predicting Interesting Microblog Posts (ACA, TG, JK, NN), pp. 569–570.

ECIR-2012-MaxwellRAJO #monitoring #named #realtime #social #social media

Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management (DM, SR, LA, CWJ, SO), pp. 573–575.

ICML-2012-BartokZS #adaptation #algorithm #finite #monitoring #probability

An adaptive algorithm for finite stochastic partial monitoring (GB, NZ, CS), p. 231.

ICPR-2012-BoresB #monitoring #process

Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.

ICPR-2012-FengLSPZG #monitoring #robust #statistics

Artifact correction with robust statistics for non-stationary intracranial pressure signal monitoring (MF, LYL, KS, CP, FZ, CG), pp. 557–560.

ICPR-2012-MartinezS #monitoring #using

Breath rate monitoring during sleep using near-ir imagery and PCA (MM, RS), pp. 3472–3475.

ICPR-2012-MatsuoK #behaviour #monitoring #predict

Prediction of drowsy driving by monitoring driver’s behavior (HM, AK), pp. 3390–3393.

KDD-2012-MaoCCLKB #approach #data mining #mining #monitoring #realtime

An integrated data mining approach to real-time clinical monitoring and deterioration warning (YM, WC, YC, CL, MK, TCB), pp. 1140–1148.

KDD-2012-ShaferRBAGF #approach #mining #monitoring #named

RainMon: an integrated approach to mining bursty timeseries monitoring data (IS, KR, VNB, YA, GRG, CF), pp. 1158–1166.

SEKE-2012-Collazo-MojicaSEB #constraints #monitoring #scalability

Cloud Application Resource Mapping and Scaling Based on Monitoring of QoS Constraints (XJCM, SMS, JE, RMB), pp. 88–93.

SEKE-2012-FreireCAK #monitoring #process #statistics #using #workflow

Software Process Monitoring Using Statistical Process Control Integrated in Workflow Systems (MAF, DAdC, EA, UK), pp. 557–562.

SEKE-2012-PittoliSN #monitoring #network

Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects (FP, ALRdS, DJN), pp. 570–573.

ECMFA-2012-HamannHG #monitoring #ocl #protocol #runtime #state machine

OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.

RE-2012-FuPYMZ #monitoring #requirements #self

Stateful requirements monitoring for self-repairing socio-technical systems (LF, XP, YY, JM, WZ), pp. 121–130.

REFSQ-2012-OriolQFPM #adaptation #monitoring #requirements

Requirements Monitoring for Adaptive Service-Based Applications (MO, NAQ, XF, AP, JM), pp. 280–287.

SAC-2012-DeriTMV #monitoring #towards

Towards a passive DNS monitoring system (LD, LLT, MM, DV), pp. 629–630.

SAC-2012-HornfeckZL #health #interactive #monitoring #named

Philos: a sociable robot for human robot interactions and wireless health monitoring (KH, YZ, KL), pp. 293–294.

SAC-2012-SouzaMGTM #monitoring #requirements

Monitoring strategic goals in data warehouses with awareness requirements (VESS, JNM, IG, JT, JM), pp. 1075–1082.

ICSE-2012-GhezziMS #component #monitoring #runtime

Runtime monitoring of component changes with Spy@Runtime (CG, AM, MS), pp. 1403–1406.

ICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance #runtime

JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.

ICSE-2012-PaganoJBRBM #maintenance #monitoring #named

FastFix: Monitoring control for remote software maintenance (DP, MAJ, AB, TR, BB, WM), pp. 1437–1438.

OSDI-2012-RavindranathPAMOS #mobile #monitoring #named #performance

AppInsight: Mobile App Performance Monitoring in the Wild (LR, JP, SA, RM, IO, SS), pp. 107–120.

ICST-2012-CalvarTH #framework #monitoring #runtime

A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.

ICST-2012-WehbiOB #monitoring #security #using

Events-Based Security Monitoring Using MMT Tool (BW, EMdO, MB), pp. 860–863.

ICTSS-2012-SantosA #automation #detection #fault #lightweight #monitoring

Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.

ISSTA-2012-Walcott-JusticeMS #hardware #monitoring #named #testing

THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.

ECSA-2011-BruckmannGP #architecture #enterprise #monitoring #realtime #towards #using

Towards Real-Time Monitoring and Controlling of Enterprise Architectures Using Business Software Control Centers (TB, VG, MP), pp. 287–294.

ECSA-2011-EhlersH #adaptation #component #framework #monitoring #self

A Self-adaptive Monitoring Framework for Component-Based Software Systems (JE, WH), pp. 278–286.

QoSA-ISARCS-2011-KhanZ #component #embedded #monitoring #security

Building components with embedded security monitors (MUAK, MZ), pp. 133–142.

ASE-2011-ZhangMPL #monitoring #predict #runtime

Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.

CASE-2011-AramiSAHABMTDLRDFJAR #monitoring

Instrumented prosthesis for knee implants monitoring (AA, MS, OA, WH, SA, AB, EM, ST, HD, VL, PR, CD, PAF, BMJ, KA, PR), pp. 828–835.

CASE-2011-CordoneP #monitoring #optimisation #petri net

Monitor optimization in Petri net control (RC, LP), pp. 413–418.

CASE-2011-LeonardoKKDS #monitoring #simulation

Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.

DAC-2011-ShoaibJV #algorithm #data-driven #energy #framework #monitoring

A low-energy computation platform for data-driven biomedical monitoring algorithms (MS, NKJ, NV), pp. 591–596.

DATE-2011-BonannoBS #analysis #energy #modelling #monitoring #optimisation #tool support

Energy analysis methods and tools for modelling and Optimizing monitoring tyre systems (AB, AB, MS), pp. 1121–1122.

DATE-2011-KanounMKA #monitoring #realtime

A real-time compressed sensing-based personal electrocardiogram monitoring system (KK, HM, NK, DA), pp. 824–829.

DATE-2011-OnizawaMH #communication #monitoring

Interconnect-fault-resilient delay-insensitive asynchronous communication link based on current-flow monitoring (NO, AM, TH), pp. 776–781.

SIGMOD-2011-CurinoJMB #database #monitoring

Workload-aware database monitoring and consolidation (CC, EPCJ, SM, HB), pp. 313–324.

SIGMOD-2011-FlaounasATSNBC #analysis #monitoring #named

NOAM: news outlets analysis and monitoring system (INF, OA, MT, TS, FN, TDB, NC), pp. 1275–1278.

SIGMOD-2011-OlstonR #debugging #distributed #framework #monitoring

Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.

VLDB-2011-CaoSDS #distributed #monitoring #query

Distributed inference and query processing for RFID tracking and monitoring (ZC, CAS, YD, PJS), pp. 326–337.

VLDB-2011-OlstonR #debugging #distributed #framework #monitoring

Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.

TACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.

ICPC-2011-HuangW #detection #monitoring #process

Anomaly Detection by Monitoring Filesystem Activities (LH, KW), pp. 221–222.

WCRE-2011-ZhuWPXZ #composition #evolution #monitoring #quality #roadmap

Monitoring Software Quality Evolution by Analyzing Deviation Trends of Modularity Views (TZ, YW, XP, ZX, WZ), pp. 229–238.

PLDI-2011-JinMGR #garbage collection #monitoring #parametricity

Garbage collection for monitoring parametric properties (DJ, POM, DG, GR), pp. 415–424.

PLDI-2011-ZengWL #concurrent #data type #monitoring #named #using

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures (QZ, DW, PL), pp. 367–377.

CHI-2011-DenefKO #independence #monitoring

Rigid structures, independent units, monitoring: organizing patterns in frontline firefighting (SD, DVK, RO), pp. 1949–1958.

CSCW-2011-ChenHHLZ #design #feedback #health #self

Designing for context-aware health self-monitoring, feedback, and engagement (FXC, EBH, JH, SL, CZ), pp. 613–616.

CSCW-2011-ShaoWY #enterprise #monitoring #multi

A production monitoring and data processing system for the textile enterprise based on multi-Agent (JS, JW, LY), pp. 713–716.

CSCW-2011-WinterboerMPGE #collaboration #monitoring #named

DIADEM: a system for collaborative environmental monitoring (AW, MAM, GP, FCAG, VE), pp. 589–590.

DHM-2011-PaulickDB #embedded #monitoring #named

StabilitySole: Embedded Sensor Insole for Balance and Gait Monitoring (PP, HD, MB), pp. 171–177.

DUXU-v2-2011-Nakata #analysis #clustering #monitoring #usability

Clustering Analysis to Evaluate Usability of Work-Flow Systems and to Monitor Proficiency of Workers (TN), pp. 487–496.

HCD-2011-LeeKLSL #clustering #design #effectiveness #monitoring

Designing of an Effective Monitor Partitioning System with Adjustable Virtual Bezel (SSL, HK, YKL, MS, KPL), pp. 537–546.

HCI-UA-2011-JohnsonLTS #approach #comprehension #monitoring #towards

Toward an Understanding of a Computerized Monitoring System Failure: An Interpretive Approach (NJ, YL, FT, SS), pp. 336–345.

HIMI-v2-2011-StegmanLS #comparison #monitoring #performance

A Comparison between Single and Dual Monitor Productivity and the Effects of Window Management Styles on Performance (AS, CL, RLS), pp. 84–93.

CAiSE-2011-ComuzziV #collaboration #design #monitoring #process #workflow

Product-Based Workflow Design for Monitoring of Collaborative Business Processes (MC, ITPV), pp. 154–168.

ICEIS-J-2011-NganBL11a #framework #learning #monitoring #multi #query

An Event-Based Service Framework for Learning, Querying and Monitoring Multivariate Time Series (CKN, AB, JL), pp. 208–223.

ICEIS-v1-2011-AbramoviciJ #industrial #monitoring

A New Method for Monitoring Industrial Product-service Systems based on BSC and AHP (MA, FJ), pp. 190–196.

ICEIS-v2-2011-NetoCMMG #energy #monitoring #quality #towards

Towards an Intelligent System for Monitoring Electrical Energy Quality — Foundations and Motivations (LBN, PHGC, JCCBSdM, LAM, EGG), pp. 40–45.

ICEIS-v2-2011-NganBL #framework #learning #monitoring #multi #query

A Service Framework for Learning, Querying and Monitoring Multivariate Time Series (CKN, AB, JL), pp. 92–101.

ICEIS-v3-2011-HuangHGL #authentication #health #monitoring

Scheme of Authentication of Health Monitoring System based on Credit Card Mechanism (QH, QH, CG, SL), pp. 350–354.

CIKM-2011-ChenWDZ #correlation #monitoring

Continuously monitoring the correlations of massive discrete streams (YC, WW, XD, XZ), pp. 1571–1576.

KEOD-2011-TutcherRE #development #maintenance #monitoring #multi #semantics

Integrating Railway Maintenance Data — Development of a Semantic Data Model to Support Condition Monitoring Data from Multiple Sources (JT, CR, JME), pp. 442–444.

RecSys-2011-WuRR #monitoring #recommendation #social #social media

Recommendations in social media for brand monitoring (SW, WR, LR), pp. 345–348.

SEKE-2011-FreireAKAC #approach #automation #deployment #modelling #monitoring #process

Automatic Deployment and Monitoring of Software Processes: A Model-Driven Approach (MAF, FAA, UK, EA, RC), pp. 42–47.

SEKE-2011-FuginiRIRC #monitoring #risk management #simulation

Simulations of Risks for Monitoring and Prevention (MGF, FR, RI, CR, OC), pp. 602–607.

SIGIR-2011-CaverleeCEHKM #monitoring #named #realtime #web

CrowdTracker: enabling community-based real-time web monitoring (JC, ZC, BE, CFH, KYK, JM), pp. 1283–1284.

MoDELS-2011-RamirezC #automation #monitoring #requirements

Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.

MoDELS-2011-RamirezC #automation #monitoring #requirements

Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.

GPCE-2011-EsmaeilsabzaliFA #aspect-oriented #automation #modelling #monitoring

Monitoring aspects for the customization of automatically generated code for big-step models (SE, BF, JMA), pp. 117–126.

SAC-2011-FosterS #composition #monitoring

Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.

SAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread

Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.

SAC-2011-ZhuYXLYGQLCG #monitoring #named #security

VASP: virtualization assisted security monitor for cross-platform protection (MZ, MY, MX, BL, PY, SG, ZQ, LL, YC, HG), pp. 554–559.

ESEC-FSE-2011-AliSSONM #monitoring #social

Social sensing: when users become monitors (RA, CS, MS, IO, BN, WM), pp. 476–479.

ESEC-FSE-2011-Bodden #approach #monitoring #runtime

Stateful breakpoints: a practical approach to defining parameterized runtime monitors (EB), pp. 492–495.

LCTES-2011-ThomasFK #execution #monitoring

Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.

CAV-2011-SistlaZF #probability

Monitorability of Stochastic Dynamical Systems (APS, MZ, YF), pp. 720–736.

ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing

Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.

ECSA-2010-JohnWP #architecture #configuration management #constraints #monitoring

Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures (JJ, MW, CP), pp. 311–318.

ASE-2010-SimmondsC #monitoring #named

RuMoR: monitoring and recovery for BPEL applications (JS, MC), pp. 345–346.

CASE-2010-CoppBHTVR #automation #monitoring #network #quality #towards

Towards the automation of water quality monitoring networks (JBC, EB, CH, MT, PAV, LR), pp. 491–496.

CASE-2010-JiangKM #monitoring #predict

Residual life prediction for systems subject to condition monitoring (RJ, MJK, VM), pp. 106–111.

CASE-2010-YangCHA #communication #estimation #monitoring

Longitude force estimation for bandwidth conservative communication and vehicular monitoring (JY, TNC, ESHH, NA), pp. 668–673.

DAC-2010-NowrozCR #monitoring

Thermal monitoring of real processors: techniques for sensor allocation and full characterization (ANN, RC, SR), pp. 56–61.

DAC-2010-YinL #low cost #monitoring

Exploiting reconfigurability for low-cost in-situ test and monitoring of digital PLLs (LY, PL), pp. 929–934.

DATE-2010-AhlendorfG #challenge #design #hardware #monitoring #power management

Hardware / software design challenges of low-power sensor nodes for condition monitoring (HA, LG), p. 659.

DATE-2010-ChenABF #monitoring #using

Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter (WC, IA, SBO, LMGF), pp. 1530–1535.

DATE-2010-LongM #bias #monitoring #network #optimisation

Optimization of the bias current network for accurate on-chip thermal monitoring (JL, SOM), pp. 1365–1368.

DATE-2010-RavinagarajanDR #health #monitoring #scheduling

DVFS based task scheduling in a harvesting WSN for Structural Health Monitoring (AR, DD, TSR), pp. 1518–1523.

SIGMOD-2010-MathioudakisK #detection #named #twitter

TwitterMonitor: trend detection over the twitter stream (MM, NK), pp. 1155–1158.

ICSM-2010-HadererKA #framework #monitoring #named #quality

SQUANER: A framework for monitoring the quality of software systems (NH, FK, GA), pp. 1–4.

CHI-2010-BiBB #scalability #visual notation

Effects of interior bezels of tiled-monitor large displays on visual search, tunnel steering, and target selection (XB, SHB, RB), pp. 65–74.

CHI-2010-MaitlandC #self

Self-monitoring, self-awareness, and self-determination in cardiac rehabilitation (JM, MC), pp. 1213–1222.

SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring

Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.

CAiSE-2010-HolmesZDD #internet #monitoring

Monitoring and Analyzing Service-Based Internet Systems through a Model-Aware Service Environment (TH, UZ, FD, SD), pp. 98–112.

EDOC-2010-Halle #contract #interface #ltl #monitoring #runtime

Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.

ICEIS-DISI-2010-LiQW #cyber-physical #monitoring

A Cyber-physical System for Elders Monitoring (XL, YQ, HW), pp. 294–299.

ICEIS-J-2010-SilvaGFTG10a #monitoring #paradigm

Improving QoS Monitoring Based on the Aspect-Orientated Paradigm (MFdS, IMdSG, MF, MBFdT, AFG), pp. 421–435.

ICEIS-SAIC-2010-SilvaGFTG #approach #monitoring #named

Aspect-Monitor — An Aspect-based Approach to WS-contract Monitoring (MFdS, IMdSG, MF, MBFdT, AFG), pp. 5–12.

ICPR-2010-KaramanBMDDG #monitoring #process #smarttech

Human Daily Activities Indexing in Videos from Wearable Cameras for Monitoring of Patients with Dementia Diseases (SK, JBP, RM, VD, JFD, YG), pp. 4113–4116.

ICPR-2010-LiP10a #analysis #classification #monitoring #realtime

Human State Classification and Predication for Critical Care Monitoring by Real-Time Bio-signal Analysis (XL, FP), pp. 2460–2463.

ICPR-2010-MalakutiA #monitoring #towards

Towards an Intelligent Bed Sensor: Non-intrusive Monitoring of Sleep Irregularities with Computer Vision Techniques (KM, ABA), pp. 4004–4007.

ICPR-2010-Serra-ToroMTHNC #behaviour #monitoring #quality #video

Assessing Water Quality by Video Monitoring Fish Swimming Behavior (CST, RM, VJT, IMHM, MNR, PC), pp. 428–431.

SEKE-2010-BifflSM #data flow #development #monitoring #open source

A Project Monitoring Cockpit Based On Integrating Data Sources in Open Source Software Development (SB, WDS, TM), pp. 620–627.

OOPSLA-2010-PurandareDE #monitoring #optimisation

Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.

PADL-2010-SridharH #monitoring #prolog

ActionScript In-Lined Reference Monitoring in Prolog (MS, KWH), pp. 149–151.

SAC-2010-BallanceC #monitoring #performance #source code

Monitoring MPI programs for performance characterization and management control (RAB, JC), pp. 2305–2310.

SAC-2010-ComuzziS #monitoring

Dynamic set-up of monitoring infrastructures for service based systems (MC, GS), pp. 2414–2421.

SAC-2010-HedgecockVLKAST #mobile #monitoring #network

Mobile air pollution monitoring network (WH, PV, ÁL, XDK, AA, ASS, AT), pp. 795–796.

SAC-2010-SarrNG #adaptation #distributed #monitoring #named #transaction #web

TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.

SAC-2010-WetzsteinKKLZ #monitoring #process

Cross-organizational process monitoring based on service choreographies (BW, DK, OK, FL, DZ), pp. 2485–2490.

ICSE-2010-ChenM #approach #evolution #monitoring #requirements #safety #towards

Towards better support for the evolution of safety requirements via the model monitoring approach (ZC, GM), pp. 219–222.

ICSE-2010-LewisW #fault #monitoring #runtime #using

Runtime repair of software faults using event-driven monitoring (CL, JW), pp. 275–280.

ASPLOS-2010-GoodsteinVCGKM #adaptation #analysis #data flow #monitoring #parallel

Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring (MLG, EV, SC, PBG, MAK, TCM), pp. 257–270.

ASPLOS-2010-VlachosGKCFGM #monitoring #named #online #parallel #thread

ParaLog: enabling and accelerating online parallel monitoring of multithreaded applications (EV, MLG, MAK, SC, BF, PBG, TCM), pp. 271–284.

HPDC-2010-NaimCIAS #monitoring #quality

Monitoring data quality in Kepler (AN, DC, MI, IA, SS), pp. 560–564.

LCTES-2010-FischmeisterB #execution #monitoring

Sampling-based program execution monitoring (SF, YB), pp. 133–142.

OSDI-2010-EnckGCCJMS #data flow #monitoring #named #privacy #realtime #smarttech

TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones (WE, PG, BGC, LPC, JJ, PM, AS), pp. 393–407.

CAV-2010-BasinKM #first-order #logic #monitoring #policy

Policy Monitoring in First-Order Temporal Logic (DAB, FK, SM), pp. 1–18.

VMCAI-2010-SridharH #model checking #monitoring

Model-Checking In-Lined Reference Monitors (MS, KWH), pp. 312–327.

ASE-2009-AcharyaK #health #mining #modelling #monitoring #performance

Mining Health Models for Performance Monitoring of Services (MA, VK), pp. 409–420.

ASE-2009-ChenMJR #independence #monitoring #parametricity #performance

Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.

CASE-2009-BukkapatnamMKSK #monitoring #realtime #using

Real-time monitoring of container stability loss using wireless vibration sensor tags (STSB, SM, JK, VS, RK), pp. 221–226.

DATE-2009-FiorinPS #monitoring #runtime

MPSoCs run-time monitoring through Networks-on-Chip (LF, GP, CS), pp. 558–561.

DATE-2009-MadduriVBT #manycore #monitoring

A monitor interconnect and support subsystem for multicore processors (SM, RV, WB, RT), pp. 761–766.

SIGMOD-2009-ChenSZY #monitoring #nearest neighbour #network

Monitoring path nearest neighbor in road networks (ZC, HTS, XZ, JXY), pp. 591–602.

VLDB-2009-CheemaLZWZ #lazy evaluation #monitoring #performance

Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.

VLDB-2009-LiuDDLZ #monitoring #named #network #realtime #scalability

MOIR/MT: Monitoring Large-Scale Road Network Traffic in Real-Time (KL, KD, ZD, ML, XZ), pp. 1538–1541.

VLDB-2009-XingSP #monitoring #nearest neighbour

Continuous Monitoring of Nearest Neighbors on Land Surface (SX, CS, BP), pp. 1114–1125.

TACAS-2009-ChenR #monitoring #parametricity #slicing

Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.

ICALP-v1-2009-ArackaparambilBC #functional #monitoring

Functional Monitoring without Monotonicity (CA, JB, AC), pp. 95–106.

SEFM-2009-ColomboPS #java #monitoring #realtime #source code

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) (CC, GJP, GS), pp. 33–37.

HCI-AUII-2009-LeeJLJCY #monitoring #smarttech #using

Wearable ECG Monitoring System Using Conductive Fabrics and Active Electrodes (SHL, SMJ, CKL, KSJ, GC, SKY), pp. 778–783.

HCI-NT-2009-GaoBA #assessment #monitoring

Monitoring and Processing of the Pupil Diameter Signal for Affective Assessment of a Computer User (YG, AB, MA), pp. 49–58.

HCI-NT-2009-HercegfiPTI #evaluation #monitoring #usability

Usability Evaluation by Monitoring Physiological and Other Data Simultaneously with a Time-Resolution of Only a Few Seconds (KH, MP, ST, LI), pp. 59–68.

HCI-NT-2009-ShastriPW #monitoring

A Method to Monitor Operator Overloading (DS, IP, AW), pp. 169–175.

HIMI-II-2009-BehalGKCLCQ #monitoring #named #visualisation

COBRA — A Visualization Solution to Monitor and Analyze Consumer Generated Medias (AB, JG, LK, YC, SL, WC, WQ), pp. 229–238.

HIMI-II-2009-KushiroKNI #behaviour #health #monitoring

Non-intrusive Human Behavior Monitoring Sensor for Health Care System (NK, MK, MN, YI), pp. 549–558.

EDOC-2009-WetzsteinLRBDL #monitoring #performance #process

Monitoring and Analyzing Influential Factors of Business Process Performance (BW, PL, FR, IB, SD, FL), pp. 141–150.

ICEIS-AIDSS-2009-AlbusacCLVL #analysis #detection

Intelligent Surveillance for Trajectory Analysis — Detecting Anomalous Situations in Monitored Environments (JA, JJCS, LJL, DV, LMLL), pp. 102–107.

ICEIS-AIDSS-2009-CardosoO #contract #monitoring

Monitoring Cooperative Business Contracts in an Institutional Environment (HLC, ECO), pp. 206–211.

ICEIS-J-2009-CarrascoHRSE #embedded #interface #monitoring #safety #using

Remote Controlling and Monitoring of Safety Devices Using Web-Interface Embedded Systems (AC, MDH, MCR, FS, JIE), pp. 737–744.

ICEIS-J-2009-LampertiZ #monitoring #nondeterminism

Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.

ICEIS-J-2009-MulazzaniRS #monitoring #process

Developing Business Process Monitoring Probes to Enhance Organization Control (FM, BR, GS), pp. 456–466.

ICEIS-SAIC-2009-BodenstaffWWJR #composition #design #monitoring #validation

Monitoring Service Compositions in MoDe4SLA — Design of Validation (LB, AW, RW, MCJ, MR), pp. 114–121.

CIKM-2009-Azzopardi #effectiveness #information retrieval #metric #monitoring #performance

Usage based effectiveness measures: monitoring application performance in information retrieval (LA), pp. 631–640.

CIKM-2009-GaoXCA #monitoring #problem #web

The gardener’s problem for web information monitoring (BJG, MX, WC, DCA), pp. 1525–1528.

CIKM-2009-HuC #monitoring #online

RSS watchdog: an instant event monitor on real online news streams (CLH, CKC), pp. 2097–2098.

CIKM-2009-YangLJ #monitoring #scalability

Scalable continuous range monitoring of moving objects in symbolic indoor space (BY, HL, CSJ), pp. 671–680.

KDD-2009-BuCFL #monitoring #performance

Efficient anomaly monitoring over moving object trajectory streams (YB, LC, AWCF, DL), pp. 159–168.

KDD-2009-LiuKJ #graph #learning #monitoring

Learning dynamic temporal graphs for oil-production equipment monitoring system (YL, JRK, OJ), pp. 1225–1234.

SEKE-2009-KulkarniCZ #framework #monitoring #named #online #policy

iPass: An Integrated Framework for Educating, Monitoring and Enforcing Password Policies for Online Services (DK, DC, FZ), pp. 548–551.

SEKE-2009-NusayrC #aspect-oriented #monitoring #runtime

Extending AOP to Support Broad Runtime Monitoring Needs (AN, JC), pp. 438–441.

SIGIR-2009-SavalM #information management #monitoring #named

Agate: information gathering for risk monitoring (AS, YM), p. 842.

ECOOP-2009-DamJLP #java #monitoring #parallel #security #thread

Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.

OOPSLA-2009-InoueN #hardware #how #java #monitoring #performance #virtual machine

How a Java VM can get more from a hardware performance monitor (HI, TN), pp. 137–154.

TOOLS-EUROPE-2009-KloseO #aspect-oriented #classification #framework #monitoring #runtime

A Classification Framework for Pointcut Languages in Runtime Monitoring (KK, KO), pp. 289–307.

SAC-2009-FalconeFM #classification #monitoring

Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.

SAC-2009-HalleV #monitoring #runtime #streaming #using #web #web service #xml

Runtime monitoring of web service choreographies using streaming XML (SH, RV), pp. 2118–2125.

SAC-2009-HammadC #lightweight #monitoring

Lightweight monitoring of sensor software (MH, JC), pp. 2180–2185.

SAC-2009-OyamaKI #haskell #monitoring #named #virtual machine

Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.

SAC-2009-SkordylisT #monitoring #optimisation

Jointly optimizing data acquisition and delivery in traffic monitoring VANETs (AS, NT), pp. 2186–2190.

SAC-2009-UddinZ #algorithm #automation #monitoring #named #trust

ATM: an automatic trust monitoring algorithm for service software (MGU, MZ), pp. 1040–1044.

ESEC-FSE-2009-GrunskeZ #monitoring #probability

Monitoring probabilistic properties (LG, PZ), pp. 183–192.

ICSE-2009-GousiosS #framework #monitoring #quality

Alitheia Core: An extensible software quality monitoring platform (GG, DS), pp. 579–582.

CGO-2009-CuthbertsonVBAS #approach #hardware #monitoring #optimisation #performance #virtual machine

A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM (JC, SV, KB, AA, EK, US), pp. 190–199.

LCTES-2009-McKechnieBV #debugging #monitoring #transaction

Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring (PEM, MB, WV), pp. 129–136.

VMCAI-2009-GondiPS #monitoring #probability

Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.

WICSA-2008-SousaSPB #design #monitoring #named

uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces (JPS, BRS, VP, AB), pp. 71–80.

ASE-2008-DwyerDE #cost analysis #monitoring

Reducing the Cost of Path Property Monitoring Through Sampling (MBD, MD, SGE), pp. 228–237.

ASE-2008-MeredithJCR #monitoring #parametricity #performance

Efficient Monitoring of Parametric Context-Free Patterns (POM, DJ, FC, GR), pp. 148–157.

CASE-2008-DotoliFM #automation #fault #first-order #hybrid #monitoring #petri net

Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.

CASE-2008-SchroederMT #health #identification #monitoring #process

A Factory Health Monitor: System identification, process monitoring, and control (KS, JRM, DMT), pp. 16–22.

CASE-2008-SunWHRW #case study #effectiveness #identification #monitoring #set

Identification of feature set for effective tool condition monitoring — a case study in titanium machining (JS, YSW, GSH, MR, ZW), pp. 273–278.

DATE-2008-MelaniBMLDF #monitoring

Hot Wire Anemometric MEMS Sensor for Water Flow Monitoring (MM, LB, MDM, PL, FD, LF), pp. 342–347.

PODS-2008-SharfmanSK #geometry #monitoring

Shape sensitive geometric monitoring (IS, AS, DK), pp. 301–310.

SIGMOD-2008-ChowMH #monitoring #named #network #privacy

Tinycasper: a privacy-preserving aggregate location monitoring system in wireless sensor networks (CYC, MFM, TH), pp. 1307–1310.

SIGMOD-2008-HwangCCZ #monitoring #named

Borealis-R: a replication-transparent stream processing system for wide-area monitoring applications (JHH, SC, UÇ, SBZ), pp. 1303–1306.

SIGMOD-2008-JohnsonMSS #clustering #data type #monitoring #network

Query-aware partitioning for monitoring massive network data streams (TJ, SMM, VS, OS), pp. 1135–1146.

VLDB-2008-CheungM #framework #monitoring #performance #profiling

Performance profiling with EndoScope, an acquisitional software monitoring framework (AC, SM), pp. 42–53.

VLDB-2008-Miao #monitoring #named

GS-TMS: a global stream-based threat monitor system (JM), pp. 1644–1651.

VLDB-2008-MiloD #distributed #monitoring #process #query

Querying and monitoring distributed business processes (TM, DD), pp. 1512–1515.

SAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread

Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.

FM-2008-AktugDG #monitoring #runtime

Provably Correct Runtime Monitoring (IA, MD, DG), pp. 262–277.

SIGAda-2008-Moore08a #ada #distributed #monitoring

Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.

EDOC-2008-HalleV #message passing #monitoring #runtime #workflow

Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.

ICEIS-ISAS2-2008-PegoraroHDGR #framework #monitoring #runtime #web #web service

A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications (RP, RBH, KD, KG, JMR), pp. 201–206.

ICPR-2008-AzoughDMH #behaviour #modelling #monitoring #personalisation

Intuitive event modeling for personalized behavior monitoring (AA, AD, FDM, MSH), pp. 1–4.

ICPR-2008-El-BazGFE #3d #analysis #approach #automation #detection #image #monitoring

A new approach for automatic analysis of 3D low dose CT images for accurate monitoring the detected lung nodules (AEB, GLG, RF, MAEG), pp. 1–4.

ICPR-2008-HulkkonenH #detection #monitoring

A minimum description length principle based method for signal change detection in machine condition monitoring (JJH, JVH), pp. 1–4.

RecSys-2008-Domingues #adaptation #analysis #framework #independence #monitoring #web

An independent platform for the monitoring, analysis and adaptation of web sites (MAD), pp. 299–302.

SEKE-2008-MahoneyE #monitoring #using

Using Scenario Monitoring to Address State Based Crosscutting Concerns (MM, TE), pp. 581–586.

SAC-2008-ChengC #monitoring #named #programmable #thread

SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.

SAC-2008-FreireBF #approach #metric #monitoring #web

An approach based on metrics for monitoring web accessibility in Brazilian municipalities web sites (APF, TJB, RPdMF), pp. 2421–2425.

SAC-2008-GoncalvesFAG #monitoring

ECG data provisioning for telehomecare monitoring (BG, JGPF, RVA, GG), pp. 1374–1379.

FSE-2008-BoddenLH #fault #monitoring #programming #runtime

Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.

FSE-2008-RaimondiSE #monitoring #online #performance

Efficient online monitoring of web-service SLAs (FR, JS, WE), pp. 170–180.

OSDI-2008-BhatiaKFP #lightweight #monitoring

Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.

OSDI-2008-JainMKYDZ #consistency #metric #monitoring #network #scalability

Network Imprecision: A New Consistency Metric for Scalable Monitoring (NJ, PM, DK, PY, MD, YZ), pp. 87–102.

CAV-2008-FarzanM #concurrent #monitoring #source code

Monitoring Atomicity in Concurrent Programs (AF, PM), pp. 52–65.

ICLP-2008-MileoMB #approach #logic programming #monitoring

A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living (AM, DM, RB), pp. 145–159.

LICS-2008-ChadhaSV #complexity #finite #monitoring #on the

On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.

VMCAI-2008-SistlaS #monitoring #probability

Monitoring Temporal Properties of Stochastic Systems (APS, ARS), pp. 294–308.

CBSE-2007-MucciniPRB #architecture #component #monitoring

Monitoring Architectural Properties in Dynamic Component-Based Systems (HM, AP, FR, AB), pp. 124–139.

ASE-2007-InverardiM #distributed #generative #monitoring #named

DESERT: a decentralized monitoring tool generator (PI, LM), pp. 529–530.

ASE-2007-SantelicesH #data flow #monitoring #test coverage

Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.

ASE-2007-WangMYM #approach #automation #monitoring #requirements

An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.

CASE-2007-BasileGS #distributed #monitoring #petri net

Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.

CASE-2007-BukkapatnamK #monitoring #using

Container Integrity and Condition Monitoring using RF Vibration Sensor Tags (STSB, RK), pp. 585–590.

CASE-2007-DotoliFM #identification #monitoring #on the #petri net #specification

On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification (MD, MPF, AMM), pp. 893–898.

CASE-2007-FagioliniVPDB #detection #distributed #implementation #monitoring #multi

Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems (AF, GV, LP, GD, AB), pp. 454–459.

CASE-2007-OkTRKKZB #monitoring #network #pipes and filters #self

Optimal Transmission Power in Self-sustainable Sensor Networks for Pipeline Monitoring (CO, HPT, UNR, SRTK, SGK, XZ, STSB), pp. 591–596.

CASE-2007-ZhangBGL #feature model #hybrid #monitoring

A Hybrid Model with a Weighted Voting Scheme for Feature Selection in Machinery Condition Monitoring (KZ, ADB, FG, YL), pp. 424–429.

DATE-2007-FeiS #architecture #monitoring #set

Microarchitectural support for program code integrity monitoring in application-specific instruction set processors (YF, ZJS), pp. 815–820.

DATE-2007-MossNFFBA #hardware #performance #simulation

Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support (LM, MdN, LF, SF, GB, EMA), pp. 876–881.

DATE-2007-ZjajoAG #interactive #monitoring #parametricity #process

Interactive presentation: BIST method for die-level process parameter variation monitoring in analog/mixed-signal integrated circuits (AZ, MJBA, JPdG), pp. 1301–1306.

SIGMOD-2007-BeeriEMP #monitoring #process

Query-based monitoring of BPEL business processes (CB, AE, TM, AP), pp. 1122–1124.

SIGMOD-2007-LarsonLZZ07a #estimation #self

Exploiting self-monitoring sample views for cardinality estimation (PÅL, WL, JZ, PZ), pp. 1073–1075.

SIGMOD-2007-MishraV #monitoring #named #query

ConEx: a system for monitoring queries (CM, MV), pp. 1076–1078.

SIGMOD-2007-YangLOT #execution #monitoring #network #query

In-network execution of monitoring queries in sensor networks (XY, HBL, MTÖ, KLT), pp. 521–532.

VLDB-2007-BeeriPME #monitoring #process #query

Monitoring Business Processes with Queries (CB, AE, TM, AP), pp. 603–614.

VLDB-2007-JainDZKMY #monitoring #named #scalability #self

STAR: Self-Tuning Aggregation for Scalable Monitoring (NJ, MD, YZ, DK, PM, PY), pp. 962–973.

VLDB-2007-WuYGHABFGGLW #challenge #experience #monitoring #multi #prototype

Challenges and Experience in Prototyping a Multi-Modal Stream Analytic and Monitoring Application on System S (KLW, PSY, BG, KH, CCA, EB, WF, DG, XG, GL, HW), pp. 1185–1196.

CSMR-2007-LangeWC #evolution #monitoring #named #quality #uml

MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality (CFJL, MAMW, MRVC), pp. 327–328.

CSMR-2007-Lormans #evolution #monitoring #requirements #using

Monitoring Requirements Evolution using Views (ML), pp. 349–352.

PLDI-2007-SchneiderPG #hardware #monitoring #online #optimisation #performance

Online optimizations driven by hardware performance monitoring (FTS, MP, TRG), pp. 373–382.

AGTIVE-2007-BoddenV #automaton #monitoring #runtime #specification #timeline

Transforming Timeline Specifications into Automata for Runtime Monitoring (EB, HV), pp. 249–264.

CHI-2007-HutchingsS #consistency #monitoring #multi

Consistency, multiple monitors, and multiple windows (DRH, JTS), pp. 211–214.

CHI-2007-KellarWI #design #monitoring

An exploration of web-based monitoring: implications for design (MK, CRW, KMI), pp. 377–386.

HCI-AS-2007-KimLYC #design #implementation #monitoring #personalisation #process

Design and Implementation of a Personalized Business Activity Monitoring System (HK, YHL, HY, NWC), pp. 581–590.

HCI-AS-2007-LeeNB #monitoring #network #reliability #using

Personal Life Logger and Belonging Monitor Using Reliable ZigBee Networks (KL, KN, CB), pp. 961–970.

HCI-IDU-2007-SchwerzMS #evaluation #usability #web

A Task Model Proposal for Web Sites Usability Evaluation for the ErgoMonitor Environment (ALS, MM, SRPdS), pp. 1188–1197.

HCI-IPT-2007-JangCJC #smarttech

Exploring Possibilities of ECG Electrodes for Bio-monitoring Smartwear with Cu Sputtered Fabrics (SJ, JC, KJ, GC), pp. 1130–1137.

HCI-MIE-2007-PeterSVUNJKG #detection #monitoring #performance #usability

EREC-II in Use — Studies on Usability and Suitability of a Sensor System for Affect Detection and Human Performance Monitoring (CP, RS, JV, BU, NN, HJ, KK, RG), pp. 465–474.

EDOC-2007-HersheyR #enterprise #monitoring

SOA Monitoring for Enterprise Computing Systems (PH, DR), pp. 443–450.

ICEIS-DISI-2007-AraqueSD #data flow #monitoring #using #web

Monitoring web data sources using temporal properties as an external resources of a data warehouse (FA, AS, CD), pp. 28–35.

ICEIS-DISI-2007-MangisengiPADR #data transformation #monitoring #process

Activity warehouse: Data management for business activity monitoring (OM, MP, DA, DD, HR), pp. 137–144.

ICEIS-SAIC-2007-Baghdadi #architecture #monitoring #specification #web #web service

Specification of a Tool for Monitoring and Managing a Web Services Architecture (YB), pp. 51–56.

MLDM-2007-FullerK #data type #distributed #monitoring #named

FIDS: Monitoring Frequent Items over Distributed Data Streams (RF, MMK), pp. 464–478.

SEKE-2007-LiangDS #evolution #monitoring #runtime

Evolution and Runtime Monitoring of Software Systems (HL, JSD, JS), pp. 343–348.

SIGIR-2007-Leidner #information management #monitoring

Resource monitoring in information extraction (JLL), pp. 779–780.

MoDELS-2007-XuL #interactive #monitoring #visual notation

Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.

MoDELS-2007-XuL #interactive #monitoring #visual notation

Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.

ECOOP-2007-BoddenHL #monitoring #performance #program analysis #runtime #staged

A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (EB, LJH, OL), pp. 525–549.

OOPSLA-2007-AvgustinovTM #monitoring

Making trace monitors feasible (PA, JT, OdM), pp. 589–608.

RE-2007-SalifuYN #monitoring #problem #specification

Specifying Monitoring and Switching Problems in Context (MS, YY, BN), pp. 211–220.

SAC-2007-BaoYS #monitoring

Projection function for driver fatigue monitoring with monocular camera (DB, ZY, YS), pp. 82–83.

SAC-2007-KyungPKJKP #design #framework #manycore #monitoring #performance

Performance monitor unit design for an AXI-based multi-core SoC platform (HmK, GHP, JWK, WJ, TJK, SBP), pp. 1565–1572.

SAC-2007-SpanoudakisKA #monitoring #security #towards

Towards security monitoring patterns (GS, CK, KA), pp. 1518–1525.

SPLC-2007-HabliK #challenge #monitoring #product line

Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System (IH, TK), pp. 193–202.

HPCA-2007-ShaferCMRCZW #concurrent #monitoring #network #virtual machine

Concurrent Direct Network Access for Virtual Machine Monitors (JS, DC, AM, SR, ALC, WZ, PW), pp. 306–317.

HPCA-2007-VenkataramaniRSP #debugging #memory management #monitoring #named #performance #programmable

MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging (GV, BR, YS, MP), pp. 273–284.

SOSP-2007-KicimanL #behaviour #framework #monitoring #named #web

AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications (EK, VBL), pp. 17–30.

ASE-2006-LohmannES #contract #generative #modelling #monitoring #visual notation

Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.

CASE-2006-XiaoX #modelling #monitoring #process

Monitoring of batch processes with non-linear modeling methods (YX, BX), pp. 140–143.

DAC-2006-KhatibPBBBKJN #analysis #architecture #design #monitoring #multi #realtime

A multiprocessor system-on-chip for real-time biomedical monitoring and analysis: architectural design space exploration (IAK, FP, DB, LB, MB, HK, AJ, RN), pp. 125–130.

DAC-2006-RagelP #monitoring #named #reliability #security

IMPRES: integrated monitoring for processor reliability and security (RGR, SP), pp. 502–505.

DATE-2006-BonnetLM #framework #monitoring #named #network #towards

Hogthrob: towards a sensor network infrastructure for sow monitoring (wireless sensor network special day) (PB, ML, KM), p. 1109.

DATE-2006-Morin-AlloryB #monitoring #specification

Proven correct monitors from PSL specifications (KMA, DB), pp. 1246–1251.

SIGMOD-2006-KeralapuraCR #distributed #monitoring

Communication-efficient distributed monitoring of thresholded counts (RK, GC, JR), pp. 289–300.

SIGMOD-2006-MouratidisBP #monitoring #query

Continuous monitoring of top-k queries over sliding windows (KM, SB, DP), pp. 635–646.

SIGMOD-2006-SharfmanSK #approach #data type #distributed #geometry #monitoring

A geometric approach to monitoring threshold functions over distributed data streams (IS, AS, DK), pp. 301–312.

SIGMOD-2006-SilbersteinBY #constraints #energy #monitoring #network

Constraint chaining: on energy-efficient continuous monitoring in sensor networks (AS, RB, JY), pp. 157–168.

SIGMOD-2006-SilbersteinMY #energy #monitoring #network

Energy-efficient monitoring of extreme values in sensor networks (AS, KM, JY), pp. 169–180.

VLDB-2006-HokeSF #clustering #monitoring #named #scalability

InteMon: Intelligent System Monitoring on Large Clusters (EH, JS, CF), pp. 1239–1242.

VLDB-2006-MouratidisYPM #monitoring #nearest neighbour #network

Continuous Nearest Neighbor Monitoring in Road Networks (KM, MLY, DP, NM), pp. 43–54.

CSMR-2006-Boffoli #monitoring #quality

Non-Intrusive Monitoring of Software Quality (NB), pp. 319–322.

WCRE-2006-LormansGDSS #case study #industrial #monitoring #requirements #using

Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study (ML, HGG, AvD, RvS, AS), pp. 275–284.

PLDI-2006-FeiM #execution #monitoring #named #runtime

Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.

FM-2006-GenonMM #algorithm #distributed #ltl #monitoring #performance #sequence

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces (AG, TM, CM), pp. 557–572.

ICGT-2006-EngelsLSH #contract #design #graph transformation #modelling #monitoring

Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.

CHI-2006-RoblesSRN #how

Being watched or being special: how I learned to stop worrying and love being monitored, surveilled, and assessed (ER, AS, KR, CN), pp. 831–839.

ICEIS-J-2006-LampertiZ06a #monitoring #on the

On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.

ICPR-v1-2006-XuSL #adaptation #behaviour #detection #monitoring

Tree Based Behavior Monitoring for Adaptive Fraud Detection (JX, AHS, QL), pp. 1208–1211.

ICPR-v4-2006-AlbuLCOHZPBMDDMJTGL #monitoring #named #network

MONNET: Monitoring Pedestrians with a Network of Loosely-Coupled Cameras (ABA, DL, SC, DO, PH, AZ, MP, RB, XM, RD, SD, NMB, FJ, HT, LG, FL), pp. 924–928.

KDD-2006-SpiliopoulouNTS #clustering #modelling #monitoring #named

MONIC: modeling and monitoring cluster transitions (MS, IN, YT, RS), pp. 706–711.

SEKE-2006-HallstromDS #contract #design pattern #monitoring #parallel

Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.

SEKE-2006-TylerS #automation #control flow #inheritance #monitoring

Automatic Monitoring of Control-flow Through Inheritance Hierarchies (BT, NS), pp. 355–358.

LOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis

On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.

SAC-2006-ChenJUY #detection #distributed #fault #monitoring

Combining supervised and unsupervised monitoring for fault detection in distributed computing systems (HC, GJ, CU, KY), pp. 705–709.

SAC-2006-KenscheSB #documentation #framework #monitoring #named #web

MonA: an extensible framework for web document monitoring (DK, CS, AB), pp. 1112–1113.

SAC-2006-TylerHS #automation #contract #generative #monitoring

Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.

ASPLOS-2006-JonesAA #monitoring #named #virtual machine

Geiger: monitoring the buffer cache in a virtual machine environment (STJ, ACAD, RHAD), pp. 14–24.

CGO-2006-DasLH #detection #monitoring #optimisation

Region Monitoring for Local Phase Detection in Dynamic Optimization Systems (AD, JL, WCH), pp. 124–134.

HPDC-2006-BaiardiRMV #monitoring #policy #virtual machine

Policy Driven Virtual Machine Monitor for Protected Grids (FB, LR, PM, AV), pp. 313–316.

OSDI-2006-VerbowskiKKDLLWR #interactive #monitoring

Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management (CV, EK, AK, BD, SL, JL, YMW, RR), pp. 117–130.

OSDI-2006-Werner-AllenLJLW #monitoring #network

Fidelity and Yield in a Volcano Monitoring Sensor Network (GWA, KL, JJ, JL, MW), pp. 381–396.

CAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis

Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.

FATES-RV-2006-ArmoniKTVZ #linear #monitoring

Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.

FATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented #monitoring

Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.

ISSTA-2006-KiviluomaKM #architecture #aspect-oriented #behaviour #monitoring #runtime #using

Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects (KK, JK, TM), pp. 181–190.

TestCom-2006-ShuL #monitoring #protocol #security #testing

Message Confidentiality Testing of Security Protocols — Passive Monitoring and Active Checking (GS, DL), pp. 357–372.

VMCAI-2006-SistlaZZ #component #monitoring #off the shelf

Monitoring Off-the-Shelf Components (APS, MZ, LDZ), pp. 222–236.

WICSA-2005-RatcliffeCO #architecture #case study #design #monitoring

Case Study on Architecture-Centered Design for Monitoring Views at CERN (OR, SC, FO), pp. 213–214.

ASE-2005-HalfondO #analysis #injection #monitoring #named

AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks (WGJH, AO), pp. 174–183.

ASE-2005-Tan #embedded #logic #modelling #self #source code #specification

Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.

DAC-2005-JayakumarDK #monitoring #self

A self-adjusting scheme to determine the optimum RBB by monitoring leakage currents (NJ, SD, SPK), pp. 43–46.

DAC-2005-WagnerBA #approach #automation #generative #monitoring #named #process #testing

StressTest: an automatic approach to test generation via activity monitors (IW, VB, TMA), pp. 783–788.

DATE-2005-AroraRRJ #embedded #monitoring #runtime

Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.

DATE-2005-GadkariR #automation #monitoring #specification #synthesis #using #visual notation

Automated Synthesis of Assertion Monitors using Visual Specifications (AAG, SR), pp. 390–395.

DATE-2005-JeffreyCPLRR #configuration management #integration #monitoring #online #safety #using

The Integration of On-Line Monitoring and Reconfiguration Functions using IEEE1149.4 Into a Safety Critical Automotive Electronic Control Unit (CJ, RC, SP, ML, AR, SR), pp. 153–158.

DATE-2005-NoguchiN #monitoring #multi

On-Chip Multi-Channel Waveform Monitoring for Diagnostics of Mixed-Signal VLSI Circuits (KN, MN), pp. 146–151.

DATE-2005-Takeuchi #debugging #lightweight #monitoring #using #virtual machine

OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.

SIGMOD-2005-HuXL #framework #monitoring #query

A Generic Framework for Monitoring Continuous Spatial Queries over Moving Objects (HH, JX, DLL), pp. 479–490.

SIGMOD-2005-PapadiasMH #clustering #concept #monitoring #nearest neighbour #performance

Conceptual Partitioning: An Efficient Method for Continuous Nearest Neighbor Monitoring (KM, MH, DP), pp. 634–645.

TACAS-2005-ChenR #java #monitoring #named #programming

Java-MOP: A Monitoring Oriented Programming Environment for Java (FC, GR), pp. 546–550.

IWPC-2005-Reiss05a #concurrent #java #monitoring #performance #thread

Efficient Monitoring and Display of Thread State in Java (SPR), pp. 247–256.

PASTE-2005-CookO #component #deployment #named

MonDe: safe updating through monitored deployment of new component versions (JEC, AO), pp. 43–46.

PASTE-2005-KumarCS #monitoring #profiling

Low overhead program monitoring and profiling (NK, BRC, MLS), pp. 28–34.

SIGAda-2005-NaeserAF #monitoring #named

SafetyChip: a time monitoring and policing device (GN, LA, JF), pp. 63–68.

EDOC-2005-WangWCWFUCGL #adaptation #enterprise #monitoring #using

Service Level Management using QoS Monitoring, Diagnostics, and Adaptation for Networked Enterprise Systems (GW, CW, AC, HW, CKF, SAU, YLC, WG, JL), pp. 239–250.

ICEIS-v3-2005-YuJ #development #modelling #monitoring #process

Model Driven Development of Business Process Monitoring and Control Systems (TY, JJJ), pp. 161–166.

KDD-2005-YamanishiM #mining #monitoring #network

Dynamic syslog mining for network failure monitoring (KY, YM), pp. 499–508.

SEKE-2005-MondragonGMS #generative #monitoring #runtime #specification

Generating Properties for Runtime Monitoring from Software Specification Patterns (OM, AQG, HM, OS), pp. 267–273.

ECMDA-FA-2005-BurgstallerWFBF #development #distributed #monitoring #using

Using Domain Driven Development for Monitoring Distributed Systems (RB, EW, LF, MB, TF), pp. 19–24.

SAC-2005-JafariDBS #adaptation #fault tolerance #monitoring

Adaptive and fault tolerant medical vest for life-critical medical monitoring (RJ, FD, PB, MS), pp. 272–279.

ICSE-2005-LetierKMU #analysis #monitoring #requirements

Monitoring and control in scenario-based requirements analysis (EL, JK, JM, SU), pp. 382–391.

ICSE-2005-YilmazKMPSGN #assurance #distributed #evolution #monitoring #performance #process #quality

Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems (CY, ASK, AMM, AAP, DCS, ASG, BN), pp. 293–302.

PPoPP-2005-CollardJY #memory management #monitoring #optimisation #performance

System-wide performance monitors and their application to the optimization of coherent memory accesses (JFC, NPJ, SY), pp. 247–254.

PPoPP-2005-YangBHM #correctness #monitoring #source code #trust #verification

Trust but verify: monitoring remotely executing programs for progress and correctness (SY, ARB, YCH, SPM), pp. 196–205.

CAV-2005-dAmorimR #monitoring #performance

Efficient Monitoring of ω-Languages (Md, GR), pp. 364–378.

ASE-2004-SpanoudakisM #calculus #framework #monitoring #requirements #towards

Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus (GS, KM), pp. 379–384.

DATE-v2-2004-VazquezG #fault #monitoring #power management

Power Supply Noise Monitor for Signal Integrity Faults (JRV, JPdG), pp. 1406–1407.

DATE-2005-KirsteinSSHVH04 #monitoring

A CMOS-Based Tactile Sensor for Continuous Blood Pressure Monitoring (KUK, JS, TS, CH, TV, AH), pp. 210–214.

SIGMOD-2004-GargRC #monitoring #named #query #web

Web-CAM: Monitoring the dynamic Web to respond to Continual Queries (SG, KR, SC), pp. 927–928.

VLDB-2004-LinKLLN #database #mining #monitoring #named #visual notation

VizTree: a Tool for Visually Mining and Monitoring Massive Time Series Databases (JL, EJK, SL, JPL, DMN), pp. 1269–1272.

VLDB-2004-PandeyDO #algorithm #monitoring #named #web

WIC: A General-Purpose Algorithm for Monitoring Web Information Sources (SP, KD, CO), pp. 360–371.

ICSM-2004-GirardVG #evolution #experience #metric #monitoring #object-oriented

Monitoring the Evolution of an OO System with Metrics: An Experience from the Stock Market Software Domain (JFG, MV, DG), pp. 360–367.

PLDI-2004-Adl-TabatabaiHSS #hardware #metadata #monitoring

Prefetch inection based on hardware monitoring and object metadata (ARAT, RLH, MJS, SS), pp. 267–276.

ICEIS-v1-2004-SchieferM #correlation #monitoring #process

Correlating Events for Monitoring Business Processes (JS, CM), pp. 320–327.

ICEIS-v3-2004-PanedaMGGN #analysis #monitoring #predict #video

Analysis and Configuration Methodology for Video on Demand Services Based on Monitoring Information and Prediction (XGP, DM, RG, VGG, ÁN), pp. 289–294.

ICEIS-v4-2004-RodriguezDGI #architecture #monitoring #online #performance

A Wireless Application That Monitors ECG Signals On-Line: Architecture and Performance (JR, LD, AG, AI), pp. 138–145.

ICPR-v3-2004-DouretB #3d #monitoring #multi

A Multi-Cameras 3D Volumetric Method for Outdoor Scenes : A Road Traffic Monitoring Application (JD, RB), pp. 334–337.

ICPR-v4-2004-LeoDGSD #monitoring #process #recognition

Complex Human Activity Recognition for Monitoring Wide Outdoor Environments (ML, TD, IG, PS, AD), pp. 913–916.

KDD-2004-LinKLLN #mining #monitoring #visual notation

Visually mining and monitoring massive time series (JL, EJK, SL, JPL, DMN), pp. 460–469.

ECOOP-2004-CaromelMT #monitoring

Sequential Object Monitors (DC, LM, ÉT), pp. 316–340.

ECOOP-2004-WelcJH #concurrent #monitoring #transaction

Transactional Monitors for Concurrent Objects (AW, SJ, ALH), pp. 519–542.

SAC-2004-BunchBBCSUHPM #monitoring #process

Software agents for process monitoring and notification (LB, MRB, JMB, MMC, NS, AU, JH, MP, VM), pp. 94–100.

SAC-2004-KantardzicSS #approach #monitoring

The time diversification monitoring of a stock portfolio: an approach based on the fractal dimension (MMK, PS, CS), pp. 637–641.

ICSE-2004-SenVAR #distributed #monitoring #performance #safety

Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.

HPDC-2004-ZangrilliL #monitoring #network #using

Using Passive Traces of Application Traffic in a Network Monitoring System (MZ, BL), pp. 77–86.

OSDI-2004-ZhangZPPW #internet #monitoring #named

PlanetSeer: Internet Path Failure Monitoring and Characterization in Wide-Area Services (MZ, CZ, VSP, LLP, RYW), pp. 167–182.

ICLP-2004-LangevineD #debugging #monitoring #visualisation

A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer (LL, MD), pp. 462–463.

DAC-2003-TasiranYB #model checking #monitoring #simulation #specification #using

Using a formal specification and a model checker to monitor and direct simulation (ST, YY, BB), pp. 356–361.

DATE-2003-BurbidgeTR #automation #embedded #monitoring

Techniques for Automatic On Chip Closed Loop Transfer Function Monitoring For Embedded Charge Pump Phase Locked Loops (MJB, JT, AR), pp. 10496–10503.

DATE-2003-ChenHBW #automation #constraints #generative #monitoring #simulation

Automatic Generation of Simulation Monitors from Quantitative Constraint Formula (XC, HH, FB, YW), pp. 11174–11175.

DATE-2003-DrineasM #concurrent #detection #fault #monitoring

Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees (PD, YM), pp. 11164–11167.

SIGMOD-2003-BabcockO #distributed #monitoring

Distributed Top-K Monitoring (BB, CO), pp. 28–39.

VLDB-2003-KornMZ #database #monitoring #network #problem #quality

Checks and Balances: Monitoring Data Quality Problems in Network Traffic Databases (FK, SM, YZ), pp. 536–547.

ITiCSE-2003-DarbhamullaDL #monitoring #online #student

Student status monitoring tool (SSM): proxy for the real world expert in online course delivery (RD, MD, PBL), p. 257.

CAiSE-2003-XuJ #contract #monitoring

Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.

EDOC-2003-DebusmannSSK #monitoring #using

Unified Service Level Monitoring using CIM (MD, MS, MS, RK), pp. 76–85.

EDOC-2003-NealCLMGK #contract #identification #monitoring #requirements

Identifying requirements for Business Contract Language: a Monitoring Perspectiv (SWN, JBC, PFL, ZM, SG, SK), pp. 50–61.

EDOC-2003-SgottiRS #monitoring

A MOM-based Solution for Remote Monitoring of Equipment in Mines (VACS, NSR, WJdS), pp. 321–326.

ICEIS-v2-2003-BenninghoffN #distributed #monitoring #scalability

Scaling Up Information Updates in Distributed Condition Monitoring (PB, SN), pp. 132–139.

ICEIS-v2-2003-OuazzaneZME #database #monitoring #network #performance #process

The Use of Neural Network and Database Technology to Reengineer the Technical Process of Monitoring Coal Combustion Efficiency (KO, KZ, FM, KE), pp. 495–498.

ICEIS-v4-2003-GamboaF #interactive #monitoring #named #web

Widam — Web Interaction Display and Monitoring (HG, VF), pp. 21–27.

CIKM-2003-ChangL #adaptation #data type #monitoring #named #online

estWin: adaptively monitoring the recent change of frequent itemsets over online data streams (JHC, WSL), pp. 536–539.

RE-2003-Robinson #monitoring #requirements #web #web service

Monitoring Web Service Requirements (WNR), pp. 65–74.

RE-2003-Simmons #monitoring #quality #requirements #specification

From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality (ES), p. 286.

SAC-2003-MabrySEE #monitoring

Intelligent Agents for Patient Monitoring and Diagnostics (SLM, TS, TE, NE), pp. 257–262.

SAC-2003-PascucciLFGSLH #monitoring #realtime #scalability #simulation

Real-Time Monitoring of Large Scientific Simulations (VP, DEL, RJF, FG, GS, LL, BH), pp. 194–198.

ESEC-FSE-2003-CangussuDM #approach #monitoring #process #statistics #testing #using

Monitoring the software test process using statistical process control: a logarithmic approach (JWC, RAD, APM), pp. 158–167.

CGO-2003-ChenHC #hardware #monitoring #performance #using

Dynamic Trace Selection Using Performance Monitoring Hardware Sampling (HC, WCH, DyC), pp. 79–90.

HPDC-2003-AgarwalaPKSW #distributed #monitoring #resource management

Resource-Aware Stream Management with the Customizable dproc Distributed Monitoring Mechanisms (SA, CP, JK, KS, MW), pp. 250–259.

HPDC-2003-SundaresanLKPS #adaptation #grid #monitoring #using

Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model (RS, ML, TMK, SP, JHS), pp. 260–269.

HPDC-2003-ZhangFS #distributed #information management #monitoring #performance

A Performance Study of Monitoring and Information Services for Distributed Systems (XZ, JLF, JMS), pp. 270–282.

CAV-2003-Drusinsky #monitoring

Monitoring Temporal Rules Combined with Time Series (DD), pp. 114–117.

DAC-2002-OliveiraH #automation #generative #interface #monitoring #specification

High-Level specification and automatic generation of IP interface monitors (MTO, AJH), pp. 129–134.

SIGMOD-2002-CranorGJSS #interface #monitoring #named #network #performance #sql

Gigascope: high performance network monitoring with an SQL interface (CDC, YG, TJ, VS, OS), p. 623.

VLDB-2002-CarneyCCCLSSTZ #data transformation #monitoring

Monitoring Streams — A New Class of Data Management Applications (DC, UÇ, MC, CC, SL, GS, MS, NT, SBZ), pp. 215–226.

VLDB-2002-LamKR #mobile #monitoring #named #realtime #using

RTMonitor: Real-Time Data Monitoring Using Mobile Agent Technologies (KyL, AK, KR), pp. 1063–1066.

VLDB-2002-ZhuS #data type #monitoring #named #realtime #statistics

StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time (YZ, DS), pp. 358–369.

TACAS-2002-HavelundR #monitoring #safety

Synthesizing Monitors for Safety Properties (KH, GR), pp. 342–356.

PASTE-2002-BowringOH #monitoring #using

Monitoring deployed software using software tomography (JFB, AO, MJH), pp. 2–9.

CAiSE-2002-WangW #flexibility #monitoring #workflow

Intelligent Agent Supported Flexible Workflow Monitoring System (MW, HW), pp. 787–791.

EDOC-2002-MilosevicD #behaviour #contract #monitoring #on the

On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.

ICEIS-2002-AllouiCO #logic #monitoring #process

Taming Process Deviations by Logic Based Monitoring (IA, SC, FO), pp. 716–724.

ICEIS-2002-BodorikBJ #middleware #monitoring #tool support

Toolkit for QoS Monitoring in Middleware (PB, SB, DNJ), pp. 244–249.

CIKM-2002-WuY #adaptation #monitoring #multi #performance #query #using

Efficient query monitoring using adaptive multiple key hashing (KLW, PSY), pp. 477–484.

ICPR-v1-2002-BasuPCB #distributed #image #monitoring #retrieval #using

Distributed Retrieval of Wavelet Images Using Bandwidth Monitoring (AB, MHP, LIC, MB), pp. 604–607.

ICPR-v1-2002-NguyenVWB #behaviour #monitoring #multi #people #using

Hierarchical Monitoring of People’s Behaviors in Complex Environments Using Multiple Cameras (NTN, SV, GAWW, HHB), pp. 13–16.

SEKE-2002-Micucci #architecture #industrial #knowledge-based #monitoring

Exploiting the kaleidoscope architecture in an industrial environmental monitoring system with heterogeneous devices and a knowledge-based supervisor (DM), pp. 685–688.

SAC-2002-AbdallahDH #monitoring

Monitoring and synchronization for teamwork in GPGP (SA, NMD, OH), pp. 288–293.

HPCA-2002-SuhDR #clustering #memory management #monitoring #scheduling

A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning (GES, SD, LR), pp. 117–128.

HPDC-2002-GunterTJLS #distributed #monitoring

Dynamic Monitoring of High-Performance Distributed Applications (DG, BT, KRJ, JL, MS), pp. 163–170.

ASE-2001-HavelundR #monitoring #source code #using

Monitoring Programs Using Rewriting (KH, GR), pp. 135–143.

ASE-2001-LongHS #concurrent #java #monitoring

A Concurrency Test Tool for Java Monitors (BL, DH, PAS), pp. 421–425.

CHI-2001-Grudin #clustering #monitoring #multi

Partitioning digital worlds: focal and peripheral awareness in multiple monitor use (JG), pp. 458–465.

ICEIS-v1-2001-PanticR #challenge #monitoring #multi #ubiquitous

Affect-Sensitive Multi-Modal Monitoring in Ubiquitous Computing: Advances and Challenges (MP, LJMR), pp. 466–474.

UML-2001-LettrariK #modelling #monitoring #realtime #testing #uml

Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.

POPL-2001-BhargavanCMG #automaton #monitoring #network #what

What packets may come: automata for network monitoring (KB, SC, PJM, CAG), pp. 206–219.

HPDC-2001-BolligerG #monitoring

Bandwidth Monitoring for Network-Aware Applications (JB, TRG), pp. 241–251.

ASE-2000-BuenoJ #identification #monitoring #testing

Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data (PMSB, MJ), pp. 209–218.

IWPC-2000-Goldman #interactive #monitoring #named

Smiley — An Interactive Tool for Monitoring Inter-Module Function Calls (NMG), pp. 109–118.

AdaEurope-2000-Weiss #ada #java #monitoring

Kingcat MCAS — Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java (RW), pp. 2–3.

ICEIS-2000-Belo #monitoring #process #realtime

Monitoring Production Plants Activities in Real Time as a Way to Gather Decision Support Information in Advance (OB), pp. 27–31.

ICPR-v3-2000-BadenasSP #integration #monitoring #sequence #using

Using Temporal Integration for Tracking Regions in Traffic Monitoring Sequences (JB, JMS, FP), pp. 7137–7140.

ICPR-v4-2000-NakaiIMW #monitoring #strict #visual notation

Non-Restrictive Visual Respiration Monitoring (HN, KI, YM, MW), pp. 4647–4651.

ICPR-v4-2000-Shekhar #automation #monitoring

Semi-Automatic Video-to-Site Registration for Aerial Monitoring (CS0), pp. 4736–4739.

ICPR-v4-2000-SmithSL #monitoring

Monitoring Head/Eye Motion for Driver Alertness with One Camera (PS, MS, NdVL), pp. 4636–4635.

TOOLS-EUROPE-2000-SridharanMM #corba #distributed #monitoring #testing

Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects (BS, SM, APM), p. 195–?.

HPDC-2000-TierneyCGHLT #grid #monitoring

A Monitoring Sensor Management System for Grid Environments (BT, BC, DG, MH, JL, MRT), pp. 97–104.

ISSTA-2000-PetersP #monitoring #realtime

Requirements-based monitors for real-time systems (DKP, DLP), pp. 77–85.

WICSA-1999-SavigniT #architecture #monitoring #named

Kaleidoscope: A Reference Architecture for Monitoring and Control Systems (AS, FT), pp. 369–388.

DATE-1999-StopjakovaMS #monitoring #testing

On-Chip Transient Current Monitor for Testing of Low Voltage CMOS IC (VS, HARM, MS), pp. 538–542.

PASTE-1999-WhitingH #analysis #monitoring #safety

Safety Analysis of Hawk in Flight Monitor (LW, MH), pp. 32–38.

HCI-CCAD-1999-NabeshimaTSNIOKS #hybrid #monitoring

Hybrid monitoring system for high temperature gas cooling reactor (KN, ET, TS, SN, KI, TO, KK, KS), pp. 1187–1191.

HCI-CCAD-1999-Wirth #case study #monitoring #network #visualisation

Maximizing data density: a case study of visualization in network monitoring (JW), pp. 127–131.

ICML-1999-MorikBJ #approach #case study #knowledge-based #learning #monitoring #statistics

Combining Statistical Learning with a Knowledge-Based Approach — A Case Study in Intensive Care Monitoring (KM, PB, TJ), pp. 268–277.

KDD-1999-FawcettP #behaviour #monitoring #process

Activity Monitoring: Noticing Interesting Changes in Behavior (TF, FJP), pp. 53–62.

KDD-1999-ShewhartW #monitoring #topic

Monitoring a Newsfeed for Hot Topics (MS, MW), pp. 402–404.

MLDM-1999-Scaringella #data mining #mining #monitoring #risk management

A Data Mining Application for Monitoring Environmental Risks (AS), pp. 209–215.

ICSE-1999-ConcepcionLS #concurrent #development #monitoring #multi #predict #re-engineering #recursion #thread

The RMT (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineering Tool for Monitoring and Predicting Software Development Progress (AIC, SL, SJS), pp. 660–663.

ICSE-1999-PavlopoulouY #monitoring #test coverage

Residual Test Coverage Monitoring (CP, MY), pp. 277–284.

HPDC-1999-SchnaidtHFKJ #adaptation #independence #message passing #monitoring #performance

Passive, Domain-Independent, End-to-End Message Passing Performance Monitoring to Support Adaptive Applications in MSHN (MCS, DAH, JF, TK, DSJ), pp. 337–338.

ICLP-1999-JahierD #approach #monitoring

A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.

SIGMOD-1998-LiuPTBBZBHY #monitoring #named #personalisation #tool support

CQ: A Personalized Update Monitoring Toolkit (LL, CP, WT, DB, JB, TZ, PB, WH, FY), pp. 547–549.

PASTE-1998-JefferyZTB #architecture #execution #lightweight #monitoring

A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.

ICPR-1998-BadenasP #image #monitoring #segmentation #sequence

Segmentation based on region-tracking in image sequences for traffic monitoring (JB, FP), pp. 999–1001.

ICPR-1998-BouzidiBH #approach #data fusion #monitoring

A remote sensing data fusion approach to monitor agricultural areas (SB, JPB, IH), pp. 1387–1389.

ICPR-1998-OnoeYYT #monitoring #using #video #visual notation

Visual surveillance and monitoring system using an omnidirectional video camera (YO, NY, KY, HT), pp. 588–592.

KR-1998-GiacomoRS #execution #monitoring #source code

Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.

OOPSLA-1998-OlkenJMPA #distributed #lessons learnt #monitoring

Object Lessons Learned from a Distributed System for Remote Building Monitoring and Operation (FO, HAJ, CM, MAP, MFA), pp. 284–295.

ISSTA-1998-GodefroidHJ #analysis #model checking #monitoring #using

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft (PG, RSH, LJJ), pp. 124–133.

EDTC-1997-StopjakovaM #monitoring #testing

CCII+ current conveyor based BIC monitor for IDDQ testing of complex CMOS circuits (VS, HARM), pp. 266–270.

EDTC-1997-SvajdaSM #monitoring

A monolithic off-chip IDDQ monitor (MS, BS, HARM), p. 629.

ITiCSE-1997-HaganSM #monitoring #programming

Monitoring and evaluating a redesigned first year programming course (DH, JS, IM), pp. 37–39.

HCI-CC-1997-AnkrumS #monitoring #variability

Heart Rate Variability in Eye-Level and Low Monitor Conditions (DRA, KS), pp. 571–574.

HCI-SEC-1997-DeisingerCRS #comparison #monitoring

The Effect of Different Viewing Devices for the Sense of Presence of Immersion in Virtual Environments: A Comparison of Stereoprojections Based on Monitors, HMDs and Screens (JD, CCN, OR, JS), pp. 881–884.

ICSE-1997-CohenFNF #automation #monitoring #requirements

Automatic Monitoring of Software Requirements (DC, MSF, KN, SF), pp. 602–603.

ITiCSE-1996-Jacker #documentation #monitoring #named #network #tool support

Tkined/scotty: tools for network documentation, monitoring and troubleshooting (KHJ), p. 233.

CHI-1996-YamaashiCNB

Beating the Limitations of Camera-Monitor Mediated Telepresence with Extra Eyes (KY, JRC, TN, WB), pp. 50–57.

ICPR-1996-Wixson #assessment #monitoring

Illumination assessment for vision-based traffic monitoring (LEW), pp. 56–62.

ICPR-1996-ZhangHG #classification #image #knowledge-based #monitoring

Knowledge-based classification of CZCS images and monitoring of red tides off the west Florida shelf (MZ, LOH, DBG), pp. 452–456.

SAC-1996-AbduLB #monitoring

Investigating monitoring configurations (HA, HL, MAB), pp. 366–373.

ICSE-1996-Minsky #evolution #independence #monitoring #online

Independent On-Line Monitoring of Evolving Systems (NHM), pp. 134–143.

ICSE-1996-SefikaSC #design #modelling #monitoring

Monitoring Compliance of a Software System with Its High-Level Design Models (MS, AS, RHC), pp. 387–396.

HPDC-1996-HuardILY #adaptation #monitoring

Meeting QoS Guarantees by End-to-End QoS Monitoring and Adaptation (JFH, II, AAL, HY), pp. 348–355.

RE-1995-FickasF #monitoring #requirements

Requirements monitoring in dynamic environments (SF, MSF), pp. 140–147.

SAC-1995-HashemiTV #monitoring #network #quality

A neural network as a quality control monitor of an intelligent system (RRH, JRT, MV), pp. 263–266.

ICSE-1995-BarghoutiK #constraints #monitoring #process #using

Using Event Contexts and Matching Constraints to Monitor Software Processes (NSB, BK), pp. 83–92.

EDAC-1994-KarkkainenTW #bound #monitoring #power management #testing

Boundary Scan Testing Combined with Power Supply Current Monitoring (MK, KT, MW), pp. 232–235.

ASPLOS-1994-ArgadeCT #monitoring #operating system #runtime

A Technique for Monitoring Run-Time Dynamics of an Operating System and a Microprocessor Executing User Applications (PVA, DKC, CT), pp. 122–131.

HPDC-1994-CataniaGPV #distributed #monitoring #named

PMT: A Tool to Monitor Performances in Distributed Systems (VC, OG, AP, LV), pp. 279–286.

SIGMOD-1993-DayalGHKS #challenge #database #generative #monitoring

Third Generation TP Monitors: A Database Challenge (UD, HGM, MH, BK, MCS), pp. 393–397.

HCI-ACS-1993-AielloS #feedback #monitoring #performance

Electronic Performance Monitoring and Stress: The Role of Feedback and Goal Setting (JRA, YS), pp. 1011–1016.

HCI-ACS-1993-CarayonLYSSL #monitoring #performance #research

Recent Research Findings on Stress and Electronic Performance Monitoring (PC, SYL, CLY, MJS, KJS, DL), pp. 1017–1022.

HCI-ACS-1993-GalinskySP #monitoring #performance

The Influence of Electronic Performance Monitoring on Speed and Accuracy in a VDT-Based Data-Entry Task (TLG, LMS, CSP), pp. 1023–1028.

HCI-ACS-1993-OBrienFM #automation #monitoring

The Effect of Automated Intelligent Advisors on Human Decision Making in Monitoring Complex Mechanical Systems (KO, EMF, FM), pp. 185–190.

HCI-ACS-1993-PouraghabagherB #evaluation #eye tracking #monitoring #using

An Evaluation of Information Highlighting Methods on Computer Screens Using an Eye Movement Monitor (RP, DB), pp. 762–767.

INTERCHI-1993-DiGianoBO #behaviour #monitoring #named #programming

LogoMedia: a sound-enhanced programming environment for monitoring program behavior (CD, RMB, RNO), pp. 301–302.

ICSE-1993-BradacPV #empirical #monitoring #process #prototype

Prototyping a Process Monitoring Experiment (MGB, DEP, LGV), pp. 155–165.

DAC-1992-ChakravartyL #algorithm #fault #monitoring

Algorithms for Current Monitor Based Diagnosis of Bridging and Leakage Faults (SC, ML), pp. 353–356.

SEKE-1992-AlcarazNHB #maintenance #monitoring #realtime

Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges (FA, MN, AH, JLB), pp. 364–369.

KBSE-1991-Liao #automation #generative #monitoring

Requirement Directed Automatic Instrumentation Generation for Program Monitoring and Measuring (YL), pp. 144–150.

PLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.

PPoPP-1990-DinningS #algorithm #comparison #detection #empirical #monitoring

An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection (AD, ES), pp. 1–10.

PPoPP-1990-Factor #architecture #monitoring #process #realtime

The Process Trellis Architectur for Real-Time Monitors (MF), pp. 147–155.

VLDB-1989-Risch #database #monitoring

Monitoring Database Objects (TR), pp. 445–453.

VLDB-1989-RosenthalCBB #database #monitoring

Situation Monitoring for Active Databases (AR, SC, BTB, JAB), pp. 455–464.

CHI-1989-ColluraJBK #design #interface #monitoring

User-interface design for a clinical neurophysiological intensive monitoring system (TFC, ECJ, RCB, GHK), pp. 363–368.

HCI-SES-1987-SmithCM #monitoring

Electronic Monitoring and Job Stress (MJS, PC, KM), pp. 33–42.

DAC-1986-Janni #monitoring

A monitor for complex CAD systems (ADJ), pp. 145–151.

OOPSLA-1986-Dasgupta #distributed #monitoring #object-oriented #operating system

A Probe-Based Monitoring Scheme for an Object-Oriented Distributed Operating System (PD), pp. 57–66.

SIGIR-1984-Tolle #analysis #evaluation #information management #monitoring #transaction

Monitoring and Evaluation of Information Systems Via Transaction Log Analysis (JT), pp. 247–258.

VLDB-1983-CremersD #database #monitoring #named

AIM — An Integrity Monitor for the Database System INGRES (ABC, GD), pp. 167–170.

SIGIR-1983-Borgman #behaviour #information retrieval #monitoring #online

End User Behavior on an Online Information Retrieval System: A Computer Monitoring Study (CLB), pp. 162–176.

ASPLOS-1982-MaekawaSI #architecture #migration #monitoring

Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming (MM, KS, CI), pp. 185–194.

VLDB-1981-Borr #distributed #monitoring #reliability #transaction

Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.

SOSP-J-1979-LampsonR80 #experience #monitoring #process

Experience with Processes and Monitors in Mesa (BWL, DDR), pp. 105–117.

VLDB-1979-Melo #constraints #monitoring

Monitoring Integrity Constraints in a CODASYL-Like DBMS (RNM), pp. 209–218.

SIGIR-1979-DominickP #analysis #automation #evaluation #information management #monitoring

Automated Monitoring to Support the Analysis and Evaluation of Information Systems (WDD, WDP), pp. 2–9.

SOSP-1979-LampsonR #experience #monitoring #process #summary

Experience with Processes and Monitors in Mesa (Summary) (BWL, DDR), pp. 43–44.

SIGMOD-1978-HammerS #database #monitoring #performance

Efficient Monitoring of Database Assertions (Abstract) (MH, SKS), p. 159.

SOSP-1977-ArvindGP #data flow #monitoring

Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.

ICSE-1976-Howard #monitoring

Signaling in Monitors (JHH), pp. 47–52.

ICSE-1976-KarpL #implementation #monitoring #verification

Verification of Fairness in an Implementation of Monitors (RAK, DCL), pp. 40–46.

ICSE-1976-SaxenaB #monitoring #specification #verification

Verification of a Monitor Specification (ARS, THB), pp. 53–59.

SOSP-J-1975-Howard76 #monitoring #proving

Proving Monitors (JHH), pp. 273–279.

SOSP-1973-Svobodova #hybrid #metric #monitoring #online #performance

Online System Performance Measurements with Software and Hybrid Monitors (LS), pp. 45–53.

SOSP-1969-Wulf #monitoring #multi #performance

Performance monitors for multi-programming systems (WAW), pp. 175–181.