Search results for "protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Yean-Shiang Leu, David Hung-Chang Du	Cycle Compensation Protocol: A Fair Protocol for the Unidirectional Twin-Bus Architecture.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	cycle compensation protocol, fair protocol, unidirectional twin-bus architecture, IEEE 802.6 Standard, Distributed Queue Dual Bus, channel bandwidth, unfairness problem, protocols, standards, local area networks, metropolitan area networks, metropolitan area networks, channel utilization
22	Yaling Zhang, Xiaofeng Wang	Message Substitute Attack on Concurrent Signatures Protocol and its Improvement.	ISECS	2008	DBLP DOI BibTeX RDF	Message Substitute Attack, Concurrent Signatures
22	Huiming Wang, Xingang Shi, Zhiliang Wang, Xia Yin, Jianping Wu	Performance testing of Mobile IPv6 protocol.	ISCC	2008	DBLP DOI BibTeX RDF
22	Wei Li 0074, Jibo Wei, Shan Wang 0005	An Evolutionary Time Spread Multiple Access Protocol for Ad Hoc Networks.	WCNC	2008	DBLP DOI BibTeX RDF
22	Lin Liu 0003, Jonathan Billington	Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol.	PDCAT	2007	DBLP DOI BibTeX RDF
22	Hanping Lufei, Weisong Shi	Fractal: A Mobile Code Based Framework for Dynamic Application Protocol Adaptation in Pervasive Computing.	IPDPS	2005	DBLP DOI BibTeX RDF
22	Fotis Foukalas, Yiorgos Ntarladimas, Aristotelis Glentis, Zachos Boufidis	Protocol Reconfiguration Using Component-Based Design.	DAIS	2005	DBLP DOI BibTeX RDF
22	Michael Elkin	A faster distributed protocol for constructing a minimum spanning tree.	SODA	2004	DBLP BibTeX RDF
22	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	Abstraction and Refinement in Protocol Derivation.	CSFW	2004	DBLP DOI BibTeX RDF
22	Phongsak Prasithsangaree, Prashant Krishnamurthy	A Variation of the WTLS Authentication Protocol for Reducing Energy Consumption in Wireless Devices.	HSNMC	2004	DBLP DOI BibTeX RDF
22	Tan Wang, Ajit Singh	Communication Using a Reconfigurable and Reliable Transport Layer Protocol.	ISPA	2004	DBLP DOI BibTeX RDF
22	Heba Kamal Aslan	AUTHMAC_DH: A New Protocol for Authentication and Key Distribution.	Communications and Multimedia Security	2003	DBLP DOI BibTeX RDF
22	Su Jung Yu, Joo-Seok Song	An Improved Password Authentication Key Exchange Protocol for 802.11 Environment.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
22	Nurul I. Sarkar, Krzysztof Pawlikowski	A Delay-throughput Performance Improvement to the pi-Persistent Protocol.	ISCC	2001	DBLP DOI BibTeX RDF	Poisson arrival stream, Fairness, Throughput, Packet delay
22	Joshua D. Guttman, F. Javier Thayer	Protocol Independence through Disjoint Encryption.	CSFW	2000	DBLP DOI BibTeX RDF
22	Mahmoud T. El-Hadidi, Nadia Hamed Hegazi, Heba Kamal Aslan	Performance Evaluation of a New Hybrid Encryption Protocol for Authentication and Key Distribution.	ISCC	1999	DBLP DOI BibTeX RDF	Authentication, Performance Analysis, Key Distribution, Hybrid Encryption
22	Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren	Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.	TACAS	1999	DBLP DOI BibTeX RDF
22	Bobby Krupczak, Kenneth L. Calvert, Mostafa H. Ammar	Protocol Portability through Module Encapsulation.	ICNP	1996	DBLP DOI BibTeX RDF
22	Rohaya Latip, Hamidah Ibrahim, Mohamed Othman, Md Nasir Sulaiman, Azizol Abdullah	Quorum Based Data Replication in Grid Environment.	RSKT	2008	DBLP DOI BibTeX RDF	Replica control protocol, Grid, Availability, Data management, Data replication
22	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
22	Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim	Coherence Controller Architectures for Scalable Shared-Memory Multiprocessors.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Coherence controller, protocol processor, multiprocessor, shared memory
22	Mounir Achir, Laurent Ouvry	A Routing Protocol for Wireless Ad Hoc Sensor Networks: Multi-path Source Routing Protocol (MPSR).	ICN (2)	2005	DBLP DOI BibTeX RDF	Energy consumption minimization, Wireless Sensor Network, Routing protocol, IEEE 802.15.4
22	Lay G. Ding, Lin Liu 0003	Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF	Session Initiation Protocol, Coloured Petri Nets, protocol verification
22	Tim Reichert, Edmund Klaus, Wolfgang Schoch, Ansgar Meroth, Dominikus Herzberg	A language for advanced protocol analysis in automotive networks.	ICSE	2008	DBLP DOI BibTeX RDF	automotive systems engineering, protocol analysis, protocol specifications
22	Daniel D. Walker, Eric G. Mercer, Kent E. Seamons	Or Best Offer: A Privacy Policy Negotiation Protocol.	POLICY	2008	DBLP DOI BibTeX RDF	privay policy negotiation protocol, privacy, protocol, game theory, negotiation, utility, pareto optimality, privacy policy, P3P, preference models
22	Taesoo Jun, Christine Julien 0001	Automated routing protocol selection in mobile ad hoc networks.	SAC	2007	DBLP DOI BibTeX RDF	routing protocol selection, target deployment, MANET, protocol model
22	Fan Bai 0002, Ganesha Bhaskara, Ahmed Helmy	Building the blocks of protocol design and analysis: challenges and lessons learned from case studies on mobile ad hoc routing and micro-mobility protocols.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF	mobile ad hoc network, building block, protocol analysis, protocol design, micro-mobility
22	Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat	Formal Validation of a Multicast Transport Protocol.	ISCC	2001	DBLP DOI BibTeX RDF	SPRM protocol, Reliability, Formal methods, Multicast, RTL, LOTOS, RT-LOTOS, Protocol validation
22	Ying-Kwei Ho, Ru-Sheng Liu	On-Demand QoS-Based Routing Protocol for Ad Hoc Mobile Wireless Networks.	ISCC	2000	DBLP DOI BibTeX RDF	Ad hoc mobile wireless networks, ODQOS, Table-driven routing protocol, QoS, TDMA, QoS routing, DSDV, On-demand routing protocol
22	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
22	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods
22	Young-Bae Ko, Nitin H. Vaidya	GeoTORA: A Protocol for Geocasting in Mobile Ad Hoc Networks.	ICNP	2000	DBLP DOI BibTeX RDF	GeoTORA, specified geographical region, TORA routing protocol, mobile ad hoc networks, protocols, protocol, telecommunication network routing, flooding, overhead, unicasting, packet radio networks, geocasting, land mobile radio
22	Jun Bi, Jianping Wu, X. Chen	A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2.	ICCCN	1998	DBLP DOI BibTeX RDF	Concurrent TTCN, CEBE, Internet, Distributed Systems, Formal Methods, Computer Networks, Test Generation, Routing Protocol, Labeled Transition Systems, OSPF, Protocol Testing
22	Donald P. Brutzman, Michael Zyda, Kent Watsen, Michael R. Macedonia	Virtual Reality Transfer Protocol (VRTP) Design Rationale.	WETICE	1997	DBLP DOI BibTeX RDF	virtual reality transfer protocol, VRTP, network support, Cyberspace Backbone, CBone, interactive internetworked 3D worlds, Internet, World Wide Web, virtual reality, testing, Virtual Reality Modeling Language, VRML, HTML, http, network monitoring, design rationale, client-server, peer-to-peer communications, hypertext transfer protocol, large-scale virtual environments
22	Chooi-Tian Lee, Jack W. Harris	Designing a Virtual Access Control Configuration Protocol for Implementation over ISDN and Shared-Media Networks.	LCN	1996	DBLP DOI BibTeX RDF	virtual access control configuration protocol, shared-media networks, corporate environment, trade-secret information protection, secure network, secure communication environment, encryption mechanisms, user password authentication, user-interface based access control, network interface based access control, authentication security mechanisms, virtual dedicated-media network system, dynamic security access authorization, token-based access security control, dedicated-media communication, network session-layer protocol, operating systems, WAN, LAN, application programs, ISDN, ISDN, security program
22	Kwang-Hui Lee	A group communication protocol architecture for distributed network management systems.	ICCCN	1995	DBLP DOI BibTeX RDF	group communication protocol architecture, distributed network management systems, managed object view interface, protocol overhead reduction, distributed group management, hierarchical group management, local group manager, group communication daemon, overlapped grouping facility, global group manager, hierarchical domain approach, distributed processing
22	R. Gopalakrishnan, Guru M. Parulkar	RMDP-a real-time CPU scheduling algorithm to provide QoS guarantees for protocol processing.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	RMDP real-time CPU scheduling algorithm, processing guarantees, reduced contest switch operations, bandwidth guarantees, protocol session, NetBSD operating system, simulation, simulation, scheduling, real-time systems, protocols, delays, multimedia applications, processor scheduling, operating systems (computers), multimedia computing, QoS guarantees, delay guarantees, schedulability test, protocol processing
22	Yukuo Hayashida, Manabu Ikegami, Nobuyuki Sugimachi	Multi-segment bandwidth reservation protocol for DQDB subnetwork.	LCN	1995	DBLP DOI BibTeX RDF	bandwidth reservation protocol, DQDB subnetwork, DQDB MAC Protocol, bandwidth reservation scheme, throughput convergence performance, mean message transmission delay, bandwidth allocation, access protocols, metropolitan area networks, IEEE standards
22	Gerard Tel	Assertional Verification of a Timer Based Protocol.	ICALP	1988	DBLP DOI BibTeX RDF	protocol skeleton, assertional proof, time, connection management, end-to-end protocol
22	Joseph T. Dixon, Kenneth L. Calvert	Effective Search Strategies for Application-Independent Speedup in UDP Demultiplexing.	ICCCN	1997	DBLP DOI BibTeX RDF	Demultiplexing, State Search, Protocol Control Block, Caching, Search, Transport Protocol, Hashing, UDP, Socket, Protocol Implementation
22	Rosario Gennaro, Stanislaw Jarecki, Hugo Krawczyk, Tal Rabin	Secure Distributed Key Generation for Discrete-Log Based Cryptosystems.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
22	F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman	Mixed Strand Spaces.	CSFW	1999	DBLP DOI BibTeX RDF
22	Angkul Kongmunvattana, Nian-Feng Tzeng	Lazy Logging and Prefetch-Based Crash Recovery in Software Distributed Shared Memory Systems.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
22	Ray Bird, Inder S. Gopal, Amir Herzberg, Philippe A. Janson, Shay Kutten, Refik Molva, Moti Yung	Systematic Design of Two-Party Authentication Protocols.	CRYPTO	1991	DBLP DOI BibTeX RDF
21	Salvador Petit, Julio Sahuquillo, Ana Pont	A Comparison Study of the HLRC-DU Protocol versus a HLRC Hardware Assisted Protocol.	PDP	2005	DBLP DOI BibTeX RDF	Shared Virtual Memory Systems, Memory Consistency Protocols, Asyncrhonous Communication, Memory Consistency Models
21	Simon C. Brennan, Naveen K. Chilamkurti, Ben Soh	Split-Layer Video Multicast Protocol: A New Receiver-Based Rate-Adaptation Protocol.	NCA	2003	DBLP DOI BibTeX RDF
21	Michael J. McPheters, Hung Tan Nguyen 0002, Mowaffak T. Midani	The interaction between the V protocol and the Q.293I protocol for the interactive video network.	ICNP	1995	DBLP DOI BibTeX RDF
21	Marco Zimmerling, Federico Ferrari, Matthias Woehrle, Lothar Thiele	Exploiting protocol models for generating feasible communication stack configurations.	IPSN	2010	DBLP DOI BibTeX RDF	protocol configuration, constraint programming
21	Zhiguo Wan, Robert H. Deng, Feng Bao 0001, Bart Preneel, Ming Gu 0001	n PAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	security protocol, group key agreement, password-authenticated key exchange
21	Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran	Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	converter synthesis, protocol compatibility, System-on-chip, automatic design
21	Daniel Dietterle, Rolf Kraemer	A hardware accelerated implementation of the IEEE 802.15.3 MAC protocol.	Telecommun. Syst.	2009	DBLP DOI BibTeX RDF	Hardware accelerator, Personal area networks, Protocol implementation
21	Natallia Kokash, Roberto Speicys Cardoso, Pierre-Guillaume Raverdy, Valérie Issarny	A flexible QoS-aware routing protocol for infrastructure-less B3G networks.	SAC	2009	DBLP DOI BibTeX RDF	B3G network, quality of service, routing protocol, OLSR
21	Andreas Hansson 0001, Kees Goossens	An on-chip interconnect and protocol stack for multiple communication paradigms and programming models.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	system on chip, network on chip, programming model, protocol stack
21	Reiner Dojen, Vladimir Pasca, Tom Coffey	Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications.	MobiSec	2009	DBLP DOI BibTeX RDF	Mobile end-to-end communication, analysis of security protocols, authentication and secrecy protocol, impersonation attack
21	Yuping Hu	A Watermarking Protocol for Piracy Tracing.	ISECS	2008	DBLP DOI BibTeX RDF	piracy tracing, watermarking protocol, anonymity
21	Janne Lindqvist, Juha-Matti Tapio	Protecting privacy with protocol stack virtualization.	WPES	2008	DBLP DOI BibTeX RDF	protocol stack virtualization, privacy, pseudonymity
21	Bashir Yahya, Jalel Ben-Othman	A scalable and energy-efficient hybrid-based MAC protocol for wireless sensor networks.	PM2HW2N	2008	DBLP DOI BibTeX RDF	sensor networks, scalability, energy efficiency, MAC protocol
21	Jaewan Seo, Moonseong Kim, Sang-Hun Cho, Hyunseung Choo	An Energy and Distance Aware Data Dissemination Protocol Based on SPIN in Wireless Sensor Networks.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Data Dissemination Protocol, Wireless Sensor Networks, Energy Efficiency, Lifetime, SPMS
21	Dapeng Wang, Kai Liu, Lianzhen Cheng, Yan Zhang	A Novel Multiple Access Protocol with QoS Support for Mobile Ad Hoc Networks.	NPC	2007	DBLP DOI BibTeX RDF	forecast burst, QoS, mobile ad hoc network, collision resolution, multiple access protocol
21	Tahiry Razafindralambo, Nathalie Mitton	Analysis of the impact of hello protocol parameters over a wireless network self-organization.	PE-WASUN	2007	DBLP DOI BibTeX RDF	HELLO protocol, simulation, clustering, analysis, MAC layer
21	Xiaoya Li, Daoping Huang, Zonghai Sun	A Routing Protocol for Balancing Energy Consumption in Heterogeneous Wireless Sensor Networks.	MSN	2007	DBLP DOI BibTeX RDF	balance energy consumption, Wireless sensor networks, routing protocol
21	Kai-Chun Huang, Yun-Sheng Yen, Han-Chieh Chao	Tree-Clustered Data Gathering Protocol (TCDGP) for Wireless Sensor Networks.	FGCN (2)	2007	DBLP DOI BibTeX RDF	multi-hop routing protocol, Wireless Sensor Networks (WSNs), energy- efficient
21	Frits W. Vaandrager, Adriaan de Groot	Analysis of a biphase mark protocol with Uppaaland PVS.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Biphase mark protocol, Model checking, Formal methods, Timed automata, Theorem provers
21	Yongwei Wang, Mukesh Singhal	LSTOP: A Light-Weight Scalable Truthful Routing Protocol in MANETs with Selfish Nodes.	ADHOC-NOW	2006	DBLP DOI BibTeX RDF	the VCG Mechanism, Mobile Ad Hoc Networks (MANETs), Routing Protocol, Truthfulness, Selfish Nodes
21	Sangjin Kim, Jung Doo Koo, Heekuck Oh	Ticket-Based Binding Update Protocol for Mobile IPv6.	ICDCIT	2006	DBLP DOI BibTeX RDF	Binding Update Protocol, Mobile IPv6, CGA
21	Ik Rae Jeong, Jeong Ok Kwon, Dong Hoon Lee 0001	A Diffie-Hellman Key Exchange Protocol Without Random Oracles.	CANS	2006	DBLP DOI BibTeX RDF	Diffie-Hellman protocol, Strong forward secrecy, Unknown key share, Key exchange, Key compromise impersonation
21	Azzedine Boukerche, Tingxue Huang, Richard Werner Nelem Pazzi	A real-time transport protocol for image-based rendering over heterogeneous wireless networks.	MSWiM	2005	DBLP DOI BibTeX RDF	wireless, streaming, image-based rendering, cellular networks, real-time protocol (RTP)
21	Toshimitsu Masuzawa, Sébastien Tixeuil	A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	link-coloring, fault tolerance, self-stabilization, distributed protocol, Byzantine fault, fault containment
21	Zhiguo Wan, Akkihebbal L. Ananda, Robert H. Deng, Feng Bao 0001	Anonymous DoS-Resistant Access Control Protocol Using Passwords for Wireless Networks.	LCN	2005	DBLP DOI BibTeX RDF	Wireless Networks, Access Control, Security Protocol
21	Yousef J. Al-Houmaily, Panos K. Chrysanthis	1-2PC: the one-two phase atomic commit protocol.	SAC	2004	DBLP DOI BibTeX RDF	Internet transactions, atomic commit protocol
21	Changjie Wang, Ho-fung Leung	A Secure and Fully Private Borda Voting Protocol with Universal Verifiability.	COMPSAC	2004	DBLP DOI BibTeX RDF	Borda voting protocol, universal verification, Security, Privacy protection, Electronic voting, ElGamal encryption
21	Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon	A Unified Fault-Tolerance Protocol.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF	fault tolerance, reliability, protocol, Diagnosis, Byzantine, Interactive Consistency, SPIDER
21	Jianying Zhou 0001	On the Security of a Multi-party Certified Email Protocol.	ICICS	2004	DBLP DOI BibTeX RDF	security protocol, non-repudiation, certified email
21	Tom Coffey, Puneet Saidha, Peter Burrows	Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt.	ISICT	2003	DBLP DOI BibTeX RDF	cryptographic protocol verification, logical postulates, proof of origin, proof of receipt, logics, security protocols, public-key cryptography, non-repudiation, deductive reasoning
21	Haiyong Xie 0001, Li Zhao 0002, Laxmi N. Bhuyan	Architectural analysis and instruction-set optimization for design of network protocol processors.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	instruction optimization, architecture simulation, network processing, TCP/IP protocol
21	Huamin Chen, Prasant Mohapatra	CATP: A Context-Aware Transportation Protocol for HTTP.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF	out-of-order rendering, Transportation protocol, HTTP, UDP, head-of-line blocking
21	Chanjung Park, Seog Park, Sang Hyuk Son	Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	multiversion concurrency control, multilevel security, transaction management, real-time database systems, Locking protocol
21	Kensuke Shibata, Koji Okamura, Keijiro Araki	Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast.	SAINT	2002	DBLP DOI BibTeX RDF	reliable multicast transport, protocol, active network, IP multicast, application layer
21	Colette Johnen	Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings.	SRDS	2002	DBLP DOI BibTeX RDF	anonymous ring, fault-tolerant, self-stabilization, mutual exclusion, distributed protocol, token circulation, service time, unfair scheduler
21	David P. L. Simons, Mariëlle Stoelinga	Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Leader election algorithms, Model checking, Timed automata, Communication protocol, IEEE 1394
21	Seppo Virtanen, Johan Lilius	The TACO protocol processor simulation environment.	CODES	2001	DBLP DOI BibTeX RDF	simulation, protocol, microprocessor, codesign
21	Indrajit Ray, Luigi V. Mancini, Sushil Jajodia, Elisa Bertino	ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	security, distributed databases, Database management systems, transaction processing, multilevel security, commit protocol
21	Xiaoqun Du, Scott A. Smolka, Rance Cleaveland	Local Model Checking and Protocol Analysis.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion
21	Sandeep K. S. Gupta, Pradip K. Srimani	An Adaptive Protocol for Reliable Multicast in Mobile Multi-hop Radio Networks.	WMCSA	1999	DBLP DOI BibTeX RDF	Mobile Multi-hop Networks, Adaptive Communication Protocol, Mobile Ad Hoc Networks, Group Communication, Multicast Routing, Reliable Communication, Fault-tolerant Communication
21	Cédric Besse, Ana R. Cavalli, David Lee 0001	An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol.	ASE	1999	DBLP DOI BibTeX RDF	SDL language, fault coverage, conformance testing, optimization techniques, TCP/IP protocol
21	G. Robert Malan, Farnam Jahanian	An Extensible Probe Architecture for Network Protocol Performance Measurement.	SIGCOMM	1998	DBLP DOI BibTeX RDF	packet filter, passive measurement, protocol performance, online analysis
21	Mahmoud Zakaria, Sakari Rahkila, Bruno Traverson, Susanne Stenberg	Protocol Comparison of Distributed Object Platforms.	HICSS (1)	1997	DBLP DOI BibTeX RDF	Object Distributed Architecture, I1OP, DCE RPC, Communication Protocol, Open Systems
21	Divyakant Agrawal, Arthur J. Bernstein	A Nonblocking Quorum Consensus Protocol for Replicated Data.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	nonblocking quorum protocol, one-copy serializability, fault tolerance, protocols, distributed databases, availability, database theory, replica control, fault tolerantcomputing, access latency
21	Hervé Baumann, Pierluigi Crescenzi, Pierre Fraigniaud	Parsimonious flooding in dynamic graphs.	PODC	2009	DBLP DOI BibTeX RDF	evolving graphs, broadcasting, gossip protocol, epidemic protocol
21	Eun-Jun Yoon, Eun-Kyung Ryu, Kee-Young Yoo	Optimized Initiation Phases for Anonymous Auction Protocols.	Human.Society@Internet	2005	DBLP DOI BibTeX RDF	Auction protocol, Initiation protocol, Security, Anonymity, Efficiency
21	Luciano Bononi, Marco Conti, Enrico Gregori	Runtime Optimization of IEEE 802.11 Wireless LANs Performance.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	protocol capacity, performance analysis, Wireless LAN (WLAN), IEEE 802.11, multiple access protocol (MAC)
21	Sigrid Gürgens, Javier López 0001, René Peralta 0001	Analysis of e-commerce protocols: Adapting a traditional technique.	Int. J. Inf. Sec.	2003	DBLP DOI BibTeX RDF	Electronic commerce, Cryptographic protocol, Security analysis, Automatic theorem proving, Protocol validation
21	Raffaele Bruno 0001, Marco Conti, Enrico Gregori	Optimization of Efficiency and Energy Consumption in p-Persistent CSMA-Based Wireless LANs.	IEEE Trans. Mob. Comput.	2002	DBLP DOI BibTeX RDF	random access protocol, protocol capacity, performance analysis, Wireless LAN (WLAN), IEEE 802.11, energy consumption
21	Henry Haverinen, Antti Kuikka, Tuomas Määttänen	A Portable Mobile IP Implementation.	LCN	2000	DBLP DOI BibTeX RDF	portable mobile IP implementation, TCP/IP stack, porting-friendly implementation, generic implementation, software architecture, software architecture, operating system, Linux, transport protocols, Internet protocol, operating systems (computers), protocol implementations, land mobile radio, Windows CE, Windows 2000
21	Nobuyuki Kanaya, Hirotaka Hara, Yoshihide Nomura, Hitoshi Komori, Tsuyoshi Ebata	Distributed Workflow Management System for Electronic Commerce.	EDOC	2000	DBLP DOI BibTeX RDF	distributed workflow management system, XML-based workflow systems, server communication protocol, history log management, external application calls, batch request, external-call module, retrying algorithm, external application, protocol, electronic commerce, electronic commerce, consistency, enterprises, process management, data conversion, workflow engine
21	Nevin Heintze, J. D. Tygar	A Model for Secure Protocols and Their Compositions.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	logic of authentication, protocols-composition of, security, model, model checking, communication, Authentication, formal methods, cryptography, protocols, composition, time, computer security, clocks, protocol analysis, protocol analysis, timed models
21	Sudheer Dharanikota, Kurt Maly	QUANTA: Quality of Service Architecture for Native TCP/IP over ATM Networks.	HPDC	1996	DBLP DOI BibTeX RDF	QUANTA, native TCP/IP, end system protocol suite, application level QoS, base line performance, no-load condition, user submitted data block sizes, host load condition experiments, CPU intensive jobs, communication intensive jobs, network load condition experiments, missing components, network QoS translator protocol tuning components, local feedback component, class based scheduling, performance evaluation, asynchronous transfer mode, computer networks, transport protocols, ATM networks, quality control, QoS guarantees, round trip time, quality of service architecture, QoS architecture
21	Stefan Böcking, Vera Seidel, Per Vindeby	CHANNELS: a run-time system for multimedia protocols.	ICCCN	1995	DBLP DOI BibTeX RDF	multimedia protocols, network protocol processing, table libraries, user processes, dynamic protocol configuration support, C++ programming language, SUN/UNIX kernel, scheduling, parallel processing, multimedia communication, buffer, high-speed networks, CHANNELS, run-time system, timer, entities, transport systems, network devices
21	Gregor von Bochmann, Rachida Dssouli, J. R. Zhao	Trace Analysis for Conformance and Arbitration Testing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
20	Ian Goldberg, Atefeh Mashatan, Douglas R. Stinson	A New Message Recognition Protocol with Self-recoverability for Ad Hoc Pervasive Networks.	ACNS	2009	DBLP DOI BibTeX RDF	Self-Recoverability, Ad Hoc Networks, Authentication, Recognition, Cryptographic Protocols, Pervasive Networks