BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (141)
base (88)
use (64)
data (52)
time (51)

Stem monitor$ (all stems)

680 papers:

CASECASE-2015-ChenY #monitoring #process
Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.
CASECASE-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.
CASECASE-2015-KanY #image #modelling #monitoring #network
Network models for monitoring high-dimensional image profiles (CK, HY), pp. 1078–1083.
CASECASE-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.
CASECASE-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.
DACDAC-2015-TodmanSL #configuration management #design #monitoring #runtime #verification
In-circuit temporal monitors for runtime verification of reconfigurable designs (TT, SS, WL), p. 6.
DATEDATE-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.
DATEDATE-2015-KumarAL #detection #fault #monitoring
Operational fault detection and monitoring of a memristor-based LUT (TNK, HAFA, FL), pp. 429–434.
DATEDATE-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.
DATEDATE-2015-OborilET #monitoring #online
High-resolution online power monitoring for modern microprocessors (FO, JE, MBT), pp. 265–268.
DATEDATE-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.
VLDBVLDB-2015-DasuSSS #monitoring #quality
FIT to Monitor Feed Quality (TD, VS, DS, DFS), pp. 1729–1740.
VLDBVLDB-2015-LazersonSKSGS #distributed #monitoring #using
Monitoring Distributed Streams using Convex Decompositions (AL, IS, DK, AS, MNG, VS), pp. 545–556.
TACASTACAS-2015-RegerCR #monitoring #named #runtime
MarQ: Monitoring at Runtime with QEA (GR, HCC, DER), pp. 596–610.
PLDIPLDI-2015-EmmiEH #monitoring #reasoning #refinement
Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.
FMFM-2015-DuLT #independence #ltl #monitoring #policy #runtime
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.
ICFPICFP-2015-SwordsST #communication #contract #monitoring
Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
ICGTICGT-2015-WeberDP #formal method #graph transformation #monitoring #using
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.
CHICHI-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.
CHICHI-2015-AdibMKKM #monitoring #smarttech
Smart Homes that Monitor Breathing and Heart Rate (FA, HM, ZK, DK, RCM), pp. 837–846.
CHICHI-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.
CHICHI-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.
CHICHI-2015-SkovJSL #monitoring
No News is Good News: Remote Monitoring of Implantable Cardioverter-Defibrillator Patients (MBS, PGJ, CSS, AL), pp. 827–836.
HCIDHM-EH-2015-ZhengBISEL #behaviour #monitoring #using
Driving-Behavior Monitoring Using an Unmanned Aircraft System (UAS) (CZ, AB, WI, IS, EE, KL), pp. 305–312.
HCIDHM-HM-2015-ItoTGK #monitoring
Study of Caregivers’ Skills for Monitoring Senior Residents (MI, YT, AG, NK), pp. 83–94.
HCIDUXU-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.
HCIDUXU-IXD-2015-FernandesL #interface #internet #monitoring
An Internet of Things Application with an Accessible Interface for Remote Monitoring Patients (COF, CJPdL), pp. 651–661.
HCIDUXU-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.
HCIHIMI-IKD-2015-MaierKMK #interactive #monitoring #process #visual notation
Visual Interactive Process Monitoring (SM, HK, TM, AK), pp. 74–85.
AdaEuropeAdaEurope-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2015-ZhomartkyzyB #development #information management #monitoring
Monitoring the Development of University Scientific Schools in University Knowledge Management (GZ, TB), pp. 222–230.
KDDKDD-2015-GabelKS #distributed #modelling #monitoring
Monitoring Least Squares Models of Distributed Streams (MG, DK, AS), pp. 319–328.
KDDKDD-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.
KDDKDD-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.
SEKESEKE-2015-AbrantesC #exception #monitoring #policy #specification
Specifying and Dynamically Monitoring the Exception Handling Policy (JA, RC), pp. 370–374.
SEKESEKE-2015-SalehianF #detection #embedded #monitoring #realtime
Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
SACSAC-2015-AbeywickramaSL #adaptation #monitoring #runtime #visualisation
Monitoring and visualizing adaptation of autonomic systems at runtime (DBA, NBS, ML), pp. 1857–1860.
SACSAC-2015-BarbosaBA #monitoring
Defending against load monitoring in smart metering data through noise addition (PB, AB, HA), pp. 2218–2224.
SACSAC-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.
SACSAC-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.
SACSAC-2015-VorobyovKS #monitoring #specification
A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.
ICSEICSE-v2-2015-AbreuEP #fine-grained #monitoring #named
CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts (RA, HE, AP), pp. 551–554.
ICSEICSE-v2-2015-LegunsenMR #programming
Evolution-Aware Monitoring-Oriented Programming (OL, DM, GR), pp. 615–618.
ASPLOSASPLOS-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.
HPCAHPCA-2015-LoCIS #monitoring #runtime #using
Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.
HPDCHPDC-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.
SOSPSOSP-2015-MaceRF #distributed #monitoring
Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.
CBSECBSE-2014-Attouchi0BM #execution #memory management #monitoring #multitenancy
Memory monitoring in a multi-tenant OSGi execution environment (KA, GT, AB, GM), pp. 107–116.
WICSAWICSA-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.
WICSAWICSA-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.
ASEASE-2014-Vierhauser #framework #monitoring #requirements
A requirements monitoring infrastructure for systems of systems (MV), pp. 887–890.
CASECASE-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.
CASECASE-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.
CASECASE-2014-LiuKCY #functional #modelling #monitoring #parametricity
Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.
CASECASE-2014-LiuLS #monitoring
A wavelet-based characteristic vector construction method for machining condition monitoring (CL, YL, WS), pp. 304–308.
CASECASE-2014-LyuYCCC #development #monitoring
Development of robotic walking-aid system with mobility assistance and remote monitoring (SRL, WTY, YSC, HHC, YLC), pp. 830–835.
DACDAC-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.
DACDAC-2014-Chandra #embedded #monitoring #multi #perspective #reliability
Monitoring Reliability in Embedded Processors — A Multi-layer View (VC), p. 6.
DACDAC-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.
DACDAC-2014-HuWTT #hardware #monitoring #network #security
System-Level Security for Network Processors with Hardware Monitors (KH, TW, TT, RT), p. 6.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
VLDBVLDB-2014-HassanSWZLYY #automation #monitoring
Data In, Fact Out: Automated Monitoring of Facts by FactWatcher (NH, AS, YW, GZ, CL, JY, CY), pp. 1557–1560.
VLDBVLDB-2014-LiuST0DJ #database #monitoring #named #web
HDBTracker: Monitoring the Aggregates On Dynamic Hidden Web Databases (WL, SBS, ST, NZ, GD, AJ), pp. 1569–1572.
TACASTACAS-2014-DeckerLT #modulo theories #monitoring
Monitoring Modulo Theories (ND, ML, DT), pp. 341–356.
FMFM-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.
SFMSFM-2014-BoerG #monitoring #runtime
Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
CHICHI-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.
CSCWCSCW-2014-MunsonKRR #email #monitoring #performance
Monitoring email to indicate project team performance and mutual attraction (SAM, KK, LPRJ), pp. 542–549.
CSCWCSCW-2014-SheppardWT #monitoring #quality #volunteer
Capturing quality: retaining provenance for curated volunteer monitoring data (SAS, AW, LGT), pp. 1234–1245.
HCIDHM-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.
HCIDHM-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.
HCIDUXU-ELAS-2014-Abdullah #monitoring #network #simulation
Simulation of Wireless Sensor Network for Flood Monitoring System (MA), pp. 255–264.
HCILCT-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.
HCISCSM-2014-AhangamaLKP #analysis #mobile #monitoring
Revolutionizing Mobile Healthcare Monitoring Technology: Analysis of Features through Task Model (SA, YSL, SYK, DCCP), pp. 298–305.
CAiSECAiSE-2014-MaggiFDG #monitoring #predict #process
Predictive Monitoring of Business Processes (FMM, CDF, MD, CG), pp. 457–472.
ICEISICEIS-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.
ICEISICEIS-v2-2014-Gateau #in the cloud #monitoring #multi
A Multi-agent System to Monitor SLA for Cloud Computing (BG), pp. 647–652.
ICEISICEIS-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.
ICEISICEIS-v3-2014-LivieriBL #benchmark #metric #monitoring #ontology #visualisation
Ontologies and Information Visualization for Strategic Alliances Monitoring and Benchmarking (BL, MAB, AL), pp. 402–409.
CIKMCIKM-2014-ChuWCC #metric #microblog #monitoring #topic
Microblog Topic Contagiousness Measurement and Emerging Outbreak Monitoring (VWC, RKW, FC, CHC), pp. 1099–1108.
ECIRECIR-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.
ICMLICML-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.
ICPRICPR-2014-RidiGH #bibliography #monitoring #recognition
A Survey on Intrusive Load Monitoring for Appliance Recognition (AR, CG, JH), pp. 3702–3707.
KDIRKDIR-2014-CainaRV #impact analysis #monitoring
Marble Initiative — Monitoring the Impact of Events on Customers Opinion (MFC, RPDR, AFV), pp. 403–410.
KMISKMIS-2014-LashariW #monitoring
A Tool for Monitoring of YouTube Content (IAL, UKW), pp. 171–178.
KRKR-2014-Baader #monitoring #ontology
Ontology-Based Monitoring of Dynamic Systems (FB).
MLDMMLDM-2014-BaroutiKKM #clustering #data type #distributed #monitoring
Monitoring Distributed Data Streams through Node Clustering (MB, DK, JK, YM), pp. 149–162.
RecSysRecSys-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.
SIGIRSIGIR-2014-SpinaGA #detection #learning #monitoring #online #similarity #topic
Learning similarity functions for topic detection in online reputation monitoring (DS, JG, EA), pp. 527–536.
ECOOPECOOP-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.
REFSQREFSQ-2014-VierhauserRG #framework #monitoring #requirements
A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.
SACSAC-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.
SACSAC-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.
SACSAC-2014-FlemingWWS #monitoring
Monitoring water scarcity risk in Africa (KF, KW, HW, OS), pp. 567–568.
SACSAC-2014-IturriozAD #monitoring
Generalizing the “like” button: empowering websites with monitoring capabilities (JI, IA, OD), pp. 743–750.
SACSAC-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.
SACSAC-2014-KluschMKS #monitoring #named #semantics
ICM-Wind: semantics-empowered fluid condition monitoring of wind turbines (MK, APM, PK, AS), pp. 308–315.
SACSAC-2014-KrichenAB #health #monitoring
WSN-based flutter control application for aircraft wings structural health monitoring (DK, WA, NB), pp. 680–685.
SACSAC-2014-TupakulaV #monitoring
Secure monitoring for dementia patients (UKT, VV), pp. 14–19.
SACSAC-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.
FSEFSE-2014-Brunink #monitoring #non-functional
Autonomous compliance monitoring of non-functional properties (MB), pp. 795–798.
FSEFSE-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.
HPCAHPCA-2014-FytrakiVKFG #monitoring #named #programmable
FADE: A programmable filtering accelerator for instruction-grain monitoring (SF, EV, YOK, BF, BG), pp. 108–119.
PPoPPPPoPP-2014-Bautista-GomezC #detection #monitoring
Detecting silent data corruption through data dynamic monitoring for scientific applications (LABG, FC), pp. 381–382.
CAVCAV-2014-ChowdhuryJGD #monitoring #policy #privacy #runtime
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (OC, LJ, DG, AD), pp. 131–149.
ICSTICST-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.
ICTSSICTSS-2014-ChabotP #embedded #framework #hardware #monitoring
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
LICSLICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic #monitoring
Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.
VMCAIVMCAI-2014-FaymonvilleFP #logic #monitoring #parametricity
Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.
ASEASE-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.
CASECASE-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.
CASECASE-2013-GuoUZ #energy #feedback #monitoring
Evaluating feedback systems for residential building energy monitoring (WWG, TU, MZ), pp. 112–116.
CASECASE-2013-KurzDP #monitoring #reliability
Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
CASECASE-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.
CASECASE-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.
CASECASE-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.
DACDAC-2013-ChandrikakuttyUTW #hardware #monitoring #network
High-performance hardware monitors to protect network processors from data plane attacks (HC, DU, RT, TW), p. 6.
DATEDATE-2013-LaiCAG #monitoring #named #online
SlackProbe: a low overhead in situ on-line timing slack monitoring methodology (LL, VC, RCA, PG), pp. 282–287.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-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.
VLDBVLDB-2013-GarofalakisKS #distributed #geometry #monitoring #query #sketching
Sketch-based Geometric Monitoring of Distributed Stream Queries (MNG, DK, VS), pp. 937–948.
VLDBVLDB-2013-KotsakosSKG #health #monitoring #named #smarttech #using
SmartMonitor: Using Smart Devices to Perform Structural Health Monitoring (DK, PS, VK, DG), pp. 1282–1285.
VLDBVLDB-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.
ICPCICPC-2013-RoehmGBJM #interactive #monitoring
Monitoring user interactions for supporting failure reproduction (TR, NG, BB, CJ, WM), pp. 73–82.
ICSMEICSM-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.
PLDIPLDI-2013-HungG #monitoring #named
AutoSynch: an automatic-signal monitor based on predicate tagging (WLH, VKG), pp. 253–262.
SEFMSEFM-2013-WonischSW #monitoring #runtime
Zero Overhead Runtime Monitoring (DW, AS, HW), pp. 244–258.
GT-VMTGT-VMT-2013-ColomboP #automaton #programming
Monitor-Oriented Compensation Programming Through Compensating Automata (CC, GJP).
CSCWCSCW-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.
HCIDUXU-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.
HCIHCI-AS-2013-FekryHA #monitoring #named
Anti-Bump: A Bump/Pothole Monitoring and Broadcasting System for Driver Awareness (MF, AH, AA), pp. 561–570.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-LCCB-2013-ItoW #communication #monitoring #named
ARM-COMS: ARm-Supported eMbodied COmmunication Monitor System (TI, TW), pp. 307–316.
VISSOFTVISSOFT-2013-BeckHDW #embedded #monitoring #source code #visual notation
Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.
VISSOFTVISSOFT-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.
EDOCEDOC-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.
EDOCEDOC-2013-GallegeGHR #contract #monitoring #trust #using
Trustworthy Service Selection Using Long-Term Monitoring of Trust Contracts (LSG, DG, JHH, RRR), pp. 195–200.
EDOCEDOC-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.
EDOCEDOC-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.
ICEISICEIS-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.
ICEISICEIS-v2-2013-GratiBB #metamodelling #monitoring #requirements
A Meta Model for Monitoring Requirements in Cloud Environnment (RG, KB, HBA), pp. 223–231.
KDDKDD-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.
SEKESEKE-2013-CarmoCML #adaptation #monitoring #runtime #self
Runtime Monitoring and Auditing of Self-Adaptive Systems (S) (DHC, STC, LGPM, OL), pp. 731–736.
ECMFAECMFA-2013-PatzinaPPM #generative #modelling #monitoring #runtime
Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
REFSQREFSQ-2013-KlambauerHG #monitoring #multi #product line #requirements
Monitoring System-of-Systems Requirements in Multi Product Lines (TK, GH, PG), pp. 379–385.
SACSAC-2013-BanerjeeSS #detection #monitoring #using
Participatory sensing based traffic condition monitoring using horn detection (RB, AS, AS), pp. 567–569.
SACSAC-2013-BartoliniBACM #monitoring
Apprehensive QoS monitoring of Service choreographies (CB, AB, GDA, AC, RM), pp. 1893–1899.
SACSAC-2013-CruzCMZ #monitoring
Monitoring SOA-based applications with business provenance (SMSdC, RMC, LMBM, JZ), pp. 1927–1932.
SACSAC-2013-MagalhaesS #adaptation #monitoring #performance
Adaptive monitoring of web-based applications: a performance study (JPM, LMS), pp. 471–478.
ESEC-FSEESEC-FSE-2013-BertolinoMM #composition #monitoring
Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.
ICSEICSE-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.
CAVCAV-2013-DonzeFM #monitoring #performance #robust
Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.
ISSTAISSTA-2013-PurandareDE #finite #monitoring #optimisation
Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.
CBSECBSE-2012-MaurelBKA #adaptation #monitoring
Adaptive monitoring of end-user OSGi-based home boxes (YM, AB, RK, KA), pp. 157–166.
WICSA-ECSAWICSA-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.
ASEASE-2012-NoureddineBRS #energy #monitoring #runtime
Runtime monitoring of software energy hotspots (AN, AB, RR, LS), pp. 160–169.
CASECASE-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.
CASECASE-2012-KimCLK #fault #framework #monitoring #process
Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
DACDAC-2012-LionelPSE #monitoring #statistics #testing
Embedding statistical tests for on-chip dynamic voltage and temperature monitoring (LV, PM, SL, EB), pp. 994–999.
DACDAC-2012-LoS #analysis #execution #monitoring #parallel #runtime #worst-case
Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DACDAC-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.
DATEDATE-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.
DATEDATE-2012-FritzBAH #approach #evaluation #monitoring #performance
Evaluation of a new RFID system performance monitoring approach (GF, VB, OEKA, DH), pp. 1439–1442.
DATEDATE-2012-ShoaibMGM #monitoring
A closed-loop system for artifact mitigation in ambulatory electrocardiogram monitoring (MS, GM, HG, SM), pp. 431–436.
DATEDATE-2012-Voyiatzis #concurrent #logic #monitoring #multi
Input vector monitoring on line concurrent BIST based on multilevel decoding logic (IV), pp. 1251–1256.
DATEDATE-2012-WanK #embedded #monitoring
Monitoring active filters under automotive aging scenarios with embedded instrument (JW, HGK), pp. 1096–1101.
SIGMODSIGMOD-2012-BogSP #interactive #monitoring #performance
Interactive performance monitoring of a composite OLTP and OLAP workload (AB, KS, HP), pp. 645–648.
SIGMODSIGMOD-2012-GiatrakosDGSS #data type #distributed #geometry #monitoring #predict
Prediction-based geometric monitoring over distributed data streams (NG, AD, MNG, IS, AS), pp. 265–276.
SIGMODSIGMOD-2012-IoriSPWH #clustering #monitoring #named
CloudAlloc: a monitoring and reservation system for compute clusters (EI, AS, TP, KW, SH), pp. 721–724.
ESOPESOP-2012-DimoulasTF #behaviour #contract #monitoring
Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.
FASEFASE-2012-MaggiMA #constraints #framework #monitoring
An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.
TACASTACAS-2012-HamlenJS #aspect-oriented #certification #monitoring #runtime
Aspect-Oriented Runtime Monitor Certification (KWH, MJ, MS), pp. 126–140.
CSMRCSMR-2012-HamannVGK #monitoring #runtime
Abstract Runtime Monitoring with USE (LH, LV, MG, MK), pp. 549–552.
CSMRCSMR-2012-NonnenI #identification #monitoring
Identifying Knowledge Divergence by Vocabulary Monitoring in Software Projects (JN, PI), pp. 441–446.
STOCSTOC-2012-WoodruffZ #bound #distributed #functional #monitoring
Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.
FMFM-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.
FMFM-2012-BauerF #distributed #ltl #monitoring
Decentralised LTL Monitoring (AKB, YF), pp. 85–100.
SEFMSEFM-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.
CHICHI-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.
CHICHI-2012-NowakN #behaviour #monitoring #online #recommendation
Effects of behavior monitoring and perceived system benefit in online recommender systems (MN, CN), pp. 2243–2246.
CHICHI-2012-PierceP #energy #interactive #monitoring
Beyond energy monitors: interaction, energy, and emerging energy systems (JP, EP), pp. 665–674.
CHICHI-2012-SzafirM #adaptation #design #exclamation #monitoring
Pay attention!: designing adaptive agents that monitor and improve user engagement (DS, BM), pp. 11–20.
CHICHI-2012-ToscosCR #health #monitoring
Best intentions: health monitoring technology and children (TT, KC, YR), pp. 1431–1440.
CAiSECAiSE-2012-ComuzziAV #monitoring #process
Patterns to Enable Mass-Customized Business Process Monitoring (MC, SA, JV), pp. 445–459.
EDOCEDOC-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.
CIKMCIKM-2012-FanX #difference #monitoring #privacy #realtime
Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.
ECIRECIR-2012-AlhadiGKN #microblog #monitoring #named #predict
LiveTweet: Monitoring and Predicting Interesting Microblog Posts (ACA, TG, JK, NN), pp. 569–570.
ECIRECIR-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.
ICMLICML-2012-BartokZS #adaptation #algorithm #finite #monitoring #probability
An adaptive algorithm for finite stochastic partial monitoring (GB, NZ, CS), p. 231.
ICPRICPR-2012-BoresB #monitoring #process
Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.
ICPRICPR-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.
ICPRICPR-2012-MartinezS #monitoring #using
Breath rate monitoring during sleep using near-ir imagery and PCA (MM, RS), pp. 3472–3475.
ICPRICPR-2012-MatsuoK #behaviour #monitoring #predict
Prediction of drowsy driving by monitoring driver’s behavior (HM, AK), pp. 3390–3393.
KDDKDD-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.
KDDKDD-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2012-PittoliSN #monitoring #network
Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects (FP, ALRdS, DJN), pp. 570–573.
ECMFAECMFA-2012-HamannHG #monitoring #ocl #protocol #runtime #state machine
OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.
RERE-2012-FuPYMZ #monitoring #requirements #self
Stateful requirements monitoring for self-repairing socio-technical systems (LF, XP, YY, JM, WZ), pp. 121–130.
REFSQREFSQ-2012-OriolQFPM #adaptation #monitoring #requirements
Requirements Monitoring for Adaptive Service-Based Applications (MO, NAQ, XF, AP, JM), pp. 280–287.
SACSAC-2012-DeriTMV #monitoring #towards
Towards a passive DNS monitoring system (LD, LLT, MM, DV), pp. 629–630.
SACSAC-2012-HornfeckZL #health #interactive #monitoring #named
Philos: a sociable robot for human robot interactions and wireless health monitoring (KH, YZ, KL), pp. 293–294.
SACSAC-2012-SouzaMGTM #monitoring #requirements
Monitoring strategic goals in data warehouses with awareness requirements (VESS, JNM, IG, JT, JM), pp. 1075–1082.
ICSEICSE-2012-GhezziMS #component #monitoring #runtime
Runtime monitoring of component changes with Spy@Runtime (CG, AM, MS), pp. 1403–1406.
ICSEICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance #runtime
JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSEICSE-2012-PaganoJBRBM #maintenance #monitoring #named
FastFix: Monitoring control for remote software maintenance (DP, MAJ, AB, TR, BB, WM), pp. 1437–1438.
OSDIOSDI-2012-RavindranathPAMOS #mobile #monitoring #named #performance
AppInsight: Mobile App Performance Monitoring in the Wild (LR, JP, SA, RM, IO, SS), pp. 107–120.
ICSTICST-2012-CalvarTH #framework #monitoring #runtime
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICSTICST-2012-WehbiOB #monitoring #security #using
Events-Based Security Monitoring Using MMT Tool (BW, EMdO, MB), pp. 860–863.
ICTSSICTSS-2012-SantosA #automation #detection #fault #lightweight #monitoring
Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.
ISSTAISSTA-2012-Walcott-JusticeMS #hardware #monitoring #named #testing
THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.
ECSAECSA-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.
ECSAECSA-2011-EhlersH #adaptation #component #framework #monitoring #self
A Self-adaptive Monitoring Framework for Component-Based Software Systems (JE, WH), pp. 278–286.
QoSAQoSA-ISARCS-2011-KhanZ #component #embedded #monitoring #security
Building components with embedded security monitors (MUAK, MZ), pp. 133–142.
ASEASE-2011-ZhangMPL #monitoring #predict #runtime
Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
CASECASE-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.
CASECASE-2011-CordoneP #monitoring #optimisation #petri net
Monitor optimization in Petri net control (RC, LP), pp. 413–418.
CASECASE-2011-LeonardoKKDS #monitoring #simulation
Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.
DACDAC-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.
DATEDATE-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.
DATEDATE-2011-KanounMKA #monitoring #realtime
A real-time compressed sensing-based personal electrocardiogram monitoring system (KK, HM, NK, DA), pp. 824–829.
DATEDATE-2011-OnizawaMH #communication #monitoring
Interconnect-fault-resilient delay-insensitive asynchronous communication link based on current-flow monitoring (NO, AM, TH), pp. 776–781.
SIGMODSIGMOD-2011-CurinoJMB #database #monitoring
Workload-aware database monitoring and consolidation (CC, EPCJ, SM, HB), pp. 313–324.
SIGMODSIGMOD-2011-FlaounasATSNBC #analysis #monitoring #named
NOAM: news outlets analysis and monitoring system (INF, OA, MT, TS, FN, TDB, NC), pp. 1275–1278.
SIGMODSIGMOD-2011-OlstonR #debugging #distributed #framework #monitoring
Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.
VLDBVLDB-2011-CaoSDS #distributed #monitoring #query
Distributed inference and query processing for RFID tracking and monitoring (ZC, CAS, YD, PJS), pp. 326–337.
VLDBVLDB-2011-OlstonR #debugging #distributed #framework #monitoring
Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.
TACASTACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.
ICPCICPC-2011-HuangW #detection #monitoring #process
Anomaly Detection by Monitoring Filesystem Activities (LH, KW), pp. 221–222.
WCREWCRE-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.
PLDIPLDI-2011-JinMGR #garbage collection #monitoring #parametricity
Garbage collection for monitoring parametric properties (DJ, POM, DG, GR), pp. 415–424.
PLDIPLDI-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.
CHICHI-2011-DenefKO #independence #monitoring
Rigid structures, independent units, monitoring: organizing patterns in frontline firefighting (SD, DVK, RO), pp. 1949–1958.
CSCWCSCW-2011-ChenHHLZ #design #feedback #health #self
Designing for context-aware health self-monitoring, feedback, and engagement (FXC, EBH, JH, SL, CZ), pp. 613–616.
CSCWCSCW-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.
CSCWCSCW-2011-WinterboerMPGE #collaboration #monitoring #named
DIADEM: a system for collaborative environmental monitoring (AW, MAM, GP, FCAG, VE), pp. 589–590.
HCIDHM-2011-PaulickDB #embedded #monitoring #named
StabilitySole: Embedded Sensor Insole for Balance and Gait Monitoring (PP, HD, MB), pp. 171–177.
HCIDUXU-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.
HCIHCD-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.
HCIHCI-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.
HCIHIMI-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.
CAiSECAiSE-2011-ComuzziV #collaboration #design #monitoring #process #workflow
Product-Based Workflow Design for Monitoring of Collaborative Business Processes (MC, ITPV), pp. 154–168.
ICEISICEIS-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.
ICEISICEIS-v1-2011-AbramoviciJ #industrial #monitoring
A New Method for Monitoring Industrial Product-service Systems based on BSC and AHP (MA, FJ), pp. 190–196.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2011-ChenWDZ #correlation #monitoring
Continuously monitoring the correlations of massive discrete streams (YC, WW, XD, XZ), pp. 1571–1576.
KEODKEOD-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.
RecSysRecSys-2011-WuRR #monitoring #recommendation #social #social media
Recommendations in social media for brand monitoring (SW, WR, LR), pp. 345–348.
SEKESEKE-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.
SEKESEKE-2011-FuginiRIRC #monitoring #risk management #simulation
Simulations of Risks for Monitoring and Prevention (MGF, FR, RI, CR, OC), pp. 602–607.
SIGIRSIGIR-2011-CaverleeCEHKM #monitoring #named #realtime #web
CrowdTracker: enabling community-based real-time web monitoring (JC, ZC, BE, CFH, KYK, JM), pp. 1283–1284.
MODELSMoDELS-2011-RamirezC #automation #monitoring #requirements
Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
MODELSMoDELS-2011-RamirezC #automation #monitoring #requirements
Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
GPCEGPCE-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.
SACSAC-2011-FosterS #composition #monitoring
Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.
SACSAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread
Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.
SACSAC-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-FSEESEC-FSE-2011-AliSSONM #monitoring #social
Social sensing: when users become monitors (RA, CS, MS, IO, BN, WM), pp. 476–479.
ESEC-FSEESEC-FSE-2011-Bodden #approach #monitoring #runtime
Stateful breakpoints: a practical approach to defining parameterized runtime monitors (EB), pp. 492–495.
LCTESLCTES-2011-ThomasFK #execution #monitoring
Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.
CAVCAV-2011-SistlaZF #probability
Monitorability of Stochastic Dynamical Systems (APS, MZ, YF), pp. 720–736.
ICTSSICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing
Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
ECSAECSA-2010-JohnWP #architecture #configuration management #constraints #monitoring
Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures (JJ, MW, CP), pp. 311–318.
ASEASE-2010-SimmondsC #monitoring #named
RuMoR: monitoring and recovery for BPEL applications (JS, MC), pp. 345–346.
CASECASE-2010-CoppBHTVR #automation #monitoring #network #quality #towards
Towards the automation of water quality monitoring networks (JBC, EB, CH, MT, PAV, LR), pp. 491–496.
CASECASE-2010-JiangKM #monitoring #predict
Residual life prediction for systems subject to condition monitoring (RJ, MJK, VM), pp. 106–111.
CASECASE-2010-YangCHA #communication #estimation #monitoring
Longitude force estimation for bandwidth conservative communication and vehicular monitoring (JY, TNC, ESHH, NA), pp. 668–673.
DACDAC-2010-NowrozCR #monitoring
Thermal monitoring of real processors: techniques for sensor allocation and full characterization (ANN, RC, SR), pp. 56–61.
DACDAC-2010-YinL #low cost #monitoring
Exploiting reconfigurability for low-cost in-situ test and monitoring of digital PLLs (LY, PL), pp. 929–934.
DATEDATE-2010-AhlendorfG #challenge #design #hardware #monitoring #power management
Hardware / software design challenges of low-power sensor nodes for condition monitoring (HA, LG), p. 659.
DATEDATE-2010-ChenABF #monitoring #using
Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter (WC, IA, SBO, LMGF), pp. 1530–1535.
DATEDATE-2010-LongM #bias #monitoring #network #optimisation
Optimization of the bias current network for accurate on-chip thermal monitoring (JL, SOM), pp. 1365–1368.
DATEDATE-2010-RavinagarajanDR #health #monitoring #scheduling
DVFS based task scheduling in a harvesting WSN for Structural Health Monitoring (AR, DD, TSR), pp. 1518–1523.
SIGMODSIGMOD-2010-MathioudakisK #detection #named #twitter
TwitterMonitor: trend detection over the twitter stream (MM, NK), pp. 1155–1158.
ICSMEICSM-2010-HadererKA #framework #monitoring #named #quality
SQUANER: A framework for monitoring the quality of software systems (NH, FK, GA), pp. 1–4.
CHICHI-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.
CHICHI-2010-MaitlandC #self
Self-monitoring, self-awareness, and self-determination in cardiac rehabilitation (JM, MC), pp. 1213–1222.
AdaSIGAda-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.
CAiSECAiSE-2010-HolmesZDD #internet #monitoring
Monitoring and Analyzing Service-Based Internet Systems through a Model-Aware Service Environment (TH, UZ, FD, SD), pp. 98–112.
EDOCEDOC-2010-Halle #contract #interface #ltl #monitoring #runtime
Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.
ICEISICEIS-DISI-2010-LiQW #cyber-physical #monitoring
A Cyber-physical System for Elders Monitoring (XL, YQ, HW), pp. 294–299.
ICEISICEIS-J-2010-SilvaGFTG10a #monitoring #paradigm
Improving QoS Monitoring Based on the Aspect-Orientated Paradigm (MFdS, IMdSG, MF, MBFdT, AFG), pp. 421–435.
ICEISICEIS-SAIC-2010-SilvaGFTG #approach #monitoring #named
Aspect-Monitor — An Aspect-based Approach to WS-contract Monitoring (MFdS, IMdSG, MF, MBFdT, AFG), pp. 5–12.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-MalakutiA #monitoring #towards
Towards an Intelligent Bed Sensor: Non-intrusive Monitoring of Sleep Irregularities with Computer Vision Techniques (KM, ABA), pp. 4004–4007.
ICPRICPR-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.
SEKESEKE-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.
OOPSLAOOPSLA-2010-PurandareDE #monitoring #optimisation
Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
PADLPADL-2010-SridharH #monitoring #prolog
ActionScript In-Lined Reference Monitoring in Prolog (MS, KWH), pp. 149–151.
SACSAC-2010-BallanceC #monitoring #performance #source code
Monitoring MPI programs for performance characterization and management control (RAB, JC), pp. 2305–2310.
SACSAC-2010-ComuzziS #monitoring
Dynamic set-up of monitoring infrastructures for service based systems (MC, GS), pp. 2414–2421.
SACSAC-2010-HedgecockVLKAST #mobile #monitoring #network
Mobile air pollution monitoring network (WH, PV, ÁL, XDK, AA, ASS, AT), pp. 795–796.
SACSAC-2010-SarrNG #adaptation #distributed #monitoring #named #transaction #web
TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.
SACSAC-2010-WetzsteinKKLZ #monitoring #process
Cross-organizational process monitoring based on service choreographies (BW, DK, OK, FL, DZ), pp. 2485–2490.
ICSEICSE-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.
ICSEICSE-2010-LewisW #fault #monitoring #runtime #using
Runtime repair of software faults using event-driven monitoring (CL, JW), pp. 275–280.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
HPDCHPDC-2010-NaimCIAS #monitoring #quality
Monitoring data quality in Kepler (AN, DC, MI, IA, SS), pp. 560–564.
LCTESLCTES-2010-FischmeisterB #execution #monitoring
Sampling-based program execution monitoring (SF, YB), pp. 133–142.
OSDIOSDI-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.
CAVCAV-2010-BasinKM #first-order #logic #monitoring #policy
Policy Monitoring in First-Order Temporal Logic (DAB, FK, SM), pp. 1–18.
VMCAIVMCAI-2010-SridharH #model checking #monitoring
Model-Checking In-Lined Reference Monitors (MS, KWH), pp. 312–327.
ASEASE-2009-AcharyaK #health #mining #modelling #monitoring #performance
Mining Health Models for Performance Monitoring of Services (MA, VK), pp. 409–420.
ASEASE-2009-ChenMJR #independence #monitoring #parametricity #performance
Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.
CASECASE-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.
DATEDATE-2009-FiorinPS #monitoring #runtime
MPSoCs run-time monitoring through Networks-on-Chip (LF, GP, CS), pp. 558–561.
DATEDATE-2009-MadduriVBT #manycore #monitoring
A monitor interconnect and support subsystem for multicore processors (SM, RV, WB, RT), pp. 761–766.
SIGMODSIGMOD-2009-ChenSZY #monitoring #nearest neighbour #network
Monitoring path nearest neighbor in road networks (ZC, HTS, XZ, JXY), pp. 591–602.
VLDBVLDB-2009-CheemaLZWZ #lazy evaluation #monitoring #performance
Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.
VLDBVLDB-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.
VLDBVLDB-2009-XingSP #monitoring #nearest neighbour
Continuous Monitoring of Nearest Neighbors on Land Surface (SX, CS, BP), pp. 1114–1125.
TACASTACAS-2009-ChenR #monitoring #parametricity #slicing
Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.
ICALPICALP-v1-2009-ArackaparambilBC #functional #monitoring
Functional Monitoring without Monotonicity (CA, JB, AC), pp. 95–106.
SEFMSEFM-2009-ColomboPS #java #monitoring #realtime #source code
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) (CC, GJP, GS), pp. 33–37.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-NT-2009-ShastriPW #monitoring
A Method to Monitor Operator Overloading (DS, IP, AW), pp. 169–175.
HCIHIMI-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.
HCIHIMI-II-2009-KushiroKNI #behaviour #health #monitoring
Non-intrusive Human Behavior Monitoring Sensor for Health Care System (NK, MK, MN, YI), pp. 549–558.
EDOCEDOC-2009-WetzsteinLRBDL #monitoring #performance #process
Monitoring and Analyzing Influential Factors of Business Process Performance (BW, PL, FR, IB, SD, FL), pp. 141–150.
ICEISICEIS-AIDSS-2009-AlbusacCLVL #analysis #detection
Intelligent Surveillance for Trajectory Analysis — Detecting Anomalous Situations in Monitored Environments (JA, JJCS, LJL, DV, LMLL), pp. 102–107.
ICEISICEIS-AIDSS-2009-CardosoO #contract #monitoring
Monitoring Cooperative Business Contracts in an Institutional Environment (HLC, ECO), pp. 206–211.
ICEISICEIS-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.
ICEISICEIS-J-2009-LampertiZ #monitoring #nondeterminism
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.
ICEISICEIS-J-2009-MulazzaniRS #monitoring #process
Developing Business Process Monitoring Probes to Enhance Organization Control (FM, BR, GS), pp. 456–466.
ICEISICEIS-SAIC-2009-BodenstaffWWJR #composition #design #monitoring #validation
Monitoring Service Compositions in MoDe4SLA — Design of Validation (LB, AW, RW, MCJ, MR), pp. 114–121.
CIKMCIKM-2009-Azzopardi #effectiveness #information retrieval #metric #monitoring #performance
Usage based effectiveness measures: monitoring application performance in information retrieval (LA), pp. 631–640.
CIKMCIKM-2009-GaoXCA #monitoring #problem #web
The gardener’s problem for web information monitoring (BJG, MX, WC, DCA), pp. 1525–1528.
CIKMCIKM-2009-HuC #monitoring #online
RSS watchdog: an instant event monitor on real online news streams (CLH, CKC), pp. 2097–2098.
CIKMCIKM-2009-YangLJ #monitoring #scalability
Scalable continuous range monitoring of moving objects in symbolic indoor space (BY, HL, CSJ), pp. 671–680.
KDDKDD-2009-BuCFL #monitoring #performance
Efficient anomaly monitoring over moving object trajectory streams (YB, LC, AWCF, DL), pp. 159–168.
KDDKDD-2009-LiuKJ #graph #learning #monitoring
Learning dynamic temporal graphs for oil-production equipment monitoring system (YL, JRK, OJ), pp. 1225–1234.
SEKESEKE-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.
SEKESEKE-2009-NusayrC #aspect-oriented #monitoring #runtime
Extending AOP to Support Broad Runtime Monitoring Needs (AN, JC), pp. 438–441.
SIGIRSIGIR-2009-SavalM #information management #monitoring #named
Agate: information gathering for risk monitoring (AS, YM), p. 842.
ECOOPECOOP-2009-DamJLP #java #monitoring #parallel #security #thread
Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.
OOPSLAOOPSLA-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.
TOOLSTOOLS-EUROPE-2009-KloseO #aspect-oriented #classification #framework #monitoring #runtime
A Classification Framework for Pointcut Languages in Runtime Monitoring (KK, KO), pp. 289–307.
SACSAC-2009-FalconeFM #classification #monitoring
Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
SACSAC-2009-HalleV #monitoring #runtime #streaming #using #web #web service #xml
Runtime monitoring of web service choreographies using streaming XML (SH, RV), pp. 2118–2125.
SACSAC-2009-HammadC #lightweight #monitoring
Lightweight monitoring of sensor software (MH, JC), pp. 2180–2185.
SACSAC-2009-OyamaKI #haskell #monitoring #named #virtual machine
Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
SACSAC-2009-SkordylisT #monitoring #optimisation
Jointly optimizing data acquisition and delivery in traffic monitoring VANETs (AS, NT), pp. 2186–2190.
SACSAC-2009-UddinZ #algorithm #automation #monitoring #named #trust
ATM: an automatic trust monitoring algorithm for service software (MGU, MZ), pp. 1040–1044.
ESEC-FSEESEC-FSE-2009-GrunskeZ #monitoring #probability
Monitoring probabilistic properties (LG, PZ), pp. 183–192.
ICSEICSE-2009-GousiosS #framework #monitoring #quality
Alitheia Core: An extensible software quality monitoring platform (GG, DS), pp. 579–582.
CGOCGO-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.
LCTESLCTES-2009-McKechnieBV #debugging #monitoring #transaction
Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring (PEM, MB, WV), pp. 129–136.
VMCAIVMCAI-2009-GondiPS #monitoring #probability
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.
WICSAWICSA-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.
ASEASE-2008-DwyerDE #cost analysis #monitoring
Reducing the Cost of Path Property Monitoring Through Sampling (MBD, MD, SGE), pp. 228–237.
ASEASE-2008-MeredithJCR #monitoring #parametricity #performance
Efficient Monitoring of Parametric Context-Free Patterns (POM, DJ, FC, GR), pp. 148–157.
CASECASE-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.
CASECASE-2008-SchroederMT #health #identification #monitoring #process
A Factory Health Monitor: System identification, process monitoring, and control (KS, JRM, DMT), pp. 16–22.
CASECASE-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.
DATEDATE-2008-MelaniBMLDF #monitoring
Hot Wire Anemometric MEMS Sensor for Water Flow Monitoring (MM, LB, MDM, PL, FD, LF), pp. 342–347.
PODSPODS-2008-SharfmanSK #geometry #monitoring
Shape sensitive geometric monitoring (IS, AS, DK), pp. 301–310.
SIGMODSIGMOD-2008-ChowMH #monitoring #named #network #privacy
Tinycasper: a privacy-preserving aggregate location monitoring system in wireless sensor networks (CYC, MFM, TH), pp. 1307–1310.
SIGMODSIGMOD-2008-HwangCCZ #monitoring #named
Borealis-R: a replication-transparent stream processing system for wide-area monitoring applications (JHH, SC, , SBZ), pp. 1303–1306.
SIGMODSIGMOD-2008-JohnsonMSS #clustering #data type #monitoring #network
Query-aware partitioning for monitoring massive network data streams (TJ, SMM, VS, OS), pp. 1135–1146.
VLDBVLDB-2008-CheungM #framework #monitoring #performance #profiling
Performance profiling with EndoScope, an acquisitional software monitoring framework (AC, SM), pp. 42–53.
VLDBVLDB-2008-Miao #monitoring #named
GS-TMS: a global stream-based threat monitor system (JM), pp. 1644–1651.
VLDBVLDB-2008-MiloD #distributed #monitoring #process #query
Querying and monitoring distributed business processes (TM, DD), pp. 1512–1515.
SASSAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.
FMFM-2008-AktugDG #monitoring #runtime
Provably Correct Runtime Monitoring (IA, MD, DG), pp. 262–277.
AdaSIGAda-2008-Moore08a #ada #distributed #monitoring
Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.
EDOCEDOC-2008-HalleV #message passing #monitoring #runtime #workflow
Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.
ICEISICEIS-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.
ICPRICPR-2008-AzoughDMH #behaviour #modelling #monitoring #personalisation
Intuitive event modeling for personalized behavior monitoring (AA, AD, FDM, MSH), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-HulkkonenH #detection #monitoring
A minimum description length principle based method for signal change detection in machine condition monitoring (JJH, JVH), pp. 1–4.
RecSysRecSys-2008-Domingues #adaptation #analysis #framework #independence #monitoring #web
An independent platform for the monitoring, analysis and adaptation of web sites (MAD), pp. 299–302.
SEKESEKE-2008-MahoneyE #monitoring #using
Using Scenario Monitoring to Address State Based Crosscutting Concerns (MM, TE), pp. 581–586.
SACSAC-2008-ChengC #monitoring #named #programmable #thread
SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.
SACSAC-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.
SACSAC-2008-GoncalvesFAG #monitoring
ECG data provisioning for telehomecare monitoring (BG, JGPF, RVA, GG), pp. 1374–1379.
FSEFSE-2008-BoddenLH #fault #monitoring #programming #runtime
Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.
FSEFSE-2008-RaimondiSE #monitoring #online #performance
Efficient online monitoring of web-service SLAs (FR, JS, WE), pp. 170–180.
OSDIOSDI-2008-BhatiaKFP #lightweight #monitoring
Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.
OSDIOSDI-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.
CAVCAV-2008-FarzanM #concurrent #monitoring #source code
Monitoring Atomicity in Concurrent Programs (AF, PM), pp. 52–65.
ICLPICLP-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.
LICSLICS-2008-ChadhaSV #complexity #finite #monitoring #on the
On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.
VMCAIVMCAI-2008-SistlaS #monitoring #probability
Monitoring Temporal Properties of Stochastic Systems (APS, ARS), pp. 294–308.
CBSECBSE-2007-MucciniPRB #architecture #component #monitoring
Monitoring Architectural Properties in Dynamic Component-Based Systems (HM, AP, FR, AB), pp. 124–139.
ASEASE-2007-InverardiM #distributed #generative #monitoring #named
DESERT: a decentralized monitoring tool generator (PI, LM), pp. 529–530.
ASEASE-2007-SantelicesH #data flow #monitoring #test coverage
Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.
ASEASE-2007-WangMYM #approach #automation #monitoring #requirements
An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.
CASECASE-2007-BasileGS #distributed #monitoring #petri net
Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.
CASECASE-2007-BukkapatnamK #monitoring #using
Container Integrity and Condition Monitoring using RF Vibration Sensor Tags (STSB, RK), pp. 585–590.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
DATEDATE-2007-FeiS #architecture #monitoring #set
Microarchitectural support for program code integrity monitoring in application-specific instruction set processors (YF, ZJS), pp. 815–820.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2007-BeeriEMP #monitoring #process
Query-based monitoring of BPEL business processes (CB, AE, TM, AP), pp. 1122–1124.
SIGMODSIGMOD-2007-LarsonLZZ07a #estimation #self
Exploiting self-monitoring sample views for cardinality estimation (PÅL, WL, JZ, PZ), pp. 1073–1075.
SIGMODSIGMOD-2007-MishraV #monitoring #named #query
ConEx: a system for monitoring queries (CM, MV), pp. 1076–1078.
SIGMODSIGMOD-2007-YangLOT #execution #monitoring #network #query
In-network execution of monitoring queries in sensor networks (XY, HBL, MTÖ, KLT), pp. 521–532.
VLDBVLDB-2007-BeeriPME #monitoring #process #query
Monitoring Business Processes with Queries (CB, AE, TM, AP), pp. 603–614.
VLDBVLDB-2007-JainDZKMY #monitoring #named #scalability #self
STAR: Self-Tuning Aggregation for Scalable Monitoring (NJ, MD, YZ, DK, PM, PY), pp. 962–973.
VLDBVLDB-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.
CSMRCSMR-2007-LangeWC #evolution #monitoring #named #quality #uml
MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality (CFJL, MAMW, MRVC), pp. 327–328.
CSMRCSMR-2007-Lormans #evolution #monitoring #requirements #using
Monitoring Requirements Evolution using Views (ML), pp. 349–352.
PLDIPLDI-2007-SchneiderPG #hardware #monitoring #online #optimisation #performance
Online optimizations driven by hardware performance monitoring (FTS, MP, TRG), pp. 373–382.
AGTIVEAGTIVE-2007-BoddenV #automaton #monitoring #runtime #specification #timeline
Transforming Timeline Specifications into Automata for Runtime Monitoring (EB, HV), pp. 249–264.
CHICHI-2007-HutchingsS #consistency #monitoring #multi
Consistency, multiple monitors, and multiple windows (DRH, JTS), pp. 211–214.
CHICHI-2007-KellarWI #design #monitoring
An exploration of web-based monitoring: implications for design (MK, CRW, KMI), pp. 377–386.
HCIHCI-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.
HCIHCI-AS-2007-LeeNB #monitoring #network #reliability #using
Personal Life Logger and Belonging Monitor Using Reliable ZigBee Networks (KL, KN, CB), pp. 961–970.
HCIHCI-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.
HCIHCI-IPT-2007-JangCJC #smarttech
Exploring Possibilities of ECG Electrodes for Bio-monitoring Smartwear with Cu Sputtered Fabrics (SJ, JC, KJ, GC), pp. 1130–1137.
HCIHCI-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.
EDOCEDOC-2007-HersheyR #enterprise #monitoring
SOA Monitoring for Enterprise Computing Systems (PH, DR), pp. 443–450.
ICEISICEIS-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.
ICEISICEIS-DISI-2007-MangisengiPADR #data transformation #monitoring #process
Activity warehouse: Data management for business activity monitoring (OM, MP, DA, DD, HR), pp. 137–144.
ICEISICEIS-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.
MLDMMLDM-2007-FullerK #data type #distributed #monitoring #named
FIDS: Monitoring Frequent Items over Distributed Data Streams (RF, MMK), pp. 464–478.
SEKESEKE-2007-LiangDS #evolution #monitoring #runtime
Evolution and Runtime Monitoring of Software Systems (HL, JSD, JS), pp. 343–348.
SIGIRSIGIR-2007-Leidner #information management #monitoring
Resource monitoring in information extraction (JLL), pp. 779–780.
MODELSMoDELS-2007-XuL #interactive #monitoring #visual notation
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
MODELSMoDELS-2007-XuL #interactive #monitoring #visual notation
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
ECOOPECOOP-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.
OOPSLAOOPSLA-2007-AvgustinovTM #monitoring
Making trace monitors feasible (PA, JT, OdM), pp. 589–608.
RERE-2007-SalifuYN #monitoring #problem #specification
Specifying Monitoring and Switching Problems in Context (MS, YY, BN), pp. 211–220.
SACSAC-2007-BaoYS #monitoring
Projection function for driver fatigue monitoring with monocular camera (DB, ZY, YS), pp. 82–83.
SACSAC-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.
SACSAC-2007-SpanoudakisKA #monitoring #security #towards
Towards security monitoring patterns (GS, CK, KA), pp. 1518–1525.
SPLCSPLC-2007-HabliK #challenge #monitoring #product line
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System (IH, TK), pp. 193–202.
HPCAHPCA-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.
HPCAHPCA-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.
SOSPSOSP-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.
ASEASE-2006-LohmannES #contract #generative #modelling #monitoring #visual notation
Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.
CASECASE-2006-XiaoX #modelling #monitoring #process
Monitoring of batch processes with non-linear modeling methods (YX, BX), pp. 140–143.
DACDAC-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.
DACDAC-2006-RagelP #monitoring #named #reliability #security
IMPRES: integrated monitoring for processor reliability and security (RGR, SP), pp. 502–505.
DATEDATE-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.
DATEDATE-2006-Morin-AlloryB #monitoring #specification
Proven correct monitors from PSL specifications (KMA, DB), pp. 1246–1251.
SIGMODSIGMOD-2006-KeralapuraCR #distributed #monitoring
Communication-efficient distributed monitoring of thresholded counts (RK, GC, JR), pp. 289–300.
SIGMODSIGMOD-2006-MouratidisBP #monitoring #query
Continuous monitoring of top-k queries over sliding windows (KM, SB, DP), pp. 635–646.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2006-SilbersteinBY #constraints #energy #monitoring #network
Constraint chaining: on energy-efficient continuous monitoring in sensor networks (AS, RB, JY), pp. 157–168.
SIGMODSIGMOD-2006-SilbersteinMY #energy #monitoring #network
Energy-efficient monitoring of extreme values in sensor networks (AS, KM, JY), pp. 169–180.
VLDBVLDB-2006-HokeSF #clustering #monitoring #named #scalability
InteMon: Intelligent System Monitoring on Large Clusters (EH, JS, CF), pp. 1239–1242.
VLDBVLDB-2006-MouratidisYPM #monitoring #nearest neighbour #network
Continuous Nearest Neighbor Monitoring in Road Networks (KM, MLY, DP, NM), pp. 43–54.
CSMRCSMR-2006-Boffoli #monitoring #quality
Non-Intrusive Monitoring of Software Quality (NB), pp. 319–322.
WCREWCRE-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.
PLDIPLDI-2006-FeiM #execution #monitoring #named #runtime
Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
FMFM-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.
ICGTICGT-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.
CHICHI-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.
ICEISICEIS-J-2006-LampertiZ06a #monitoring #on the
On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.
ICPRICPR-v1-2006-XuSL #adaptation #behaviour #detection #monitoring
Tree Based Behavior Monitoring for Adaptive Fraud Detection (JX, AHS, QL), pp. 1208–1211.
ICPRICPR-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.
KDDKDD-2006-SpiliopoulouNTS #clustering #modelling #monitoring #named
MONIC: modeling and monitoring cluster transitions (MS, IN, YT, RS), pp. 706–711.
SEKESEKE-2006-HallstromDS #contract #design pattern #monitoring #parallel
Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.
SEKESEKE-2006-TylerS #automation #control flow #inheritance #monitoring
Automatic Monitoring of Control-flow Through Inheritance Hierarchies (BT, NS), pp. 355–358.
LOPSTRLOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.
SACSAC-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.
SACSAC-2006-KenscheSB #documentation #framework #monitoring #named #web
MonA: an extensible framework for web document monitoring (DK, CS, AB), pp. 1112–1113.
SACSAC-2006-TylerHS #automation #contract #generative #monitoring
Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.
ASPLOSASPLOS-2006-JonesAA #monitoring #named #virtual machine
Geiger: monitoring the buffer cache in a virtual machine environment (STJ, ACAD, RHAD), pp. 14–24.
CGOCGO-2006-DasLH #detection #monitoring #optimisation
Region Monitoring for Local Phase Detection in Dynamic Optimization Systems (AD, JL, WCH), pp. 124–134.
HPDCHPDC-2006-BaiardiRMV #monitoring #policy #virtual machine
Policy Driven Virtual Machine Monitor for Protected Grids (FB, LR, PM, AV), pp. 313–316.
OSDIOSDI-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.
OSDIOSDI-2006-Werner-AllenLJLW #monitoring #network
Fidelity and Yield in a Volcano Monitoring Sensor Network (GWA, KL, JJ, JL, MW), pp. 381–396.
CAVCAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis
Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.
FATESFATES-RV-2006-ArmoniKTVZ #linear #monitoring
Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.
FATESFATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented #monitoring
Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.
ISSTAISSTA-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.
ICTSSTestCom-2006-ShuL #monitoring #protocol #security #testing
Message Confidentiality Testing of Security Protocols — Passive Monitoring and Active Checking (GS, DL), pp. 357–372.
VMCAIVMCAI-2006-SistlaZZ #component #monitoring #off the shelf
Monitoring Off-the-Shelf Components (APS, MZ, LDZ), pp. 222–236.
WICSAWICSA-2005-RatcliffeCO #architecture #case study #design #monitoring
Case Study on Architecture-Centered Design for Monitoring Views at CERN (OR, SC, FO), pp. 213–214.
ASEASE-2005-HalfondO #analysis #injection #monitoring #named
AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks (WGJH, AO), pp. 174–183.
ASEASE-2005-Tan #embedded #logic #modelling #self #source code #specification
Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.
DACDAC-2005-JayakumarDK #monitoring #self
A self-adjusting scheme to determine the optimum RBB by monitoring leakage currents (NJ, SD, SPK), pp. 43–46.
DACDAC-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.
DATEDATE-2005-AroraRRJ #embedded #monitoring #runtime
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATEDATE-2005-GadkariR #automation #monitoring #specification #synthesis #using #visual notation
Automated Synthesis of Assertion Monitors using Visual Specifications (AAG, SR), pp. 390–395.
DATEDATE-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.
DATEDATE-2005-NoguchiN #monitoring #multi
On-Chip Multi-Channel Waveform Monitoring for Diagnostics of Mixed-Signal VLSI Circuits (KN, MN), pp. 146–151.
DATEDATE-2005-Takeuchi #debugging #lightweight #monitoring #using #virtual machine
OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.
SIGMODSIGMOD-2005-HuXL #framework #monitoring #query
A Generic Framework for Monitoring Continuous Spatial Queries over Moving Objects (HH, JX, DLL), pp. 479–490.
SIGMODSIGMOD-2005-PapadiasMH #clustering #concept #monitoring #nearest neighbour #performance
Conceptual Partitioning: An Efficient Method for Continuous Nearest Neighbor Monitoring (KM, MH, DP), pp. 634–645.
TACASTACAS-2005-ChenR #java #monitoring #named #programming
Java-MOP: A Monitoring Oriented Programming Environment for Java (FC, GR), pp. 546–550.
IWPCIWPC-2005-Reiss05a #concurrent #java #monitoring #performance #thread
Efficient Monitoring and Display of Thread State in Java (SPR), pp. 247–256.
PASTEPASTE-2005-CookO #component #deployment #named
MonDe: safe updating through monitored deployment of new component versions (JEC, AO), pp. 43–46.
PASTEPASTE-2005-KumarCS #monitoring #profiling
Low overhead program monitoring and profiling (NK, BRC, MLS), pp. 28–34.
AdaSIGAda-2005-NaeserAF #monitoring #named
SafetyChip: a time monitoring and policing device (GN, LA, JF), pp. 63–68.
EDOCEDOC-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.
ICEISICEIS-v3-2005-YuJ #development #modelling #monitoring #process
Model Driven Development of Business Process Monitoring and Control Systems (TY, JJJ), pp. 161–166.
KDDKDD-2005-YamanishiM #mining #monitoring #network
Dynamic syslog mining for network failure monitoring (KY, YM), pp. 499–508.
SEKESEKE-2005-MondragonGMS #generative #monitoring #runtime #specification
Generating Properties for Runtime Monitoring from Software Specification Patterns (OM, AQG, HM, OS), pp. 267–273.
ECMFAECMDA-FA-2005-BurgstallerWFBF #development #distributed #monitoring #using
Using Domain Driven Development for Monitoring Distributed Systems (RB, EW, LF, MB, TF), pp. 19–24.
SACSAC-2005-JafariDBS #adaptation #fault tolerance #monitoring
Adaptive and fault tolerant medical vest for life-critical medical monitoring (RJ, FD, PB, MS), pp. 272–279.
ICSEICSE-2005-LetierKMU #analysis #monitoring #requirements
Monitoring and control in scenario-based requirements analysis (EL, JK, JM, SU), pp. 382–391.
ICSEICSE-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.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
CAVCAV-2005-dAmorimR #monitoring #performance
Efficient Monitoring of ω-Languages (Md, GR), pp. 364–378.
ASEASE-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.
DATEDATE-v2-2004-VazquezG #fault #monitoring #power management
Power Supply Noise Monitor for Signal Integrity Faults (JRV, JPdG), pp. 1406–1407.
DATEDATE-2005-KirsteinSSHVH04 #monitoring
A CMOS-Based Tactile Sensor for Continuous Blood Pressure Monitoring (KUK, JS, TS, CH, TV, AH), pp. 210–214.
SIGMODSIGMOD-2004-GargRC #monitoring #named #query #web
Web-CAM: Monitoring the dynamic Web to respond to Continual Queries (SG, KR, SC), pp. 927–928.
VLDBVLDB-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.
VLDBVLDB-2004-PandeyDO #algorithm #monitoring #named #web
WIC: A General-Purpose Algorithm for Monitoring Web Information Sources (SP, KD, CO), pp. 360–371.
ICSMEICSM-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.
PLDIPLDI-2004-Adl-TabatabaiHSS #hardware #metadata #monitoring
Prefetch inection based on hardware monitoring and object metadata (ARAT, RLH, MJS, SS), pp. 267–276.
ICEISICEIS-v1-2004-SchieferM #correlation #monitoring #process
Correlating Events for Monitoring Business Processes (JS, CM), pp. 320–327.
ICEISICEIS-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.
ICEISICEIS-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.
ICPRICPR-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.
ICPRICPR-v4-2004-LeoDGSD #monitoring #process #recognition
Complex Human Activity Recognition for Monitoring Wide Outdoor Environments (ML, TD, IG, PS, AD), pp. 913–916.
KDDKDD-2004-LinKLLN #mining #monitoring #visual notation
Visually mining and monitoring massive time series (JL, EJK, SL, JPL, DMN), pp. 460–469.
ECOOPECOOP-2004-CaromelMT #monitoring
Sequential Object Monitors (DC, LM, ÉT), pp. 316–340.
ECOOPECOOP-2004-WelcJH #concurrent #monitoring #transaction
Transactional Monitors for Concurrent Objects (AW, SJ, ALH), pp. 519–542.
SACSAC-2004-BunchBBCSUHPM #monitoring #process
Software agents for process monitoring and notification (LB, MRB, JMB, MMC, NS, AU, JH, MP, VM), pp. 94–100.
SACSAC-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.
ICSEICSE-2004-SenVAR #distributed #monitoring #performance #safety
Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.
HPDCHPDC-2004-ZangrilliL #monitoring #network #using
Using Passive Traces of Application Traffic in a Network Monitoring System (MZ, BL), pp. 77–86.
OSDIOSDI-2004-ZhangZPPW #internet #monitoring #named
PlanetSeer: Internet Path Failure Monitoring and Characterization in Wide-Area Services (MZ, CZ, VSP, LLP, RYW), pp. 167–182.
ICLPICLP-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-2003-ChenHBW #automation #constraints #generative #monitoring #simulation
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula (XC, HH, FB, YW), pp. 11174–11175.
DATEDATE-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.
SIGMODSIGMOD-2003-BabcockO #distributed #monitoring
Distributed Top-K Monitoring (BB, CO), pp. 28–39.
VLDBVLDB-2003-KornMZ #database #monitoring #network #problem #quality
Checks and Balances: Monitoring Data Quality Problems in Network Traffic Databases (FK, SM, YZ), pp. 536–547.
ITiCSEITiCSE-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.
CAiSECAiSE-2003-XuJ #contract #monitoring
Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.
EDOCEDOC-2003-DebusmannSSK #monitoring #using
Unified Service Level Monitoring using CIM (MD, MS, MS, RK), pp. 76–85.
EDOCEDOC-2003-NealCLMGK #contract #identification #monitoring #requirements
Identifying requirements for Business Contract Language: a Monitoring Perspectiv (SWN, JBC, PFL, ZM, SG, SK), pp. 50–61.
EDOCEDOC-2003-SgottiRS #monitoring
A MOM-based Solution for Remote Monitoring of Equipment in Mines (VACS, NSR, WJdS), pp. 321–326.
ICEISICEIS-v2-2003-BenninghoffN #distributed #monitoring #scalability
Scaling Up Information Updates in Distributed Condition Monitoring (PB, SN), pp. 132–139.
ICEISICEIS-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.
ICEISICEIS-v4-2003-GamboaF #interactive #monitoring #named #web
Widam — Web Interaction Display and Monitoring (HG, VF), pp. 21–27.
CIKMCIKM-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.
RERE-2003-Robinson #monitoring #requirements #web #web service
Monitoring Web Service Requirements (WNR), pp. 65–74.
RERE-2003-Simmons #monitoring #quality #requirements #specification
From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality (ES), p. 286.
SACSAC-2003-MabrySEE #monitoring
Intelligent Agents for Patient Monitoring and Diagnostics (SLM, TS, TE, NE), pp. 257–262.
SACSAC-2003-PascucciLFGSLH #monitoring #realtime #scalability #simulation
Real-Time Monitoring of Large Scientific Simulations (VP, DEL, RJF, FG, GS, LL, BH), pp. 194–198.
ESEC-FSEESEC-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.
CGOCGO-2003-ChenHC #hardware #monitoring #performance #using
Dynamic Trace Selection Using Performance Monitoring Hardware Sampling (HC, WCH, DyC), pp. 79–90.
HPDCHPDC-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.
HPDCHPDC-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.
HPDCHPDC-2003-ZhangFS #distributed #information management #monitoring #performance
A Performance Study of Monitoring and Information Services for Distributed Systems (XZ, JLF, JMS), pp. 270–282.
CAVCAV-2003-Drusinsky #monitoring
Monitoring Temporal Rules Combined with Time Series (DD), pp. 114–117.
DACDAC-2002-OliveiraH #automation #generative #interface #monitoring #specification
High-Level specification and automatic generation of IP interface monitors (MTO, AJH), pp. 129–134.
SIGMODSIGMOD-2002-CranorGJSS #interface #monitoring #named #network #performance #sql
Gigascope: high performance network monitoring with an SQL interface (CDC, YG, TJ, VS, OS), p. 623.
VLDBVLDB-2002-CarneyCCCLSSTZ #data transformation #monitoring
Monitoring Streams — A New Class of Data Management Applications (DC, , MC, CC, SL, GS, MS, NT, SBZ), pp. 215–226.
VLDBVLDB-2002-LamKR #mobile #monitoring #named #realtime #using
RTMonitor: Real-Time Data Monitoring Using Mobile Agent Technologies (KyL, AK, KR), pp. 1063–1066.
VLDBVLDB-2002-ZhuS #data type #monitoring #named #realtime #statistics
StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time (YZ, DS), pp. 358–369.
TACASTACAS-2002-HavelundR #monitoring #safety
Synthesizing Monitors for Safety Properties (KH, GR), pp. 342–356.
PASTEPASTE-2002-BowringOH #monitoring #using
Monitoring deployed software using software tomography (JFB, AO, MJH), pp. 2–9.
CAiSECAiSE-2002-WangW #flexibility #monitoring #workflow
Intelligent Agent Supported Flexible Workflow Monitoring System (MW, HW), pp. 787–791.
EDOCEDOC-2002-MilosevicD #behaviour #contract #monitoring #on the
On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.
ICEISICEIS-2002-AllouiCO #logic #monitoring #process
Taming Process Deviations by Logic Based Monitoring (IA, SC, FO), pp. 716–724.
ICEISICEIS-2002-BodorikBJ #middleware #monitoring #tool support
Toolkit for QoS Monitoring in Middleware (PB, SB, DNJ), pp. 244–249.
CIKMCIKM-2002-WuY #adaptation #monitoring #multi #performance #query #using
Efficient query monitoring using adaptive multiple key hashing (KLW, PSY), pp. 477–484.
ICPRICPR-v1-2002-BasuPCB #distributed #image #monitoring #retrieval #using
Distributed Retrieval of Wavelet Images Using Bandwidth Monitoring (AB, MHP, LIC, MB), pp. 604–607.
ICPRICPR-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.
SEKESEKE-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.
SACSAC-2002-AbdallahDH #monitoring
Monitoring and synchronization for teamwork in GPGP (SA, NMD, OH), pp. 288–293.
HPCAHPCA-2002-SuhDR #clustering #memory management #monitoring #scheduling
A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning (GES, SD, LR), pp. 117–128.
HPDCHPDC-2002-GunterTJLS #distributed #monitoring
Dynamic Monitoring of High-Performance Distributed Applications (DG, BT, KRJ, JL, MS), pp. 163–170.
ASEASE-2001-HavelundR #monitoring #source code #using
Monitoring Programs Using Rewriting (KH, GR), pp. 135–143.
ASEASE-2001-LongHS #concurrent #java #monitoring
A Concurrency Test Tool for Java Monitors (BL, DH, PAS), pp. 421–425.
CHICHI-2001-Grudin #clustering #monitoring #multi
Partitioning digital worlds: focal and peripheral awareness in multiple monitor use (JG), pp. 458–465.
ICEISICEIS-v1-2001-PanticR #challenge #monitoring #multi #ubiquitous
Affect-Sensitive Multi-Modal Monitoring in Ubiquitous Computing: Advances and Challenges (MP, LJMR), pp. 466–474.
UMLUML-2001-LettrariK #modelling #monitoring #realtime #testing #uml
Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.
POPLPOPL-2001-BhargavanCMG #automaton #monitoring #network #what
What packets may come: automata for network monitoring (KB, SC, PJM, CAG), pp. 206–219.
HPDCHPDC-2001-BolligerG #monitoring
Bandwidth Monitoring for Network-Aware Applications (JB, TRG), pp. 241–251.
ASEASE-2000-BuenoJ #identification #monitoring #testing
Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data (PMSB, MJ), pp. 209–218.
IWPCIWPC-2000-Goldman #interactive #monitoring #named
Smiley — An Interactive Tool for Monitoring Inter-Module Function Calls (NMG), pp. 109–118.
AdaEuropeAdaEurope-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.
ICEISICEIS-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.
ICPRICPR-v3-2000-BadenasSP #integration #monitoring #sequence #using
Using Temporal Integration for Tracking Regions in Traffic Monitoring Sequences (JB, JMS, FP), pp. 7137–7140.
ICPRICPR-v4-2000-NakaiIMW #monitoring #strict #visual notation
Non-Restrictive Visual Respiration Monitoring (HN, KI, YM, MW), pp. 4647–4651.
ICPRICPR-v4-2000-Shekhar #automation #monitoring
Semi-Automatic Video-to-Site Registration for Aerial Monitoring (CS0), pp. 4736–4739.
ICPRICPR-v4-2000-SmithSL #monitoring
Monitoring Head/Eye Motion for Driver Alertness with One Camera (PS, MS, NdVL), pp. 4636–4635.
TOOLSTOOLS-EUROPE-2000-SridharanMM #corba #distributed #monitoring #testing
Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects (BS, SM, APM), p. 195–?.
HPDCHPDC-2000-TierneyCGHLT #grid #monitoring
A Monitoring Sensor Management System for Grid Environments (BT, BC, DG, MH, JL, MRT), pp. 97–104.
ISSTAISSTA-2000-PetersP #monitoring #realtime
Requirements-based monitors for real-time systems (DKP, DLP), pp. 77–85.
WICSAWICSA-1999-SavigniT #architecture #monitoring #named
Kaleidoscope: A Reference Architecture for Monitoring and Control Systems (AS, FT), pp. 369–388.
DATEDATE-1999-StopjakovaMS #monitoring #testing
On-Chip Transient Current Monitor for Testing of Low Voltage CMOS IC (VS, HARM, MS), pp. 538–542.
PASTEPASTE-1999-WhitingH #analysis #monitoring #safety
Safety Analysis of Hawk in Flight Monitor (LW, MH), pp. 32–38.
HCIHCI-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.
HCIHCI-CCAD-1999-Wirth #case study #monitoring #network #visualisation
Maximizing data density: a case study of visualization in network monitoring (JW), pp. 127–131.
ICMLICML-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.
KDDKDD-1999-FawcettP #behaviour #monitoring #process
Activity Monitoring: Noticing Interesting Changes in Behavior (TF, FJP), pp. 53–62.
KDDKDD-1999-ShewhartW #monitoring #topic
Monitoring a Newsfeed for Hot Topics (MS, MW), pp. 402–404.
MLDMMLDM-1999-Scaringella #data mining #mining #monitoring #risk management
A Data Mining Application for Monitoring Environmental Risks (AS), pp. 209–215.
ICSEICSE-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.
ICSEICSE-1999-PavlopoulouY #monitoring #test coverage
Residual Test Coverage Monitoring (CP, MY), pp. 277–284.
HPDCHPDC-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.
ICLPICLP-1999-JahierD #approach #monitoring
A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.
SIGMODSIGMOD-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.
PASTEPASTE-1998-JefferyZTB #architecture #execution #lightweight #monitoring
A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.
ICPRICPR-1998-BadenasP #image #monitoring #segmentation #sequence
Segmentation based on region-tracking in image sequences for traffic monitoring (JB, FP), pp. 999–1001.
ICPRICPR-1998-BouzidiBH #approach #data fusion #monitoring
A remote sensing data fusion approach to monitor agricultural areas (SB, JPB, IH), pp. 1387–1389.
ICPRICPR-1998-OnoeYYT #monitoring #using #video #visual notation
Visual surveillance and monitoring system using an omnidirectional video camera (YO, NY, KY, HT), pp. 588–592.
KRKR-1998-GiacomoRS #execution #monitoring #source code
Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.
OOPSLAOOPSLA-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.
ISSTAISSTA-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.
DATEEDTC-1997-StopjakovaM #monitoring #testing
CCII+ current conveyor based BIC monitor for IDDQ testing of complex CMOS circuits (VS, HARM), pp. 266–270.
DATEEDTC-1997-SvajdaSM #monitoring
A monolithic off-chip IDDQ monitor (MS, BS, HARM), p. 629.
ITiCSEITiCSE-1997-HaganSM #monitoring #programming
Monitoring and evaluating a redesigned first year programming course (DH, JS, IM), pp. 37–39.
HCIHCI-CC-1997-AnkrumS #monitoring #variability
Heart Rate Variability in Eye-Level and Low Monitor Conditions (DRA, KS), pp. 571–574.
HCIHCI-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.
ICSEICSE-1997-CohenFNF #automation #monitoring #requirements
Automatic Monitoring of Software Requirements (DC, MSF, KN, SF), pp. 602–603.
ITiCSEITiCSE-1996-Jacker #documentation #monitoring #named #network #tool support
Tkined/scotty: tools for network documentation, monitoring and troubleshooting (KHJ), p. 233.
CHICHI-1996-YamaashiCNB
Beating the Limitations of Camera-Monitor Mediated Telepresence with Extra Eyes (KY, JRC, TN, WB), pp. 50–57.
ICPRICPR-1996-Wixson #assessment #monitoring
Illumination assessment for vision-based traffic monitoring (LEW), pp. 56–62.
ICPRICPR-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.
SACSAC-1996-AbduLB #monitoring
Investigating monitoring configurations (HA, HL, MAB), pp. 366–373.
ICSEICSE-1996-Minsky #evolution #independence #monitoring #online
Independent On-Line Monitoring of Evolving Systems (NHM), pp. 134–143.
ICSEICSE-1996-SefikaSC #design #modelling #monitoring
Monitoring Compliance of a Software System with Its High-Level Design Models (MS, AS, RHC), pp. 387–396.
HPDCHPDC-1996-HuardILY #adaptation #monitoring
Meeting QoS Guarantees by End-to-End QoS Monitoring and Adaptation (JFH, II, AAL, HY), pp. 348–355.
RERE-1995-FickasF #monitoring #requirements
Requirements monitoring in dynamic environments (SF, MSF), pp. 140–147.
SACSAC-1995-HashemiTV #monitoring #network #quality
A neural network as a quality control monitor of an intelligent system (RRH, JRT, MV), pp. 263–266.
ICSEICSE-1995-BarghoutiK #constraints #monitoring #process #using
Using Event Contexts and Matching Constraints to Monitor Software Processes (NSB, BK), pp. 83–92.
DATEEDAC-1994-KarkkainenTW #bound #monitoring #power management #testing
Boundary Scan Testing Combined with Power Supply Current Monitoring (MK, KT, MW), pp. 232–235.
ASPLOSASPLOS-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.
HPDCHPDC-1994-CataniaGPV #distributed #monitoring #named
PMT: A Tool to Monitor Performances in Distributed Systems (VC, OG, AP, LV), pp. 279–286.
SIGMODSIGMOD-1993-DayalGHKS #challenge #database #generative #monitoring
Third Generation TP Monitors: A Database Challenge (UD, HGM, MH, BK, MCS), pp. 393–397.
HCIHCI-ACS-1993-AielloS #feedback #monitoring #performance
Electronic Performance Monitoring and Stress: The Role of Feedback and Goal Setting (JRA, YS), pp. 1011–1016.
HCIHCI-ACS-1993-CarayonLYSSL #monitoring #performance #research
Recent Research Findings on Stress and Electronic Performance Monitoring (PC, SYL, CLY, MJS, KJS, DL), pp. 1017–1022.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
CHIINTERCHI-1993-DiGianoBO #behaviour #monitoring #named #programming
LogoMedia: a sound-enhanced programming environment for monitoring program behavior (CD, RMB, RNO), pp. 301–302.
ICSEICSE-1993-BradacPV #empirical #monitoring #process #prototype
Prototyping a Process Monitoring Experiment (MGB, DEP, LGV), pp. 155–165.
DACDAC-1992-ChakravartyL #algorithm #fault #monitoring
Algorithms for Current Monitor Based Diagnosis of Bridging and Leakage Faults (SC, ML), pp. 353–356.
SEKESEKE-1992-AlcarazNHB #maintenance #monitoring #realtime
Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges (FA, MN, AH, JLB), pp. 364–369.
ASEKBSE-1991-Liao #automation #generative #monitoring
Requirement Directed Automatic Instrumentation Generation for Program Monitoring and Measuring (YL), pp. 144–150.
PLDIPLDI-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.
PPoPPPPoPP-1990-DinningS #algorithm #comparison #detection #empirical #monitoring
An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection (AD, ES), pp. 1–10.
PPoPPPPoPP-1990-Factor #architecture #monitoring #process #realtime
The Process Trellis Architectur for Real-Time Monitors (MF), pp. 147–155.
VLDBVLDB-1989-Risch #database #monitoring
Monitoring Database Objects (TR), pp. 445–453.
VLDBVLDB-1989-RosenthalCBB #database #monitoring
Situation Monitoring for Active Databases (AR, SC, BTB, JAB), pp. 455–464.
CHICHI-1989-ColluraJBK #design #interface #monitoring
User-interface design for a clinical neurophysiological intensive monitoring system (TFC, ECJ, RCB, GHK), pp. 363–368.
HCIHCI-SES-1987-SmithCM #monitoring
Electronic Monitoring and Job Stress (MJS, PC, KM), pp. 33–42.
DACDAC-1986-Janni #monitoring
A monitor for complex CAD systems (ADJ), pp. 145–151.
OOPSLAOOPSLA-1986-Dasgupta #distributed #monitoring #object-oriented #operating system
A Probe-Based Monitoring Scheme for an Object-Oriented Distributed Operating System (PD), pp. 57–66.
SIGIRSIGIR-1984-Tolle #analysis #evaluation #information management #monitoring #transaction
Monitoring and Evaluation of Information Systems Via Transaction Log Analysis (JT), pp. 247–258.
VLDBVLDB-1983-CremersD #database #monitoring #named
AIM — An Integrity Monitor for the Database System INGRES (ABC, GD), pp. 167–170.
SIGIRSIGIR-1983-Borgman #behaviour #information retrieval #monitoring #online
End User Behavior on an Online Information Retrieval System: A Computer Monitoring Study (CLB), pp. 162–176.
ASPLOSASPLOS-1982-MaekawaSI #architecture #migration #monitoring
Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming (MM, KS, CI), pp. 185–194.
VLDBVLDB-1981-Borr #distributed #monitoring #reliability #transaction
Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.
SOSPSOSP-J-1979-LampsonR80 #experience #monitoring #process
Experience with Processes and Monitors in Mesa (BWL, DDR), pp. 105–117.
VLDBVLDB-1979-Melo #constraints #monitoring
Monitoring Integrity Constraints in a CODASYL-Like DBMS (RNM), pp. 209–218.
SIGIRSIGIR-1979-DominickP #analysis #automation #evaluation #information management #monitoring
Automated Monitoring to Support the Analysis and Evaluation of Information Systems (WDD, WDP), pp. 2–9.
SOSPSOSP-1979-LampsonR #experience #monitoring #process #summary
Experience with Processes and Monitors in Mesa (Summary) (BWL, DDR), pp. 43–44.
SIGMODSIGMOD-1978-HammerS #database #monitoring #performance
Efficient Monitoring of Database Assertions (Abstract) (MH, SKS), p. 159.
SOSPSOSP-1977-ArvindGP #data flow #monitoring
Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.
ICSEICSE-1976-Howard #monitoring
Signaling in Monitors (JHH), pp. 47–52.
ICSEICSE-1976-KarpL #implementation #monitoring #verification
Verification of Fairness in an Implementation of Monitors (RAK, DCL), pp. 40–46.
ICSEICSE-1976-SaxenaB #monitoring #specification #verification
Verification of a Monitor Specification (ARS, THB), pp. 53–59.
SOSPSOSP-J-1975-Howard76 #monitoring #proving
Proving Monitors (JHH), pp. 273–279.
SOSPSOSP-1973-Svobodova #hybrid #metric #monitoring #online #performance
Online System Performance Measurements with Software and Hybrid Monitors (LS), pp. 45–53.
SOSPSOSP-1969-Wulf #monitoring #multi #performance
Performance monitors for multi-programming systems (WAW), pp. 175–181.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.