Search results for "watchdogs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
51	Sonja Buchegger, Cédric Tissières, Jean-Yves Le Boudec	A Test-Bed for Misbehavior Detection in Mobile Ad-hoc Networks -- How Much Can Watchdogs Really Do?	WMCSA	2004	DBLP DOI BibTeX RDF
41	Chalermek Intanagonwiwat, Sutthipong Lertmanorat	An approach for promoting contribution in GAF-based ad hoc networks: design and implementation.	MSWiM	2008	DBLP DOI BibTeX RDF	GAF, selfish node detection, wireless ad hoc networks
41	Dmitri Roussinov, Jose Antonio Robles-Flores	How Question Answering Technology Helps to Locate Malevolent Online Content.	ISI	2005	DBLP DOI BibTeX RDF
33	Raul Barbosa	Monitoring Local Progress with Watchdog Timers Deduced from Global Properties.	SRDS	2010	DBLP DOI BibTeX RDF	watchdogs, fault tolerance, distributed systems, model checking, intrusion tolerance, online monitoring
33	Aline Chevalier, Pierre L. Kunsch, Jean-Pierre Brans	A contribution to the development of strategic control and planning instruments. A divestiture case study.	Oper. Res.	2003	DBLP DOI BibTeX RDF	control and planning framework, watchdogs, adaptive systems, risk analysis, multiple criteria
30	Pascal Bemmann, Rongmao Chen, Tibor Jager	Subversion-Resilient Public Key Encryption with Practical Watchdogs.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
30	JongHyup Lee, Taekyoung Kwon 0002	Distributed Watchdogs Based on Blockchain for Securing Industrial Internet of Things.	Sensors	2021	DBLP DOI BibTeX RDF
30	Pascal Bemmann, Rongmao Chen, Tibor Jager	Subversion-Resilient Public Key Encryption with Practical Watchdogs.	Public Key Cryptography (1)	2021	DBLP DOI BibTeX RDF
30	Eunji Park, Kyung Ho Park, Huy Kang Kim	Understand Watchdogs: Discover How Game Bot Get Discovered.	ICAART (2)	2021	DBLP DOI BibTeX RDF
30	Eunji Park, Kyoung Ho Park, Huy Kang Kim	Understand Watchdogs: Discover How Game Bot Get Discovered.	CoRR	2020	DBLP BibTeX RDF
30	Hsiang Hsu, Shahab Asoodeh, Flávio P. Calmon	Information-Theoretic Privacy Watchdogs.	ISIT	2019	DBLP DOI BibTeX RDF
30	Martin Langer, Kristof Teichel, Kai Heine, Dieter Sibold, Rainer Bermbach	Guards and Watchdogs in One-Way Synchronization with Delay-Related Authentication Mechanisms.	ISPCS	2019	DBLP DOI BibTeX RDF
30	Chang Lou, Peng Huang 0005, Scott Smith	Comprehensive and Efficient Runtime Checking in System Software through Watchdogs.	HotOS	2019	DBLP DOI BibTeX RDF
30	George V. Neville-Neil	Watchdogs vs. snowflakes.	Commun. ACM	2018	DBLP DOI BibTeX RDF
30	Diogo Soares, Bruno Matthaus, Edjair de Souza Mota, Celso B. Carvalho	A Feasibility Study of Watchdogs on Opportunistic Mobile Networks.	ISCC	2018	DBLP DOI BibTeX RDF
30	Monir Azraoui, Kaoutar Elkhiyaoui, Refik Molva, Melek Önen	StealthGuard: Proofs of Retrievability with Hidden Watchdogs.	ESORICS (1)	2014	DBLP DOI BibTeX RDF
30	Shehla S. Rana, Nitin H. Vaidya	Watchdogs to the rescue: Securing wireless TCP.	SECON	2012	DBLP DOI BibTeX RDF
30	Enrique Hernández-Orallo, Manuel D. Serrat Olmos, Juan-Carlos Cano, Carlos T. Calafate, Pietro Manzoni	Collaborative watchdogs: A fast and efficient approach to deal with selfish nodes in MANETs.	ICUFN	2012	DBLP DOI BibTeX RDF
30	Firoz Ahmed, Seokhoon Yoon, Hoon Oh	A Bullet-Proof Verification Using Distributed Watchdogs (BPV-DW) to Detect Black Hole Attack in Mobile Ad Hoc Networks.	GPC	2012	DBLP DOI BibTeX RDF
30	Manuel D. Serrat Olmos, Enrique Hernández-Orallo, Juan-Carlos Cano, Carlos Miguel Tavares Calafate, Pietro Manzoni	Accurate detection of black holes in MANETs using collaborative bayesian watchdogs.	Wireless Days	2012	DBLP DOI BibTeX RDF
30	Rudy Lauwereins	Biomedical electronics serving as physical environmental and emotional watchdogs.	DAC	2012	DBLP DOI BibTeX RDF
30	Andreas Rau 0004	Verwendung von Zusicherungen in einem modellbasierten Entwicklungsprozess (Using Assertions and Watchdogs in a Model-Based Development Process).	Informationstechnik Tech. Inform.	2002	DBLP DOI BibTeX RDF
30	Brian N. Bershad, C. Brian Pinkerton	Watchdogs - Extending the UNIX File System.	Comput. Syst.	1988	DBLP BibTeX RDF
30	Brian N. Bershad, C. Brian Pinkerton	Watchdogs: Extending the UNIX File System.	USENIX Winter	1988	DBLP BibTeX RDF
20	Nicholas Diakopoulos, Irfan A. Essa	Modulating video credibility via visualization of quality evaluations.	WICOW	2010	DBLP DOI BibTeX RDF	visualization, video annotation, credibility, mechanical turk
20	Yang Li, Beibei He	Optimizing lead time and resource utilization for service enterprises.	Serv. Oriented Comput. Appl.	2008	DBLP DOI BibTeX RDF	Standard lead time, Telecommunications strategic review, Resource management, Service level agreement, Combinatorial optimisation
20	Christoph Stögerer, Wolfgang Kastner	Extending the Watchdog Pattern for multi-threaded windows based traffic management and control applications.	ETFA	2008	DBLP DOI BibTeX RDF
20	A. Karygiannis, K. Robotis, E. Antonakakis	Creating Offline MANET IDS Network Traces.	WOWMOM	2007	DBLP DOI BibTeX RDF
20	Christof Fetzer	Perfect Failure Detection in Timed Asynchronous Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Perfect failure detection, timed asynchronous system model, asynchronous distributed systems, crash failures
20	Christos Papadopoulos, Robert Lindell, John Mehringer, Alefiya Hussain, Ramesh Govindan	COSSACK: Coordinated Suppression of Simultaneous Attacks.	DISCEX (2)	2003	DBLP DOI BibTeX RDF
20	Christof Fetzer	Enforcing Perfect Failure Detection.	ICDCS	2001	DBLP DOI BibTeX RDF
20	Christof Fetzer	Enforcing synchronous system properties on top of timed systems.	PRDC	2000	DBLP DOI BibTeX RDF	synchronous system properties, synchronous system model, missed deadline, performance evaluation, performance, computational complexity, complexity, protocols, protocols, fault tolerant computing, timed systems, omission failures, dependable distributed system
20	Joseph Sifakis	On the Composition of Timed Systems.	ICATPN	1997	DBLP DOI BibTeX RDF
20	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
20	Martin Jourdan, Florence Maraninchi, Alfredo Olivero	Verifying Quantitative Real-Time Properties of Synchronous Programs.	CAV	1993	DBLP DOI BibTeX RDF
20	Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar	Communicating Reactive Processes.	POPL	1993	DBLP DOI BibTeX RDF	CSP, CSP
20	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
20	Deborah Mrazek, Michael Rafeld	Integrating Human Factors on a Large Scale: Product Usability Champions.	CHI	1992	DBLP DOI BibTeX RDF	Large-scale human factors, centralized usability resources, championing, usability lab, usability toolkit, consulting