|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 47 occurrences of 46 keywords
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMCSA ![In: 6th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2004), 2-10 December 2004, Lake District National Park, UK, pp. 102-111, 2004, IEEE Computer Society, 0-7695-2258-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Chalermek Intanagonwiwat, Sutthipong Lertmanorat |
An approach for promoting contribution in GAF-based ad hoc networks: design and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 11th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2008, Vancouver, British Columbia, Canada, October 27-31, 2008, pp. 375-379, 2008, ACM, 978-1-60558-235-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: Intelligence and Security Informatics, IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005, Proceedings, pp. 418-421, 2005, Springer, 3-540-25999-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Raul Barbosa |
Monitoring Local Progress with Watchdog Timers Deduced from Global Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31 - November 3, 2010, pp. 131-140, 2010, IEEE Computer Society, 978-0-7695-4250-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 3(1), pp. 25-40, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 230, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | JongHyup Lee, Taekyoung Kwon 0002 |
Distributed Watchdogs Based on Blockchain for Securing Industrial Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(13), pp. 4393, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Pascal Bemmann, Rongmao Chen, Tibor Jager |
Subversion-Resilient Public Key Encryption with Practical Watchdogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography (1) ![In: Public-Key Cryptography - PKC 2021 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part I, pp. 627-658, 2021, Springer, 978-3-030-75244-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Eunji Park, Kyung Ho Park, Huy Kang Kim |
Understand Watchdogs: Discover How Game Bot Get Discovered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 2, Online Streaming, February 4-6, 2021., pp. 924-931, 2021, SCITEPRESS, 978-989-758-484-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Eunji Park, Kyoung Ho Park, Huy Kang Kim |
Understand Watchdogs: Discover How Game Bot Get Discovered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.13374, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Hsiang Hsu, Shahab Asoodeh, Flávio P. Calmon |
Information-Theoretic Privacy Watchdogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2019, Paris, France, July 7-12, 2019, pp. 552-556, 2019, IEEE, 978-1-5386-9291-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPCS ![In: 2019 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, ISPCS 2019, Portland, OR, USA, September 22-27, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-7607-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Chang Lou, Peng Huang 0005, Scott Smith |
Comprehensive and Efficient Runtime Checking in System Software through Watchdogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019, pp. 51-57, 2019, ACM, 978-1-4503-6727-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | George V. Neville-Neil |
Watchdogs vs. snowflakes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 61(6), pp. 28-29, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: 2018 IEEE Symposium on Computers and Communications, ISCC 2018, Natal, Brazil, June 25-28, 2018, pp. 123-128, 2018, IEEE, 978-1-5386-6950-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Monir Azraoui, Kaoutar Elkhiyaoui, Refik Molva, Melek Önen |
StealthGuard: Proofs of Retrievability with Hidden Watchdogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (1) ![In: Computer Security - ESORICS 2014 - 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part I, pp. 239-256, 2014, Springer, 978-3-319-11202-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Shehla S. Rana, Nitin H. Vaidya |
Watchdogs to the rescue: Securing wireless TCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2012, Seoul, Korea (South), June 18-21, 2012, pp. 497-505, 2012, IEEE, 978-1-4673-1904-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Fourth International Conference on Ubiquitous and Future Networks, ICUFN 2012, Puket, Thailand, July 4-6, 2012, pp. 68-73, 2012, IEEE, 978-1-4673-1377-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing - 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings, pp. 312-322, 2012, Springer, 978-3-642-30766-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wireless Days ![In: Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21-23, 2012, pp. 1-6, 2012, IEEE, 978-1-4673-4402-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Rudy Lauwereins |
Biomedical electronics serving as physical environmental and emotional watchdogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: The 49th Annual Design Automation Conference 2012, DAC '12, San Francisco, CA, USA, June 3-7, 2012, pp. 1-5, 2012, ACM, 978-1-4503-1199-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informationstechnik Tech. Inform. ![In: Informationstechnik Tech. Inform. 44(3), pp. 137-144, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Brian N. Bershad, C. Brian Pinkerton |
Watchdogs - Extending the UNIX File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. ![In: Comput. Syst. 1(2), pp. 169-188, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
30 | Brian N. Bershad, C. Brian Pinkerton |
Watchdogs: Extending the UNIX File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Winter ![In: Proceedings of the USENIX Winter Conference. Dallas, Texas, USA, January 1988, pp. 267-275, 1988, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Nicholas Diakopoulos, Irfan A. Essa |
Modulating video credibility via visualization of quality evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICOW ![In: Proceedings of the 4th ACM Workshop on Information Credibility on the Web, WICOW 2010, Raleigh, North Carolina, USA, April 27, 2010, pp. 75-82, 2010, ACM, 978-1-60558-940-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 2(2-3), pp. 65-78, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 854-860, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | A. Karygiannis, K. Robotis, E. Antonakakis |
Creating Offline MANET IDS Network Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: 2007 International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2007), 18-21 June 2007, Helsinki, Finland, Proceedings, pp. 1-6, 2007, IEEE Computer Society, 1-4244-0992-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Christof Fetzer |
Perfect Failure Detection in Timed Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(2), pp. 99-112, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCEX (2) ![In: 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA, pp. 94-96, 2003, IEEE Computer Society, 0-7695-1897-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Christof Fetzer |
Enforcing Perfect Failure Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 350-357, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Christof Fetzer |
Enforcing synchronous system properties on top of timed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA, pp. 185-192, 2000, IEEE Computer Society, 0-7695-0975-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 21-22, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001 |
Default Timed Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 272-285, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 347-358, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar |
Communicating Reactive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 85-98, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
CSP, CSP |
20 | Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
Compiling Real-Time Specifications into Extended Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 794-804, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1992, Monterey, CA, USA, May 3-7, 1992, Proceedings, pp. 565-570, 1992, ACM, 0-89791-513-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Large-scale human factors, centralized usability resources, championing, usability lab, usability toolkit, consulting |
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|