Search results for "monitors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Eric Mays	Monitors as Responses to Questions: Determining Competence.	AAAI	1982	DBLP BibTeX RDF
15	John F. Thill, Randy E. Moore	Measuring NCR Comten Communications Processors with Hardware Monitors.	Int. CMG Conference	1981	DBLP BibTeX RDF
15	Wilhelm Rosenbohm	Messung von SVC - Ausführungszeiten mit Hilfe eines Software-Monitors.	MMB	1981	DBLP DOI BibTeX RDF
15	David Chaum	Verification by Anonymous Monitors.	CRYPTO	1981	DBLP BibTeX RDF
15	Stein Gjessing	Monitors with Arrays of Condition Variables and Proof Rules Handling Local Quantities.	BIT	1980	DBLP DOI BibTeX RDF
15	Anders P. Ravn	Device Monitors.	IEEE Trans. Software Eng.	1980	DBLP DOI BibTeX RDF
15	Butler W. Lampson, David D. Redell	Experience with Processes and Monitors in Mesa.	Commun. ACM	1980	DBLP DOI BibTeX RDF
15	Chuck Rieger, Craig Stanfill	Real Time Causal Monitors for Complex Physical Sites.	AAAI	1980	DBLP BibTeX RDF
15	James Leslie Keedy	On Structuring Operating Systems With Monitors.	ACM SIGOPS Oper. Syst. Rev.	1979	DBLP DOI BibTeX RDF
15	J. F. A. Wiederhold	Tuning to Service Standards Without Monitors.	Comput. J.	1979	DBLP DOI BibTeX RDF
15	Butler W. Lampson, David D. Redell	Experience with Processes and Monitors in Mesa (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF	MESA
15	James Leslie Keedy	On Structuring Operating Systems With Monitors.	Aust. Comput. J.	1978	DBLP BibTeX RDF
15	J. Malcolm Keelty, Kamilo Feher	On-Line Pseudo-Error Monitors for Digital Transmission Systems.	IEEE Trans. Commun.	1978	DBLP DOI BibTeX RDF
15	Edwin Anderson	Performance Monitors: A Tutorial Summary.	Int. CMG Conference	1978	DBLP BibTeX RDF
15	Joep L. W. Kessels	An Alternative to Event Queues for Synchronization in Monitors.	Commun. ACM	1977	DBLP DOI BibTeX RDF
15	Andrew M. Lister, P. J. Sayer	Hierarchical Monitors.	Softw. Pract. Exp.	1977	DBLP DOI BibTeX RDF
15	Alfons J. Jammel, Helmut G. Stiegler	Managers Versus Monitors.	IFIP Congress	1977	DBLP BibTeX RDF
15	Jan van den Bos	A Design of a Communication Supervisor for a Local Network Employing Monitors.	International Computing Symposium	1977	DBLP BibTeX RDF
15	Gary J. Nutt	Tutorial: computer system monitors.	SIGMETRICS Perform. Evaluation Rev.	1976	DBLP DOI BibTeX RDF
15	Hans Albrecht Schmid	On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors.	Acta Informatica	1976	DBLP DOI BibTeX RDF
15	John H. Howard	Proving Monitors.	Commun. ACM	1976	DBLP DOI BibTeX RDF
15	Per Brinch Hansen	The Solo Operating System: Processes, Monitors, and Classes.	Softw. Pract. Exp.	1976	DBLP DOI BibTeX RDF
15	Andrew M. Lister, K. J. Maynard	An Implementation of Monitors.	Softw. Pract. Exp.	1976	DBLP DOI BibTeX RDF
15	Liba Svobodova	Software Perfromance Monitors: Design Trade-Offs.	Int. CMG Conference	1976	DBLP BibTeX RDF
15	Thomas A. Boyle	Computer-scored, programmed test monitors student progress.	SIGCSE-SIGCUE	1976	DBLP DOI BibTeX RDF
15	Richard Alan Karp, David C. Luckham	Verification of Fairness in an Implementation of Monitors.	ICSE	1976	DBLP BibTeX RDF
15	John H. Howard	Signaling in Monitors.	ICSE	1976	DBLP BibTeX RDF
15	C. V. Ramamoorthy, K. H. Kim, W. T. Chen	Optimal Placement of Software Monitors Aiding Systematic Testing.	IEEE Trans. Software Eng.	1975	DBLP DOI BibTeX RDF
15	Rajiv Malhotra	Interaction monitors in a distributed system.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
15	Thomas G. Peterson	A comparison of software and hardware monitors.	SIGMETRICS Perform. Evaluation Rev.	1974	DBLP DOI BibTeX RDF
15	C. A. R. Hoare	Monitors: An Operating System Structuring Concept.	Commun. ACM	1974	DBLP DOI BibTeX RDF
15	Gerard J. Foschini, Andres C. Salazar, J. W. Smith	Markov Process Analysis of PCM Line Monitors.	IEEE Trans. Commun.	1974	DBLP DOI BibTeX RDF
15	Liba Svobodova	Online System Performance Measurements with Software and Hybrid Monitors.	SOSP	1973	DBLP DOI BibTeX RDF
15	Gary Carlson	A User's View of Hardware Performance Monitors, or How to Get More Computer for Your Dollar.	IFIP Congress (2)	1971	DBLP BibTeX RDF
15	William A. Wulf	Performance monitors for multi-programming systems.	SOSP	1969	DBLP DOI BibTeX RDF
14	Kenji Masui, Benoit Donnet	DTS: A Decentralized Tracing System.	TMA	2009	DBLP DOI BibTeX RDF
14	Mennan Güder, Nihan Kesim Cicekli, Özgül Salor, Isik Çadirci	Clustering of power quality event data collected via monitoring systems installed on the electricity network.	KDD Workshop on Knowledge Discovery from Sensor Data	2009	DBLP DOI BibTeX RDF	power quality event, data mining, k-means clustering, power quality
14	Pierre Bucher, Stéphane Chatty	Qu'est-ce qu'une surface d'affichage?: une analyse rétrospective.	IHM	2009	DBLP DOI BibTeX RDF	transformation, representation, projection, surface, display, window
14	Zhiwu Li 0001, Mi Zhao	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
14	Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, Leendert van Doorn	Towards Sound Detection of Virtual Machines.	Botnet Detection	2008	DBLP DOI BibTeX RDF
14	Janusz Wrobel, Janusz Jezewski, Krzysztof Horoba	Coping with Limitation of Bedside Measurement Instrumentation for Reliable Assessment of Fetal Heart Rate Variability.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
14	Aaron Schulman, Dave Levin, Neil Spring	On the Fidelity of 802.11 Packet Traces.	PAM	2008	DBLP DOI BibTeX RDF
14	Janusz Borkowski, Marek Tudruj	Tuning the Efficiency of Parallel Adaptive Integration with Synchronizers.	PDP	2008	DBLP DOI BibTeX RDF	load balancing, global states, adaptive integration
14	Konstantinos Kemalis, Theodoros Tzouramanis	SQL-IDS: a specification-based approach for SQL-injection detection.	SAC	2008	DBLP DOI BibTeX RDF	specification-based runtime validation, world-wide web, database security, web application security, SQL injection attacks
14	Wei Dong 0006, Martin Leucker, Christian Schallhart	Impartial Anticipation in Runtime-Verification.	ATVA	2008	DBLP DOI BibTeX RDF
14	Ali Rezaee, Amir Masoud Rahmani, Sahar Adabi	A Fuzzy-Based Adaptive Agent for Grid Services.	APSCC	2008	DBLP DOI BibTeX RDF
14	Jean Goubault-Larrecq, Julien Olivain	A Smell of Orchids.	RV	2008	DBLP DOI BibTeX RDF
14	Nima Motamedi	Hd touch: multi-touch and object sensing on a high definition lcd tv.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	tangible interface, multi-touch, lcd, surface computing
14	Minjin Kwon, Kyoochang Jeong, Heejo Lee	PROBE: A Process Behavior-Based Host Intrusion Prevention System.	ISPEC	2008	DBLP DOI BibTeX RDF
14	Zhiwu Li 0001, Moshe Shpitalni	A Deadlock Prevention Policy for FMS Using Elementary Siphons of Petri Nets with Uncontrollable Transitions.	ICNSC	2008	DBLP DOI BibTeX RDF
14	Matthew Roughan, Simon Jonathan Tuke, Olaf Maennel	Bigfoot, sasquatch, the yeti and other missing links: what we don't know about the as graph.	Internet Measurement Conference	2008	DBLP DOI BibTeX RDF	topology inference
14	Z. W. Li, H. S. Hu, An R. Wang	Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
14	Ilya Wagner, Valeria Bertacco, Todd M. Austin	Microprocessor Verification via Feedback-Adjusted Markov Models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
14	Chuan Feng, Jianfeng Peng, Haiyan Qiao, Jerzy W. Rozenblit	Alert Fusion for a Computer Host Based Intrusion Detection System.	ECBS	2007	DBLP DOI BibTeX RDF
14	Jianfeng Peng, Chuan Feng, Haiyan Qiao, Jerzy W. Rozenblit	An Event-Driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation.	ECBS	2007	DBLP DOI BibTeX RDF
14	Kees Goossens, Bart Vermeulen, Remco van Steeden, Martijn T. Bennebroek	Transaction-Based Communication-Centric Debug.	NOCS	2007	DBLP DOI BibTeX RDF
14	Janusz Borkowski, Marek Tudruj	Dual Communication Network in Program Control Based on Global Application State Monitoring.	ISPDC	2007	DBLP DOI BibTeX RDF
14	Karl F. Van Orden, Erik Viirre, David A. Kobus	Augmenting Task-Centered Design with Operator State Assessment Technologies.	HCI (16)	2007	DBLP DOI BibTeX RDF
14	Eric Bodden, Hans Vangheluwe	Transforming Timeline Specifications into Automata for Runtime Monitoring.	AGTIVE	2007	DBLP DOI BibTeX RDF
14	Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini	Runtime Verification of Interactions: From MSCs to Aspects.	RV	2007	DBLP DOI BibTeX RDF
14	Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima	Dynamic Translator-Based Virtualization.	SEUS	2007	DBLP DOI BibTeX RDF
14	Keisuke Takemori, Yutaka Miyake, Chie Ishida, Iwao Sasase	A SOC Framework for ISP Federation and Attack Forecast by Learning Propagation Patterns.	ISI	2007	DBLP DOI BibTeX RDF
14	Ying Zhang 0022, Zheng Zhang 0009, Zhuoqing Morley Mao, Y. Charlie Hu, Bruce M. Maggs	On the impact of route monitor selection.	Internet Measurement Conference	2007	DBLP DOI BibTeX RDF	internet measurement, bgp
14	William N. Robinson	A requirements monitoring framework for enterprise systems.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	Web services, Electronic commerce, CASE, Requirements monitoring
14	ZhiWu Li 0001, MengChu Zhou	Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
14	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Usage of Global States-Based Application Control.	ISPDC	2006	DBLP DOI BibTeX RDF
14	Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam	Efficient trace monitoring.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	aspect-oriented programming, program analysis, runtime verification, program monitoring
14	Clifton Forlines, Chia Shen, Daniel Wigdor, Ravin Balakrishnan	Exploring the effects of group size and display configuration on visual search.	CSCW	2006	DBLP DOI BibTeX RDF	group size, horizontal display, multi-monitor interfaces, shared-display groupware, visual search
14	Yuchung Cheng, John Bellardo, Péter Benkö, Alex C. Snoeren, Geoffrey M. Voelker, Stefan Savage	Jigsaw: solving the puzzle of enterprise 802.11 analysis.	SIGCOMM	2006	DBLP DOI BibTeX RDF	wireless networks, measurement, monitoring, 802.11
14	Adam Welc, Antony L. Hosking, Suresh Jagannathan	Transparently Reconciling Transactions with Locking for Java Synchronization.	ECOOP	2006	DBLP DOI BibTeX RDF
14	Awais Ahmed Awan, Andrew W. Moore 0002	Synergy: blending heterogeneous measurement elements for effective network monitoring.	CoNEXT	2006	DBLP DOI BibTeX RDF	distributed measurement, network traffic monitoring, spatial domain monitoring, anomaly detection
14	Lauren Shupp, Robert Ball, Beth Yost, John Booker, Chris North 0001	Evaluation of viewport size and curvature of large, high-resolution displays.	Graphics Interface	2006	DBLP BibTeX RDF	large tiled display, reconfigurable display, viewport size, curvature, geospatial, high-resolution
14	Guy Gogniat, Tilman Wolf, Wayne P. Burleson	Reconfigurable Security Support for Embedded Systems.	HICSS	2006	DBLP DOI BibTeX RDF
14	A. Prasad Sistla, Min Zhou, Lenore D. Zuck	Monitoring Off-the-Shelf Components.	VMCAI	2006	DBLP DOI BibTeX RDF
14	Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi	Execution monitoring enforcement for limited-memory systems.	PST	2006	DBLP DOI BibTeX RDF	bounded history automata, enforcement mechanisms, locally-testable properties, security policies, execution monitoring, edit automata
14	Bruno F. Ribeiro, Donald F. Towsley, Tao Ye, Jean Bolot	Fisher information of sampled packets: an application to flow size estimation.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	efficient estimator, flow size distribution, probabilistic sampling, maximum likelihood estimation, packet sampling, Fisher information
14	Jeongmin Park, Hyunsang Youn, Eunseok Lee 0001	A Multi-agent Based Context Aware Self-healing System.	IDEAL	2005	DBLP DOI BibTeX RDF
14	Young-Joo Kim, Mi-Young Park, So-Hee Park, Yong-Kee Jun	A Practical Tool for Detecting Races in OpenMP Programs.	PaCT	2005	DBLP DOI BibTeX RDF
14	Jeongmin Park, Giljong Yoo, Eunseok Lee 0001	Proactive Self-Healing System based on Multi-Agent Technologies.	SERA	2005	DBLP DOI BibTeX RDF	Self-diagnosing, CBE (Common Base Event), Ubiquitous computing, Agent, Self-healing
14	Richard Milton, Anthony Steed	Correcting GPS Readings from a Tracked Mobile Sensor.	LoCA	2005	DBLP DOI BibTeX RDF
14	Elisa Bertino, Alessandra Mileo, Alessandro Provetti	PDL with Preferences.	POLICY	2005	DBLP DOI BibTeX RDF
14	William Yurcik, Xin Meng, Nadir Kiyanclar	NVisionCC: a visualization framework for high performance cluster security.	VizSEC	2004	DBLP DOI BibTeX RDF	NVisionCC, cluster security, high performance security, security situational awareness, security visualization
14	Yutaka Matsuo	Word Weighting Based on User's Browsing History.	User Modeling	2003	DBLP DOI BibTeX RDF
14	Hiroyuki Nishiyama, Yukinobu Mine, Fumio Mizoguchi	The Design of a Secure Distributed Devices System Based on Immunity.	ISSS	2003	DBLP DOI BibTeX RDF
14	Lars Ailo Bongo, Otto J. Anshus, John Markus Bjørndalen	EventSpace - Exposing and Observing Communication Behavior of Parallel Cluster Applications.	Euro-Par	2003	DBLP DOI BibTeX RDF
14	Susmit Bagchi, Mads Nygaard	Application Controlled IPC Synchrony - An Event Driven Multithreaded Approach.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
14	Bartosz Balis, Marian Bubak, Wlodzimierz Funika, Roland Wismüller, Grzegorz Kaplita	Monitoring Threaded Application with Thread-Enabled OMIS Monitor.	PPAM	2003	DBLP DOI BibTeX RDF	performance analysis, monitoring, debugging, Multithreading, parallel tools
14	Sava Stanic, Suresh Subramaniam 0001, Hongsik Choi, Gokhan Sahin, Hyeong-Ah Choi	Efficient Alarm Management in Optical Networks.	DISCEX (1)	2003	DBLP DOI BibTeX RDF
14	Ramesh C. Jain	PC and TV Convergence: Is it Finally Here?	IEEE Multim.	2002	DBLP DOI BibTeX RDF
14	J Strother Moore, George Porter	The apprentice challenge.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation
14	Michelle Joab, Odette Auzende, Michel Futtersack, Brigitte Bonnet, Patrice Le Leydour	Computer Aided Evaluation of Trainee Skills on a Simulator Network.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
14	Ali Maqousi, Shalini Tater, Frank Ball	Traffic Monitoring Techniques for Measurement Based Flow Acceptance Control.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	Multisirvice networks, MFAC, Traffic Monitoring
14	Wei Huang, Judith S. Olson, Gary M. Olson	Camera angle affects dominance in video-mediated communication.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	camera angle, distance, dominance, proximity, influence, height, VMC
14	Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu	Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module.	PRDC	2002	DBLP DOI BibTeX RDF
14	Raul Ceretta Nunes, Ingrid Jansch-Pôrto	Modeling Communication Delays in Distributed Systems Using Time Series.	SRDS	2002	DBLP DOI BibTeX RDF
14	Robert G. Cole, J. H. Rosenbluth	Voice over IP performance monitoring.	Comput. Commun. Rev.	2001	DBLP DOI BibTeX RDF
14	Robert E. Strom, Joshua S. Auerbach	The Optimistic Readers Transformation.	ECOOP	2001	DBLP DOI BibTeX RDF
14	Jason Flinn, Dushyanth Narayanan, Mahadev Satyanarayanan	Self-Tuned Remote Execution for Pervasive Computing.	HotOS	2001	DBLP DOI BibTeX RDF
14	John R. Surdu, John M. D. Hill, Udo W. Pooch	Anticipatory Planning Support System.	WSC	2000	DBLP DOI BibTeX RDF
14	Stephen J. Hartley	"Alfonse, you have a message!".	SIGCSE	2000	DBLP DOI BibTeX RDF	Java