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 |