Search results for "protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Amitava Datta, Albert Y. Zomaya	An Energy-Efficient Permutation Routing Protocol for Single-Hop Radio Networks.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	wireless communication, Radio network, permutation routing, energy efficient protocol
17	Yu-Sung Wu, Saurabh Bagchi, Sachin Garg, Navjot Singh 0001, Timothy K. Tsai	SCIDIVE: A Stateful and Cross Protocol Intrusion Detection Architecture for Voice-over-IP Environments.	DSN	2004	DBLP DOI BibTeX RDF	Voice over IP system, Cross-protocol detection, Stateful detection, Intrusion detection, SIP, RTP
17	Corneliu Popeea, Wei-Ngan Chin	A type system for resource protocol verification and its correctness proof.	PEPM	2004	DBLP DOI BibTeX RDF	dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis
17	Doo-Hyun Kim, Ji-Young Kwak, Kyung-Hee Lee	Using the Session Initiation Protocol for Connected Multimedia Services in a Ubiquitous Home Network Environment.	MIPS	2004	DBLP DOI BibTeX RDF	Connected Multimedia Services, Session Preservation, Session Initiation Protocol, Home Networks, Smart Spaces
17	Kenji Imamoto, Kouichi Sakurai	Key-Exchange Protocol Using Pre-agreed Session-ID.	WISA	2004	DBLP DOI BibTeX RDF	Diffie-Hellman based key exchange protocol, Identity concealment, Pre-shared key model, Pre-Agreed Session ID
17	Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva	Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic.	TACAS	2004	DBLP DOI BibTeX RDF	IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification
17	Peter Groen, Panu Hämäläinen, Ben H. H. Juurlink, Timo Hämäläinen 0001	Accelerating the secure remote password protocol using reconfigurable hardware.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	secure remote password protocol, authentication, WLAN, hardware acceleration, reconfigurable hardware, modular exponentiation
17	Ernesto Exposito, Patrick Sénac, Michel Diaz	UML-SDL modelling of the FPTP QoS oriented transport protocol.	MMM	2004	DBLP DOI BibTeX RDF	transport mechanisms, QoS, UML, congestion control, transport protocol, SDL
17	Jean-Sébastien Coron, David Naccache	Cryptanalysis of a Zero-Knowledge Identification Protocol of Eurocrypt '95.	CT-RSA	2004	DBLP DOI BibTeX RDF	Fiat-Shamir Identification Protocol, Zero-knowledge
17	Stephen S. Yau, Fariaz Karim	An Energy-Efficient Object Discovery Protocol for Context-Sensitive Middleware for Ubiquitous Computing.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Object discovery protocol, context-sensitive middleware, ubiquitous computing, mobile ad hoc networks, energy efficiency, reconfigurable context-sensitive middleware
17	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	Secure protocol composition.	FMSE	2003	DBLP DOI BibTeX RDF	logic, security protocols, invariants, protocol composition
17	Siuli Roy, Dola Saha, Somprakash Bandyopadhyay, Tetsuro Ueda, Shinsuke Tanaka	A network-aware MAC and routing protocol for effective load balancing in ad hoc wireless networks with directional antenna.	MobiHoc	2003	DBLP DOI BibTeX RDF	ad hoc networks, routing protocol, medium access control, directional antenna
17	Tom Coffey, Reiner Dojen	Analysis of a mobile communication security protocol.	ISICT	2003	DBLP DOI BibTeX RDF	BCY protocol, formal verification, security protocols, modal logics
17	Amitava Datta	Fault-Tolerant and Energy-Efficient Permutation Routing Protocol for Wireless Networks.	IPDPS	2003	DBLP DOI BibTeX RDF	fault-tolerance, wireless networks, energy-efficiency, routing protocol, permutation routing
17	Jonathan Lennox, Henning Schulzrinne	A protocol for reliable decentralized conferencing.	NOSSDAV	2003	DBLP DOI BibTeX RDF	fully-meshed peer relationship, reliability, session initiation protocol (SIP), internet telephony, conferencing
17	Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen	A self-stabilizing quorum-based protocol for maxima computing.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Maxima finding, Self-stabilization, Quorum, Coterie, Consensus protocol
17	Cheng-Ru Lin, Ming-Syan Chen	On the Asymptotical Optimality of Multilayered Decentralized Consensus Protocol.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	multiport communication, distributed systems, performance analysis, Consensus protocol
17	Michael P. Evans, Steven Furnell	A web-based resource migration protocol using WebDAV.	WWW	2002	DBLP DOI BibTeX RDF	link rot, resource locator service, resource migration protocol, web, WebDAV, referential integrity
17	Ke Ding, Beihong Jin, Jun Wei 0001, Yulin Feng	New Model and Scheduling Protocol for Transactional Workflows.	COMPSAC	2002	DBLP DOI BibTeX RDF	well-formedness, locking granularity, Transactional workflow, scheduling protocol
17	Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt	Using the TrustME Tool Suite for Automatic Component Protocol Adaptation.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF	component protocol specifications, automatic component adaptation, parameterised contracts, distributed middleware platforms, architectural description languages
17	Young Sik Hong	Distributed Object-Oriented Real-Time Simulation of the Multicast Protocol RFRM.	WORDS	2002	DBLP DOI BibTeX RDF	official release time, simulation, fault tolerance, real time, parallel, protocol, multicast, distributed, object, TMO, acknowledgement
17	Antonio F. Díaz, Julio Ortega 0001, Antonio Cañas, F. J. Fernández, Alberto Prieto	The Lightweight Protocol CLIC: Performance of an MPI implementation on CLIC.	CLUSTER	2001	DBLP DOI BibTeX RDF	Lightweight protocol, MPI, Cluster Computing, Linux, Fast Ethernet
17	Moataz Kamel, Stefan Leue	Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns
17	Katsuya Tanaka, Makoto Takizawa 0001	Asynchronous Checkpointing Protocol for Object-Based Systems.	ISORC	2000	DBLP DOI BibTeX RDF	Distributed Object-based System, Fault-Tolerant, Group communication, Rollback Recovery, Asynchronous protocol
17	Heejun Han, Seog Park, Chanjung Park	A concurrency control protocol for read-only transactions in real-time secure database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions
17	Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini	Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.	RTCSA	2000	DBLP DOI BibTeX RDF	IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification
17	Katsuya Tanaka, Makoto Takizawa 0001	Checkpointing Protocol for Object-Based Systems.	ICPADS	2000	DBLP DOI BibTeX RDF	communication-induced protocol, fault-tolerant, checkpoint, rollback recovery, object-based system
17	Zheng-Ru Lin, Ming-Syan Chen	An Asymptotically Optimal Multi-Layered Decentralized Consensus Protocol with an Initiator.	ICDCS	2000	DBLP DOI BibTeX RDF	multi-port communication, distributed systems, performance analysis, Consensus protocol
17	Wolfgang Müller 0001, Henning Müller, Stéphane Marchand-Maillet, Thierry Pun, David Squire, Zoran Pecenovic, Christoph Giess, Arjen P. de Vries	MRML: A Communication Protocol for Content-Based Image Retrieval.	VISUAL	2000	DBLP DOI BibTeX RDF	Communication protocol, Multimedia retrieval, Reusable software components, Evaluation framework
17	Constantine Coutras, Peng-Jun Wan, Ophir Frieder	Analytical Modeling and Performance Evaluation of the HIPERLAN CAC Layer Protocol for Real-Time Traffic.	LCN	2000	DBLP DOI BibTeX RDF	HIPERLAN CAC layer protocol, wireless LAN protocols, WLAN protocols, MAC layer protocols, radio equipment, radio systems, European Telecommunications Standards Institute, high performance radio LAN, channel access control layer, simulation, performance evaluation, performance evaluation, real-time systems, wireless networks, wireless LAN, medium access control, analytical modeling, telecommunication traffic, personal computers, access protocols, wireless systems, telecommunication congestion control, telecommunication standards, real-time traffic, packet radio networks, land mobile radio
17	Sumit Khurana, Anurag Kahol, Sandeep K. S. Gupta, Pradip K. Srimani	Performance Evaluation of Distributed Co-Ordination Function for IEEE 802.11 Wireless LAN Protocol in Presence of Mobile and Hidden Terminals.	MASCOTS	1999	DBLP DOI BibTeX RDF	Wireless communication network, Performance modeling technique, Mobile computing, Markov model, Protocol performance
17	Weijia Jia 0001, Gaochao Xu, Dong Xuan, Wei Zhao 0001	An Efficient Fault-Tolerant Multicast Routing Protocol with Core-Based Tree Techniques.	ICPP	1999	DBLP DOI BibTeX RDF	Routing and CBT Protocol, Fault-Tolerance, Multicast
17	Constantine Coutras, Peng-Jun Wan	Evaluating Performance of the HIPERLAN CAC Layer Protocol for Asynchronous Traffic.	LCN	1999	DBLP DOI BibTeX RDF	HIPERLAN, CAC Layer Protocol, simulation, Performance evaluation, analytical modeling, Wireless Local Area Networks
17	Benny Van Houdt, Chris Blondia, Olga Casals, Jorge García-Vidal	Packet Level Performance Characteristics of a MAC Protocol for Wireless ATM LANs.	LCN	1999	DBLP DOI BibTeX RDF	packet level performance, MAC protocol, Wireless ATM
17	W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder	An Elementary Derivation of the Alternating Bit Protocol.	MPC	1998	DBLP DOI BibTeX RDF	the theory of Owicki and Gries, multibounds, faulty channels, the alternating bit protocol, multiprogramming, Program derivation
17	Daoxu Chen, Edward Chan, Chan-Hee Lee	Timing Properties of the FDDI-M Medium Access Protocol for a Class of Synchronous Bandwidth Allocation Schemes.	ICCCN	1998	DBLP DOI BibTeX RDF	Medium Access Protocol, FDDI, Synchronous Bandwidth Allocation
17	Yeshik Shin, Jin-su Ahn, Hyung-Rok Lee, Deog-Kyoon Jeong	Design and Implementation of OTCA MAC Protocol for High-Speed Point-to-Point Ring Network.	LCN	1998	DBLP DOI BibTeX RDF	Ownership-tagged cell allocation, RingLink, MAC protocol, Ring network
17	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
17	Chanjung Park, Seog Park	A multiversion locking protocol for real-time databases with multilevel security.	RTCSA	1996	DBLP DOI BibTeX RDF	multiversion locking protocol, processes transactions, explicit timing constraints, logical data consistency, compatibility matrix, version selection algorithm, data integrity, timing constraints, multilevel security, real-time databases, temporal consistency
17	Liquan Xiao, Mingxuan Zhang, Xingming Zhou	A multicast protocol in multistage interconnection networks.	ISPAN	1996	DBLP DOI BibTeX RDF	multicast forwarding, transmission time, broadcast performance, performance evaluation, protocols, communication complexity, wormhole-routed, multistage interconnection networks, multistage interconnection networks, network traffic, multistage networks, massively parallel systems, multicast protocol
17	Russell J. Clark 0001, Mostafa H. Ammar, Kenneth L. Calvert	Protocol discovery in multiprotocol networks.	ICCCN	1995	DBLP DOI BibTeX RDF	protocol discovery, multiprotocol networks, support mechanisms, multiple protocols, architectures, interoperability, open systems, feedback mechanisms
17	Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung	Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols
17	John Lazzaro, John Wawrzynek	A multi-sender asynchronous extension to the AER protocol.	ARVLSI	1995	DBLP DOI BibTeX RDF	multi-sender extension, AER, address-event representation, asynchronous point-to-point communications protocol, silicon neural systems, protocols, neural chips
17	Qing Yang 0001, George Thangadurai, Laxmi N. Bhuyan	Design of an Adaptive Cache Coherence Protocol for Large Scale Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	adaptive cache coherence protocol, cache-based multiprocessor, cache coherence scheme, memoryarchitecture, protocols, multiprocessor interconnection networks, multistage interconnection network, buffer storage, hierarchical network
17	Simon S. Lam	Protocol Conversion.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	logical connectivity, memoryless converters, finite-state converters, protocol, protocols, computer networks, formal model, converter
17	Guy Juanole, B. Algayres, J. Dufau	On communication protocol modelling and design.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF	Key-Words Distributed systems, Petri nets, protocol, service, system architecture, modelling methodology
17	Wouter Teepe	On BAN logic and hash functions or: how an unjustified inference rule causes problems.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Two parrots protocol, Security protocol, Soundness, Cryptographic hash function, BAN logic
17	Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel 0001	Banzai: a Java framework for the implementation of high-performance servers.	SAC	2009	DBLP DOI BibTeX RDF	non-blocking I/O, protocol parsing and server architecture, protocol, parsing, server
17	Amin Firoozshahian, Alex Solomatnikov, Ofer Shacham, Zain Asgar, Stephen Richardson, Christos Kozyrakis, Mark Horowitz	A memory system design framework: creating smart memories.	ISCA	2009	DBLP DOI BibTeX RDF	memory access protocol, protocol controller, transactional memory, reconfigurable architecture, cache coherence, memory systems, multi-core processors, stream programming
17	Muslim Elkotob, Karl Andersson 0001	Analysis and measurement of session setup delay and jitter in VoWLAN using composite metrics.	MUM	2008	DBLP DOI BibTeX RDF	session description protocol, quality of service, wireless LAN, session initiation protocol, IP mobility
17	K. R. Jayaram, Aditya P. Mathur	On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols.	COMPSAC	2008	DBLP DOI BibTeX RDF	TLS protocol, MC/DC coverage, Security protocol, Statechart, Security Vulnerability
17	Ka Lun Eddie Law, Adam Kohn	Topology designs with controlled interference for multi-radio wireless mesh networks.	Mobility Conference	2008	DBLP DOI BibTeX RDF	IEEE 802.11 protocol, controlled interference, multi-radio multi-channel wireless protocol, medium access control, wireless mesh networks, packet loss probability
17	Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb	Integration of SCTP in the OMNeT++ simulation environment.	SimuTools	2008	DBLP DOI BibTeX RDF	INET, transport protocol, SCTP, Omnet++, protocol simulation
17	Roopak Sinha, Partha S. Roop, Samik Basu 0001	A Module Checking Based Converter Synthesis Approach for SoCs.	VLSI Design	2008	DBLP DOI BibTeX RDF	protocol mismatches, mod- ule checking, protocol conversion
17	Md. Nurul Islam, Atsuhi Kara	Using SCTP to Implement Multihomed Web Servers.	DNIS	2007	DBLP DOI BibTeX RDF	Transport Protocol, Stream Control Transmission Protocol, Multihoming
17	Kenvi Wang, Lin-Yi Peng, Tsung-Mao Chen, Szu-Yu Chen	A Fuzzy-Based and Simulated IP Network Traffic Engineering Promoting Multi-Service Performance.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF	Managed Internet protocol (IP), Simulation, Quality of Service (QoS), Fuzzy, Multi-Protocol Label Switch (MPLS)
17	Md. Nurul Islam, Atsuhi Kara	Throughput Analysis of SCTP over a Multi-homed Association.	CIT	2006	DBLP DOI BibTeX RDF	Data Chunk, Association Throughput, Transport Protocol, Stream Control Transmission Protocol, Multi-homing
17	Haitao Lin, Sajal K. Das 0001	Performance Study of Link Layer and MAC Layer Protocols to Support TCP in 3G CDMA Systems.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	Wireless communication, network protocols, algorithm/protocol design and analysis, modeling techniques, protocol architecture
17	Song Guo 0001, Oliver W. W. Yang, Yantai Shu	Improving Source Routing Reliability in Mobile Ad Hoc Networks.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	wireless communication, routing protocol, algorithm/protocol design and analysis, Mobile communication system, multihop ad hoc network
17	Jan Kleindienst, Ladislav Serédi, Pekka Kapanen, Janne Bergman	Loosely-coupled approach towards multi-modal browsing.	Univers. Access Inf. Soc.	2003	DBLP DOI BibTeX RDF	VP, Virtual Proxy, NLU, Wireless Markup Language, HyperText Markup Language, World-Wide Web Consortium, Voice eXtensible Markup Language, FIA, Form Interpretation Algorithm, WWW, World-Wide Web, UI, User Interface, GUI, Graphical User Interface, HTML, HTML, HTTP, API, Application Programming Interface, Browser, WAP, Wireless Application Protocol, Multi-modal, multi-modal, DOM, Natural Language Understanding, VoiceXML, VoiceXML, W3C, WML, WML, MM, COM, HyperText Transfer Protocol, Document Object Model, Component Object Model
17	Piyush Shivam, Pete Wyckoff, Dhabaleswar K. Panda 0001	Can User-Level Protocols Take Advantage of Multi-CPU NICs?.	IPDPS	2002	DBLP DOI BibTeX RDF	OS bypass, user-level network protocol, parallel protocol design, message passing, gigabit ethernet
17	Bing Wu 0004, Kudakwashe Dube	PLAN: A Framework and Specification Language with an Event-Condition-Action (ECA) Mechanism for Clinical Test Request Protocols.	HICSS	2001	DBLP DOI BibTeX RDF	Test Protocol, Clinical Test, Protocol Management Systems, Event-Condition-Action Mechanism and Active Databases, Framework, Specification
17	Yoshihiko Ebihara, H. Ushine, Hongbing Chen, Shigetomo Kimura	Analysis on Responsiveness and Input Traffic Regulation in Heterogeneous Information Systems.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	input traffic regulation, heterogeneous information systems, hierarchical protocol structures, multi-layered protocol, maximum input traffic, end-to-end responsiveness, binding method, distributed databases, mean response time
17	S. Shaheen Fatima	TRACE - An Adaptive Organizational Policy for MAS.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	adaptive organizational policy, Task and Resource Allocation in a Computational Economy, load variations, problem-solving organizations, task allocation protocol, subtask allocation, lost requests, price-directed resource allocation protocol, multi-agent systems, MAS, multi agent system, resource allocation, TRACE, time constraints, RAP
17	Jae-Wook Lee, Jun-Woo Lee, Tae-wan Kim, Dae-Ung Kim	Satellite over Satellite (SOS) Network: A Novel Concept of Hierarchical Architecture and Routing in Satellite Network.	LCN	2000	DBLP DOI BibTeX RDF	satellite over satellite network, SOS network, global broadband services, long distance dependent, broadband satellite network, hierarchical satellite constellation, hierarchical satellite routing protocol, adaptive routing protocol, LDD multimedia traffic, HSRP, quality of service, QoS, routing, protocols, network topology, multimedia communication, telecommunication network routing, multimedia traffic, broadband networks, hierarchical architecture, topological design, satellite links
17	Teng Tiow Tay, Y. Feng, M. N. Wijeysundera	A Distributed Internet Caching System.	LCN	2000	DBLP DOI BibTeX RDF	distributed Internet caching system, distributed Web caching system, cache server, storage protocol, Internet, reliability, computer network, distributed memory systems, cache storage, access protocols, access protocol, data consistency, network servers, storage capacity, memory protocols
17	Joseph Kroculick, Cynthia Hood 0001	Provisioning Multilayer Restoration for Convergence.	LCN	2000	DBLP DOI BibTeX RDF	multilayer restoration, mission critical service, protocol suites, recovery scheme, outage duration, escalation strategy, distributed coordination protocol, recovery agents, protocols, topology, network topology, deadlock, telecommunication network routing, telecommunication control, rerouting, telecommunication network reliability, control policies
17	Simon Baatz, Matthias Frank 0001, Rolf Göpffarth, D. Kassatkine, Peter Martini, Markus Schetelig, Asko Vilavaara	Handoff Support for Mobilty with IP over Bluetooth.	LCN	2000	DBLP DOI BibTeX RDF	radio access networks, handoff support, Bluetooth public access, BLUEPAC, mobile Bluetooth devices, train stations, supermarkets, OSI layer 3, layer 2 protocol, IP datagrams, BLUEPAC protocol, Bluetooth emulation system, handoff duration, upper layer protocols, mobile computing, mobility, wireless LAN, TCP, local area networks, transport protocols, IP, access points, cellular radio, airports
17	Guang Lu, Rob Simmonds, Xiao Zhonge, Brian W. Unger, Carey L. Williamson	The Performance of TCP over ATM on Lossy ADSL Networks.	LCN	2000	DBLP DOI BibTeX RDF	TCP over ATM, lossy ADSL networks, asymmetric digital subscriber line, protocol conversion overhead, data losses, noisy local loops, unidirectional bulk data transfer, independent error model, burst error model, TCP effective throughput, maximum segment size, switch buffer size, bandwidth asymmetry, noisy lines, asynchronous transfer mode, asynchronous transfer mode, transmission control protocol, noise, transport protocols, packet switching, digital simulation, simulation results, network architecture, performance metrics, simulation model, buffer storage, simulation experiments, losses, packet loss ratio, digital subscriber lines, transmission errors, channel errors, cell loss ratio
17	Sudharshan Vazhkudai, P. Tobin Maginnis	A High Performance Communication Subsystem for PODOS.	IWCC	1999	DBLP DOI BibTeX RDF	High speed Communication protocols, Communication for LAN, Packet Multiplexing, Communication Protocol Performance, Communication Protocol, Distributed Operating Systems, Clustering Systems, Short circuiting
17	Holger Vogt, Henning Pagnia, Felix C. Gärtner	Modular Fair Exchange Protocols for Electronic Commerce.	ACSAC	1999	DBLP DOI BibTeX RDF	Distributed Computing, Electronic Commerce, Fair Exchange, Protocol Design, Protocol Composition
17	Ming-Jer Tsai, Sheng-De Wang	A Fully Adaptive Routing Algorithm for Dynamically Injured Hypercubes, Meshes, and Tori.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	progressive protocol, misrouting protocol, hypercube, mesh, packet switching, torus, dynamic fault, virtual cut-through switching, Fully adaptive routing
17	Chan Park, Jong Hyup Lee, Jin-Oh Kim, Hyup Jong Kim	IP routing on logical address group.	ICCCN	1997	DBLP DOI BibTeX RDF	logical address group, virtual channel connection, IETF RFC1577, ARP over ATM, classical IP, logical IP subnet, ATM Forum, next hop resolution protocol, NHRP, MPOA, multiprotocol over ATM, inter-LIS communication, LIS information protocol, test-bed network, Internet, transport protocols, ATM network, prototype systems, IETF, network routers, IP services, IP routing
17	Daniel O. Awduche, Emmanuel Agu	Mobile extensions to RSVP.	ICCCN	1997	DBLP DOI BibTeX RDF	receiver oriented resource reservation setup protocol, integrated services packet networks, ISPN, Internet standardization, quiescent resource reservation, virtual receivers, intelligent pre-allocation, user mobility patterns, predictive look-ahead dynamic dormant multicast trees, scalability, robustness, flexibility, RSVP, packet radio networks, mobile hosts, resource reservation protocol
17	Chan Park, Hee Sook Choi, Jin-Oh Kim, Jong Hyup Lee	Next hop resolution using classical IP over ATM.	LCN	1997	DBLP DOI BibTeX RDF	classical IP, IP subnets, logical IP subnet, direct virtual channel connection, next hop resolution protocol, multi-protocol over ATM, inter-LIS communication, RFC1577, test-bed network, protocols, ATM, prototype systems
17	Ragunathan Rajkumar, Michael Gagliardi	High availability in the real-time publisher/subscriber inter-process communication model.	RTSS	1996	DBLP DOI BibTeX RDF	real time publisher/subscriber communications model, interprocess communication model, rejoins, repetitive real time processes, RT P/S model, processor membership protocol layer, periodic broadcast membership protocol, strong semantics, idempotence properties, weak interleaving needs, communication programming interface, steady state real time execution paths, multimedia dissemination applications, fault tolerant computing, distributed processing, feedback control, distributed real time systems, node failures, processor failures
17	Hussein M. Abdel-Wahab, Kurt Maly, Alaa Youssef, Emilia Stoica, C. Michael Overstreet, J. Christian Wild, Ajay Gupta 0003	The software architecture and interprocess communications of IRI: an Internet-based interactive distance learning system.	WETICE	1996	DBLP DOI BibTeX RDF	Internet-based interactive distance learning system, reference implementation, Interactive Remote Instruction system, continuous multimedia, shared applications, multi-user collaborative utilities, UDP multicasting, Unix domain protocol, reliable multicasting protocol, XTV data sharing engine, scalable expandable system, autonomous cooperating components, Internet, software architecture, video streams, messages, interprocess communications, group management, IRI, audio streams
17	Marc Gumbold	Software Distribution by Reliable Multicast.	LCN	1996	DBLP DOI BibTeX RDF	network layer protocols, best-effort multicast datagram service, point-to-multipoint communication service, peripheral file servers, multicast applications, end-to-end application layer protocol, thin transport layer, best-effort network layer multicast service, heterogeneous campus area networks, sender-based implosion avoidance, rate-based flow control, reliability, transport protocols, Internet protocol, reliable multicast, internetworks, software update, software distribution
17	Sujata Banerjee, Panos K. Chrysanthis	Data sharing and recovery in gigabit-networked databases.	ICCCN	1995	DBLP DOI BibTeX RDF	wide area gigabit networks, very high speed networks, gigabit-networked databases, lock-based concurrency control protocol, log-based recovery protocol, sequential phases, concurrency control, message passing, data sharing, distributed information systems, data access, data recovery, database servers
17	Yahya Y. Al-Salqan, Carl K. Chang	MediaWare: a distributed multimedia environment with interoperability.	WETICE	1995	DBLP DOI BibTeX RDF	MediaWare, distributed multimedia environment, distributed object computing standards, interoperable virtual connection protocol, synchronized time-based media, quality-of-connection, virtual connection protocol, multimedia teleorchestrations, quality-of-service, user interfaces, interoperability, CORBA, distributed processing, object-oriented databases, object oriented database, synchronisation, interactive systems, open systems, multimedia computing, interactive multimedia, software standards, application layer, object request broker, interface definition language, object life cycle
17	Samir A. Abd-Elmalak, Chintan Vaishnav, Anura P. Jayasumana	Performance of a packet switched WDM network with dynamic wavelength selection.	LCN	1995	DBLP DOI BibTeX RDF	packet switched WDM network, dynamic wavelength selection, WDM protocol, wavelength tolerance, performance evaluation, performance, protocols, protocol, packet switching, wavelength division multiplexing, optical fibre LAN
17	Santosh S. Venkatesh, Demetri Psaltis	On Reliable Computation With Formal Neurons.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	computing capabilities, formal McCulloch-Pitts neurons, decision errors, random error protocol, exhaustive error protocol, protocols, neural nets, neural nets, error tolerance
17	Marie-Jeanne Toussaint	Separating the Specification and Implementation Phases in Cryptology.	ESORICS	1992	DBLP DOI BibTeX RDF	knowledge state, protocol execution tree, security, formal verification, cryptographic protocol, cryptology
17	Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi	Test Selection Based on Finite State Models.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models
17	Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario	Interprocess Communication Dependency on Network Load.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	interprocess communication dependency, background load, protocol suites, XNS, Ethernet LAN, personal computer workstations, reliable transfer, unreliable transmission, service time analytical estimates, performance evaluation, protocols, TCP/IP, local area networks, transport protocol, communication performance, application layer, network load, bulk data transfer
17	Daniel M. Dias, Balakrishna R. Iyer, John T. Robinson, Philip S. Yu	Integrated Concurrency-Coherency Controls for Multisystem Data Sharing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	read-write synchronisation, multisystem data sharing, data sharing system structure, shared intermediate memory, early commit processing, write-serialization, integrated concurrency protocol, integrated concurrency-coherency control protocol, performance evaluation, performance analysis, protocols, distributed databases, concurrency control, queueing theory, buffering, buffer storage, queueing model
17	Jiin-Chiou Cheng, Chi-Sung Laih	Conference key agreement protocol with non-interactive fault-tolerance over broadcast network.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Conference key agreement, Modified Weil pairing, Fault-tolerance, Elliptic curve
17	Mi Wen, Jingsheng Lei, Zhong Tang, Xiuxia Tian, Kefei Chen, Weidong Qiu	A Verified Group Key Agreement Protocol for Resource-Constrained Sensor Networks.	WISM	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks (WSNs), Authentication, Continuity, Group key agreement, Group key
17	Azzedine Boukerche, Kaouther Abrougui, Richard Werner Nelem Pazzi	Context-aware and location-based service discovery protocol for vehicular networks.	PE-WASUN	2009	DBLP DOI BibTeX RDF	location-based services, service discovery, vehicular networks
17	Indranil Saha, Debapriyay Mukhopadhyay	Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.	ICISS	2009	DBLP DOI BibTeX RDF
17	Hyun-Sung Park, Jong-Deok Kim	Design of an RFID Air Protocol Filtering Technique.	CSE (2)	2009	DBLP DOI BibTeX RDF
17	Bo Zhang 0016, Binoy Ravindran	Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory.	OPODIS	2009	DBLP DOI BibTeX RDF
17	Qixin Wang, Rong Zheng 0001, Ajay Tirumala, Xue Liu 0001, Lui Sha	Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	Wireless sensor networks, Real time, Pervasive computing, Location-dependent and sensitive
17	Ramasuri Narayanam, Y. Narahari	Design of an Optimal Bayesian Incentive Compatible Broadcast Protocol for Ad Hoc Networks with Rational Nodes.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
17	Qing Zhang, Qiaoyan Wen, Gengli Chen	Efficient Fair Contract Signing Protocol from Bilinear Pairings.	ISECS	2008	DBLP DOI BibTeX RDF	Trusted Third Party (TTP), bilinear pairings, fair exchange, contract signing
17	Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen	Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks.	Petri Nets	2008	DBLP DOI BibTeX RDF	System design and verification using nets, experience with using nets, application of nets to protocols and networks, case studies, higher-level net models
17	George J. Mandellos, Michael N. Koukias, Dimitrios K. Lymberopoulos	Structuring the e-SCP-ECG+ protocol for multi vital-sign handling.	BIBE	2008	DBLP DOI BibTeX RDF
17	Gang Yao, Hongji Wang, Qingshan Jiang	An Authenticated 3-Round Identity-Based Group Key Agreement Protocol.	ARES	2008	DBLP DOI BibTeX RDF
17	Kiran Kotla, A. L. Narasimha Reddy	Making a Delay-Based Protocol Adaptive to Heterogeneous Environments.	IWQoS	2008	DBLP DOI BibTeX RDF
17	Mohamed Farid Elhawary, Zygmunt J. Haas	Busy Tone Multi Channel (BTMC): A New Multi Channel MAC protocol for Ad Hoc Networks.	PerCom	2008	DBLP DOI BibTeX RDF	wireless MAC protocols, multi-channel MAC