BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
monitoring
Google monitoring

Tag #monitoring

763 papers:

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

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