Search results for "watchdogs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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
1	Rudy Lauwereins	Biomedical electronics serving as physical environmental and emotional watchdogs.	DAC	2012	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	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
1	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
1	Yang Li, Beibei He	Optimizing lead time and resource utilization for service enterprises.	Service Oriented Computing and Applications	2008	DBLP DOI BibTeX RDF	Standard lead time, Telecommunications strategic review, Resource management, Service level agreement, Combinatorial optimisation
1	A. Karygiannis, K. Robotis, E. Antonakakis	Creating Offline MANET IDS Network Traces.	WOWMOM	2007	DBLP DOI BibTeX RDF
1	Dmitri Roussinov, Jose Antonio Robles-Flores	How Question Answering Technology Helps to Locate Malevolent Online Content.	ISI	2005	DBLP DOI BibTeX RDF
1	Aline Chevalier, Pierre L. Kunsch, Jean-Pierre Brans	A contribution to the development of strategic control and planning instruments. A divestiture case study.	Operational Research	2003	DBLP DOI BibTeX RDF	control and planning framework, watchdogs, adaptive systems, risk analysis, multiple criteria
1	Christos Papadopoulos, Robert Lindell, John Mehringer, Alefiya Hussain, Ramesh Govindan	COSSACK: Coordinated Suppression of Simultaneous Attacks.	DISCEX	2003	DBLP DOI BibTeX RDF
1	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
1	Andreas Rau	Verwendung von Zusicherungen in einem modellbasierten Entwicklungsprozess (Using Assertions and Watchdogs in a Model-Based Development Process).	it+ti - Informationstechnik und Technische Informatik	2002	DBLP DOI BibTeX RDF
1	Christof Fetzer	Enforcing Perfect Failure Detection.	ICDCS	2001	DBLP DOI BibTeX RDF
1	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
1	Joseph Sifakis	On the Composition of Timed Systems.	ICATPN	1997	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
1	G. Berry, S. Ramesh, R. K. Shyamasundar	Communicating Reactive Processes.	POPL	1993	DBLP DOI BibTeX RDF	CSP, CSP
1	Martin Jourdan, Florence Maraninchi, Alfredo Olivero	Verifying Quantitative Real-Time Properties of Synchronous Programs.	CAV	1993	DBLP DOI BibTeX RDF
1	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
1	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
1	Brian N. Bershad, C. Brian Pinkerton	Watchdogs - Extending the UNIX File System.	Computing Systems	1988	DBLP BibTeX RDF
1	Brian N. Bershad, C. Brian Pinkerton	Watchdogs: Extending the UNIX File System.	USENIX Winter	1988	DBLP BibTeX RDF