Search results for "monitors"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Teng Zhang, Greg Eakman, Insup Lee 0001, Oleg Sokolsky	Overhead-Aware Deployment of Runtime Monitors.	RV	2019	DBLP DOI BibTeX RDF
15	Reza Babaee, Vijay Ganesh, Sean Sedwards	Accelerated Learning of Predictive Runtime Monitors for Rare Failure.	RV	2019	DBLP DOI BibTeX RDF
15	Hazem Torfah	Stream-Based Monitors for Real-Time Properties.	RV	2019	DBLP DOI BibTeX RDF
15	Juan Carlos Fuentes Carranza, Philip W. L. Fong	Brokering Policies and Execution Monitors for IoT Middleware.	SACMAT	2019	DBLP DOI BibTeX RDF
15	Zepeng Huo, Bobak J. Mortazavi, Theodora Chaspari, Nicolaas E. P. Deutz, Laura Ruebush, Ricardo Gutierrez-Osuna	Predicting the meal macronutrient composition from continuous glucose monitors.	BHI	2019	DBLP DOI BibTeX RDF
15	Bingyu Li, Dawei Chu, Jingqiang Lin, Quanwei Cai 0001, Congli Wang, Lingjia Meng	The Weakest Link of Certificate Transparency: Exploring the TLS/HTTPS Configurations of Third-Party Monitors.	TrustCom/BigDataSE	2019	DBLP DOI BibTeX RDF
15	José-Luis Sánchez-Romero, Antonio Jimeno-Morenilla, Higinio Mora Mora, Francisco Antonio Pujol López	Using Physical Activity Monitors in Smart Environments and Social Networks: Applications and Challenges.	RIIFORUM	2019	DBLP DOI BibTeX RDF
15	Sanam Khan, Vinita Daiya, Jemimah Ebenezer, R. Jehadeesan	Novel Patch Antenna Design for Wireless Channel Monitors.	ICCCNT	2019	DBLP DOI BibTeX RDF
15	Chitra Balakrishna, Elizabeth Rendon-Morales, Rodrigo Aviles-Espinosa, Henry Dore, Zhenhua Luo	Challenges of Wearable Health Monitors : A Case study of Foetal ECG Monitor.	GIoTS	2019	DBLP DOI BibTeX RDF
15	Fadi Yilmaz, Meera Sridhar	A Survey of In-Lined Reference Monitors: Policies, Applications and Challenges.	AICCSA	2019	DBLP DOI BibTeX RDF
15	Raif Alicic, Senad Smaka	A New Approach to Optimal Placement of Power Quality Monitors for Voltage Sag Detection.	ISGT Europe	2019	DBLP DOI BibTeX RDF
15	Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad	Runtime hardware Trojan monitors through modeling burst mode communication using formal verification.	Integr.	2018	DBLP DOI BibTeX RDF
15	Zohreh A. Dannenhauer, Michael T. Cox	Rationale-based perceptual monitors.	AI Commun.	2018	DBLP DOI BibTeX RDF
15	Jason H. Rife	Overbounding Risk for Quadratic Monitors With Arbitrary Noise Distributions.	IEEE Trans. Aerosp. Electron. Syst.	2018	DBLP DOI BibTeX RDF
15	Jongho Kim, Kiyoung Choi, Yonghwan Kim, Wook Kim, Kyung Tae Do, Jung-Hwan Choi	Delay Monitoring System With Multiple Generic Monitors for Wide Voltage Range Operation.	IEEE Trans. Very Large Scale Integr. Syst.	2018	DBLP DOI BibTeX RDF
15	Yu Kang 0001, Zerui Li, Yun-Bo Zhao, Jiahu Qin, Weiguo Song	A Novel Location Strategy for Minimizing Monitors in Vehicle Emission Remote Sensing System.	IEEE Trans. Syst. Man Cybern. Syst.	2018	DBLP DOI BibTeX RDF
15	Mischa Möstl, Johannes Schlatow, Rolf Ernst	Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2018	DBLP DOI BibTeX RDF
15	Seaghan Sefton, Taiman Siddiqui, Nathaniel St. Amour, Gordon Stewart 0001, Avinash Karanth Kodi	GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2018	DBLP DOI BibTeX RDF
15	Juan Carlos Fuentes Carranza, Philip W. L. Fong	Brokering Policies and Execution Monitors for IoT Middleware.	CoRR	2018	DBLP BibTeX RDF
15	Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn	Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.	VORTEX@ECOOP/ISSTA	2018	DBLP DOI BibTeX RDF
15	Takahito Tanimura, Takeshi Hoshida, Tomoyuki Kato, Shigeki Watanabe, Hiroyuki Morikawa	Simple Learning Method to Guarantee Operational Range of Optical Monitors.	JOCN	2018	DBLP DOI BibTeX RDF
15	Gillian Gresham, Andrew E. Hendifar, Brennan Spiegel, Elad Neeman, Richard Tuli, B. J. Rimel, Robert A. Figlin, Curtis L. Meinert, Steven T. Piantadosi, Arvind M. Shinde	Wearable activity monitors to assess performance status and predict clinical outcomes in advanced cancer patients.	npj Digit. Medicine	2018	DBLP DOI BibTeX RDF
15	Hojoon Lee 0001, Minsu Kim, Yunheung Paek, Brent ByungHoon Kang	A dynamic per-context verification of kernel address integrity from external monitors.	Comput. Secur.	2018	DBLP DOI BibTeX RDF
15	Susan M. Wernimont, Robin J. Thompson, Scott L. Mickelsen, Spencer C. Smith, Isabella C. Alvarenga, Kathy L. Gross	Use of Accelerometer Activity Monitors to Detect Changes in Pruritic Behaviors: Interim Clinical Data on 6 Dogs.	Sensors	2018	DBLP DOI BibTeX RDF
15	Geb W. Thomas, Sinan Sousan, Marcus Tatum, Xiaoxing Liu, Christopher Zuidema, Mitchell Fitzpatrick, Kirsten A. Koehler, Thomas M. Peters	Low-Cost, Distributed Environmental Monitors for Factory Worker Health.	Sensors	2018	DBLP DOI BibTeX RDF
15	Dinesh John, Alvin Morton, Diego Arguello, Kate Lyden, David Bassett	"What Is a Step?" Differences in How a Step Is Detected among Three Popular Activity Monitors That Have Impacted Physical Activity Research.	Sensors	2018	DBLP DOI BibTeX RDF
15	Pengcheng Zhang, Patrizio Pelliccione, Hareton Leung, Xuandong Li	Automatic generation of predictive monitors from scenario-based specifications.	Inf. Softw. Technol.	2018	DBLP DOI BibTeX RDF
15	Mu-Tien Lu, Jen-Hui Chuang	Fully Automatic Camera Calibration for Principal Point Using Flat Monitors.	ICIP	2018	DBLP DOI BibTeX RDF
15	Elena Troubitsyna, Irum Rauf	Generating Cloud Monitors from Models to Secure Clouds.	DSN	2018	DBLP DOI BibTeX RDF
15	Syed Rafay Hasan, Charles A. Kamhoua, Kevin A. Kwiat, Laurent Njilla	A Novel Framework to Introduce Hardware Trojan Monitors using Model Checking Based Counterexamples: Inspired by Game Theory.	MWSCAS	2018	DBLP DOI BibTeX RDF
15	Yuting Cao, Hernan M. Palombo, Sandip Ray, Hao Zheng 0001	Enhancing Observability for Post-Silicon Debug with On-chip Communication Monitors.	ISVLSI	2018	DBLP DOI BibTeX RDF
15	Benno Gross, Michael Bretschneider-Hagemes, Andreas Stefan, Jörg Rissler	Monitors vs. Smart Glasses: A Study on Cognitive Workload of Digital Information Systems on Forklift Trucks.	HCI (17)	2018	DBLP DOI BibTeX RDF
15	Abdullah Kurtoglu	A new Clustering algorithm for an Energy Efficient WSN that Monitors HVTTs: Modified Multi Clustering.	CSNDSP	2018	DBLP DOI BibTeX RDF
15	Evismar Andrade, Leo R. Quinlan, Richard Harte, Dara Byrne, Enda Fallon, Martina Kelly, Paul O'Connor, Denis O'Hora, Michael Scully, John Laffey, Patrick Pladys, Alain Beuchée, Gearóid Ó Laighin	Investigation of the Human Factors, Usability and User Experience of Patient Monitors used in a Hospital Setting.	IHSED	2018	DBLP DOI BibTeX RDF
15	Evismar Andrade, Leo R. Quinlan, Richard Harte, Dara Byrne, Enda Fallon, Martina Kelly, Paul O'Connor, Denis O'Hora, Michael Scully, John Laffey, Patrick Pladys, Alain Beuchée, Gearóid Ó Laighin	State of the Art and Future Trends in the Usability of Patient Monitors.	IHSED	2018	DBLP DOI BibTeX RDF
15	Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider	Migrating Monitors + ABE: A Suitable Combination for Secure IoT?	ISoLA (4)	2018	DBLP DOI BibTeX RDF
15	Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç	A Theory of Register Monitors.	LICS	2018	DBLP DOI BibTeX RDF
15	Shengli Pan 0001	The Measurement Coverage for Boolean Tomography with Limited End Monitors.	iThings/GreenCom/CPSCom/SmartData	2018	DBLP DOI BibTeX RDF
15	Antonio Ferreira, Jorge Coelho 0001, Nuno Nogueira	Wearables with Heart Rate Monitors and Dynamic Workout Plans.	IWCMC	2018	DBLP DOI BibTeX RDF
15	Asanka P. Sayakkara, Nhien-An Le-Khac, Mark Scanlon	Accuracy Enhancement of Electromagnetic Side-Channel Attacks on Computer Monitors.	ARES	2018	DBLP DOI BibTeX RDF
15	Renan Santos, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy	Revisiting monitors.	SBLP	2018	DBLP DOI BibTeX RDF
15	Chang Liu 0010, Eric Schneider, Matthias Kampmann, Sybille Hellebrand, Hans-Joachim Wunderlich	Extending Aging Monitors for Early Life and Wear-Out Failure Prevention.	ATS	2018	DBLP DOI BibTeX RDF
15	Judith Amores, Javier Hernandez, Artem Dementyev, Xiqing Wang, Pattie Maes	BioEssence: A Wearable Olfactory Display that Monitors Cardio-respiratory Information to Support Mental Wellbeing.	EMBC	2018	DBLP DOI BibTeX RDF
15	Jafar Hamin, Bart Jacobs 0002	Deadlock-Free Monitors.	ESOP	2018	DBLP DOI BibTeX RDF
15	Kirk Boyer, Hao Chen, Jingwei Chen, Jian Qiu, Rinku Dewri	A Characterization of the Mass Surveillance Potential of Road Traffic Monitors.	ICISS	2018	DBLP DOI BibTeX RDF
15	Jahnavi Kasturi Rangan, Nasim Pour Aryan, Lantao Wang, Jens Bargfrede, Christian Funke, Helmut Graeb	Design-dependent Monitors Based on Delay Sensitivity Tracking.	ICECS	2018	DBLP DOI BibTeX RDF
15	Leilani H. Gilpin	Reasonableness Monitors.	AAAI	2018	DBLP DOI BibTeX RDF
15	Deepak Pal, Jüri Vain	Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors.	DB&IS	2018	DBLP DOI BibTeX RDF
15	Yutaka Masuda, Jun Nagayama, Hirotaka Takeno, Yoshimasa Ogawa, Yoichi Momiyama, Masanori Hashimoto	Comparing voltage adaptation performance between replica and in-situ timing monitors.	ICCAD	2018	DBLP DOI BibTeX RDF
15	William L. Harrison, Gerard Allwein	Semantics-Directed Prototyping of Hardware Runtime Monitors.	RSP	2018	DBLP DOI BibTeX RDF
15	Nicola Sambo, Kostas Christodoulopoulos, Nikolaos Argyris 0002, Pietro G. Giardina, Camille Delezoide, Andrea Sgambelluri, Aristotelis Kretsis, Giannis Kanakis, Francesco Fresi, Giacomo Bernini, Hercules Avramopoulos, Emmanouel A. Varvarigos, Piero Castoldi	Experimental Demonstration of Fully Disaggregated White Box Including Different Types of Transponders and Monitors, Controlled by NETCONF and YANG.	OFC	2018	DBLP BibTeX RDF
15	Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee 0001, Oleg Sokolsky	Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.	SETTA	2018	DBLP DOI BibTeX RDF
15	Rafael Melo Macieira, Edna Barros	TDevCGen: A synthesis toolset of HW/SW communication protocol monitors from high-level specifications.	LATS	2018	DBLP DOI BibTeX RDF
15	Jean-Michael Georg, Johannes Feiler, Frank Diermeyer, Markus Lienkamp	Teleoperated Driving, a Key Technology for Automated Driving? Comparison of Actual Test Drives with a Head Mounted Display and Conventional Monitors.	ITSC	2018	DBLP DOI BibTeX RDF
15	Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren	Tuning Permissiveness of Active Safety Monitors for Autonomous Systems.	NFM	2018	DBLP DOI BibTeX RDF
15	Vladimir A. Kitov	Main Teleprocessing Monitors for Third-Generation Computers in the USSR.	HC	2018	DBLP DOI BibTeX RDF
15	Wenhao Wang, Benjamin Ferrell, Xiaoyang Xu, Kevin W. Hamlen, Shuang Hao	SEISMIC: SEcure In-lined Script Monitors for Interrupting Cryptojacks.	ESORICS (2)	2018	DBLP DOI BibTeX RDF
15	Sunyoung Kim	Investigating Everyday Information Behavior of Using Ambient Displays: A Case of Indoor Air Quality Monitors.	CHIIR	2018	DBLP DOI BibTeX RDF
15	Fengzi Wang, Xinning Zhu, Jiansong Miao	Semantic trajectories-based social relationships discovery using WiFi monitors.	Pers. Ubiquitous Comput.	2017	DBLP DOI BibTeX RDF
15	Chengwen Luo 0001, Long Cheng 0005, Mun Choon Chan, Yu Gu 0001, Jianqiang Li 0001, Zhong Ming 0001	Pallas: Self-Bootstrapping Fine-Grained Passive Indoor Localization Using WiFi Monitors.	IEEE Trans. Mob. Comput.	2017	DBLP DOI BibTeX RDF
15	Lei Wang 0145, Tao Liu 0006, Yihui Wang, Qingguo Li, Jingang Yi, Yoshio Inoue	Evaluation on Step Counting Performance of Wristband Activity Monitors in Daily Living Environment.	IEEE Access	2017	DBLP DOI BibTeX RDF
15	Mohsen Hooshmand, Davide Zordan, Tommaso Melodia, Michele Rossi	SURF: Subject-Adaptive Unsupervised ECG Signal Compression for Wearable Fitness Monitors.	IEEE Access	2017	DBLP DOI BibTeX RDF
15	Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec	A Unified Design Flow to Automatically Generate On-Chip Monitors During High-Level Synthesis of Hardware Accelerators.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2017	DBLP DOI BibTeX RDF
15	Jun Inoue 0001, Yoriyuki Yamagata	Operational Semantics of Process Monitors.	CoRR	2017	DBLP BibTeX RDF
15	Panagiota Nikolaou, Yiannakis Sazeides, Antoni Portero, Radim Vavrík, Vít Vondrák	A Methodology for Oracle Selection of Monitors and Knobs for Configuring an HPC System running a Flood Management Application.	CoRR	2017	DBLP BibTeX RDF
15	Long Qian, Mathias Unberath, Kevin Yu, Bernhard Fuerst, Alex Johnson, Nassir Navab, Greg Osgood	Technical Note: Towards Virtual Monitors for Image Guided Interventions - Real-time Streaming to Optical See-Through Head-Mounted Displays.	CoRR	2017	DBLP BibTeX RDF
15	Peter Fu-Ming Hu, Shiming Yang, Hsiao-Chi Li, Lynn G. Stansbury, Fan Yang, George Hagegeorge, Catriona Miller, Peter Rock, Deborah M. Stein, Colin F. Mackenzie	Reliable Collection of Real-Time Patient Physiologic Data from less Reliable Networks: a "Monitor of Monitors" System (MoMs).	J. Medical Syst.	2017	DBLP DOI BibTeX RDF
15	Zeinab Mahmoudi, Kirsten Nørgaard, Niels Kjølstad Poulsen, Henrik Madsen, John Bagterp Jørgensen	Fault and meal detection by redundant continuous glucose monitors and the unscented Kalman filter.	Biomed. Signal Process. Control.	2017	DBLP DOI BibTeX RDF
15	Felicity Thomas, Christopher G. Pretty, Matthew Signal, Geoffrey M. Shaw, J. Geoffrey Chase	Accuracy and performance of continuous glucose monitors in athletes.	Biomed. Signal Process. Control.	2017	DBLP DOI BibTeX RDF
15	Nadezda Zikova, Mauro Masiol, David C. Chalupa, David Q. Rich, Andrea R. Ferro, Philip K. Hopke	Estimating Hourly Concentrations of PM2.5 across a Metropolitan Area Using Low-Cost Particle Monitors.	Sensors	2017	DBLP DOI BibTeX RDF
15	Tony Clark 0001, Vinay Kulkarni, Souvik Barat, Balbir Barn	Actor Monitors for Adaptive Behaviour.	ISEC	2017	DBLP BibTeX RDF
15	Dennis S. Hansen, Mads V. Bram, Zhenyu Yang 0001	Efficiency investigation of an offshore deoiling hydrocyclone using real-time fluorescence- and microscopy-based monitors.	CCTA	2017	DBLP DOI BibTeX RDF
15	Jun Inoue 0001, Yoriyuki Yamagata	Operational Semantics of Process Monitors.	RV	2017	DBLP DOI BibTeX RDF
15	Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson	On the Complexity of Determinizing Monitors.	CIAA	2017	DBLP DOI BibTeX RDF
15	Wei-Lun Hung, Vijay K. Garg	Automatic-Signal Monitors with Multi-object Synchronization.	IPDPS	2017	DBLP DOI BibTeX RDF
15	Georges-Axel Jaloyan, Lee Pike	Lock Optimization for Hoare Monitors in Real-Time Systems.	ACSD	2017	DBLP DOI BibTeX RDF
15	Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios A. Tsachouridis	Generation of simulink monitors for control applications from formal requirements.	SIES	2017	DBLP DOI BibTeX RDF
15	Gary McKeown, Christine Spencer, Alex Patterson, Thomas Creaney, Damien Dupré	Comparing virtual reality with computer monitors as rating environments for affective dimensions in social interactions.	ACII	2017	DBLP DOI BibTeX RDF
15	Claudio Antares Mezzina, Jorge A. Pérez 0001	Causally consistent reversible choreographies: a monitors-as-memories approach.	PPDP	2017	DBLP DOI BibTeX RDF
15	Florian Cacho, Ahmed Benhassain, Riddhi Jitendrakumar Shah, Souhir Mhira, Vincent Huard, Lorena Anghel	Investigation of critical path selection for in-situ monitors insertion.	IOLTS	2017	DBLP DOI BibTeX RDF
15	Orhio Mark Creado, Phu Dung Le	Enforcing Security in Artificially Intelligent Robots Using Monitors (Short Paper).	ISPEC	2017	DBLP DOI BibTeX RDF
15	Elena Esposito, Saverio De Vito, Maria Salvato, Grazia Fattoruso, Girolamo Di Francia	Computational Intelligence for Smart Air Quality Monitors Calibration.	ICCSA (3)	2017	DBLP DOI BibTeX RDF
15	Adrian Francalanza	Consistently-Detecting Monitors.	CONCUR	2017	DBLP DOI BibTeX RDF
15	Ahmed M. Mahfouz, Md Lutfar Rahman, Sajjan G. Shiva	Secure live virtual machine migration through runtime monitors.	IC3	2017	DBLP DOI BibTeX RDF
15	Zohreh A. Dannenhauer, Michael T. Cox	Rationale-Based Visual Planning Monitors for Cognitive Systems.	FLAIRS	2017	DBLP BibTeX RDF
15	Yishen Huang, Qixiang Cheng, Nathan C. Abrams, Ji Zhou, Sébastien Rumley, Keren Bergman	Automated Calibration and Characterization for Scalable Integrated Optical Switch Fabrics without Built-in Power Monitors.	ECOC	2017	DBLP DOI BibTeX RDF
15	Chang Liu 0010	Improvement of hardware reliability with aging monitors.		2017	RDF
15	Christian Colombo 0001, Yliès Falcone	Organising LTL monitors over distributed systems with a global clock.	Formal Methods Syst. Des.	2016	DBLP DOI BibTeX RDF
15	Kekai Hu, Harikrishnan Kumarapillai Chandrikakutty, Zachary Goodman, Russell Tessier, Tilman Wolf	Dynamic Hardware Monitors for Network Processor Protection.	IEEE Trans. Computers	2016	DBLP DOI BibTeX RDF
15	Claudio Antares Mezzina, Jorge A. Pérez 0001	Reversible Sessions Using Monitors.	PLACES	2016	DBLP DOI BibTeX RDF
15	Anwar Ul Haq, Hans-Arno Jacobsen	A Step towards Advanced Metering for the Smart Grid: A Survey of Energy Monitors.	CoRR	2016	DBLP BibTeX RDF
15	Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri	Parallel Monitors for Self-adaptive Sessions.	PLACES	2016	DBLP DOI BibTeX RDF
15	Mounir Assaf, David A. Naumann	Calculational Design of Information Flow Monitors (extended version).	CoRR	2016	DBLP BibTeX RDF
15	Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson	Determinizing Monitors for HML with Recursion.	CoRR	2016	DBLP BibTeX RDF
15	Congcong Zhou, Jingjie Feng, Jun Hu, Xuesong Ye	Study of Artifact-Resistive Technology Based on a Novel Dual Photoplethysmography Method for Wearable Pulse Rate Monitors.	J. Medical Syst.	2016	DBLP DOI BibTeX RDF
15	Evelyne J. B. Sørensen	The post that wasn't: Facebook monitors everything users type and not publish.	Comput. Law Secur. Rev.	2016	DBLP DOI BibTeX RDF
15	Saket Gupta, Carl Monzel, Daniel S. Reed, Yifei Zhang, Mark Winter, Myron Buer	Bitcell-Based Design of On-Chip Process Variability Monitors for Sub-28 nm Memories.	IEEE Trans. Circuits Syst. I Regul. Pap.	2016	DBLP DOI BibTeX RDF
15	Fatemeh Imani-Mehr, Mehran S. Fallah	How Powerful Are Run-Time Monitors with Static Information?	Comput. J.	2016	DBLP DOI BibTeX RDF
15	Mahroo Zandrahimi, Philippe Debaud, Armand Castillejo, Zaid Al-Ars	Industrial approaches for performance evaluation using on-chip monitors.	IDT	2016	DBLP DOI BibTeX RDF
15	Nataliia Bielova, Tamara Rezk	A Taxonomy of Information Flow Monitors.	POST	2016	DBLP DOI BibTeX RDF