Search results for "counter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Imad Aad, Jean-Pierre Hubaux, Edward W. Knightly	Impact of denial of service attacks on ad hoc networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	black hole attacks, ad hoc networks, DoS attacks
12	Daniel Große, Ulrich Kühne, Rolf Drechsler	Analyzing Functional Coverage in Bounded Model Checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
12	Hua Wang, Yao Guo 0001, Xiangqun Chen	DPAC: A Reuse-Oriented Password Authentication Framework for Improving Password Security.	HASE	2008	DBLP DOI BibTeX RDF
12	Prabal Dutta, David E. Culler, Scott Shenker	Asynchronous Neighbor Discovery: Finding Needles of Connectivity in Haystacks of Time.	IPSN	2008	DBLP DOI BibTeX RDF	birthday protocol, synchronization, neighbor discovery
12	Devu Manikantan Shila, Tricha Anjali	Defending selective forwarding attacks in WMNs.	EIT	2008	DBLP DOI BibTeX RDF
12	Prabal Dutta, David E. Culler	Practical asynchronous neighbor discovery and rendezvous for mobile sensing applications.	SenSys	2008	DBLP DOI BibTeX RDF	protocol, wireless, rendezvous, neighbor discovery
12	Ryan Pries, Wei Yu 0002, Xinwen Fu, Wei Zhao 0001	A New Replay Attack Against Anonymous Communication Networks.	ICC	2008	DBLP DOI BibTeX RDF
12	Chengcui Zhang, Wei-bang Chen, Wen-Lin Liu, Chi-Bang Chen	An Automated Bacterial Colony Counting System.	SUTC	2008	DBLP DOI BibTeX RDF	Biomedical image mining, colony counting
12	Alexandre Rademaker, Edward Hermann Haeusler	Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach.	SBIA	2008	DBLP DOI BibTeX RDF	description logics, proof theory, sequent calculus
12	Suman Deb Roy, Sneha Aman Singh, Subhrabrata Choudhury, Narayan C. Debnath	Countering sinkhole and black hole attacks on sensor networks using Dynamic Trust Management.	ISCC	2008	DBLP DOI BibTeX RDF
12	Sylvain Guilley, Laurent Sauvage, Jean-Luc Danger, Nidhal Selmane, Renaud Pacalet	Silicon-level Solutions to Counteract Passive and Active Attacks.	FDTC	2008	DBLP DOI BibTeX RDF
12	Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001	R-Automata.	CONCUR	2008	DBLP DOI BibTeX RDF
12	Klaus Dräger, Bernd Finkbeiner	Subsequence Invariants.	CONCUR	2008	DBLP DOI BibTeX RDF
12	Pascal Delaunay, Antoine Joux	Yet Another Attack on Vest.	AFRICACRYPT	2008	DBLP DOI BibTeX RDF	VEST, Stream Ciphers, Side Channel Attacks, Fourier Transform
12	Paul Bell, Igor Potapov	Periodic and Infinite Traces in Matrix Semigroups.	SOFSEM	2008	DBLP DOI BibTeX RDF
12	Li Li, Ming Gu 0001, Xiaoyu Song, Jianmin Wang 0001	Effective Predicate Abstraction for Program Verification.	TASE	2008	DBLP DOI BibTeX RDF	program verification, predicate abstraction
12	Guosong Tian, Yu-Chu Tian, Colin J. Fidge	High-Precision Relative Clock Synchronization Using Time Stamp Counters.	ICECCS	2008	DBLP DOI BibTeX RDF
12	Imam Al-wazedi, Ahmed K. Elhakeem	CDMA/MPLS platforms for WIMAX mesh networks.	LCN	2008	DBLP DOI BibTeX RDF
12	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Informatica	2007	DBLP DOI BibTeX RDF
12	Anthony Brew, Marco Grimaldi, Padraig Cunningham	An evaluation of one-class classification techniques for speaker verification.	Artif. Intell. Rev.	2007	DBLP DOI BibTeX RDF	One-class classifiers, Gaussian mixture models, Speaker verification
12	Fred A. Bower, Daniel J. Sorin, Sule Ozev	Online diagnosis of hard faults in microprocessors.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	Hard fault tolerance, fine-grained diagnosis, processor microarchitecture
12	Siddhartha Bhattacharyya, Paramartha Dutta, Ujjwal Maulik	Binary object extraction using bi-directional self-organizing neural network (BDSONN) architecture with fuzzy context sensitive thresholding.	Pattern Anal. Appl.	2007	DBLP DOI BibTeX RDF	Binary object extraction, Bi-directional self-organizing neural network, Fuzzy context sensitive thresholding, System transfer index
12	Baruch Awerbuch, Shay Kutten, Yishay Mansour, Boaz Patt-Shamir, George Varghese	A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock.	IEEE Trans. Dependable Secur. Comput.	2007	DBLP DOI BibTeX RDF	Reliability, Graph Theory, Theory, Distributed networks, DISCRETE MATHEMATICS, Computer Systems Organization, Mathematics of Computing, COMPUTER-COMMUNICATION NETWORKS
12	Jianhua Yao 0001, Ronald M. Summers	Detection and Segmentation of Colonic Polyps on Haustral Folds.	ISBI	2007	DBLP DOI BibTeX RDF
12	Daniel Große, Ulrich Kühne, Rolf Drechsler	Estimating functional coverage in bounded model checking.	DATE	2007	DBLP DOI BibTeX RDF
12	Brian Rogers, Siddhartha Chhabra, Milos Prvulovic, Yan Solihin	Using Address Independent Seed Encryption and Bonsai Merkle Trees to Make Secure Processors OS- and Performance-Friendly.	MICRO	2007	DBLP DOI BibTeX RDF
12	Pierre-Marc Bureau, José M. Fernandez 0001	Optimising Networks Against Malware.	IPCCC	2007	DBLP DOI BibTeX RDF
12	Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Proving Termination of Tree Manipulating Programs.	ATVA	2007	DBLP DOI BibTeX RDF
12	Chwan-Hwa John Wu, Chun-Ching Andy Huang, J. David Irwin	Using Identity-Based Privacy-Protected Access Control Filter (IPACF) to against denial of service attacks and protect user privacy.	SpringSim (3)	2007	DBLP BibTeX RDF	privacy, network security, DDoS, wireless security
12	Mohamed Abdelhafez, George F. Riley, Robert G. Cole, Nam Phamdo	Modeling and Simulations of TCP MANET Worms.	PADS	2007	DBLP DOI BibTeX RDF
12	Ohad Inbar	Graphical representation of statistical information in situations of judgment and decision-making.	ECCE	2007	DBLP DOI BibTeX RDF	graphical representation of statistical information, probability representation, decision-making, uncertainty visualization, risk communication
12	Hae Young Lee, Tae Ho Cho	Fuzzy-Based Reliable Data Delivery for Countering Selective Forwarding in Sensor Networks.	UIC	2007	DBLP DOI BibTeX RDF
12	Yan Zhou, Zach Jorgensen, W. Meador Inge	Combating Good Word Attacks on Statistical Spam Filters with Multiple Instance Learning.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
12	Balaji Jayaraman, Navakanta Bhat	High Precision 16-bit Readout Gas Sensor Interface in 0.13µm CMOS.	ISCAS	2007	DBLP DOI BibTeX RDF
12	Gem Stapleton, Aidan J. Delaney	Towards Overcoming Deficiencies in Constraint Diagrams.	VL/HCC	2007	DBLP DOI BibTeX RDF
12	Antonio L. Cricenti, Philip Branch, Grenville J. Armitage	Time-series Modelling of Server to Client IP Packet Length in First Person Shooter Games.	ICON	2007	DBLP DOI BibTeX RDF
12	Stéphane Demri, Régis Gascon	The Effects of Bounding Syntactic Resources on Presburger LTL.	TIME	2007	DBLP DOI BibTeX RDF
12	Hsinchun Chen	Exploring Extremism and Terrorism on the Web: The Dark Web Project.	PAISI	2007	DBLP DOI BibTeX RDF	terrorism informatics, dark web, intelligence and security informatics
12	Yuechao Niu, Majid Baghaei Nejad, Hannu Tenhunen, Li-Rong Zheng 0001	Design of a Digital Baseband Processor for UWB Transceiver on RFID Tag.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
12	Luis F. G. Sarmenta, Marten van Dijk, Charles W. O'Donnell, Jonathan Rhodes, Srinivas Devadas	Virtual monotonic counters and count-limited objects using a TPM without a trusted OS.	STC	2006	DBLP DOI BibTeX RDF	e-wallet memory integrity checking, key delegation, stored-value, trusted storage, certified execution
12	Ahmed Youssef, Mohab Anis, Mohamed I. Elmasry	Dynamic Standby Prediction for Leakage Tolerant Microprocessor Functional Units.	MICRO	2006	DBLP DOI BibTeX RDF
12	James R. Lee, Assaf Naor	Lp metrics on the Heisenberg group and the Goemans-Linial conjecture.	FOCS	2006	DBLP DOI BibTeX RDF
12	Harald Fecher, Michael Huth 0001	Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.	ATVA	2006	DBLP DOI BibTeX RDF
12	Alke Martens	Time in the Adaptive Tutoring Process Model.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
12	Michael F. Spear, Virendra J. Marathe, William N. Scherer III, Michael L. Scott	Conflict Detection and Validation Strategies for Software Transactional Memory.	DISC	2006	DBLP DOI BibTeX RDF
12	Wenhui Zhang	SAT-Based Verification of LTL Formulas.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
12	Celso de Melo, Rui Prada, Guilherme Raimundo, Joana Paulo Pardal, Helena Sofia Pinto, Ana Paiva 0001	Mainstream Games in the Multi-agent Classroom.	IAT	2006	DBLP DOI BibTeX RDF	Teaching Multi-Agent Systems, Mainstream Games, Multi-Agent Platforms
12	Vince Bárány, Christof Löding, Olivier Serre	Regularity Problems for Visibly Pushdown Languages.	STACS	2006	DBLP DOI BibTeX RDF
12	Yannick Monnet, Marc Renaudin, Régis Leveugle, Christophe Clavier, Pascal Moitrel	Case Study of a Fault Attack on Asynchronous DES Crypto-Processors.	FDTC	2006	DBLP DOI BibTeX RDF
12	Yoon Jung Chung, In-Jung Kim, Chulsoo Lee, Eul-Gyu Im, Dongho Won	Design of an On-Line Intrusion Forecast System with a Weather Forecasting Model.	ICCSA (4)	2006	DBLP DOI BibTeX RDF	Damage Propagation, Information Security control system (ISMS), Forecast, Intrusion, Weather Forecasting
12	Wei Lin 0010, Bin Liu 0001, Yi Tang 0002	Traffic Distribution over Equal-Cost-Multi-Paths using LRU-based Caching with Counting Scheme.	AINA (1)	2006	DBLP DOI BibTeX RDF
12	Koushik De, Santiram Kal	A Low Power 6-Bit A/D Converter Achieving 10-Bit Resolution for MEMS Sensor Interface Using Time-Interleaved Delta Modulation.	VLSI Design	2006	DBLP DOI BibTeX RDF
12	Vithal Kuchibatla, Héctor Muñoz-Avila	An Analysis on Transformational Analogy: General Framework and Complexity.	ECCBR	2006	DBLP DOI BibTeX RDF
12	Xiaopeng Yu, Manh Anh Do, Lin Jia, Jianguo Ma, Kiat Seng Yeo	Design of a low power wide-band high resolution programmable frequency divider.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
12	Ken Newman	Albert in Africa: online role-playing and lessons from improvisational theatre.	Comput. Entertain.	2005	DBLP DOI BibTeX RDF	online communication, fun, role-playing games
12	Matthias Enzmann, Markus Schneider 0002	Improving Customer Retention in E-Commerce through a Secure and Privacy-Enhanced Loyalty System.	Inf. Syst. Frontiers	2005	DBLP DOI BibTeX RDF	customer retention, loyalty systems, privacy, e-commerce
12	Fred A. Bower, Daniel J. Sorin, Sule Ozev	A Mechanism for Online Diagnosis of Hard Faults in Microprocessors.	MICRO	2005	DBLP DOI BibTeX RDF
12	Giuseppe Persiano, Ivan Visconti	Single-Prover Concurrent Zero Knowledge in Almost Constant Rounds.	ICALP	2005	DBLP DOI BibTeX RDF
12	Hagit Attiya, Danny Hendler	Time and Space Lower Bounds for Implementations Using k-CAS.	DISC	2005	DBLP DOI BibTeX RDF
12	Sourav Mukhopadhyay, Palash Sarkar 0001	Application of LFSRs in Time/Memory Trade-Off Cryptanalysis.	WISA	2005	DBLP DOI BibTeX RDF	Time/memory trade-off, LFSR, rainbow table
12	Pao-Lung Chen, Ching-Che Chung, Chen-Yi Lee	An all-digital PLL with cascaded dynamic phase average loop for wide multiplication range applications.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
12	Bin Cao, Chip-Hong Chang, Thambipillai Srikanthan	A new formulation of fast diminished-one multioperand modulo 2n/+1 adder.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
12	Xinwen Fu, Ye Zhu 0001, Bryan Graham, Riccardo Bettati, Wei Zhao 0001	On Flow Marking Attacks in Wireless Anonymous Communication Networks.	ICDCS	2005	DBLP DOI BibTeX RDF
12	Bailing Wang, Binxing Fang, Xiao-chun Yun	A Worm Behavioral Approach to Susceptible Host Detection.	GCC	2005	DBLP DOI BibTeX RDF
12	Oscar H. Ibarra, Sara Woodworth	On Symport/Antiport P Systems with One or Two Symbols.	SYNASC	2005	DBLP DOI BibTeX RDF
12	Songtao Xia, Ben Di Vito, César A. Muñoz	Automated test generation for engineering applications.	ASE	2005	DBLP DOI BibTeX RDF	model-checking, test case generation, predicate abstraction
12	David Davis, Allison Frendak-Blume, Jennifer Wheeler, Alexander E. R. Woodcock, Clarence Worrell III	A Conceptual Model of Counterterrorist Operations.	ISI	2005	DBLP DOI BibTeX RDF
12	Jérôme Feret	The Arithmetic-Geometric Progression Abstract Domain.	VMCAI	2005	DBLP DOI BibTeX RDF	numerical domains, static analysis, Abstract Interpretation
12	Lawrence Teo, Yu-An Sun, Gail-Joon Ahn	Defeating Internet Attacks Using Risk Awareness and Active Honeypots.	IWIA	2004	DBLP DOI BibTeX RDF	Japonica, Risk Awareness, Honeypots, Colored Petri Nets
12	Görschwin Fey, Rolf Drechsler	Improving simulation-based verification by means of formal methods.	ASP-DAC	2004	DBLP DOI BibTeX RDF
12	Imad Aad, Jean-Pierre Hubaux, Edward W. Knightly	Denial of service resilience in ad hoc networks.	MobiCom	2004	DBLP DOI BibTeX RDF	ad hoc networks, TCP, UDP, DoS attacks
12	Ko-Kang Chu, Maiga Chang, Yen-Teh Hsia	A hybrid training mechanism for applying neural networks to Web-based applications.	SMC (4)	2004	DBLP DOI BibTeX RDF
12	Haque Mohammad Munirul, Michitaka Kameyama	Ultra-Fine-Grain Field-Programmable VLSI Using Multiple-Valued Source-Coupled Logic.	ISMVL	2004	DBLP DOI BibTeX RDF
12	Matthias Enzmann, Markus Schneider 0002	A Privacy-Friendly Loyalty System for Electronic Marketplaces.	EEE	2004	DBLP DOI BibTeX RDF
12	Ye Zhu 0001, Xinwen Fu, Bryan Graham, Riccardo Bettati, Wei Zhao 0001	On Flow Correlation Attacks and Countermeasures in Mix Networks.	Privacy Enhancing Technologies	2004	DBLP DOI BibTeX RDF
12	Noah Wardrip-Fruin	What hypertext is.	Hypertext	2004	DBLP DOI BibTeX RDF	hyperfilm, hypergram, stretchtext, hypermedia, hypertext
12	Bharat Adsul, Milind A. Sohoni	Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages.	FSTTCS	2004	DBLP DOI BibTeX RDF
12	Colin D. Walter	Longer Keys May Facilitate Side Channel Attacks.	Selected Areas in Cryptography	2003	DBLP DOI BibTeX RDF	Key Length, Side Channel Attacks, DPA, Power Analysis, Timing Attack, RSA Cryptosystem
12	Christian Güttler, Troels Degn Johansson	Spatial principles of level-design in multi-player first-person shooters.	NETGAMES	2003	DBLP DOI BibTeX RDF	level design, multiplay, teamplay, emergence, game-play, game architecture
12	Timo Steffens	Feature-Based Declarative Opponent-Modelling.	RoboCup	2003	DBLP DOI BibTeX RDF
12	Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu	On the e-Negotiation of Unmatched Logrolling Views.	HICSS	2003	DBLP DOI BibTeX RDF
12	Therani Madhusudan	On a Text-Processing Approach to Facilitating Autonomous Deception Detection.	HICSS	2003	DBLP DOI BibTeX RDF
12	Shun-Ren Yang, Yi-Bing Lin	A Mobility Management Strategy for UMTS.	ICOIN	2003	DBLP DOI BibTeX RDF
12	Jonathan Billington, Guy Edward Gallasch	How Stop and Wait Protocols Can Fail over the Internet.	FORTE	2003	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Protocol Analysis and Verification, TCP, Coloured Petri Nets, State space methods
12	Andrew Skabar	Single-Class Classification Augmented with Unlabeled Data: A Symbolic Approach.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
12	Simon Bouisset, Serge Le Bozec, Christian Ribreau	Postural dynamics in maximal isometric ramp efforts.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
12	Steven Gordon, Lars Michael Kristensen, Jonathan Billington	Verification of a Revised WAP Wireless Transaction Protocol.	ICATPN	2002	DBLP DOI BibTeX RDF
12	Dirk Grunwald, Soraya Ghiasi	Microarchitectural denial of service: insuring microarchitectural fairness.	MICRO	2002	DBLP DOI BibTeX RDF
12	Marc Rennhard, Bernhard Plattner	Introducing MorphMix: peer-to-peer based anonymous Internet usage with collusion detection.	WPES	2002	DBLP DOI BibTeX RDF	collusion detection, anonymity, peer-to-peer systems, mix networks
12	Raphael Yahalom	Protocols with Certified-Transfer Servers.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
12	Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun	Safety Verification for Two-Way Finite Automata with Monotonic Counters.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
12	Prasad Jayanti	f-arrays: implementation and applications.	PODC	2002	DBLP DOI BibTeX RDF
12	Dragan Bosnacki	A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.	FORTE	2002	DBLP DOI BibTeX RDF	state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction
12	Bruce Edmonds	How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS.	RASTA	2002	DBLP DOI BibTeX RDF
12	Luc Moreau 0001, Jean Duprat	A construction of distributed reference counting.	Acta Informatica	2001	DBLP DOI BibTeX RDF
12	Vincent D. Blondel, Julien Cassaigne, Codrin M. Nichitiu	On a Conjecture of Kurka. A Turing Machine with No Periodic Configurations.	MCU	2001	DBLP DOI BibTeX RDF
12	Ahmed Bouajjani, Peter Habermehl, Richard Mayr	Automatic Verification of Recursive Procedures with One Integer Parameter.	MFCS	2001	DBLP DOI BibTeX RDF
12	Anne Bergeron, Sylvie Hamel	Cascade Decompositions are Bit-Vector Algorithms.	CIAA	2001	DBLP DOI BibTeX RDF
12	Oliver Jung, Sven Kuhn, Christoph Ruland, Kai Wollenweber	Enhanced Modes of Operation for the Encryption in High-Speed Networks and Their Impact on QoS.	ACISP	2001	DBLP DOI BibTeX RDF
12	Nektarios Kranitis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis, Yervant Zorian	An Effective Deterministic BIST Scheme for Shifter/Accumulator Pairs in Datapaths.	ISQED	2001	DBLP DOI BibTeX RDF