BibSLEIGH — monitoring tag

monitoring

monitoring

Tag #monitoring

763 papers:

POPL-2020-ClochardMP #deduction #verification: Deductive verification with ghost monitors (MC, CM, AP), p. 26.
CSL-2020-FerrereHK: Monitoring Event Frequencies (TF, TAH, BK), p. 16.
FM-2019-Eschbach #concept #data analysis #industrial: Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis (RE), pp. 738–745.
FM-2019-StuckiSSB: Gray-Box Monitoring of Hyperproperties (SS, CS, GS, BB), pp. 406–424.
CIKM-2019-TianKA0C #adaptation #concept #detection #health #online: Concept Drift Adaption for Online Anomaly Detection in Structural Health Monitoring (HT, NLDK, AA, YW0, FC0), pp. 2813–2821.
KDD-2019-ShenVAAHN #learning #smarttech #using: Ambulatory Atrial Fibrillation Monitoring Using Wearable Photoplethysmography with Deep Learning (YS, MV, AA, AA, AYH, AYN), pp. 1909–1916.
KDD-2019-Yeh0DDNK #online #realtime: Online Amnestic DTW to allow Real-Time Golden Batch Monitoring (CCMY, YZ0, HAD, AD, MN, EJK), pp. 2604–2612.
MoDELS-2019-BesnardTJ0D19a #approach #automaton #modelling #uml #verification: Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach (VB, CT, FJ, MB0, PD), pp. 161–171.
OOPSLA-2019-GreenmanFD: Complete monitors for gradual types (BG, MF, CD), p. 29.
POPL-2019-AlurMS #composition: Modular quantitative monitoring (RA, KM, CS), p. 31.
ASE-2019-FengCKC0F #evolution: Active Hotspot: An Issue-Oriented Model to Monitor Software Evolution and Degradation (QF, YC, RK, DC, TL0, HF), pp. 986–997.
CASE-2019-BaltaTB #detection #framework #modelling #performance: A Digital Twin Framework for Performance Monitoring and Anomaly Detection in Fused Deposition Modeling (ECB, DMT, KB), pp. 823–829.
CASE-2019-BenakisDPF #industrial #process: Welding Process Monitoring Applications and Industry 4.0 (MB, CD, AP, RF), pp. 1755–1760.
CASE-2019-ChengJM #detection #process #robust: Data-Efficient Process Monitoring and Failure Detection for Robust Robotic Screwdriving (XC, ZJ, MTM), pp. 1705–1711.
CASE-2019-GoeckeSTK: Monitoring and Control of the Heat Input in MAG-Laser-Hybrid Welding of High Strength Steel in Telescopic Crane Booms (SFG, TS, DT, AK), pp. 1744–1747.
CASE-2019-KorabiGAOP #process: Monitoring of a sampled process data under Run-to-Run control: application to a semiconductor process (TEK, GG, EMEA, MO, JP), pp. 930–935.
CASE-2019-KumarAS #array #using: Speed and Separation Monitoring using On-Robot Time-of-Flight Laser-ranging Sensor Arrays (SK, SA, FS), pp. 1684–1691.
CASE-2019-QamsaneCBKMMTB #evaluation #framework #realtime: A Unified Digital Twin Framework for Real-time Monitoring and Evaluation of Smart Manufacturing Systems (YQ, CYC, ECB, BCK, SM, JRM, DMT, KB), pp. 1394–1401.
CASE-2019-WangY0 #approach #learning: A Deep Learning Approach for Heating and Cooling Equipment Monitoring (YW, CY, WS0), pp. 228–234.
CASE-2019-YanYS #detection #fault #process: Image-based Process Monitoring via Adversarial Autoencoder with Applications to Rolling Defect Detection (HY, HMY, NS), pp. 311–316.
CAV-2019-FaymonvilleFSSS #cyber-physical #named: StreamLAB: Stream-based Monitoring of Cyber-Physical Systems (PF, BF, MS, MS, MS, LT, HT), pp. 421–431.
CAV-2019-WagaAH #parametricity #specification: Symbolic Monitoring Against Specifications Parametric in Time and Data (MW, ÉA, IH), pp. 520–539.
ICTSS-2019-RiveraOMCVV #industrial #platform #security: Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms (DR, EMdO, WM, ARC, BV, MV), pp. 270–278.
SANER-2018-RabiserGVBG #comparison #framework #runtime: A comparison framework for runtime monitoring approaches (journal-first abstract) (RR, SG, MV, LB, PG), p. 472.
KDD-2018-XuBDMS #multimodal #named: RAIM: Recurrent Attentive and Intensive Model of Multimodal Patient Monitoring Data (YX, SB, SRD, KOM, JS), pp. 2565–2573.
POPL-2018-EmmiE #concurrent: Sound, complete, and tractable linearizability monitoring for concurrent collections (ME, CE), p. 27.
ASE-2018-Krismayer #automation #constraints #mining: Automatic mining of constraints for monitoring systems of systems (TK), pp. 924–927.
ASE-2018-OzdemirTEA #lightweight #source code: Lightweight source code monitoring with Triggr (AO, AT, HE, RA), pp. 864–867.
CASE-2018-LongoFMMS #approach #big data #complexity: Big Data for advanced monitoring system: an approach to manage system complexity (CSL, CF, FM, LM, MS), pp. 341–346.
CASE-2018-OriveABM #architecture #industrial #network #resource management: Passive Network State Monitoring for Dynamic Resource Management in Industry 4.0 Fog Architectures (AO, AA, JB, MM), pp. 1414–1419.
CASE-2018-WanCLT #online: An on-line tool wear monitoring method based on cutting power (TW, XC, CL, YT), pp. 205–210.
CASE-2018-YuWSZ #online: On-line Tool Wear Monitoring via Sparse Coding Based on DCT and WPD (XY, RW, YS, KZ), pp. 1046–1051.
ESOP-2018-Hamin0 #concurrent: Deadlock-Free Monitors (JH, BJ0), pp. 415–441.
FASE-2018-BurSVV #cyber-physical #distributed #graph #query #runtime: Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (MB, GS, AV0, DV), pp. 111–128.
CAV-2018-BartocciBNR #finite #ltl #semantics #specification: A Counting Semantics for Monitoring LTL Specifications over Finite Traces (EB, RB, DN, FR), pp. 547–564.
CAV-2018-EmmiE #consistency: Monitoring Weak Consistency (ME, CE), pp. 487–506.
CAV-2018-FengKLXZ #automaton #multi: Monitoring CTMCs by Multi-clock Timed Automata (YF, JPK, HL, BX, NZ), pp. 507–526.
SANER-2017-KulaGI0I #case study #ecosystem #library: An exploratory study on library aging by monitoring client usage in a software ecosystem (RGK, DMG, TI, AO0, KI), pp. 407–411.
CIAA-2017-AcetoAFIK #complexity #on the: On the Complexity of Determinizing Monitors (LA, AA, AF, AI, SÖK), pp. 1–13.
IFM-2017-RizaldiKHFIAHN #formal method #higher-order: Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL (AR, JK, MH, JF, FI, MA, EH, TN), pp. 50–66.
SEFM-2017-AttardF #clustering #component: Trace Partitioning and Local Monitoring for Asynchronous Components (DPA, AF), pp. 219–235.
ASE-2017-KrismayerRG #constraints #mining: Mining constraints for event-based monitoring in systems of systems (TK, RR, PG), pp. 826–831.
ASE-2017-KritzingerKVRG #requirements #visualisation: Visualization support for requirements monitoring in systems of systems (LMK, TK, MV, RR, PG), pp. 889–894.
CASE-2017-AbarcaSAPC #design #development #quality: Design and development of an hexacopter for air quality monitoring at high altitudes (MA, CS, AA, JAP, FC), pp. 1457–1462.
CASE-2017-CarliD #distributed #grid #multi #smarttech #using: Using the distributed proximal alternating direction method of multipliers for smart grid monitoring (RC, MD), pp. 418–423.
CASE-2017-LiuZ17a #analysis #robust: Intelligent robust milling tool wear monitoring via fractal analysis of cutting force (TL, KZ), pp. 1254–1259.
CASE-2017-MerktYSMFV #mobile #robust: Robust shared autonomy for mobile manipulation with continuous scene monitoring (WM, YY, TS, CEM, MF, SV), pp. 130–137.
CASE-2017-XianWL #adaptation #big data #data type #online #parametricity: A nonparametric adaptive sampling strategy for online monitoring of big data streams (XX, AW, KL), pp. 844–846.
CAV-2017-SelyuninJNRHBNG #communication #protocol #runtime: Runtime Monitoring with Recovery of the SENT Communication Protocol (KS, SJ, TN, CR, UH, EB, DN, RG), pp. 336–355.
CAV-2017-Ulus #named #regular expression: Montre: A Tool for Monitoring Timed Regular Expressions (DU), pp. 329–335.
EDM-2016-Dobashi #education #student: Time Series Cross Section method for monitoring students' page views of course materials and improving classroom teaching (KD), pp. 587–588.
IFM-2016-NazarpourFBBC #component #concurrent #multi #thread: Monitoring Multi-threaded Component-Based Systems (HN, YF, SB, MB, JC), pp. 141–159.
CIKM-2016-CheemaKALWCR #analysis #health #on the #using: On Structural Health Monitoring Using Tensor Analysis and Support Vector Machine with Artificial Negative Data (PC, NLDK, MMA, WL0, YW0, FC0, PR), pp. 1813–1822.
KDD-2016-LazersonKS #distributed #lightweight: Lightweight Monitoring of Distributed Streams (AL, DK, AS), pp. 1685–1694.
MoDELS-2016-DasGJBHD #animation #code generation #development #embedded #modelling #realtime #runtime: Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation (ND, SG, LJ, MB, NH, JD), pp. 36–43.
POPL-2016-JiaGP #higher-order: Monitors and blame assignment for higher-order session types (LJ, HG, FP), pp. 582–594.
SAS-2016-ChatterjeeHO #automaton: Quantitative Monitor Automata (KC, TAH, JO), pp. 23–38.
FSE-2016-ImesBH #energy #interface #runtime: A portable interface for runtime energy monitoring (CI, LB, HH), pp. 968–974.
FSE-2016-KimRLZX #named #performance: PerfGuard: binary-centric application performance monitoring in production environments (CHK, JR, KHL, XZ0, DX), pp. 595–606.
SLE-2016-DreyT #design pattern #domain-specific language #object-oriented: Object-oriented design pattern for DSL program monitoring (ZD, CT), pp. 70–83.
ASPLOS-2016-YuJXJZJ #named #workflow: CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs (XY, PJ, JX, GJ, HZ0, GJ), pp. 489–502.
CASE-2016-Guo #energy: A new testbed for evaluating residential energy monitoring systems (WG), pp. 652–657.
CGO-2016-HawkinsDT #lightweight #named #off the shelf #security: BlackBox: lightweight security monitoring for COTS binaries (BH, BD, MBT), pp. 261–272.
VLDB-2015-DasuSSS #quality: FIT to Monitor Feed Quality (TD, VS, DS, DFS), pp. 1729–1740.
VLDB-2015-LazersonSKSGS #distributed #using: Monitoring Distributed Streams using Convex Decompositions (AL, IS, DK, AS, MNG, VS), pp. 545–556.
EDM-2015-RuizUF #interactive #predict #student: Predicting Students' Outcome by Interaction Monitoring (SR, MU, IFC), pp. 598–599.
FM-2015-DuLT #independence #ltl #policy #runtime: Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.
ICFP-2015-SwordsST #communication #contract: Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
CIG-2015-KoLYL #game studies #integration #mobile: Mobile EEG & ECG integration system for monitoring physiological states in peforming simulated war game training (LWK, PWL, BJY, CTL), pp. 542–543.
ICGT-2015-WeberDP #formal method #graph transformation #using: Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.
CHI-2015-AdibMKKM #smarttech: Smart Homes that Monitor Breathing and Heart Rate (FA, HM, ZK, DK, RCM), pp. 837–846.
CHI-2015-HanXSCW #design #game studies #mobile: Balancing Accuracy and Fun: Designing Camera Based Mobile Games for Implicit Heart Rate Monitoring (TH, XX, LS, JFC, JW), pp. 847–856.
CHI-2015-KimCD #detection #interactive: Sensors Know When to Interrupt You in the Car: Detecting Driver Interruptibility Through Monitoring of Peripheral Interactions (SK, JC, AKD), pp. 487–496.
CHI-2015-SkovJSL: No News is Good News: Remote Monitoring of Implantable Cardioverter-Defibrillator Patients (MBS, PGJ, CSS, AL), pp. 827–836.
DHM-EH-2015-ZhengBISEL #behaviour #using: Driving-Behavior Monitoring Using an Unmanned Aircraft System (UAS) (CZ, AB, WI, IS, EE, KL), pp. 305–312.
DHM-HM-2015-ItoTGK: Study of Caregivers’ Skills for Monitoring Senior Residents (MI, YT, AG, NK), pp. 83–94.
DUXU-IXD-2015-FernandesL #interface #internet: An Internet of Things Application with an Accessible Interface for Remote Monitoring Patients (COF, CJPdL), pp. 651–661.
DUXU-IXD-2015-LucenaMA #evolution #mobile #named: MedData: A Mobile Application Designed for Medical Teams to Monitor Clinical Evolution of Inpatient in ICU Context (CAPdL, CRM, BAdA), pp. 672–681.
HIMI-IKD-2015-MaierKMK #interactive #process #visual notation: Visual Interactive Process Monitoring (SM, HK, TM, AK), pp. 74–85.
ICEIS-v1-2015-SilveiraCC #fault #testing: Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.
ICEIS-v2-2015-MendesAASNM #evolution #named #open source #technical debt #using #visualisation: VisMinerTD — An Open Source Tool to Support the Monitoring of the Technical Debt Evolution using Software Visualization (TSM, DAA, NSRA, ROS, RLN, MGM), pp. 457–462.
ICEIS-v2-2015-SariK #analysis #debugging #predict #using: Bug Prediction for an ATM Monitoring Software — Use of Logistic Regression Analysis for Bug Prediction (ÖS, OK), pp. 382–387.
ICEIS-v2-2015-ZhomartkyzyB #development #information management: Monitoring the Development of University Scientific Schools in University Knowledge Management (GZ, TB), pp. 222–230.
CIKM-2015-KenterWHR #ad hoc: Ad Hoc Monitoring of Vocabulary Shifts over Time (TK, MW, PH, MdR), pp. 1191–1200.
KDD-2015-GabelKS #distributed #modelling: Monitoring Least Squares Models of Distributed Streams (MG, DK, AS), pp. 319–328.
KDD-2015-NairRKBSKHD #detection #learning: Learning a Hierarchical Monitoring System for Detecting and Diagnosing Service Issues (VN, AR, SK, VB, SS, SSK, SH, SD), pp. 2029–2038.
KDD-2015-ZhangKX #contest #image #modelling #online #topic: Dynamic Topic Modeling for Monitoring Market Competition from Online Text and Image Data (HZ, GK, EPX), pp. 1425–1434.
SEKE-2015-AbrantesC #exception #policy #specification: Specifying and Dynamically Monitoring the Exception Handling Policy (JA, RC), pp. 370–374.
SEKE-2015-SalehianF #detection #embedded #realtime: Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
AdaEurope-2015-NelissenPP #architecture #novel #performance #runtime: A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
PLDI-2015-EmmiEH #reasoning #refinement: Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.
ASE-2015-VierhauserRGE #approach #case study #experience #lessons learnt: Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned (E) (MV, RR, PG, AE), pp. 715–725.
ASE-2015-VierhauserRGT #runtime: The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems (MV, RR, PG, JTP), pp. 777–782.
ICSE-v2-2015-AbreuEP #fine-grained #named: CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts (RA, HE, AP), pp. 551–554.
SAC-2015-AbeywickramaSL #adaptation #runtime #visualisation: Monitoring and visualizing adaptation of autonomic systems at runtime (DBA, NBS, ML), pp. 1857–1860.
SAC-2015-BarbosaBA: Defending against load monitoring in smart metering data through noise addition (PB, AB, HA), pp. 2218–2224.
SAC-2015-DionisisCP #adaptation #execution #feedback #framework #hybrid #using: A hybrid framework for WS-BPEL scenario execution adaptation, using monitoring and feedback data (MD, VC, GP), pp. 1672–1679.
SAC-2015-JakobssonKS #c #hybrid #memory management #performance: Fast as a shadow, expressive as a tree: hybrid memory monitoring for C (AJ, NK, JS), pp. 1765–1772.
SAC-2015-VorobyovKS #specification: A concise specification language for trace monitoring (KV, PK, PS), pp. 1637–1640.
ASPLOS-2015-RingenburgSACG #approximate #debugging #quality #source code: Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.
CASE-2015-ChenY #process: Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.
CASE-2015-DasCQMTMK #automation #precise: Devices, systems, and methods for automated monitoring enabling precision agriculture (JD, GC, CQ, AM, PT, YM, VK), pp. 462–469.
CASE-2015-KanY #image #modelling #network: Network models for monitoring high-dimensional image profiles (CK, HY), pp. 1078–1083.
CASE-2015-MoalDC #case study #on the #overview #process: On the feasibility of a monitoring system for the friction stir welding process: Literature review and experimental study (GLM, FD, DC), pp. 1576–1583.
CASE-2015-ZafarKSMJA #health #process #using: Tool health monitoring for wood milling process using airborne acoustic emission (TZ, KK, ZS, SM, AJ, UA), pp. 1521–1526.
DAC-2015-TodmanSL #configuration management #design #runtime #verification: In-circuit temporal monitors for runtime verification of reconfigurable designs (TT, SS, WL), p. 6.
DATE-2015-BortolottiMBRSB #power management: An ultra-low power dual-mode ECG monitor for healthcare and wellness (DB, MM, AB, RR, GS, LB), pp. 1611–1616.
DATE-2015-KumarAL #detection #fault: Operational fault detection and monitoring of a memristor-based LUT (TNK, HAFA, FL), pp. 429–434.
DATE-2015-LeeLMHP #named #security: Extrax: security extension to extract cache resident information for snoop-based external monitors (JL, YL, HM, IH, YP), pp. 151–156.
DATE-2015-OborilET #online: High-resolution online power monitoring for modern microprocessors (FO, JE, MBT), pp. 265–268.
DATE-2015-SalivaCHFABBA #reliability: Digital circuits reliability with in-situ monitors in 28nm fully depleted SOI (MS, FC, VH, XF, DA, AB, AB, LA), pp. 441–446.
HPCA-2015-LoCIS #runtime #using: Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.
PDP-2015-SelvaMMF #adaptation #runtime #streaming: A Monitoring System for Runtime Adaptations of Streaming Applications (MS, LM, KM, SF), pp. 27–34.
SOSP-2015-MaceRF #distributed: Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.
TACAS-2015-RegerCR #named #runtime: MarQ: Monitoring at Runtime with QEA (GR, HCC, DER), pp. 596–610.
ICTSS-2015-CheMNZ #testing #tool support: Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP (XC, SM, HNN, FZ), pp. 105–123.
CBSE-2014-Attouchi0BM #execution #memory management #multitenancy: Memory monitoring in a multi-tenant OSGi execution environment (KA, GT, AB, GM), pp. 107–116.
WICSA-2014-Gonzalez-HerreraBDRBFJ #adaptation #component #framework #named: Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems (IYGH, JB, ED, WR, OB, FF, JMJ), pp. 67–76.
WICSA-2014-VierhauserRGDWZ #architecture #flexibility #framework #runtime: A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures (MV, RR, PG, CD, SW, HZ), pp. 57–66.
VLDB-2014-HassanSWZLYY #automation: Data In, Fact Out: Automated Monitoring of Facts by FactWatcher (NH, AS, YW, GZ, CL, JY, CY), pp. 1557–1560.
VLDB-2014-LiuST0DJ #database #named #web: HDBTracker: Monitoring the Aggregates On Dynamic Hidden Web Databases (WL, SBS, ST, NZ, GD, AJ), pp. 1569–1572.
FM-2014-GunadiT #android #case study #logic #metric #operating system #performance #runtime: Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
SFM-2014-BoerG #runtime: Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
CHI-2014-WanMWR #evaluation: Addressing the subtleties in dementia care: pre-study & evaluation of a GPS monitoring system (LW, CM, VW, DWR), pp. 3987–3996.
CSCW-2014-MunsonKRR #email #performance: Monitoring email to indicate project team performance and mutual attraction (SAM, KK, LPRJ), pp. 542–549.
CSCW-2014-SheppardWT #quality #volunteer: Capturing quality: retaining provenance for curated volunteer monitoring data (SAS, AW, LGT), pp. 1234–1245.
DHM-2014-AndreoniCABMNPBPRP #design: Design and Ergonomics of Monitoring System for Elderly (GA, FC, AA, GB, SM, PN, AP, RB, RP, MR, PP), pp. 499–507.
DHM-2014-MazzolaACRADA #architecture #education: Integrated Architecture for Next-Generation m-Health Services (Education, Monitoring and Prevention) in Teenagers (MM, PA, GC, CR, MA, CD, GA), pp. 403–414.
DUXU-ELAS-2014-Abdullah #network #simulation: Simulation of Wireless Sensor Network for Flood Monitoring System (MA), pp. 255–264.
LCT-TRE-2014-Stylianou-GeorgiouPI #education #web: Monitoring Teachers’ Complex Thinking while Engaging in Philosophical Inquiry with Web 2.0 (ASG, AP, AI), pp. 319–327.
SCSM-2014-AhangamaLKP #analysis #mobile: Revolutionizing Mobile Healthcare Monitoring Technology: Analysis of Features through Task Model (SA, YSL, SYK, DCCP), pp. 298–305.
CAiSE-2014-MaggiFDG #predict #process: Predictive Monitoring of Business Processes (FMM, CDF, MD, CG), pp. 457–472.
ICEIS-v1-2014-Rios-AguilarLP #behaviour #information management #mobile #using: Business Information System for the Control of Workforce Through Behaviour Monitoring Using Reactive and Terminal-based Mobile Location Technologies (SRA, FJLM, APS), pp. 30–38.
ICEIS-v2-2014-Gateau #in the cloud #multi: A Multi-agent System to Monitor SLA for Cloud Computing (BG), pp. 647–652.
ICEIS-v2-2014-ShamsuzzohaAKH #collaboration #internet #process #realtime #repository: Smart Collaborative Processes Monitoring in Real-time Business Environment — Applications of Internet of Things and Cloud-data Repository (AS, SA, SK, PTH), pp. 556–563.
ICEIS-v3-2014-LivieriBL #benchmark #metric #ontology #visualisation: Ontologies and Information Visualization for Strategic Alliances Monitoring and Benchmarking (BL, MAB, AL), pp. 402–409.
CIKM-2014-ChuWCC #metric #microblog #topic: Microblog Topic Contagiousness Measurement and Emerging Outbreak Monitoring (VWC, RKW, FC, CHC), pp. 1099–1108.
ECIR-2014-AlbornozASG #automation #named #online #twitter: ORMA: A Semi-automatic Tool for Online Reputation Monitoring in Twitter (JCdA, EA, DS, JG), pp. 742–745.
ICML-c2-2014-LinAKLC #combinator #feedback #game studies #linear: Combinatorial Partial Monitoring Game with Linear Feedback and Its Applications (TL, BDA, RDK, JL, WC), pp. 901–909.
ICPR-2014-RidiGH #overview #recognition: A Survey on Intrusive Load Monitoring for Appliance Recognition (AR, CG, JH), pp. 3702–3707.
KDIR-2014-CainaRV #impact analysis: Marble Initiative — Monitoring the Impact of Events on Customers Opinion (MFC, RPDR, AFV), pp. 403–410.
KMIS-2014-LashariW: A Tool for Monitoring of YouTube Content (IAL, UKW), pp. 171–178.
KR-2014-Baader #ontology: Ontology-Based Monitoring of Dynamic Systems (FB).
MLDM-2014-BaroutiKKM #clustering #data type #distributed: Monitoring Distributed Data Streams through Node Clustering (MB, DK, JK, YM), pp. 149–162.
RecSys-2014-Ben-ShimonTFH #as a service #configuration management #recommendation: Configuring and monitoring recommender system as a service (DBS, AT, MF, JH), pp. 363–364.
SIGIR-2014-SpinaGA #detection #learning #online #similarity #topic: Learning similarity functions for topic detection in online reputation monitoring (DS, JG, EA), pp. 527–536.
ECOOP-2014-LavoieDF #javascript #performance #runtime #using #virtual machine: Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
REFSQ-2014-VierhauserRG #framework #requirements: A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.
ASE-2014-Vierhauser #framework #requirements: A requirements monitoring infrastructure for systems of systems (MV), pp. 887–890.
FSE-2014-Brunink #non-functional: Autonomous compliance monitoring of non-functional properties (MB), pp. 795–798.
FSE-2014-MirakhorliFGWC #architecture #detection #named: Archie: a tool for detecting, monitoring, and preserving architecturally significant code (MM, AF, AG, MW, JCH), pp. 739–742.
SAC-2014-AdibuzzamanAL #personalisation #smarttech #using: A personalized model for monitoring vital signs using camera of the smart phone (MA, SIA, RL), pp. 444–449.
SAC-2014-ChenLFCCK #algorithm #design #detection #effectiveness #health #implementation: Design and implementation of a personal health monitoring system with an effective SVM-based PVC detection algorithm in cardiology (HC, GTL, YCF, BCC, CMC, TCK), pp. 33–35.
SAC-2014-FlemingWWS: Monitoring water scarcity risk in Africa (KF, KW, HW, OS), pp. 567–568.
SAC-2014-IturriozAD: Generalizing the “like” button: empowering websites with monitoring capabilities (JI, IA, OD), pp. 743–750.
SAC-2014-JeongLCHP #android #approach #behaviour #kernel: A kernel-based monitoring approach for analyzing malicious behavior on Android (YJ, HtL, SC, SH, MP), pp. 1737–1738.
SAC-2014-KluschMKS #named #semantics: ICM-Wind: semantics-empowered fluid condition monitoring of wind turbines (MK, APM, PK, AS), pp. 308–315.
SAC-2014-KrichenAB #health: WSN-based flutter control application for aircraft wings structural health monitoring (DK, WA, NB), pp. 680–685.
SAC-2014-TupakulaV: Secure monitoring for dementia patients (UKT, VV), pp. 14–19.
SAC-2014-ZanattaBGL #component #framework #off the shelf: Building a WSN infrastructure with COTS components for the thermal monitoring of datacenters (GZ, GDB, RG, JCBL), pp. 1443–1448.
CASE-2014-GaoLWA #petri net #problem #sequence #using: A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.
CASE-2014-LaiTCL #energy #industrial #performance: Non-Intrusive Load Monitoring applied in energy efficiency of the smart manufacturing industry: A case of air-conditioner (YHL, IJT, CYC, CFL), pp. 1127–1132.
CASE-2014-LiuKCY #functional #modelling #parametricity: Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.
CASE-2014-LiuLS: A wavelet-based characteristic vector construction method for machining condition monitoring (CL, YL, WS), pp. 304–308.
CASE-2014-LyuYCCC #development: Development of robotic walking-aid system with mobility assistance and remote monitoring (SRL, WTY, YSC, HHC, YLC), pp. 830–835.
DAC-2014-BraojosMJAARM #design #power management #smarttech: Ultra-Low Power Design of Wearable Cardiac Monitoring Systems (RB, HM, ADJ, GA, DA, FJR, SM), p. 6.
DAC-2014-Chandra #embedded #multi #perspective #reliability: Monitoring Reliability in Embedded Processors — A Multi-layer View (VC), p. 6.
DAC-2014-ChenWLWSC #design #scalability: Critical Path Monitor Enabled Dynamic Voltage Scaling for Graceful Degradation in Sub-Threshold Designs (YGC, TW, KYL, WYW, YS, SCC), p. 6.
DAC-2014-HuWTT #hardware #network #security: System-Level Security for Network Processors with Hardware Monitors (KH, TW, TT, RT), p. 6.
DAC-2014-LiS #pipes and filters #robust #self: Robust and In-Situ Self-Testing Technique for Monitoring Device Aging Effects in Pipeline Circuits (JL, MS), p. 6.
DAC-2014-SunBMCCBLLJ #health #named #smarttech: eButton: A Wearable Computer for Health Monitoring and Personal Assistance (MS, LEB, ZHM, YC, HCC, YB, YL, CL, WJ), p. 6.
DATE-2014-GuarnieriPSVBFMP #embedded #verification: A cross-level verification methodology for digital IPs augmented with embedded timing monitors (VG, MP, AS, SV, NB, FF, EM, MP), pp. 1–6.
DATE-2014-KimSXWPC #android #fine-grained #named #smarttech: FEPMA: Fine-grained event-driven power meter for android smartphones based on device driver layer event monitoring (KK, DS, QX, YW, MP, NC), pp. 1–6.
DATE-2014-NowotschPHPS #analysis #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.
HPCA-2014-FytrakiVKFG #named #programmable: FADE: A programmable filtering accelerator for instruction-grain monitoring (SF, EV, YOK, BF, BG), pp. 108–119.
PDP-2014-CoppoDV #adaptation #multi #self: Self-Adaptive Monitors for Multiparty Sessions (MC, MDC, BV), pp. 688–696.
PDP-2014-PalazzoSG #case study #scalability #video: Large Scale Data Processing in Ecology: A Case Study on Long-Term Underwater Video Monitoring (SP, CS, DG), pp. 312–316.
PDP-2014-RiekeRZE #process #security: Monitoring Security Compliance of Critical Processes (RR, JR, MZ, JE), pp. 552–560.
PPoPP-2014-Bautista-GomezC #detection: Detecting silent data corruption through data dynamic monitoring for scientific applications (LABG, FC), pp. 381–382.
TACAS-2014-DeckerLT #modulo theories: Monitoring Modulo Theories (ND, ML, DT), pp. 341–356.
CAV-2014-ChowdhuryJGD #policy #privacy #runtime: Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (OC, LJ, DG, AD), pp. 131–149.
ICST-2014-VarvaressosLMGH #automation #case study #debugging #game studies #runtime #video: Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.
ICTSS-2014-ChabotP #embedded #framework #hardware: A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
LICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic: Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.
VMCAI-2014-FaymonvilleFP #logic #parametricity: Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.
SIGMOD-2013-FanXS #adaptation #named #performance #realtime: FAST: differentially private real-time aggregate monitor with filtering and adaptive sampling (LF, LX, VSS), pp. 1065–1068.
TPDL-2013-SimonJ #named #web: Monitrix — A Monitoring and Reporting Dashboard for Web Archivists (RS, AJ), pp. 450–453.
VLDB-2013-GarofalakisKS #distributed #geometry #query #sketching: Sketch-based Geometric Monitoring of Distributed Stream Queries (MNG, DK, VS), pp. 937–948.
VLDB-2013-KotsakosSKG #health #named #smarttech #using: SmartMonitor: Using Smart Devices to Perform Structural Health Monitoring (DK, PS, VK, DG), pp. 1282–1285.
VLDB-2013-LiWC #automation #framework #platform #social #topic #towards #twitter: Towards Social Data Platform: Automatic Topic-focused Monitor for Twitter Stream (RL, SW, KCCC), pp. 1966–1977.
ICPC-2013-RoehmGBJM #interactive: Monitoring user interactions for supporting failure reproduction (TR, NG, BB, CJ, WM), pp. 73–82.
SEFM-2013-WonischSW #runtime: Zero Overhead Runtime Monitoring (DW, AS, HW), pp. 244–258.
CSCW-2013-KusunokiSZB #comprehension #visual notation: Understanding visual attention of teams in dynamic medical settings through vital signs monitor use (DSK, AS, ZZ, RSB), pp. 527–540.
DUXU-NTE-2013-AbujaradSDP #safety: Rap Backs: Continuous Workforce Monitoring to Improve Patient Safety in Long-Term Care (FA, SJS, TAD, LAP), pp. 3–9.
HCI-AS-2013-FekryHA #named: Anti-Bump: A Bump/Pothole Monitoring and Broadcasting System for Driver Awareness (MF, AH, AA), pp. 561–570.
HCI-AS-2013-KosnikH #data transformation #design #framework #health #interface: Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring (DEK, LJH), pp. 107–116.
HCI-UC-2013-HimmelZA: From Living Space to Urban Quarter: Acceptance of ICT Monitoring Solutions in an Ageing Society (SH, MZ, KA), pp. 49–58.
HIMI-HSM-2013-Noda #analysis #industrial #performance #statistics: Performance Monitoring of Industrial Plant Alarm Systems by Statistical Analysis of Plant Operation Data (MN), pp. 131–135.
HIMI-LCCB-2013-ItoW #communication #named: ARM-COMS: ARm-Supported eMbodied COmmunication Monitor System (TI, TW), pp. 307–316.
VISSOFT-2013-BeckHDW #embedded #source code #visual notation: Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.
VISSOFT-2013-WallerWFDH #3d #concurrent #named #visualisation: Synchrovis: 3D visualization of monitoring traces in the city metaphor for analyzing concurrency (JW, CW, FF, PD, WH), pp. 1–4.
EDOC-2013-BerryM #data type #health #legacy #quality #realtime: Real-Time Analytics for Legacy Data Streams in Health: Monitoring Health Data Quality (AB, ZM), pp. 91–100.
EDOC-2013-GallegeGHR #contract #trust #using: Trustworthy Service Selection Using Long-Term Monitoring of Trust Contracts (LSG, DG, JHH, RRR), pp. 195–200.
EDOC-2013-InzingerHLLTZD #evolution #lifecycle #modelling: Decisions, Models, and Monitoring — A Lifecycle Model for the Evolution of Service-Based Systems (CI, WH, IL, PL, HT, UZ, SD), pp. 185–194.
EDOC-2013-LyMMRA #comparison #evaluation #framework: A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches (LTL, FMM, MM, SRM, WMPvdA), pp. 7–16.
ICEIS-J-2013-BevacquaCFGP13a #data-driven #framework #predict #process: A Data-Driven Prediction Framework for Analyzing and Monitoring Business Process Performances (AB, MC, FF, MG, LP), pp. 100–117.
ICEIS-v2-2013-GratiBB #metamodelling #requirements: A Meta Model for Monitoring Requirements in Cloud Environnment (RG, KB, HBA), pp. 223–231.
KDD-2013-TangLSPG #automation #framework #optimisation #scalability: An integrated framework for optimizing automatic monitoring systems in large IT infrastructures (LT, TL, LS, FP, GG), pp. 1249–1257.
SEKE-2013-CarmoCML #adaptation #runtime #self: Runtime Monitoring and Auditing of Self-Adaptive Systems (DHC, STC, LGPM, OL), pp. 731–736.
ECMFA-2013-PatzinaPPM #generative #modelling #runtime: Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
PLDI-2013-HungG #named: AutoSynch: an automatic-signal monitor based on predicate tagging (WLH, VKG), pp. 253–262.
REFSQ-2013-KlambauerHG #multi #product line #requirements: Monitoring System-of-Systems Requirements in Multi Product Lines (TK, GH, PG), pp. 379–385.
ASE-2013-ZhangPXJWZ #on-demand #towards: Towards contextual and on-demand code clone management by continuous monitoring (GZ, XP, ZX, SJ, HW, WZ), pp. 497–507.
ESEC-FSE-2013-BertolinoMM #composition: Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.
ICSE-2013-LiuYCY #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.
SAC-2013-BanerjeeSS #detection #using: Participatory sensing based traffic condition monitoring using horn detection (RB, AS, AS), pp. 567–569.
SAC-2013-BartoliniBACM: Apprehensive QoS monitoring of Service choreographies (CB, AB, GDA, AC, RM), pp. 1893–1899.
SAC-2013-CruzCMZ: Monitoring SOA-based applications with business provenance (SMSdC, RMC, LMBM, JZ), pp. 1927–1932.
SAC-2013-MagalhaesS #adaptation #performance: Adaptive monitoring of web-based applications: a performance study (JPM, LMS), pp. 471–478.
CASE-2013-GohWYFPLL #named #realtime #risk management #visualisation: RiskVis: Supply chain visualization with risk management and real-time monitoring (RSMG, ZW, XY, XF, LP, SL, XL), pp. 207–212.
CASE-2013-GuoUZ #energy #feedback: Evaluating feedback systems for residential building energy monitoring (WWG, TU, MZ), pp. 112–116.
CASE-2013-KurzDP #reliability: Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
CASE-2013-WangBR #modelling #using: Model based unbalance monitoring using augmented observer in rotor systems under the consideration of gyroscopic effect (ZW, MB, SR), pp. 59–64.
CASE-2013-WongdhammaLB #multi #smarttech: Wireless wearable multi-sensory system for monitoring of sleep apnea and other cardiorespiratory disorders (WW, TQL, STSB), pp. 605–610.
CASE-2013-ZhangPJST #energy #interface #scalability #using: A secure and scalable telemonitoring system using ultra-low-energy wireless sensor interface for long-term monitoring in life science applications (WZ, PP, EJ, RS, KT), pp. 617–622.
DAC-2013-ChandrikakuttyUTW #hardware #network: High-performance hardware monitors to protect network processors from data plane attacks (HC, DU, RT, TW), p. 6.
DATE-2013-LaiCAG #named #online: SlackProbe: a low overhead in situ on-line timing slack monitoring methodology (LL, VC, RCA, PG), pp. 282–287.
DATE-2013-PerelliCMBMB #design #health #power management: Design of an ultra-low power device for aircraft structural health monitoring (AP, CC, LDM, DB, AM, LB), pp. 1127–1130.
DATE-2013-PorcarelliBBP #industrial #low cost: Perpetual and low-cost power meter for monitoring residential and industrial appliances (DP, DB, DB, GP), pp. 1155–1160.
PDP-2013-SmykT #algorithm #execution #framework #search-based: Genetic Algorithms Hierarchical Execution Control under a Global Application State Monitoring Infrastructure (AS, MT), pp. 16–23.
CAV-2013-DonzeFM #performance #robust: Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.
ISSTA-2013-PurandareDE #finite #optimisation: Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.
CBSE-2012-MaurelBKA #adaptation: Adaptive monitoring of end-user OSGi-based home boxes (YM, AB, RK, KA), pp. 157–166.
WICSA-ECSA-2012-RathfelderBKR #email #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.
SIGMOD-2012-BogSP #interactive #performance: Interactive performance monitoring of a composite OLTP and OLAP workload (AB, KS, HP), pp. 645–648.
SIGMOD-2012-GiatrakosDGSS #data type #distributed #geometry #predict: Prediction-based geometric monitoring over distributed data streams (NG, AD, MNG, IS, AS), pp. 265–276.
SIGMOD-2012-IoriSPWH #clustering #named: CloudAlloc: a monitoring and reservation system for compute clusters (EI, AS, TP, KW, SH), pp. 721–724.
CSMR-2012-HamannVGK #runtime: Abstract Runtime Monitoring with USE (LH, LV, MG, MK), pp. 549–552.
CSMR-2012-NonnenI #identification: Identifying Knowledge Divergence by Vocabulary Monitoring in Software Projects (JN, PI), pp. 441–446.
FM-2012-BarringerFHRR #automaton #performance #quantifier #runtime #towards: Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
FM-2012-BauerF #distributed #ltl: Decentralised LTL Monitoring (AKB, YF), pp. 85–100.
SEFM-2012-ColomboFMP #bound #configuration management #named #resource management #runtime #verification: polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (CC, AF, RM, GJP), pp. 218–232.
CHI-2012-HaqueKAALDRHS #mobile: Findings of e-ESAS: a mobile based symptom monitoring system for breast cancer patients in rural Bangladesh (MMH, FAK, MA, SIA, RL, RD, DR, SH, RS), pp. 899–908.
CHI-2012-NowakN #behaviour #online #recommendation: Effects of behavior monitoring and perceived system benefit in online recommender systems (MN, CN), pp. 2243–2246.
CHI-2012-PierceP #energy #interactive: Beyond energy monitors: interaction, energy, and emerging energy systems (JP, EP), pp. 665–674.
CHI-2012-SzafirM #adaptation #design #exclamation: Pay attention!: designing adaptive agents that monitor and improve user engagement (DS, BM), pp. 11–20.
CHI-2012-ToscosCR #health: Best intentions: health monitoring technology and children (TT, KC, YR), pp. 1431–1440.
CAiSE-2012-ComuzziAV #process: Patterns to Enable Mass-Customized Business Process Monitoring (MC, SA, JV), pp. 445–459.
EDOC-2012-HolmesZD #automation #modelling #runtime #version control: Automating the Management and Versioning of Service Models at Runtime to Support Service Monitoring (TH, UZ, SD), pp. 211–218.
CIKM-2012-FanX #difference #privacy #realtime: Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.
ECIR-2012-AlhadiGKN #microblog #named #predict: LiveTweet: Monitoring and Predicting Interesting Microblog Posts (ACA, TG, JK, NN), pp. 569–570.
ECIR-2012-MaxwellRAJO #named #realtime #social #social media: Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management (DM, SR, LA, CWJ, SO), pp. 573–575.
ICML-2012-BartokZS #adaptation #algorithm #finite #probability: An adaptive algorithm for finite stochastic partial monitoring (GB, NZ, CS), p. 231.
ICPR-2012-BoresB #process: Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.
ICPR-2012-FengLSPZG #robust #statistics: Artifact correction with robust statistics for non-stationary intracranial pressure signal monitoring (MF, LYL, KS, CP, FZ, CG), pp. 557–560.
ICPR-2012-MartinezS #using: Breath rate monitoring during sleep using near-ir imagery and PCA (MM, RS), pp. 3472–3475.
ICPR-2012-MatsuoK #behaviour #predict: Prediction of drowsy driving by monitoring driver’s behavior (HM, AK), pp. 3390–3393.
KDD-2012-MaoCCLKB #approach #data mining #mining #realtime: An integrated data mining approach to real-time clinical monitoring and deterioration warning (YM, WC, YC, CL, MK, TCB), pp. 1140–1148.
KDD-2012-ShaferRBAGF #approach #mining #named: RainMon: an integrated approach to mining bursty timeseries monitoring data (IS, KR, VNB, YA, GRG, CF), pp. 1158–1166.
SEKE-2012-Collazo-MojicaSEB #constraints #scalability: Cloud Application Resource Mapping and Scaling Based on Monitoring of QoS Constraints (XJCM, SMS, JE, RMB), pp. 88–93.
SEKE-2012-FreireCAK #process #statistics #using #workflow: Software Process Monitoring Using Statistical Process Control Integrated in Workflow Systems (MAF, DAdC, EA, UK), pp. 557–562.
SEKE-2012-PittoliSN #network #using: Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects (FP, ALRdS, DJN), pp. 570–573.
ECMFA-2012-HamannHG #ocl #protocol #runtime #state machine: OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.
RE-2012-FuPYMZ #requirements #self: Stateful requirements monitoring for self-repairing socio-technical systems (LF, XP, YY, JM, WZ), pp. 121–130.
REFSQ-2012-OriolQFPM #adaptation #requirements: Requirements Monitoring for Adaptive Service-Based Applications (MO, NAQ, XF, AP, JM), pp. 280–287.
ASE-2012-NoureddineBRS #energy #runtime: Runtime monitoring of software energy hotspots (AN, AB, RR, LS), pp. 160–169.
ICSE-2012-GhezziMS #component #runtime: Runtime monitoring of component changes with Spy@Runtime (CG, AM, MS), pp. 1403–1406.
ICSE-2012-JinMLR #framework #named #parametricity #performance #runtime: JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSE-2012-PaganoJBRBM #maintenance #named: FastFix: Monitoring control for remote software maintenance (DP, MAJ, AB, TR, BB, WM), pp. 1437–1438.
SAC-2012-DeriTMV #towards: Towards a passive DNS monitoring system (LD, LLT, MM, DV), pp. 629–630.
SAC-2012-HornfeckZL #health #interactive #named: Philos: a sociable robot for human robot interactions and wireless health monitoring (KH, YZ, KL), pp. 293–294.
SAC-2012-SouzaMGTM #requirements: Monitoring strategic goals in data warehouses with awareness requirements (VESS, JNM, IG, JT, JM), pp. 1075–1082.
CASE-2012-HungLHYC #development #industrial: Development of a cloud-computing-based equipment monitoring system for machine tool industry (MHH, YCL, TQH, HCY, FTC), pp. 962–967.
CASE-2012-KimCLK #fault #framework #process: Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
DAC-2012-LionelPSE #statistics #testing: Embedding statistical tests for on-chip dynamic voltage and temperature monitoring (LV, PM, SL, EB), pp. 994–999.
DAC-2012-LoS #analysis #execution #parallel #runtime #worst-case: Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DAC-2012-ZhouLCKQY #framework: An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring (HZ, XL, CYC, EK, HQ, SCY), pp. 642–647.
DATE-2012-DoganCRBA #architecture #design #health #manycore #power management #smarttech: Multi-core architecture design for ultra-low-power wearable health monitoring systems (AYD, JC, MR, AB, DA), pp. 988–993.
DATE-2012-FritzBAH #approach #evaluation #performance: Evaluation of a new RFID system performance monitoring approach (GF, VB, OEKA, DH), pp. 1439–1442.
DATE-2012-ShoaibMGM: A closed-loop system for artifact mitigation in ambulatory electrocardiogram monitoring (MS, GM, HG, SM), pp. 431–436.
DATE-2012-Voyiatzis #concurrent #logic #multi: Input vector monitoring on line concurrent BIST based on multilevel decoding logic (IV), pp. 1251–1256.
DATE-2012-WanK #embedded: Monitoring active filters under automotive aging scenarios with embedded instrument (JW, HGK), pp. 1096–1101.
OSDI-2012-RavindranathPAMOS #mobile #named #performance: AppInsight: Mobile App Performance Monitoring in the Wild (LR, JP, SA, RM, IO, SS), pp. 107–120.
PDP-2012-CampbellL #prototype: Prototyping a 100G Monitoring System (SC, JL), pp. 293–297.
PDP-2012-KerteszKMOFM #approach: Integrated Monitoring Approach for Seamless Service Provisioning in Federated Clouds (AK, GK, CAM, MO, XF, JM), pp. 567–574.
PDP-2012-LahyaniKJ #analysis #approach: QoS Monitoring and Analysis Approach for Publish/Subscribe Systems Deployed on MANET (IL, NK, MJ), pp. 120–124.
PDP-2012-TesserN #distributed #named #online: DIMVHCM: An On-line Distributed Monitoring Data Collection Model (RKT, POAN), pp. 37–41.
ESOP-2012-DimoulasTF #behaviour #contract: Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.
FASE-2012-MaggiMA #constraints #framework: An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.
STOC-2012-WoodruffZ #bound #distributed #functional: Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.
TACAS-2012-HamlenJS #aspect-oriented #certification #runtime: Aspect-Oriented Runtime Monitor Certification (KWH, MJ, MS), pp. 126–140.
ICST-2012-CalvarTH #framework #runtime: A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICST-2012-WehbiOB #security #using: Events-Based Security Monitoring Using MMT Tool (BW, EMdO, MB), pp. 860–863.
ICTSS-2012-SantosA #automation #detection #fault #lightweight: Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.
ISSTA-2012-Walcott-JusticeMS #hardware #named #testing: THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.
ECSA-2011-BruckmannGP #architecture #enterprise #realtime #towards #using: Towards Real-Time Monitoring and Controlling of Enterprise Architectures Using Business Software Control Centers (TB, VG, MP), pp. 287–294.
ECSA-2011-EhlersH #adaptation #component #framework #self: A Self-adaptive Monitoring Framework for Component-Based Software Systems (JE, WH), pp. 278–286.
QoSA-ISARCS-2011-KhanZ #component #embedded #security: Building components with embedded security monitors (MUAK, MZ), pp. 133–142.
SIGMOD-2011-CurinoJMB #database: Workload-aware database monitoring and consolidation (CC, EPCJ, SM, HB), pp. 313–324.
SIGMOD-2011-FlaounasATSNBC #analysis #named: NOAM: news outlets analysis and monitoring system (INF, OA, MT, TS, FN, TDB, NC), pp. 1275–1278.
SIGMOD-2011-OlstonR #debugging #distributed #framework: Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.
VLDB-2011-CaoSDS #distributed #query: Distributed inference and query processing for RFID tracking and monitoring (ZC, CAS, YD, PJS), pp. 326–337.
VLDB-2011-OlstonR #debugging #distributed #framework: Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.
ICPC-2011-HuangW #detection #process: Anomaly Detection by Monitoring Filesystem Activities (LH, KW), pp. 221–222.
WCRE-2011-ZhuWPXZ #composition #evolution #quality #roadmap: Monitoring Software Quality Evolution by Analyzing Deviation Trends of Modularity Views (TZ, YW, XP, ZX, WZ), pp. 229–238.
CHI-2011-DenefKO #independence: Rigid structures, independent units, monitoring: organizing patterns in frontline firefighting (SD, DVK, RO), pp. 1949–1958.
CSCW-2011-ShaoWY #enterprise #multi: A production monitoring and data processing system for the textile enterprise based on multi-Agent (JS, JW, LY), pp. 713–716.
CSCW-2011-WinterboerMPGE #collaboration #named: DIADEM: a system for collaborative environmental monitoring (AW, MAM, GP, FCAG, VE), pp. 589–590.
DHM-2011-PaulickDB #embedded #named: StabilitySole: Embedded Sensor Insole for Balance and Gait Monitoring (PP, HD, MB), pp. 171–177.
DUXU-v2-2011-Nakata #analysis #clustering #usability: Clustering Analysis to Evaluate Usability of Work-Flow Systems and to Monitor Proficiency of Workers (TN), pp. 487–496.
HCD-2011-LeeKLSL #clustering #design #effectiveness: Designing of an Effective Monitor Partitioning System with Adjustable Virtual Bezel (SSL, HK, YKL, MS, KPL), pp. 537–546.
HCI-UA-2011-JohnsonLTS #approach #comprehension #towards: Toward an Understanding of a Computerized Monitoring System Failure: An Interpretive Approach (NJ, YL, FT, SS), pp. 336–345.
HIMI-v2-2011-StegmanLS #comparison #performance: A Comparison between Single and Dual Monitor Productivity and the Effects of Window Management Styles on Performance (AS, CL, RLS), pp. 84–93.
CAiSE-2011-ComuzziV #collaboration #design #process #workflow: Product-Based Workflow Design for Monitoring of Collaborative Business Processes (MC, ITPV), pp. 154–168.
ICEIS-J-2011-NganBL11a #framework #learning #multi #query: An Event-Based Service Framework for Learning, Querying and Monitoring Multivariate Time Series (CKN, AB, JL), pp. 208–223.
ICEIS-v1-2011-AbramoviciJ #industrial: A New Method for Monitoring Industrial Product-service Systems based on BSC and AHP (MA, FJ), pp. 190–196.
ICEIS-v2-2011-NetoCMMG #energy #quality #towards: Towards an Intelligent System for Monitoring Electrical Energy Quality — Foundations and Motivations (LBN, PHGC, JCCBSdM, LAM, EGG), pp. 40–45.
ICEIS-v2-2011-NganBL #framework #learning #multi #query: A Service Framework for Learning, Querying and Monitoring Multivariate Time Series (CKN, AB, JL), pp. 92–101.
ICEIS-v3-2011-HuangHGL #authentication #health: Scheme of Authentication of Health Monitoring System based on Credit Card Mechanism (QH, QH, CG, SL), pp. 350–354.
CIKM-2011-ChenWDZ #correlation: Continuously monitoring the correlations of massive discrete streams (YC, WW, XD, XZ), pp. 1571–1576.
KEOD-2011-TutcherRE #development #maintenance #multi #semantics: Integrating Railway Maintenance Data — Development of a Semantic Data Model to Support Condition Monitoring Data from Multiple Sources (JT, CR, JME), pp. 442–444.
RecSys-2011-WuRR #recommendation #social #social media: Recommendations in social media for brand monitoring (SW, WR, LR), pp. 345–348.
SEKE-2011-FreireAKAC #approach #automation #deployment #modelling #process: Automatic Deployment and Monitoring of Software Processes: A Model-Driven Approach (MAF, FAA, UK, EA, RC), pp. 42–47.
SEKE-2011-FuginiRIRC #risk management #simulation: Simulations of Risks for Monitoring and Prevention (MGF, FR, RI, CR, OC), pp. 602–607.
SIGIR-2011-CaverleeCEHKM #named #realtime #web: CrowdTracker: enabling community-based real-time web monitoring (JC, ZC, BE, CFH, KYK, JM), pp. 1283–1284.
MoDELS-2011-RamirezC #automation #requirements: Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
PLDI-2011-JinMGR #garbage collection #parametricity: Garbage collection for monitoring parametric properties (DJ, POM, DG, GR), pp. 415–424.
PLDI-2011-ZengWL #concurrent #data type #named #using: Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures (QZ, DW, PL), pp. 367–377.
ASE-2011-ZhangMPL #predict #runtime: Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
ESEC-FSE-2011-AliSSONM #social: Social sensing: when users become monitors (RA, CS, MS, IO, BN, WM), pp. 476–479.
ESEC-FSE-2011-Bodden #approach #runtime: Stateful breakpoints: a practical approach to defining parameterized runtime monitors (EB), pp. 492–495.
SAC-2011-FosterS #composition: Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.
SAC-2011-ShinLSL #concurrent #multi #predict #scheduling #thread: Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.
SAC-2011-ZhuYXLYGQLCG #named #platform #security: VASP: virtualization assisted security monitor for cross-platform protection (MZ, MY, MX, BL, PY, SG, ZQ, LL, YC, HG), pp. 554–559.
GPCE-2011-EsmaeilsabzaliFA #aspect-oriented #automation #modelling: Monitoring aspects for the customization of automatically generated code for big-step models (SE, BF, JMA), pp. 117–126.
CASE-2011-AramiSAHABMTDLRDFJAR: Instrumented prosthesis for knee implants monitoring (AA, MS, OA, WH, SA, AB, EM, ST, HD, VL, PR, CD, PAF, BMJ, KA, PR), pp. 828–835.
CASE-2011-CordoneP #optimisation #petri net: Monitor optimization in Petri net control (RC, LP), pp. 413–418.
CASE-2011-LeonardoKKDS #simulation: Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.
DAC-2011-ShoaibJV #algorithm #data-driven #energy #framework #platform: A low-energy computation platform for data-driven biomedical monitoring algorithms (MS, NKJ, NV), pp. 591–596.
DATE-2011-BonannoBS #analysis #energy #modelling #optimisation #tool support: Energy analysis methods and tools for modelling and Optimizing monitoring tyre systems (AB, AB, MS), pp. 1121–1122.
DATE-2011-KanounMKA #realtime: A real-time compressed sensing-based personal electrocardiogram monitoring system (KK, HM, NK, DA), pp. 824–829.
DATE-2011-OnizawaMH #communication: Interconnect-fault-resilient delay-insensitive asynchronous communication link based on current-flow monitoring (NO, AM, TH), pp. 776–781.
LCTES-2011-ThomasFK #execution: Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.
TACAS-2011-BurnimSS #consistency #memory management #modelling: Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.
ICTSS-2011-FrehseLMN #aspect-oriented #testing: Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
ECSA-2010-JohnWP #architecture #configuration management #constraints: Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures (JJ, MW, CP), pp. 311–318.
EDM-2010-MacfadyenS #design #interactive #online #using: Using LiMS (the Learner Interaction Monitoring System) to Track Online Learner Engagement and Evaluate Course Design (LM, PS), pp. 301–302.
SIGITE-2010-TongenS: Improving the general monitoring system (CMT, MS), pp. 21–24.
ICSM-2010-HadererKA #framework #named #quality: SQUANER: A framework for monitoring the quality of software systems (NH, FK, GA), pp. 1–4.
CAiSE-2010-HolmesZDD #internet: Monitoring and Analyzing Service-Based Internet Systems through a Model-Aware Service Environment (TH, UZ, FD, SD), pp. 98–112.
EDOC-2010-Halle #contract #interface #ltl #runtime: Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.
ICEIS-DISI-2010-LiQW #cyber-physical: A Cyber-physical System for Elders Monitoring (XL, YQ, HW), pp. 294–299.
ICEIS-J-2010-SilvaGFTG10a #paradigm: Improving QoS Monitoring Based on the Aspect-Orientated Paradigm (MFdS, IMdSG, MF, MBFdT, AFG), pp. 421–435.
ICEIS-SAIC-2010-SilvaGFTG #approach #named: Aspect-Monitor — An Aspect-based Approach to WS-contract Monitoring (MFdS, IMdSG, MF, MBFdT, AFG), pp. 5–12.
ICPR-2010-KaramanBMDDG #process #smarttech: Human Daily Activities Indexing in Videos from Wearable Cameras for Monitoring of Patients with Dementia Diseases (SK, JBP, RM, VD, JFD, YG), pp. 4113–4116.
ICPR-2010-LiP10a #analysis #classification #realtime: Human State Classification and Predication for Critical Care Monitoring by Real-Time Bio-signal Analysis (XL, FP), pp. 2460–2463.
ICPR-2010-MalakutiA #towards: Towards an Intelligent Bed Sensor: Non-intrusive Monitoring of Sleep Irregularities with Computer Vision Techniques (KM, ABA), pp. 4004–4007.
ICPR-2010-Serra-ToroMTHNC #behaviour #quality #video: Assessing Water Quality by Video Monitoring Fish Swimming Behavior (CST, RM, VJT, IMHM, MNR, PC), pp. 428–431.
SEKE-2010-BifflSM #data flow #development #open source: A Project Monitoring Cockpit Based On Integrating Data Sources in Open Source Software Development (SB, WDS, TM), pp. 620–627.
OOPSLA-2010-PurandareDE #optimisation: Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
PADL-2010-SridharH #prolog: ActionScript In-Lined Reference Monitoring in Prolog (MS, KWH), pp. 149–151.
SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore: Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.
ASE-2010-SimmondsC #named: RuMoR: monitoring and recovery for BPEL applications (JS, MC), pp. 345–346.
ICSE-2010-ChenM #approach #evolution #requirements #safety #towards: Towards better support for the evolution of safety requirements via the model monitoring approach (ZC, GM), pp. 219–222.
ICSE-2010-LewisW #fault #runtime #using: Runtime repair of software faults using event-driven monitoring (CL, JW), pp. 275–280.
SAC-2010-BallanceC #performance #source code: Monitoring MPI programs for performance characterization and management control (RAB, JC), pp. 2305–2310.
SAC-2010-ComuzziS: Dynamic set-up of monitoring infrastructures for service based systems (MC, GS), pp. 2414–2421.
SAC-2010-HedgecockVLKAST #mobile #network: Mobile air pollution monitoring network (WH, PV, ÁL, XDK, AA, ASS, AT), pp. 795–796.
SAC-2010-SarrNG #adaptation #distributed #named #transaction #web: TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.
SAC-2010-WetzsteinKKLZ #process: Cross-organizational process monitoring based on service choreographies (BW, DK, OK, FL, DZ), pp. 2485–2490.
ASPLOS-2010-GoodsteinVCGKM #adaptation #analysis #data flow #parallel: Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring (MLG, EV, SC, PBG, MAK, TCM), pp. 257–270.
ASPLOS-2010-VlachosGKCFGM #named #online #parallel #thread: ParaLog: enabling and accelerating online parallel monitoring of multithreaded applications (EV, MLG, MAK, SC, BF, PBG, TCM), pp. 271–284.
CASE-2010-CoppBHTVR #automation #network #quality #towards: Towards the automation of water quality monitoring networks (JBC, EB, CH, MT, PAV, LR), pp. 491–496.
CASE-2010-JiangKM #predict: Residual life prediction for systems subject to condition monitoring (RJ, MJK, VM), pp. 106–111.
CASE-2010-YangCHA #communication #estimation: Longitude force estimation for bandwidth conservative communication and vehicular monitoring (JY, TNC, ESHH, NA), pp. 668–673.
DAC-2010-NowrozCR: Thermal monitoring of real processors: techniques for sensor allocation and full characterization (ANN, RC, SR), pp. 56–61.
DAC-2010-YinL #low cost: Exploiting reconfigurability for low-cost in-situ test and monitoring of digital PLLs (LY, PL), pp. 929–934.
DATE-2010-AhlendorfG #challenge #design #hardware #power management: Hardware / software design challenges of low-power sensor nodes for condition monitoring (HA, LG), p. 659.
DATE-2010-ChenABF #using: Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter (WC, IA, SBO, LMGF), pp. 1530–1535.
DATE-2010-LongM #bias #network #optimisation: Optimization of the bias current network for accurate on-chip thermal monitoring (JL, SOM), pp. 1365–1368.
DATE-2010-RavinagarajanDR #health #scheduling: DVFS based task scheduling in a harvesting WSN for Structural Health Monitoring (AR, DD, TSR), pp. 1518–1523.
HPDC-2010-NaimCIAS #quality: Monitoring data quality in Kepler (AN, DC, MI, IA, SS), pp. 560–564.
LCTES-2010-FischmeisterB #execution: Sampling-based program execution monitoring (SF, YB), pp. 133–142.
OSDI-2010-EnckGCCJMS #data flow #named #privacy #realtime #smarttech: TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones (WE, PG, BGC, LPC, JJ, PM, AS), pp. 393–407.
CAV-2010-BasinKM #first-order #logic #policy: Policy Monitoring in First-Order Temporal Logic (DAB, FK, SM), pp. 1–18.
VMCAI-2010-SridharH #model checking: Model-Checking In-Lined Reference Monitors (MS, KWH), pp. 312–327.
SIGMOD-2009-ChenSZY #nearest neighbour #network: Monitoring path nearest neighbor in road networks (ZC, HTS, XZ, JXY), pp. 591–602.
VLDB-2009-CheemaLZWZ #lazy evaluation #performance: Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNN (MAC, XL, YZ, WW, WZ), pp. 1138–1149.
VLDB-2009-LiuDDLZ #named #network #realtime #scalability: MOIR/MT: Monitoring Large-Scale Road Network Traffic in Real-Time (KL, KD, ZD, ML, XZ), pp. 1538–1541.
VLDB-2009-XingSP #nearest neighbour: Continuous Monitoring of Nearest Neighbors on Land Surface (SX, CS, BP), pp. 1114–1125.
ICALP-v1-2009-ArackaparambilBC #functional: Functional Monitoring without Monotonicity (CA, JB, AC), pp. 95–106.
SEFM-2009-ColomboPS #java #realtime #source code: LARVA --- Safer Monitoring of Real-Time Java Programs (CC, GJP, GS), pp. 33–37.
HCI-AUII-2009-LeeJLJCY #smarttech #using: Wearable ECG Monitoring System Using Conductive Fabrics and Active Electrodes (SHL, SMJ, CKL, KSJ, GC, SKY), pp. 778–783.
HCI-NT-2009-GaoBA #assessment: Monitoring and Processing of the Pupil Diameter Signal for Affective Assessment of a Computer User (YG, AB, MA), pp. 49–58.
HCI-NT-2009-HercegfiPTI #evaluation #usability: Usability Evaluation by Monitoring Physiological and Other Data Simultaneously with a Time-Resolution of Only a Few Seconds (KH, MP, ST, LI), pp. 59–68.
HCI-NT-2009-ShastriPW: A Method to Monitor Operator Overloading (DS, IP, AW), pp. 169–175.
HIMI-II-2009-BehalGKCLCQ #named #visualisation: COBRA — A Visualization Solution to Monitor and Analyze Consumer Generated Medias (AB, JG, LK, YC, SL, WC, WQ), pp. 229–238.
HIMI-II-2009-KushiroKNI #behaviour #health: Non-intrusive Human Behavior Monitoring Sensor for Health Care System (NK, MK, MN, YI), pp. 549–558.
EDOC-2009-WetzsteinLRBDL #performance #process: Monitoring and Analyzing Influential Factors of Business Process Performance (BW, PL, FR, IB, SD, FL), pp. 141–150.
ICEIS-AIDSS-2009-CardosoO #contract: Monitoring Cooperative Business Contracts in an Institutional Environment (HLC, ECO), pp. 206–211.
ICEIS-J-2009-CarrascoHRSE #embedded #interface #safety #using: Remote Controlling and Monitoring of Safety Devices Using Web-Interface Embedded Systems (AC, MDH, MCR, FS, JIE), pp. 737–744.
ICEIS-J-2009-LampertiZ #nondeterminism: Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.
ICEIS-J-2009-MulazzaniRS #process: Developing Business Process Monitoring Probes to Enhance Organization Control (FM, BR, GS), pp. 456–466.
ICEIS-SAIC-2009-BodenstaffWWJR #composition #design #validation: Monitoring Service Compositions in MoDe4SLA — Design of Validation (LB, AW, RW, MCJ, MR), pp. 114–121.
CIKM-2009-Azzopardi #effectiveness #information retrieval #metric #performance: Usage based effectiveness measures: monitoring application performance in information retrieval (LA), pp. 631–640.
CIKM-2009-GaoXCA #problem #web: The gardener’s problem for web information monitoring (BJG, MX, WC, DCA), pp. 1525–1528.
CIKM-2009-HuC #online: RSS watchdog: an instant event monitor on real online news streams (CLH, CKC), pp. 2097–2098.
CIKM-2009-YangLJ #scalability: Scalable continuous range monitoring of moving objects in symbolic indoor space (BY, HL, CSJ), pp. 671–680.
KDD-2009-BuCFL #performance: Efficient anomaly monitoring over moving object trajectory streams (YB, LC, AWCF, DL), pp. 159–168.
KDD-2009-LiuKJ #graph #learning: Learning dynamic temporal graphs for oil-production equipment monitoring system (YL, JRK, OJ), pp. 1225–1234.
SEKE-2009-KulkarniCZ #framework #named #online #policy: iPass: An Integrated Framework for Educating, Monitoring and Enforcing Password Policies for Online Services (DK, DC, FZ), pp. 548–551.
SEKE-2009-NusayrC #aspect-oriented #runtime: Extending AOP to Support Broad Runtime Monitoring Needs (AN, JC), pp. 438–441.
SIGIR-2009-SavalM #information management #named: Agate: information gathering for risk monitoring (AS, YM), p. 842.
ECOOP-2009-DamJLP #java #parallel #security #thread: Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.
OOPSLA-2009-InoueN #hardware #how #java #performance #virtual machine: How a Java VM can get more from a hardware performance monitor (HI, TN), pp. 137–154.
TOOLS-EUROPE-2009-KloseO #aspect-oriented #classification #framework #runtime: A Classification Framework for Pointcut Languages in Runtime Monitoring (KK, KO), pp. 289–307.
ASE-2009-AcharyaK #health #mining #modelling #performance: Mining Health Models for Performance Monitoring of Services (MA, VK), pp. 409–420.
ASE-2009-ChenMJR #independence #parametricity #performance: Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.
ESEC-FSE-2009-GrunskeZ #probability: Monitoring probabilistic properties (LG, PZ), pp. 183–192.
ICSE-2009-GousiosS #framework #platform #quality: Alitheia Core: An extensible software quality monitoring platform (GG, DS), pp. 579–582.
SAC-2009-FalconeFM #classification: Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
SAC-2009-HalleV #runtime #streaming #using #web #web service #xml: Runtime monitoring of web service choreographies using streaming XML (SH, RV), pp. 2118–2125.
SAC-2009-HammadC #lightweight: Lightweight monitoring of sensor software (MH, JC), pp. 2180–2185.
SAC-2009-OyamaKI #haskell #named #virtual machine: Kenro: a virtual machine monitor mostly described in Haskell (YO, YK, HI), pp. 1940–1941.
SAC-2009-SkordylisT #delivery #optimisation: Jointly optimizing data acquisition and delivery in traffic monitoring VANETs (AS, NT), pp. 2186–2190.
SAC-2009-UddinZ #algorithm #automation #named #trust: ATM: an automatic trust monitoring algorithm for service software (MGU, MZ), pp. 1040–1044.
CASE-2009-BukkapatnamMKSK #realtime #using: Real-time monitoring of container stability loss using wireless vibration sensor tags (STSB, SM, JK, VS, RK), pp. 221–226.
CGO-2009-CuthbertsonVBAS #approach #hardware #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.
DATE-2009-FiorinPS #runtime: MPSoCs run-time monitoring through Networks-on-Chip (LF, GP, CS), pp. 558–561.
DATE-2009-MadduriVBT #manycore: A monitor interconnect and support subsystem for multicore processors (SM, RV, WB, RT), pp. 761–766.
LCTES-2009-McKechnieBV #debugging #transaction: Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring (PEM, MB, WV), pp. 129–136.
PDP-2009-BaiardiMST #named #process: PsycoTrace: Virtual and Transparent Monitoring of a Process Self (FB, DM, DS, FT), pp. 393–397.
PDP-2009-SantosAPDRS #performance #scheduling #using #web #web service: Using Web Services for Performance Monitoring and Scheduling (AS, FA, VBP, DD, JR, ES), pp. 361–368.
TACAS-2009-ChenR #parametricity #slicing: Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.
VMCAI-2009-GondiPS #probability: Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.
WICSA-2008-SousaSPB #design #named: uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces (JPS, BRS, VP, AB), pp. 71–80.
PODS-2008-SharfmanSK #geometry: Shape sensitive geometric monitoring (IS, AS, DK), pp. 301–310.
SIGMOD-2008-ChowMH #named #network #privacy: Tinycasper: a privacy-preserving aggregate location monitoring system in wireless sensor networks (CYC, MFM, TH), pp. 1307–1310.
SIGMOD-2008-HwangCCZ #named: Borealis-R: a replication-transparent stream processing system for wide-area monitoring applications (JHH, SC, UÇ, SBZ), pp. 1303–1306.
SIGMOD-2008-JohnsonMSS #clustering #data type #network: Query-aware partitioning for monitoring massive network data streams (TJ, SMM, VS, OS), pp. 1135–1146.
VLDB-2008-CheungM #framework #performance #profiling: Performance profiling with EndoScope, an acquisitional software monitoring framework (AC, SM), pp. 42–53.
VLDB-2008-Miao #named: GS-TMS: a global stream-based threat monitor system (JM), pp. 1644–1651.
VLDB-2008-MiloD #distributed #process #query: Querying and monitoring distributed business processes (TM, DD), pp. 1512–1515.
FM-2008-AktugDG #runtime: Provably Correct Runtime Monitoring (IA, MD, DG), pp. 262–277.
EDOC-2008-HalleV #message passing #runtime #workflow: Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.
ICEIS-ISAS2-2008-PegoraroHDGR #framework #runtime #web #web service: A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications (RP, RBH, KD, KG, JMR), pp. 201–206.
ICPR-2008-AzoughDMH #behaviour #modelling #personalisation: Intuitive event modeling for personalized behavior monitoring (AA, AD, FDM, MSH), pp. 1–4.
ICPR-2008-El-BazGFE #3d #analysis #approach #automation #detection #image: A new approach for automatic analysis of 3D low dose CT images for accurate monitoring the detected lung nodules (AEB, GLG, RF, MAEG), pp. 1–4.
ICPR-2008-HulkkonenH #detection: A minimum description length principle based method for signal change detection in machine condition monitoring (JJH, JVH), pp. 1–4.
RecSys-2008-Domingues #adaptation #analysis #framework #independence #platform #web: An independent platform for the monitoring, analysis and adaptation of web sites (MAD), pp. 299–302.
SEKE-2008-MahoneyE #using: Using Scenario Monitoring to Address State Based Crosscutting Concerns (MM, TE), pp. 581–586.
SAS-2008-LammichM #analysis #concurrent #source code #thread: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.
SIGAda-2008-Moore08a #ada #distributed: Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.
ASE-2008-DwyerDE #cost analysis: Reducing the Cost of Path Property Monitoring Through Sampling (MBD, MD, SGE), pp. 228–237.
ASE-2008-MeredithJCR #parametricity #performance: Efficient Monitoring of Parametric Context-Free Patterns (POM, DJ, FC, GR), pp. 148–157.
FSE-2008-BoddenLH #fault #programming #runtime: Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.
FSE-2008-RaimondiSE #online #performance: Efficient online monitoring of web-service SLAs (FR, JS, WE), pp. 170–180.
SAC-2008-ChengC #named #programmable #thread: SoftMon: programmable software monitoring with minimum overhead by helper-threading (YPC, HSC), pp. 741–747.
SAC-2008-FreireBF #approach #metric #web: An approach based on metrics for monitoring web accessibility in Brazilian municipalities web sites (APF, TJB, RPdMF), pp. 2421–2425.
SAC-2008-GoncalvesFAG: ECG data provisioning for telehomecare monitoring (BG, JGPF, RVA, GG), pp. 1374–1379.
CASE-2008-DotoliFM #automation #fault #first-order #hybrid #petri net: Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.
CASE-2008-SchroederMT #health #identification #process: A Factory Health Monitor: System identification, process monitoring, and control (KS, JRM, DMT), pp. 16–22.
CASE-2008-SunWHRW #case study #effectiveness #identification #set: Identification of feature set for effective tool condition monitoring — a case study in titanium machining (JS, YSW, GSH, MR, ZW), pp. 273–278.
DATE-2008-MelaniBMLDF: Hot Wire Anemometric MEMS Sensor for Water Flow Monitoring (MM, LB, MDM, PL, FD, LF), pp. 342–347.
OSDI-2008-BhatiaKFP #lightweight: Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.
OSDI-2008-JainMKYDZ #consistency #metric #network #scalability: Network Imprecision: A New Consistency Metric for Scalable Monitoring (NJ, PM, DK, PY, MD, YZ), pp. 87–102.
PDP-2008-BasilePS #deployment: Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC) (CB, PCP, PS), pp. 611–615.
CAV-2008-FarzanM #concurrent #source code: Monitoring Atomicity in Concurrent Programs (AF, PM), pp. 52–65.
ICLP-2008-MileoMB #approach #logic programming: A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living (AM, DM, RB), pp. 145–159.
LICS-2008-ChadhaSV #complexity #finite #on the: On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.
VMCAI-2008-SistlaS #probability: Monitoring Temporal Properties of Stochastic Systems (APS, ARS), pp. 294–308.
CBSE-2007-MucciniPRB #architecture #component: Monitoring Architectural Properties in Dynamic Component-Based Systems (HM, AP, FR, AB), pp. 124–139.
SIGMOD-2007-BeeriEMP #process: Query-based monitoring of BPEL business processes (CB, AE, TM, AP), pp. 1122–1124.
SIGMOD-2007-MishraV #named #query: ConEx: a system for monitoring queries (CM, MV), pp. 1076–1078.
SIGMOD-2007-YangLOT #execution #network #query: In-network execution of monitoring queries in sensor networks (XY, HBL, MTÖ, KLT), pp. 521–532.
VLDB-2007-BeeriPME #process #query: Monitoring Business Processes with Queries (CB, AE, TM, AP), pp. 603–614.
VLDB-2007-JainDZKMY #named #scalability #self: STAR: Self-Tuning Aggregation for Scalable Monitoring (NJ, MD, YZ, DK, PM, PY), pp. 962–973.
VLDB-2007-WuYGHABFGGLW #challenge #experience #multi #prototype: Challenges and Experience in Prototyping a Multi-Modal Stream Analytic and Monitoring Application on System S (KLW, PSY, BG, KH, CCA, EB, WF, DG, XG, GL, HW), pp. 1185–1196.
CSMR-2007-LangeWC #evolution #named #quality #uml: MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality (CFJL, MAMW, MRVC), pp. 327–328.
CSMR-2007-Lormans #evolution #requirements #using: Monitoring Requirements Evolution using Views (ML), pp. 349–352.
AGTIVE-2007-BoddenV #automaton #runtime #specification #timeline: Transforming Timeline Specifications into Automata for Runtime Monitoring (EB, HV), pp. 249–264.
CHI-2007-HutchingsS #consistency #multi: Consistency, multiple monitors, and multiple windows (DRH, JTS), pp. 211–214.
CHI-2007-KellarWI #design: An exploration of web-based monitoring: implications for design (MK, CRW, KMI), pp. 377–386.
HCI-AS-2007-KimLYC #design #implementation #personalisation #process: Design and Implementation of a Personalized Business Activity Monitoring System (HK, YHL, HY, NWC), pp. 581–590.
HCI-AS-2007-LeeNB #network #reliability #using: Personal Life Logger and Belonging Monitor Using Reliable ZigBee Networks (KL, KN, CB), pp. 961–970.
HCI-MIE-2007-PeterSVUNJKG #detection #performance #usability: EREC-II in Use — Studies on Usability and Suitability of a Sensor System for Affect Detection and Human Performance Monitoring (CP, RS, JV, BU, NN, HJ, KK, RG), pp. 465–474.
EDOC-2007-HersheyR #enterprise: SOA Monitoring for Enterprise Computing Systems (PH, DR), pp. 443–450.
ICEIS-DISI-2007-AraqueSD #data flow #using #web: Monitoring web data sources using temporal properties as an external resources of a data warehouse (FA, AS, CD), pp. 28–35.
ICEIS-DISI-2007-MangisengiPADR #data transformation #process: Activity warehouse: Data management for business activity monitoring (OM, MP, DA, DD, HR), pp. 137–144.
ICEIS-SAIC-2007-Baghdadi #architecture #specification #web #web service: Specification of a Tool for Monitoring and Managing a Web Services Architecture (YB), pp. 51–56.
MLDM-2007-FullerK #data type #distributed #named: FIDS: Monitoring Frequent Items over Distributed Data Streams (RF, MMK), pp. 464–478.
SEKE-2007-LiangDS #evolution #runtime: Evolution and Runtime Monitoring of Software Systems (HL, JSD, JS), pp. 343–348.
SIGIR-2007-Leidner #information management: Resource monitoring in information extraction (JLL), pp. 779–780.
MoDELS-2007-XuL #interactive #visual notation: Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
SPLC-2007-HabliK #challenge #product line: Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System (IH, TK), pp. 193–202.
MoDELS-2007-XuL #interactive #visual notation: Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
ECOOP-2007-BoddenHL #performance #program analysis #runtime #staged: A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (EB, LJH, OL), pp. 525–549.
OOPSLA-2007-AvgustinovTM: Making trace monitors feasible (PA, JT, OdM), pp. 589–608.
PLDI-2007-SchneiderPG #hardware #online #optimisation #performance: Online optimizations driven by hardware performance monitoring (FTS, MP, TRG), pp. 373–382.
RE-2007-SalifuYN #problem #specification: Specifying Monitoring and Switching Problems in Context (MS, YY, BN), pp. 211–220.
ASE-2007-InverardiM #distributed #generative #named: DESERT: a decentralized monitoring tool generator (PI, LM), pp. 529–530.
ASE-2007-SantelicesH #data flow #test coverage: Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.
ASE-2007-WangMYM #approach #automation #requirements: An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.
SAC-2007-BaoYS: Projection function for driver fatigue monitoring with monocular camera (DB, ZY, YS), pp. 82–83.
SAC-2007-KyungPKJKP #design #framework #manycore #performance #platform: Performance monitor unit design for an AXI-based multi-core SoC platform (HmK, GHP, JWK, WJ, TJK, SBP), pp. 1565–1572.
SAC-2007-SpanoudakisKA #security #towards: Towards security monitoring patterns (GS, CK, KA), pp. 1518–1525.
CASE-2007-BasileGS #distributed #petri net: Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.
CASE-2007-BukkapatnamK #using: Container Integrity and Condition Monitoring using RF Vibration Sensor Tags (STSB, RK), pp. 585–590.
CASE-2007-DotoliFM #identification #on the #petri net #specification: On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification (MD, MPF, AMM), pp. 893–898.
CASE-2007-FagioliniVPDB #detection #distributed #implementation #multi: Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems (AF, GV, LP, GD, AB), pp. 454–459.
CASE-2007-OkTRKKZB #network #pipes and filters #self: Optimal Transmission Power in Self-sustainable Sensor Networks for Pipeline Monitoring (CO, HPT, UNR, SRTK, SGK, XZ, STSB), pp. 591–596.
CASE-2007-ZhangBGL #feature model #hybrid: A Hybrid Model with a Weighted Voting Scheme for Feature Selection in Machinery Condition Monitoring (KZ, ADB, FG, YL), pp. 424–429.
DATE-2007-FeiS #architecture #set: Microarchitectural support for program code integrity monitoring in application-specific instruction set processors (YF, ZJS), pp. 815–820.
DATE-2007-ZjajoAG #interactive #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.
HPCA-2007-ShaferCMRCZW #concurrent #network #virtual machine: Concurrent Direct Network Access for Virtual Machine Monitors (JS, DC, AM, SR, ALC, WZ, PW), pp. 306–317.
HPCA-2007-VenkataramaniRSP #debugging #memory management #named #performance #programmable: MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging (GV, BR, YS, MP), pp. 273–284.
PDP-2007-BorkowskiKT #parallel: Global predicate monitoring applied for control of parallel irregular computations (JB, DK, MT), pp. 105–112.
PDP-2007-NouJCHCLT #analysis #framework #grid #middleware: Monitoring and Analysis Framework for Grid Middleware (RN, FJ, DC, KH, JC, JL, JT), pp. 129–133.
SOSP-2007-KicimanL #behaviour #framework #named #platform #web: AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications (EK, VBL), pp. 17–30.
SIGMOD-2006-KeralapuraCR #distributed: Communication-efficient distributed monitoring of thresholded counts (RK, GC, JR), pp. 289–300.
SIGMOD-2006-MouratidisBP #query: Continuous monitoring of top-k queries over sliding windows (KM, SB, DP), pp. 635–646.
SIGMOD-2006-SharfmanSK #approach #data type #distributed #geometry: A geometric approach to monitoring threshold functions over distributed data streams (IS, AS, DK), pp. 301–312.
SIGMOD-2006-SilbersteinBY #constraints #energy #network: Constraint chaining: on energy-efficient continuous monitoring in sensor networks (AS, RB, JY), pp. 157–168.
SIGMOD-2006-SilbersteinMY #energy #network: Energy-efficient monitoring of extreme values in sensor networks (AS, KM, JY), pp. 169–180.
VLDB-2006-HokeSF #clustering #named #scalability: InteMon: Intelligent System Monitoring on Large Clusters (EH, JS, CF), pp. 1239–1242.
VLDB-2006-MouratidisYPM #nearest neighbour #network: Continuous Nearest Neighbor Monitoring in Road Networks (KM, MLY, DP, NM), pp. 43–54.
CSMR-2006-Boffoli #quality: Non-Intrusive Monitoring of Software Quality (NB), pp. 319–322.
WCRE-2006-LormansGDSS #case study #industrial #requirements #using: Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study (ML, HGG, AvD, RvS, AS), pp. 275–284.
FM-2006-GenonMM #algorithm #distributed #ltl #performance #sequence: Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces (AG, TM, CM), pp. 557–572.
ICGT-2006-EngelsLSH #contract #design #graph transformation #modelling: Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.
ICEIS-J-2006-LampertiZ06a #on the: On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.
ICPR-v1-2006-XuSL #adaptation #behaviour #detection: Tree Based Behavior Monitoring for Adaptive Fraud Detection (JX, AHS, QL), pp. 1208–1211.
ICPR-v4-2006-AlbuLCOHZPBMDDMJTGL #named #network: MONNET: Monitoring Pedestrians with a Network of Loosely-Coupled Cameras (ABA, DL, SC, DO, PH, AZ, MP, RB, XM, RD, SD, NMB, FJ, HT, LG, FL), pp. 924–928.
KDD-2006-SpiliopoulouNTS #clustering #modelling #named: MONIC: modeling and monitoring cluster transitions (MS, IN, YT, RS), pp. 706–711.
SEKE-2006-HallstromDS #contract #design pattern #parallel: Parallel Monitoring of Design Pattern Contracts (JOH, ARD, NS), pp. 236–241.
SEKE-2006-TylerS #automation #control flow #inheritance: Automatic Monitoring of Control-flow Through Inheritance Hierarchies (BT, NS), pp. 355–358.
LOPSTR-2006-WinwoodKC #automation #on the #synthesis: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.
PLDI-2006-FeiM #execution #named #runtime: Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
ASE-2006-LohmannES #contract #generative #modelling #visual notation: Model-driven Monitoring: Generating Assertions from Visual Contracts (ML, GE, SS), pp. 355–356.
SAC-2006-ChenJUY #detection #distributed #fault: Combining supervised and unsupervised monitoring for fault detection in distributed computing systems (HC, GJ, CU, KY), pp. 705–709.
SAC-2006-KenscheSB #documentation #framework #named #web: MonA: an extensible framework for web document monitoring (DK, CS, AB), pp. 1112–1113.
SAC-2006-TylerHS #automation #contract #generative: Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.
ASPLOS-2006-JonesAA #named #virtual machine: Geiger: monitoring the buffer cache in a virtual machine environment (STJ, ACAD, RHAD), pp. 14–24.
CASE-2006-XiaoX #modelling #process: Monitoring of batch processes with non-linear modeling methods (YX, BX), pp. 140–143.
CGO-2006-DasLH #detection #optimisation: Region Monitoring for Local Phase Detection in Dynamic Optimization Systems (AD, JL, WCH), pp. 124–134.
DAC-2006-KhatibPBBBKJN #analysis #architecture #design #multi #realtime: A multiprocessor system-on-chip for real-time biomedical monitoring and analysis: architectural design space exploration (IAK, FP, DB, LB, MB, HK, AJ, RN), pp. 125–130.
DAC-2006-RagelP #named #reliability #security: IMPRES: integrated monitoring for processor reliability and security (RGR, SP), pp. 502–505.
DATE-2006-BonnetLM #framework #named #network #towards: Hogthrob: towards a sensor network infrastructure for sow monitoring (wireless sensor network special day) (PB, ML, KM), p. 1109.
DATE-2006-Morin-AlloryB #specification: Proven correct monitors from PSL specifications (KMA, DB), pp. 1246–1251.
HPDC-2006-BaiardiRMV #policy #virtual machine: Policy Driven Virtual Machine Monitor for Protected Grids (FB, LR, PM, AV), pp. 313–316.
OSDI-2006-VerbowskiKKDLLWR #interactive: Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management (CV, EK, AK, BD, SL, JL, YMW, RR), pp. 117–130.
OSDI-2006-Werner-AllenLJLW #network: Fidelity and Yield in a Volcano Monitoring Sensor Network (GWA, KL, JJ, JL, MW), pp. 381–396.
CAV-2006-RosuB #linear #logic #ltl #synthesis: Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.
FATES-RV-2006-ArmoniKTVZ #linear: Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.
FATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented: Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.
ISSTA-2006-KiviluomaKM #architecture #aspect-oriented #behaviour #runtime #using: Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects (KK, JK, TM), pp. 181–190.
TestCom-2006-ShuL #protocol #security #testing: Message Confidentiality Testing of Security Protocols — Passive Monitoring and Active Checking (GS, DL), pp. 357–372.
VMCAI-2006-SistlaZZ #component #off the shelf: Monitoring Off-the-Shelf Components (APS, MZ, LDZ), pp. 222–236.
WICSA-2005-RatcliffeCO #architecture #case study #design: Case Study on Architecture-Centered Design for Monitoring Views at CERN (OR, SC, FO), pp. 213–214.
SIGMOD-2005-HuXL #framework #query: A Generic Framework for Monitoring Continuous Spatial Queries over Moving Objects (HH, JX, DLL), pp. 479–490.
SIGMOD-2005-PapadiasMH #clustering #concept #nearest neighbour #performance: Conceptual Partitioning: An Efficient Method for Continuous Nearest Neighbor Monitoring (KM, MH, DP), pp. 634–645.
IWPC-2005-Reiss05a #concurrent #java #performance #thread: Efficient Monitoring and Display of Thread State in Java (SPR), pp. 247–256.
PASTE-2005-KumarCS #profiling: Low overhead program monitoring and profiling (NK, BRC, MLS), pp. 28–34.
EDOC-2005-WangWCWFUCGL #adaptation #enterprise #using: Service Level Management using QoS Monitoring, Diagnostics, and Adaptation for Networked Enterprise Systems (GW, CW, AC, HW, CKF, SAU, YLC, WG, JL), pp. 239–250.
ICEIS-v3-2005-YuJ #development #modelling #process: Model Driven Development of Business Process Monitoring and Control Systems (TY, JJJ), pp. 161–166.
KDD-2005-YamanishiM #mining #network: Dynamic syslog mining for network failure monitoring (KY, YM), pp. 499–508.
SEKE-2005-MondragonGMS #generative #runtime #specification: Generating Properties for Runtime Monitoring from Software Specification Patterns (OM, AQG, HM, OS), pp. 267–273.
ECMDA-FA-2005-BurgstallerWFBF #development #distributed #using: Using Domain Driven Development for Monitoring Distributed Systems (RB, EW, LF, MB, TF), pp. 19–24.
SIGAda-2005-NaeserAF #named: SafetyChip: a time monitoring and policing device (GN, LA, JF), pp. 63–68.
ASE-2005-HalfondO #analysis #injection #named: AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks (WGJH, AO), pp. 174–183.
ICSE-2005-LetierKMU #analysis #requirements: Monitoring and control in scenario-based requirements analysis (EL, JK, JM, SU), pp. 382–391.
ICSE-2005-YilmazKMPSGN #assurance #distributed #evolution #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.
SAC-2005-JafariDBS #adaptation #fault tolerance: Adaptive and fault tolerant medical vest for life-critical medical monitoring (RJ, FD, PB, MS), pp. 272–279.
DAC-2005-JayakumarDK #self: A self-adjusting scheme to determine the optimum RBB by monitoring leakage currents (NJ, SD, SPK), pp. 43–46.
DAC-2005-WagnerBA #approach #automation #generative #named #process #testing: StressTest: an automatic approach to test generation via activity monitors (IW, VB, TMA), pp. 783–788.
DATE-2005-AroraRRJ #embedded #runtime: Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATE-2005-GadkariR #automation #specification #synthesis #using #visual notation: Automated Synthesis of Assertion Monitors using Visual Specifications (AAG, SR), pp. 390–395.
DATE-2005-JeffreyCPLRR #configuration management #integration #online #safety #using: The Integration of On-Line Monitoring and Reconfiguration Functions using IEEE1149.4 Into a Safety Critical Automotive Electronic Control Unit (CJ, RC, SP, ML, AR, SR), pp. 153–158.
DATE-2005-NoguchiN #multi: On-Chip Multi-Channel Waveform Monitoring for Diagnostics of Mixed-Signal VLSI Circuits (KN, MN), pp. 146–151.
DATE-2005-Takeuchi #debugging #lightweight #using #virtual machine: OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.
PPoPP-2005-CollardJY #memory management #optimisation #performance: System-wide performance monitors and their application to the optimization of coherent memory accesses (JFC, NPJ, SY), pp. 247–254.
PPoPP-2005-YangBHM #correctness #source code #trust #verification: Trust but verify: monitoring remotely executing programs for progress and correctness (SY, ARB, YCH, SPM), pp. 196–205.
TACAS-2005-ChenR #java #named #programming: Java-MOP: A Monitoring Oriented Programming Environment for Java (FC, GR), pp. 546–550.
CAV-2005-dAmorimR #performance: Efficient Monitoring of ω-Languages (Md, GR), pp. 364–378.
SIGMOD-2004-GargRC #named #query #web: Web-CAM: Monitoring the dynamic Web to respond to Continual Queries (SG, KR, SC), pp. 927–928.
VLDB-2004-LinKLLN #database #mining #named #visual notation: VizTree: a Tool for Visually Mining and Monitoring Massive Time Series Databases (JL, EJK, SL, JPL, DMN), pp. 1269–1272.
VLDB-2004-PandeyDO #algorithm #named #web: WIC: A General-Purpose Algorithm for Monitoring Web Information Sources (SP, KD, CO), pp. 360–371.
ICSM-2004-GirardVG #evolution #experience #metric #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.
ICEIS-v1-2004-SchieferM #correlation #process: Correlating Events for Monitoring Business Processes (JS, CM), pp. 320–327.
ICEIS-v3-2004-PanedaMGGN #analysis #predict #video: Analysis and Configuration Methodology for Video on Demand Services Based on Monitoring Information and Prediction (XGP, DM, RG, VGG, ÁN), pp. 289–294.
ICEIS-v4-2004-RodriguezDGI #architecture #online #performance: A Wireless Application That Monitors ECG Signals On-Line: Architecture and Performance (JR, LD, AG, AI), pp. 138–145.
ICPR-v3-2004-DouretB #3d #multi: A Multi-Cameras 3D Volumetric Method for Outdoor Scenes : A Road Traffic Monitoring Application (JD, RB), pp. 334–337.
ICPR-v4-2004-LeoDGSD #process #recognition: Complex Human Activity Recognition for Monitoring Wide Outdoor Environments (ML, TD, IG, PS, AD), pp. 913–916.
KDD-2004-LinKLLN #mining #visual notation: Visually mining and monitoring massive time series (JL, EJK, SL, JPL, DMN), pp. 460–469.
ECOOP-2004-CaromelMT: Sequential Object Monitors (DC, LM, ÉT), pp. 316–340.
ECOOP-2004-WelcJH #concurrent #transaction: Transactional Monitors for Concurrent Objects (AW, SJ, ALH), pp. 519–542.
PLDI-2004-Adl-TabatabaiHSS #hardware #metadata: Prefetch inection based on hardware monitoring and object metadata (ARAT, RLH, MJS, SS), pp. 267–276.
ASE-2004-SpanoudakisM #calculus #framework #requirements #towards: Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus (GS, KM), pp. 379–384.
ICSE-2004-SenVAR #distributed #performance #safety: Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.
SAC-2004-BunchBBCSUHPM #process: Software agents for process monitoring and notification (LB, MRB, JMB, MMC, NS, AU, JH, MP, VM), pp. 94–100.
SAC-2004-KantardzicSS #approach: The time diversification monitoring of a stock portfolio: an approach based on the fractal dimension (MMK, PS, CS), pp. 637–641.
DATE-v2-2004-VazquezG #fault #power management: Power Supply Noise Monitor for Signal Integrity Faults (JRV, JPdG), pp. 1406–1407.
HPDC-2004-ZangrilliL #network #using: Using Passive Traces of Application Traffic in a Network Monitoring System (MZ, BL), pp. 77–86.
OSDI-2004-ZhangZPPW #internet #named: PlanetSeer: Internet Path Failure Monitoring and Characterization in Wide-Area Services (MZ, CZ, VSP, LLP, RYW), pp. 167–182.
PDP-2004-MaciasSS #detection #performance #source code: Efficient Monitoring to Detect Wireless Channel Failures for MPI Programs (EMM, ÁS, VSS), pp. 374–381.
DATE-2005-KirsteinSSHVH04: A CMOS-Based Tactile Sensor for Continuous Blood Pressure Monitoring (KUK, JS, TS, CH, TV, AH), pp. 210–214.
ICLP-2004-LangevineD #debugging #visualisation: A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer (LL, MD), pp. 462–463.
SIGMOD-2003-BabcockO #distributed: Distributed Top-K Monitoring (BB, CO), pp. 28–39.
VLDB-2003-KornMZ #database #network #problem #quality: Checks and Balances: Monitoring Data Quality Problems in Network Traffic Databases (FK, SM, YZ), pp. 536–547.
ITiCSE-2003-DarbhamullaDL #delivery #online #student: Student status monitoring tool (SSM): proxy for the real world expert in online course delivery (RD, MD, PBL), p. 257.
CAiSE-2003-XuJ #contract: Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.
EDOC-2003-DebusmannSSK #using: Unified Service Level Monitoring using CIM (MD, MS, MS, RK), pp. 76–85.
EDOC-2003-NealCLMGK #contract #identification #requirements: Identifying requirements for Business Contract Language: a Monitoring Perspectiv (SWN, JBC, PFL, ZM, SG, SK), pp. 50–61.
EDOC-2003-SgottiRS: A MOM-based Solution for Remote Monitoring of Equipment in Mines (VACS, NSR, WJdS), pp. 321–326.
ICEIS-v2-2003-BenninghoffN #distributed #scalability: Scaling Up Information Updates in Distributed Condition Monitoring (PB, SN), pp. 132–139.
ICEIS-v2-2003-OuazzaneZME #database #network #performance #process: The Use of Neural Network and Database Technology to Reengineer the Technical Process of Monitoring Coal Combustion Efficiency (KO, KZ, FM, KE), pp. 495–498.
ICEIS-v4-2003-GamboaF #interactive #named #web: Widam — Web Interaction Display and Monitoring (HG, VF), pp. 21–27.
CIKM-2003-ChangL #adaptation #data type #named #online: estWin: adaptively monitoring the recent change of frequent itemsets over online data streams (JHC, WSL), pp. 536–539.
RE-2003-Robinson #requirements #web #web service: Monitoring Web Service Requirements (WNR), pp. 65–74.
RE-2003-Simmons #quality #requirements #specification: From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality (ES), p. 286.
ESEC-FSE-2003-CangussuDM #approach #process #statistics #testing #using: Monitoring the software test process using statistical process control: a logarithmic approach (JWC, RAD, APM), pp. 158–167.
SAC-2003-MabrySEE: Intelligent Agents for Patient Monitoring and Diagnostics (SLM, TS, TE, NE), pp. 257–262.
SAC-2003-PascucciLFGSLH #realtime #scalability #simulation: Real-Time Monitoring of Large Scientific Simulations (VP, DEL, RJF, FG, GS, LL, BH), pp. 194–198.
CGO-2003-ChenHC #hardware #performance #using: Dynamic Trace Selection Using Performance Monitoring Hardware Sampling (HC, WCH, DyC), pp. 79–90.
DAC-2003-TasiranYB #model checking #simulation #specification #using: Using a formal specification and a model checker to monitor and direct simulation (ST, YY, BB), pp. 356–361.
DATE-2003-BurbidgeTR #automation #embedded: Techniques for Automatic On Chip Closed Loop Transfer Function Monitoring For Embedded Charge Pump Phase Locked Loops (MJB, JT, AR), pp. 10496–10503.
DATE-2003-ChenHBW #automation #constraints #generative #simulation: Automatic Generation of Simulation Monitors from Quantitative Constraint Formula (XC, HH, FB, YW), pp. 11174–11175.
DATE-2003-DrineasM #concurrent #detection #fault: Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees (PD, YM), pp. 11164–11167.
HPDC-2003-AgarwalaPKSW #distributed #resource management: Resource-Aware Stream Management with the Customizable dproc Distributed Monitoring Mechanisms (SA, CP, JK, KS, MW), pp. 250–259.
HPDC-2003-SundaresanLKPS #adaptation #grid #using: Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model (RS, ML, TMK, SP, JHS), pp. 260–269.
HPDC-2003-ZhangFS #distributed #information management #performance: A Performance Study of Monitoring and Information Services for Distributed Systems (XZ, JLF, JMS), pp. 270–282.
PDP-2003-DominguesSS #distributed #named: DRMonitor — A Distributed Resource Monitoring System (PD, LMS, JGS), pp. 127–133.
PDP-2003-Marzolla #clustering #performance #scalability: A Performance Monitoring System for Large Computing Clusters (MM), pp. 393–400.
PDP-2003-Tao #evaluation #memory management: Supporting the Memory System Evaluation with a Monitor Simulator (JT), p. 31–?.
CAV-2003-Drusinsky: Monitoring Temporal Rules Combined with Time Series (DD), pp. 114–117.
SIGMOD-2002-CranorGJSS #interface #named #network #performance #sql: Gigascope: high performance network monitoring with an SQL interface (CDC, YG, TJ, VS, OS), p. 623.
VLDB-2002-CarneyCCCLSSTZ #data transformation: Monitoring Streams — A New Class of Data Management Applications (DC, UÇ, MC, CC, SL, GS, MS, NT, SBZ), pp. 215–226.
VLDB-2002-LamKR #mobile #named #realtime #using: RTMonitor: Real-Time Data Monitoring Using Mobile Agent Technologies (KyL, AK, KR), pp. 1063–1066.
VLDB-2002-ZhuS #data type #named #realtime #statistics: StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time (YZ, DS), pp. 358–369.
PASTE-2002-BowringOH #using: Monitoring deployed software using software tomography (JFB, AO, MJH), pp. 2–9.
CAiSE-2002-WangW #flexibility #workflow: Intelligent Agent Supported Flexible Workflow Monitoring System (MW, HW), pp. 787–791.
EDOC-2002-MilosevicD #behaviour #contract #on the: On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.
ICEIS-2002-AllouiCO #logic #process: Taming Process Deviations by Logic Based Monitoring (IA, SC, FO), pp. 716–724.
ICEIS-2002-BodorikBJ #middleware #tool support: Toolkit for QoS Monitoring in Middleware (PB, SB, DNJ), pp. 244–249.
CIKM-2002-WuY #adaptation #multi #performance #query #using: Efficient query monitoring using adaptive multiple key hashing (KLW, PSY), pp. 477–484.
ICPR-v1-2002-BasuPCB #distributed #image #retrieval #using: Distributed Retrieval of Wavelet Images Using Bandwidth Monitoring (AB, MHP, LIC, MB), pp. 604–607.
ICPR-v1-2002-NguyenVWB #behaviour #multi #people #using: Hierarchical Monitoring of People’s Behaviors in Complex Environments Using Multiple Cameras (NTN, SV, GAWW, HHB), pp. 13–16.
SEKE-2002-Micucci #architecture #industrial #knowledge-based: Exploiting the kaleidoscope architecture in an industrial environmental monitoring system with heterogeneous devices and a knowledge-based supervisor (DM), pp. 685–688.
SAC-2002-AbdallahDH: Monitoring and synchronization for teamwork in GPGP (SA, NMD, OH), pp. 288–293.
DAC-2002-OliveiraH #automation #generative #interface #specification: High-Level specification and automatic generation of IP interface monitors (MTO, AJH), pp. 129–134.
HPCA-2002-SuhDR #clustering #memory management #scheduling: A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning (GES, SD, LR), pp. 117–128.
HPDC-2002-GunterTJLS #distributed: Dynamic Monitoring of High-Performance Distributed Applications (DG, BT, KRJ, JL, MS), pp. 163–170.
PDP-2002-AugeratMS #clustering #scalability #tool support: Scalable Monitoring and Configuration Tools for Grids and Clusters (PA, CM, BdOS), pp. 147–153.
TACAS-2002-HavelundR #safety: Synthesizing Monitors for Safety Properties (KH, GR), pp. 342–356.
CHI-2001-Grudin #clustering #multi: Partitioning digital worlds: focal and peripheral awareness in multiple monitor use (JG), pp. 458–465.
ICEIS-v1-2001-PanticR #challenge #multi #ubiquitous: Affect-Sensitive Multi-Modal Monitoring in Ubiquitous Computing: Advances and Challenges (MP, LJMR), pp. 466–474.
UML-2001-LettrariK #modelling #realtime #testing #uml: Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.
POPL-2001-BhargavanCMG #automaton #network #what: What packets may come: automata for network monitoring (KB, SC, PJM, CAG), pp. 206–219.
ASE-2001-HavelundR #source code #using: Monitoring Programs Using Rewriting (KH, GR), pp. 135–143.
ASE-2001-LongHS #concurrent #java: A Concurrency Test Tool for Java Monitors (BL, DH, PAS), pp. 421–425.
HPDC-2001-BolligerG: Bandwidth Monitoring for Network-Aware Applications (JB, TRG), pp. 241–251.
IWPC-2000-Goldman #interactive #named: Smiley — An Interactive Tool for Monitoring Inter-Module Function Calls (NMG), pp. 109–118.
ICEIS-2000-Belo #process #realtime: Monitoring Production Plants Activities in Real Time as a Way to Gather Decision Support Information in Advance (OB), pp. 27–31.
ICPR-v3-2000-BadenasSP #integration #sequence #using: Using Temporal Integration for Tracking Regions in Traffic Monitoring Sequences (JB, JMS, FP), pp. 7137–7140.
ICPR-v4-2000-NakaiIMW #strict #visual notation: Non-Restrictive Visual Respiration Monitoring (HN, KI, YM, MW), pp. 4647–4651.
ICPR-v4-2000-Shekhar #automation: Semi-Automatic Video-to-Site Registration for Aerial Monitoring (CS0), pp. 4736–4739.
ICPR-v4-2000-SmithSL: Monitoring Head/Eye Motion for Driver Alertness with One Camera (PS, MS, NdVL), pp. 4636–4635.
TOOLS-EUROPE-2000-SridharanMM #corba #distributed #testing: Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects (BS, SM, APM), p. 195–?.
AdaEurope-2000-Weiss #ada #java: Kingcat MCAS — Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java (RW), pp. 2–3.
ASE-2000-BuenoJ #identification #testing: Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data (PMSB, MJ), pp. 209–218.
HPDC-2000-TierneyCGHLT #grid: A Monitoring Sensor Management System for Grid Environments (BT, BC, DG, MH, JL, MRT), pp. 97–104.
PDP-2000-ClaudioCC #debugging #message passing #visualisation: Monitoring and debugging message passing applications with MPVisualizer (APC, JDC, MBC), pp. 376–382.
PDP-2000-HofmannL: Specification-driven monitoring of TCP/IP (RH, FL), pp. 10–17.
ISSTA-2000-PetersP #realtime: Requirements-based monitors for real-time systems (DKP, DLP), pp. 77–85.
WICSA-1999-SavigniT #architecture #named: Kaleidoscope: A Reference Architecture for Monitoring and Control Systems (AS, FT), pp. 369–388.
DL-1999-BuchananMT #library #metadata: Dynamic Metadata for Monitoring Digital Library Management (GB, GM, HWT), pp. 219–220.
PASTE-1999-WhitingH #analysis #safety: Safety Analysis of Hawk in Flight Monitor (LW, MH), pp. 32–38.
HCI-CCAD-1999-NabeshimaTSNIOKS #hybrid: Hybrid monitoring system for high temperature gas cooling reactor (KN, ET, TS, SN, KI, TO, KK, KS), pp. 1187–1191.
HCI-CCAD-1999-Wirth #case study #network #visualisation: Maximizing data density: a case study of visualization in network monitoring (JW), pp. 127–131.
ICML-1999-MorikBJ #approach #case study #knowledge-based #learning #statistics: Combining Statistical Learning with a Knowledge-Based Approach — A Case Study in Intensive Care Monitoring (KM, PB, TJ), pp. 268–277.
KDD-1999-FawcettP #behaviour #process: Activity Monitoring: Noticing Interesting Changes in Behavior (TF, FJP), pp. 53–62.
KDD-1999-ShewhartW #topic: Monitoring a Newsfeed for Hot Topics (MS, MW), pp. 402–404.
MLDM-1999-Scaringella #data mining #mining #risk management: A Data Mining Application for Monitoring Environmental Risks (AS), pp. 209–215.
ICSE-1999-ConcepcionLS #concurrent #development #multi #predict #re-engineering #recursion #thread: The RMT (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineering Tool for Monitoring and Predicting Software Development Progress (AIC, SL, SJS), pp. 660–663.
ICSE-1999-PavlopoulouY #test coverage: Residual Test Coverage Monitoring (CP, MY), pp. 277–284.
DATE-1999-StopjakovaMS #testing: On-Chip Transient Current Monitor for Testing of Low Voltage CMOS IC (VS, HARM, MS), pp. 538–542.
HPDC-1999-SchnaidtHFKJ #adaptation #independence #message passing #performance: Passive, Domain-Independent, End-to-End Message Passing Performance Monitoring to Support Adaptive Applications in MSHN (MCS, DAH, JF, TK, DSJ), pp. 337–338.
ICLP-1999-JahierD #approach: A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.
ECDL-1998-KapidakisTS #architecture #behaviour #library: A Management Architecture for Measuring and Monitoring the Behavior of Digital Libraries (SK, ST, JS), pp. 95–114.
SIGMOD-1998-LiuPTBBZBHY #named #personalisation #tool support: CQ: A Personalized Update Monitoring Toolkit (LL, CP, WT, DB, JB, TZ, PB, WH, FY), pp. 547–549.
PASTE-1998-JefferyZTB #architecture #execution #lightweight: A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.
ICPR-1998-BadenasP #image #segmentation #sequence: Segmentation based on region-tracking in image sequences for traffic monitoring (JB, FP), pp. 999–1001.
ICPR-1998-BouzidiBH #approach #data fusion: A remote sensing data fusion approach to monitor agricultural areas (SB, JPB, IH), pp. 1387–1389.
ICPR-1998-OnoeYYT #using #video #visual notation: Visual surveillance and monitoring system using an omnidirectional video camera (YO, NY, KY, HT), pp. 588–592.
KR-1998-GiacomoRS #execution #source code: Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.
OOPSLA-1998-OlkenJMPA #distributed #lessons learnt: Object Lessons Learned from a Distributed System for Remote Building Monitoring and Operation (FO, HAJ, CM, MAP, MFA), pp. 284–295.
PDP-1998-FlorioDTRL #distributed #embedded #fault tolerance #hypermedia #injection #parallel #source code: A hypermedia distributed application for monitoring and fault-injection in embedded fault-tolerant parallel programs (VDF, GD, MT, WR, RL), pp. 349–355.
ISSTA-1998-GodefroidHJ #analysis #model checking #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.
ITiCSE-1997-HaganSM #programming: Monitoring and evaluating a redesigned first year programming course (DH, JS, IM), pp. 37–39.
HCI-CC-1997-AnkrumS #variability: Heart Rate Variability in Eye-Level and Low Monitor Conditions (DRA, KS), pp. 571–574.
HCI-SEC-1997-DeisingerCRS #comparison: The Effect of Different Viewing Devices for the Sense of Presence of Immersion in Virtual Environments: A Comparison of Stereoprojections Based on Monitors, HMDs and Screens (JD, CCN, OR, JS), pp. 881–884.
ICSE-1997-CohenFNF #automation #requirements: Automatic Monitoring of Software Requirements (DC, MSF, KN, SF), pp. 602–603.
EDTC-1997-StopjakovaM #testing: CCII+ current conveyor based BIC monitor for IDDQ testing of complex CMOS circuits (VS, HARM), pp. 266–270.
EDTC-1997-SvajdaSM: A monolithic off-chip IDDQ monitor (MS, BS, HARM), p. 629.
PDP-1997-Rabenseifner #clustering #logic #parallel: The controlled logical clock--a global time for trace-based software monitoring of parallel applications in workstation clusters (RR), pp. 477–484.
ITiCSE-1996-Jacker #documentation #named #network #tool support: Tkined/scotty: tools for network documentation, monitoring and troubleshooting (KHJ), p. 233.
ICPR-1996-Wixson #assessment: Illumination assessment for vision-based traffic monitoring (LEW), pp. 56–62.
ICPR-1996-ZhangHG #classification #image #knowledge-based: Knowledge-based classification of CZCS images and monitoring of red tides off the west Florida shelf (MZ, LOH, DBG), pp. 452–456.
ICSE-1996-Minsky #evolution #independence #online: Independent On-Line Monitoring of Evolving Systems (NHM), pp. 134–143.
ICSE-1996-SefikaSC #design #modelling: Monitoring Compliance of a Software System with Its High-Level Design Models (MS, AS, RHC), pp. 387–396.
SAC-1996-AbduLB: Investigating monitoring configurations (HA, HL, MAB), pp. 366–373.
HPDC-1996-HuardILY #adaptation: Meeting QoS Guarantees by End-to-End QoS Monitoring and Adaptation (JFH, II, AAL, HY), pp. 348–355.
PDP-1996-HaringKM #approach #named: InHouse — A User-Oriented Monitoring Approach (GH, GK, SM), pp. 478–485.
PDP-1996-KranzlmullerGV: Monitoring Strategies for Hypercube Systems (DK, SG, JV), pp. 486–492.
RE-1995-FickasF #requirements: Requirements monitoring in dynamic environments (SF, MSF), pp. 140–147.
ICSE-1995-BarghoutiK #constraints #process #using: Using Event Contexts and Matching Constraints to Monitor Software Processes (NSB, BK), pp. 83–92.
SAC-1995-HashemiTV #network #quality: A neural network as a quality control monitor of an intelligent system (RRH, JRT, MV), pp. 263–266.
PDP-1995-Ammann #communication #distributed: DIPC-a monitor for distributed inter-process communication (EMA), pp. 272–279.
PDP-1995-BornOSS #parallel #programming #visual notation: The monitoring facilities of the graphical parallel programming environment TRAPPER (TB, WO, LS, CS), pp. 555–562.
PDP-1995-Dussa-ZiegerEHP #distributed #modelling: Monitoring and modelling of a distributed ISDN test system (KDZ, ME, RH, OP), pp. 201–209.
ASPLOS-1994-ArgadeCT #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.
EDAC-1994-KarkkainenTW #bound #power management #testing: Boundary Scan Testing Combined with Power Supply Current Monitoring (MK, KT, MW), pp. 232–235.
HPDC-1994-CataniaGPV #distributed #named: PMT: A Tool to Monitor Performances in Distributed Systems (VC, OG, AP, LV), pp. 279–286.
PDP-1994-Dauphin #debugging #distributed #functional #modelling #parallel #performance: Combining Functional And Performance Debugging Of Parallel And Distributed Systems Based On Model-driven Monitoring (PD), pp. 463–470.
PDP-1994-McConnellMMM #analysis #migration #parallel #source code: Monitoring, Analysis And Tuning Of Parallel Programs Within The Fortport Migration Environment (RM, PM, JFM, PM), pp. 479–485.
SIGMOD-1993-DayalGHKS #challenge #database #generative: Third Generation TP Monitors: A Database Challenge (UD, HGM, MH, BK, MCS), pp. 393–397.
HCI-ACS-1993-AielloS #feedback #performance: Electronic Performance Monitoring and Stress: The Role of Feedback and Goal Setting (JRA, YS), pp. 1011–1016.
HCI-ACS-1993-CarayonLYSSL #performance #research: Recent Research Findings on Stress and Electronic Performance Monitoring (PC, SYL, CLY, MJS, KJS, DL), pp. 1017–1022.
HCI-ACS-1993-GalinskySP #performance: The Influence of Electronic Performance Monitoring on Speed and Accuracy in a VDT-Based Data-Entry Task (TLG, LMS, CSP), pp. 1023–1028.
HCI-ACS-1993-OBrienFM #automation: The Effect of Automated Intelligent Advisors on Human Decision Making in Monitoring Complex Mechanical Systems (KO, EMF, FM), pp. 185–190.
HCI-ACS-1993-PouraghabagherB #evaluation #eye tracking #using: An Evaluation of Information Highlighting Methods on Computer Screens Using an Eye Movement Monitor (RP, DB), pp. 762–767.
INTERCHI-1993-DiGianoBO #behaviour #named #programming: LogoMedia: a sound-enhanced programming environment for monitoring program behavior (CD, RMB, RNO), pp. 301–302.
ICSE-1993-BradacPV #empirical #process #prototype: Prototyping a Process Monitoring Experiment (MGB, DEP, LGV), pp. 155–165.
PDP-1993-PaganelliWW #architecture #implementation: Implementation of a generic monitoring architecture in a ring message router (FP, SCW, DRW), pp. 330–337.
SEKE-1992-AlcarazNHB #maintenance #realtime: Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges (FA, MN, AH, JLB), pp. 364–369.
DAC-1992-ChakravartyL #algorithm #fault: Algorithms for Current Monitor Based Diagnosis of Bridging and Leakage Faults (SC, ML), pp. 353–356.
PLDI-1991-KishonHC #execution #framework #implementation #reasoning #semantics #specification: Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.
KBSE-1991-Liao #automation #generative: Requirement Directed Automatic Instrumentation Generation for Program Monitoring and Measuring (YL), pp. 144–150.
PPoPP-1990-DinningS #algorithm #comparison #detection #empirical: An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection (AD, ES), pp. 1–10.
PPoPP-1990-Factor #architecture #process #realtime: The Process Trellis Architectur for Real-Time Monitors (MF), pp. 147–155.
VLDB-1989-Risch #database: Monitoring Database Objects (TR), pp. 445–453.
VLDB-1989-RosenthalCBB #database: Situation Monitoring for Active Databases (AR, SC, BTB, JAB), pp. 455–464.
CHI-1989-ColluraJBK #design #interface: User-interface design for a clinical neurophysiological intensive monitoring system (TFC, ECJ, RCB, GHK), pp. 363–368.
HCI-SES-1987-SmithCM: Electronic Monitoring and Job Stress (MJS, PC, KM), pp. 33–42.
OOPSLA-1986-Dasgupta #distributed #object-oriented #operating system: A Probe-Based Monitoring Scheme for an Object-Oriented Distributed Operating System (PD), pp. 57–66.
DAC-1986-Janni: A monitor for complex CAD systems (ADJ), pp. 145–151.
SIGIR-1984-Tolle #analysis #evaluation #information management #transaction: Monitoring and Evaluation of Information Systems Via Transaction Log Analysis (JT), pp. 247–258.
VLDB-1983-CremersD #database #named: AIM — An Integrity Monitor for the Database System INGRES (ABC, GD), pp. 167–170.
SIGIR-1983-Borgman #behaviour #information retrieval #online: End User Behavior on an Online Information Retrieval System: A Computer Monitoring Study (CLB), pp. 162–176.
ASPLOS-1982-MaekawaSI #architecture #migration: Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming (MM, KS, CI), pp. 185–194.
VLDB-1981-Borr #distributed #reliability #transaction: Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.
SOSP-J-1979-LampsonR80 #experience #process: Experience with Processes and Monitors in Mesa (BWL, DDR), pp. 105–117.
VLDB-1979-Melo #constraints: Monitoring Integrity Constraints in a CODASYL-Like DBMS (RNM), pp. 209–218.
SIGIR-1979-DominickP #analysis #automation #evaluation #information management: Automated Monitoring to Support the Analysis and Evaluation of Information Systems (WDD, WDP), pp. 2–9.
SOSP-1979-LampsonR #experience #process: Experience with Processes and Monitors in Mesa (BWL, DDR), pp. 43–44.
SIGMOD-1978-HammerS #database #performance: Efficient Monitoring of Database Assertions (MH, SKS), p. 159.
SOSP-1977-ArvindGP #data flow: Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.
ICSE-1976-Howard: Signaling in Monitors (JHH), pp. 47–52.
ICSE-1976-KarpL #implementation #verification: Verification of Fairness in an Implementation of Monitors (RAK, DCL), pp. 40–46.
ICSE-1976-SaxenaB #specification #verification: Verification of a Monitor Specification (ARS, THB), pp. 53–59.
SOSP-J-1975-Howard76 #proving: Proving Monitors (JHH), pp. 273–279.
SOSP-1973-Svobodova #hybrid #metric #online #performance: Online System Performance Measurements with Software and Hybrid Monitors (LS), pp. 45–53.
SOSP-1969-Wulf #multi #performance: Performance monitors for multi-programming systems (WAW), pp. 175–181.