Search results for "Protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire	Hop Integrity in Computer Networks. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	hop integrity, secret exchange protocol, weak integrity protocol, strong integrity protocol, stateless protocol, protocols, network security, Transmission Control Protocol, computer networks, computer networks, TCP/IP, transport protocols, Internet Protocol, network protocol, security of data, router, telecommunication network routing, telecommunication security, message transmission
7	Xin Wang 0001, C. Yu, Henning Schulzrinne, Paul A. Stirpe, Wei Wu	IP Multicast Fault Recovery in PIM over OSPF. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	IP multicast fault recovery, IP multicast networks, network recovery, Protocol Independent Multicast, PIM routing protocol, Internet Group Management Protocol, Open Shortest Path First, OSPF protocol, multicast channel recovery time, IP multicast channels, OPNET simulation tool, fault recovery time, protocol control overhead, Cisco routers, router failures, control overhead, unicast protocol recovery, performance evaluation, local area networks, transport protocols, analytical models, digital simulation, testbed, wide area networks, WAN, system recovery, simulation models, telecommunication network routing, multicast communication, LAN, parameter tuning, performance tuning, OSPF, link failures, network configurations, telecommunication channels, computer network reliability, network failure, IGMP
6	P. Krishna Reddy, Masaru Kitsuregawa	Speculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	speculation based nested locking protocol, inter-transaction concurrency, nested locking protocol, SNL protocol, sub-transaction, after-image, multiple executions, main memory resources, concurrency control, speculative executions, nested transactions, data object, concurrency control protocol
6	Xuan Shangguan, Winston Khoon Guan Seah, Chi Chung Ko	Performance evaluation of a lightweight resource reservation protocol for mobile Internet hosts.	WMCSA	2000	DBLP DOI BibTeX RDF	telecommunication signalling, lightweight resource reservation protocol, mobile Internet hosts, Integrated Services model, IntServ model, receiver-initiated reservation mechanism, soft state mechanism, large groups, dynamic group membership, heterogeneous receiver requirements, protocol complexity, processing overhead, storage overhead, sender-initiated reservation mechanism, lightweight signalling protocol, SMRP, Sender-initiated and Mobility-support Reservation Protocol, quality of service, performance evaluation, performance evaluation, Internet, mobile computing, scalability, protocols, resource allocation, multimedia communication, data flow, service quality, multimedia traffic, RSVP, network routers
6	Sundeep Singatwaria, Riaz Ahmad, Fred Halsall	Timer-Based Burst Mode Protocol for High-Speed Networks. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	timer based burst mode protocol, IEEE 802.12 demand priority protocol, end system, hub port, burst size, burst quota, demand priority protocol, performance evaluation, simulation modeling, high speed networks, access protocols, LAN, grant, protocol performance
6	Mehrdad Parsa, J. J. Garcia-Luna-Aceves	Scalable Internet multicast routing.	ICCCN	1995	DBLP DOI BibTeX RDF	scalable Internet multicast routing, distributed network applications, multiparty teleconferencing, one-to-many communication, many-to-many communication, wide-area internetworks, IP architecture, core-based tree protocol, CBT protocol, protocol independent multicast protocol, PIM protocol, Internet, multicasting, multicast routing, multicast routing protocol
6	Deepinder P. Sidhu, Ting-Kau Leung	Formal Methods for Protocol Testing: A Detailed Study.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	NBS Class 4 Transport Protocol, protocol-test-sequence generation techniques, real-world communication protocols, protocols, fault detection, fault coverage, fault coverage, conformance testing, Monte Carlo methods, Monte Carlo simulation, failure analysis, test sequences, protocol implementation, protocol testing
6	Branislav Meandzija	Archetype: A Unified Method for the Design and Implementation of Protocol Architectures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	data-driven concurrent execution model, abstract protocol architecture specifications, performance constraints, X.25-level 3-like protocol, protocols, data structures, data structures, natural languages, automatic programming, automatic programming, protocol design, automated design, multiprocessing programs, simulation languages, protocol architectures, specification technique, Archetype
5	László Bokor, László Tamás Zeke, Szabolcs Nováczki, Gábor Jeney	Protocol design and analysis of a HIP-based per-application mobility management platform.	MOBIWAC	2009	DBLP DOI BibTeX RDF	application-specific handover management, cross-layer protocol design, hipsim++ simulation framework, inet/omnet++, per-application mobility management, performance evaluation and analysis, host identity protocol (hip), protocol simulation
5	Yang Liu, Li Li	Money Policy in Dynamic Stochastic General Equilibrium Models.	CAR	2009	DBLP DOI BibTeX RDF	Money Policy, Dynamic Stochastic General Equilibrium Model, MIU Citation: Yang Liu, Li Li, Money Policy in Dynamic Stochastic General Equilibrium Models, pp.406-409, 2009 International Asia Conference on Informatics in Control, Automation and Robotics, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(Money Policy in Dynamic Stochastic General Equilibrium Models), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(1564), var pubYear = escape(2009), var volume = escape(0), var issueNo = escape(0), var packageTitle = escape(2009 International Asia Conference on Informatics in Control, Automation and Robotics), var productTitle = escape(Informatics in Control, Automation and Robotics, International Asia Conference on), var acronymTemp = escape(CAR), var bcPageName = escape(C), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/1564), var linkToIssue=escape(/plugins/dl/years/1564?year=2009&vol=0), var linkToTOC=escape(/plugins/dl/toc/6544), var linkToAbstract = escape(/plugins/dl/doi/10.1109/CAR.2009.103), var journalPage = escape(cc), var abbrevTitle = escape(car), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(Money Policy in Dynamic Stochastic General Equilibrium Models), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=10" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), car, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
5	Sushama P. Patil, Amol C. Goje	The Effect of Developments in Student Attributes on Success in Programming of Management Students.	ICETC	2009	DBLP DOI BibTeX RDF	mathematical aptitude, performance consistence in mathematics etc Citation: Sushama P. Patil, Amol C. Goje, The Effect of Developments in Student Attributes on Success in Programming of Management Students, icetc, pp.191-193, 2009 International Conference on Education Technology and Computer, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(1629), var pubYear = escape(2009), var volume = escape(0), var issueNo = escape(0), var packageTitle = escape(2009 International Conference on Education Technology and Computer), var productTitle = escape(Education Technology and Computer, International Conference on), var acronymTemp = escape(ICETC), var bcPageName = escape(I), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/1629), var linkToIssue=escape(/plugins/dl/years/1629?year=2009&vol=0), var linkToTOC=escape(/plugins/dl/toc/6836), var linkToAbstract = escape(/plugins/dl/doi/10.1109/ICETC.2009.35), var journalPage = escape(i), var abbrevTitle = escape(icetc), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=11" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), spatial ability, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
5	Feifei Feng, Yongjun Wu, Chu Zhang, Yiming Wu	Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer.	ICNC	2009	DBLP DOI BibTeX RDF	tumor marker, bronchofibroscope, lung cancer Citation: Feifei Feng, Yongjun Wu, Chu Zhang, Yiming Wu, Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer, icnc, vol. 2, pp.118-125, 2009 Fifth International Conference on Natural Computation, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(916), var pubYear = escape(2009), var volume = escape(2), var issueNo = escape(2), var packageTitle = escape(2009 Fifth International Conference on Natural Computation), var productTitle = escape(International Conference on Natural Computation), var acronymTemp = escape(ICNC), var bcPageName = escape(I), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/916), var linkToIssue=escape(/plugins/dl/years/916?year=2009&vol=2), var linkToTOC=escape(/plugins/dl/toc/7230), var linkToAbstract = escape(/plugins/dl/doi/10.1109/ICNC.2009.635), var journalPage = escape(i), var abbrevTitle = escape(icnc), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(Application of Artificial Neural Network Model Established by Tumor Markers and Bronchofibroscopic Data in Auxiliary Diagnosis of Lung Cancer), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=12" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), Artificial neural networks, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
5	Dhiraj D. Kalamkar, Mainak Chaudhuri, Mark Heinrich	Simplifying Active Memory Clusters by Leveraging Directory Protocol Threads.	ISPASS	2007	DBLP DOI BibTeX RDF	active memory cluster, directory protocol thread, active memory address remapping, parallel reduction, coherence protocol extension, software protocol, multi-threaded node, dual-core node, active memory architecture, distributed shared memory, multiprocessor architecture, memory controller, matrix transpose
5	Jun Shao, Min Feng, Bin Zhu, Zhenfu Cao	An Efficient Certified Email Protocol.	ISC	2007	DBLP DOI BibTeX RDF	Certified Email Protocol, D Optimistic Fair Exchange Protocol, Fair Exchange Protocol
5	Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino	Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.	Distributed Computing	2003	DBLP DOI BibTeX RDF	Protocol re-synthesis, Distributed system, Petri net, Service specification, Protocol specification, Protocol synthesis
5	Emir Mulabegovic, Dan Schonfeld, Rashid Ansari	Lightweight Streaming Protocol (LSP).	ACM Multimedia	2002	DBLP DOI BibTeX RDF	lightweight protocol, semi-reliable transport, streaming protocol, video communications, real-time protocol, real-time streaming
5	Seiji Ueno, Toshihiko Kato, Kenji Suzuki	Analysis of Internet Multicast Traffic Performance Considering Multicast Routing Protocol. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	video delivery service, audio delivery services, distance vector multicast routing protocol, protocol independent multicast-sparse mode routing protocol, multicast IP datagrams, DVMRP messages, PIM-SM messages, Internet, Internet, performance analysis, protocols, telecommunication network routing, multicast communication, telecommunication traffic, multicast routing protocol, multicast traffic
5	Jiabin Xie, Adwait Nerlikar, John R. Glover, Bruce A. McKinley	An ICU Protocol Development and Management System.	CBMS	2000	DBLP DOI BibTeX RDF	ICU, clinical decision-making, computerized protocol, protocol development, protocol, standardization, expert system, decision support, automation, knowledge engineering
5	Yen-Min Huang, Chinya V. Ravishankar	Constructive Protocol Specification Using Cicero.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	event-driven language, protocol specification, protocol implementation, Protocol synthesis
5	Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi	From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. (PDF / PS)	WETICE	1997	DBLP DOI BibTeX RDF	authentication protocol specifications, flaws, automatic formal algorithm, protocol roles, intruder communication abilities, intruder computational abilities, protocol instrumentations, formal verification, encryption, message authentication, decryption, attack scenarios, deductive system
5	Robert J. Hall	Reactive System Validation using Automated Reasoning over a Fragment Library. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
5	Vijay Varadharajan, Rajan Shankaran, Michael Hitchens	Security services and public key infrastructure for ATM networks. (PDF / PS)	LCN	1997	DBLP DOI BibTeX RDF	ATM protocol stack, security layer, data origin authentication, user plane, key establishment protocol, ATM signaling protocol, call setup procedures, ATM nodes, public key certificate retrieval, public key certificate distribution, B-ISDN Protocol Reference Model, integrity, public key cryptography, confidentiality, ATM networks, public key infrastructure, Certification Authority, security services
5	Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	A flexible protocol synthesis method for adopting requirement changes. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	flexible protocol synthesis method, requirement changes adoption, communicating entities, maintenance issue, protocol synthesis method, formal specification language LOTOS, formal specification, protocols, software maintenance, specification languages, protocol specification
5	Z. P. Tao, Gregor von Bochmann, Rachida Dssouli	An efficient method for protocol conversion.	ICCCN	1995	DBLP DOI BibTeX RDF	optimized protocol converters, heterogeneous computer networks, message sequences, deterministic service specification, modified channel specifications, internetworking system, protocols, interoperability, efficient algorithm, protocol specifications, observation equivalence, protocol conversion
5	Arkady B. Zaslavsky, L. H. Yeo, Simon J. Lai, Boris Mitelman	Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment.	ICCCN	1995	DBLP DOI BibTeX RDF	Petri nets analysis, transaction management protocols, submitter management protocols, mobile distributed computing environment, transaction queuing protocol, message queuing protocol, mobile workstations, distributed multidatabase environment, Design/CPN software tool, hierarchical coloured Petri nets, transaction processing algorithms, message processing algorithms, simulation results, simulation model, workstations, protocol verification, protocol implementation
5	Yoshiaki Kakuda, Hironori Saito	An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	acyclic-expansion-based protocol validation, state transition sequences, CAPE, computer-aided protocol engineering, design, formal specification, protocols, integrated system, protocol specifications, integrated approach, software module, protocol synthesis
5	Deepinder P. Sidhu, Carole S. Crall	Executable Logic Specifications for Protocol Service Interfaces.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable logic specifications, protocol service interfaces, formal modeling technique, logic-programming-based language, protocol layers, protocol standards, ISO/OSI, protocols, Prolog, PROLOG, specification languages, correctness, formal language, formal languages, transport layer
4	Shuigen Yang, Huachun Zhou, Yajuan Qin, Hongke Zhang	SHIP: Cross-layer mobility management scheme based on Session Initiation Protocol and Host Identity Protocol.	Telecommunication Systems	2009	DBLP DOI BibTeX RDF	Session initiation protocol, Mobility management, Cross-layer design, Host identity protocol
4	Hyun-Wook Jin, Junbeom Yoo	Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems.	SEUS	2009	DBLP DOI BibTeX RDF	Network Protocol Stacks, Network Gateway, Formal Verification, Protocol Verification, Embedded Operating Systems, Embedded Networks
4	László Bokor, Szabolcs Nováczki, László Tamás Zeke, Gábor Jeney	Design and evaluation of host identity protocol (HIP) simulation framework for INET/OMNeT++.	MSWiM	2009	DBLP DOI BibTeX RDF	INET, handover performance, real-life hip testbed, C++, OMNeT++, simulation framework, host identity protocol (HIP), protocol simulation
4	Xuejun Tian, Xiang Chen, Tetsuo Ideguchi, Takashi Okuda	Improving protocol capacity by scheduling random access on WLANs.	Telecommunication Systems	2008	DBLP DOI BibTeX RDF	Contention-based protocol, Reservation scheduling, Ad hoc networks, Wireless networks, WLAN, MAC protocol, DCF, PCF
4	Koichi Koizumi, Takaaki Mizuki, Takao Nishizeki	A Revised Transformation Protocol for Unconditionally Secure Secret Key Exchange.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Random deal of cards, Secret key exchange, Key set protocol, Transformation protocol, Card games
4	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
4	Lay G. Ding, Lin Liu	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
4	Dalju Lee, Jongmoon Baik	QoS Protocol Verification using Petri-Net for Seamless Mobility in a Ubiquitous Environment: A Case Study.	SNPD	2008	DBLP DOI BibTeX RDF	QoS Protocol, Petri-Net, Protocol Verification
4	Daniel Dietterle	Embedded system protocol design flow based on SDL: from specification to hardware/software implementation.	SimuTools	2008	DBLP DOI BibTeX RDF	protocol accelerator, embedded systems, SDL, protocol engineering, IEEE 802.15.3
4	Chu-Hsing Lin, Wei-Shen Lai, Yen-Lin Huang, Mei-Chun Chou	I-SEAD: A Secure Routing Protocol for Mobile Ad Hoc Networks.	MUE	2008	DBLP DOI BibTeX RDF	SEAD, I-SEAD protocol, Ad hoc networks, simulation experiments, secure routing protocol
4	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
4	Lin Liu, Jonathan Billington	Verification of the Capability Exchange Signalling protocol.	STTT	2007	DBLP DOI BibTeX RDF	Capability Exchange Signalling protocol, Language equivalence, Coloured Petri Nets, Protocol verification, State space analysis
4	Praveen Tiwari, Raj S. Mitra	Hybrid Verification of Protocol Bridges.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	serial protocol, hybrid verification, protocol bridge, model checking, formal verification
4	Romain Pellerin	The MooDS protocol: a J2ME object-oriented communication protocol.	Mobility Conference	2007	DBLP DOI BibTeX RDF	GASP, J2ME communication protocol, J2ME mobile phone, OMA, object-oriented, communication protocol, multiplayer games, serialization, MooDS
4	Taesoo Jun, Christine Julien	Automated routing protocol selection in mobile ad hoc networks.	SAC	2007	DBLP DOI BibTeX RDF	routing protocol selection, target deployment, MANET, protocol model
4	Daniel Popa, Joanna Tomasik	On Markov Chain Modelling of Asynchronous Optical CSMA/CA Protocol.	MASCOTS	2007	DBLP DOI BibTeX RDF	Asynchronous optical CSMA/CA protocol, Variable size packets, MAC protocol performance, Markov model
4	Shigeru Watanabe, Kenshu Seto, Y. Ishikawa, Satoshi Komatsu, Masahiro Fujita	Protocol Transducer Synthesis using Divide and Conquer approach.	ASP-DAC	2007	DBLP DOI BibTeX RDF	out-of-order transactions, large scale system on a chip, IP-based design, automatic protocol transducer synthesis, nonblocking transactions, design methodologies, communication protocols, protocol conversion, divide and conquer approach
4	Moon Jeong Kim, Dong Hoon Lee, Young Ik Eom	Enhanced Non-disjoint Multi-path Source Routing Protocol for Wireless Ad-Hoc Networks.	ICCSA	2007	DBLP DOI BibTeX RDF	enhanced wireless ad-hoc network, multi-path routing protocol, node/link non-disjoint route, on-demand routing protocol
4	Radim Bürget, Dan Komosny, Milan Simek	Simulation of Large-Scale IPTV Systems for Fixed and Mobile Networks.	PWC	2007	DBLP DOI BibTeX RDF	RTP Control protocol, Internet Protocol Television, Receiver Summary Packets, Sender reports, Receiver reports, Petri net, Feedback, IPTV, RTP, Real-time Transport Protocol, RTCP, hierarchical aggregation
4	Nancy Alonistioti, Eleni Patouni, Vangelis Gazis	Generic Architecture and Mechanisms for Protocol Reconfiguration.	MONET	2006	DBLP DOI BibTeX RDF	protocol component, reconfiguration, binding, protocol stack
4	Jeanette Tsang, Konstantin Beznosov	A Security Analysis of the Precise Time Protocol (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF	IEEE 1588, Precise Time Protocol, Network Time Protocol, time synchronization, security analysis
4	Abdelhamid Mellouk, Mustapha Guezouri	A new methodology to adapt SIP Protocol for voice traffic transported over IP Network.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	multimedia sessions, TURN and STUN Protocol, Session Initiation Protocol, Voice over IP, Network Address Translation
4	Julien Bringer, Hervé Chabanne, Emmanuelle Dottax	HB++: a Lightweight Authentication Protocol Secure against Some Attacks.	SecPerU	2006	DBLP DOI BibTeX RDF	We here show how a modification of the HB+ protocol thwarts Gilbert et al’s attack, The resulting protocol, HB++, remains a good choice for RFID authentication
4	Hongbing Chen, Qun Yang, Manwu Xu	A Calculus for MAS Interaction Protocol.	PRIMA	2006	DBLP DOI BibTeX RDF	Dialogue protocol, Multi-agent, Interaction protocol, ?-Calculus
4	N. Sreenath, Balaji Palanisamy	An Online Distributed Protocol for the Restoration of Connectivity in the Virtual topology after Link failure in IP over WDM networks.	ICNS	2006	DBLP DOI BibTeX RDF	Reconfiguration of Virtual topology, On-line protocol, Distributed protocol, Link Failures, WDM Optical Network
4	Emma Carlson, Martin Kubisch, Daniel Hollos	A receiver based protecting protocol for wireless multi-hop networks.	PE-WASUN	2005	DBLP DOI BibTeX RDF	JamTDMA, receiver protection, protocol, wireless multi-hop networks, reservation protocol
4	Saurabh Mehta, Ju-A Lee, Jae-Hyun Kim	IS-MAC based flooding protocol for sensor networks.	PE-WASUN	2005	DBLP DOI BibTeX RDF	sensor networks, energy-efficiency, routing protocol, MAC protocol
4	Fan Bai, 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.	Computer Communication Review	2004	DBLP DOI BibTeX RDF	mobile ad hoc network, building block, protocol analysis, protocol design, micro-mobility
4	Seng Kee Tan, Yu Ge, Kean Soon Tan, Chee-Wei Ang, Nirmalya Ghosh	Dynamically Loadable Protocol Stacks: A Message Parser--Generator Implementation.	IEEE Internet Computing	2004	DBLP DOI BibTeX RDF	Protocol Development Design Model, Dynamic Protocol, SIP, Network Protocols
4	Samir Aknine, Suzanne Pinson, Melvin F. Shakun	An Extended Multi-Agent Negotiation Protocol.	Autonomous Agents and Multi-Agent Systems	2004	DBLP DOI BibTeX RDF	multi-agent systems, negotiation protocol, contract net protocol
4	Kun Wang, Yinlong Xu, Guo-Liang Chen, Ya-feng Wu	Power-Aware On-Demand Routing Protocol for MANET.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	Mobile Ad Hoc Network (MANET), routing protocol, energy-efficient protocol, system lifetime
4	Supakorn Kungpisdan, Bala Srinivasan, Phu Dung Le	A Secure Account-Based Mobile Payment Protocol.	ITCC	2004	DBLP DOI BibTeX RDF	Electronic commerce protocol, credit-card payment, cryptographic protocol, mobile payment
4	Sajal K. Das, Enoch Lee, Kalyan Basu, Sanjoy K. Sen	Performance Optimization of VoIP Calls over Wireless Links Using H.323 Protocol.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	H.323 protocol, link-level QoS, radio link protocol (RLP), Wireless network, performance study
4	Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka	Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.	STTT	2003	DBLP DOI BibTeX RDF	Explicit-state model checking, Protocol verification, Livelock, Sliding-window protocol
4	Marc Boyer, Mihaela Sighireanu	Synthesis and Verification of Constraints in the PGM Protocol.	FME	2003	DBLP DOI BibTeX RDF	PGM protocol, real-time multicast protocol, finite and timed model-checking, parameterized verification, constraint synthesis
4	Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, David A. Wood	Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol.	IEEE Trans. Parallel Distrib. Syst.	2002	DBLP DOI BibTeX RDF	multicast snooping, Cache coherence, protocol verification, protocol specification, memory consistency
4	Sijing Zhang, Alan Burns, Tee-Hiang Cheng	Cycle-Time Properties of the Timed Token Medium Access Control Protocol.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Protocol timing properties, timed token medium access control (MAC) protocol, timed token networks, real-time communications, FDDI networks
4	Zygmunt J. Haas, Marc R. Pearlman	The performance of query control schemes for the zone routing protocol.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	bordercast, hybrid routing, query control, routing zone, Ad hoc network, routing protocol, reactive routing, proactive routing, ZRP, zone routing protocol
4	Ho-Yen Chang, Shyhtsun Felix Wu, Y. Frank Jou	Real-time protocol analysis for detecting link-state routing protocol attacks.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	OSPF attacks, knowledge-based IDS, link-state routing protocol security, real-time misuse intrusion detection, real-time network protocol analysis, timed finite state machine, event correlation
4	R. 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
4	Akhil Kumar	An Efficient SuperGrid Protocol for High Availability and Load Balancing.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	grid protocol, Crumbling Walls protocol, Paths system, load balancing, availability, quorum system, Server replication
4	Wei Mingliang, Qian Yu, Mao Bing, Xie Li	Protocol Mapping Model for Distributed Multimedia Systems.	TOOLS	2000	DBLP DOI BibTeX RDF	protocol mapping, protocol binding, active networks, distributed multimedia system
4	Young-Bae Ko, Nitin H. Vaidya	GeoTORA: A Protocol for Geocasting in Mobile Ad Hoc Networks. (PDF / PS)	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
4	Shamim Begum, Meeta Sharma, Ahmed Helmy, Sandeep K. S. Gupta	Systematic Testing of Protocol Robustness: Case Studies on Mobile IP and MARS. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	systematic testing of robustness by evaluation of synthesized scenarios, registration message, MARS server, forward search, multicast address resolution server protocol, protocol robustness, Internet, performance, mobile computing, complexity, protocols, asynchronous transfer mode, ATM, topologies, network topology, error, mobile IP, search problems, multicast communication, STRESS, IP-multicast, network servers, packet radio networks, MIP, MARS, event sequences, land mobile radio, test generation algorithm, home agent, asymptotic complexity
4	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
4	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, safety-critical software, hard real-time systems, safety-critical applications, verification methods
4	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
4	T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das	A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	algorithms, communication, Protocol, graph theory, communication protocol, matroids, protocol testing
4	Alain J. Mayer, Moti Yung	Secure Protocol Transformation via "Expansion": From Two-Party to Groups.	ACM Conference on Computer and Communications Security	1999	DBLP DOI BibTeX RDF	complexity theoretic proofs, key transport, protocol transformation, secure group protocols, authentication, protocol design, forward secrecy
4	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
4	Bobby Krupczak, Kenneth L. Calvert, Mostafa H. Ammar	Increasing the portability and re-usability of protocol code.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	protocol deployment, protocol subsystem, portability, protocol implementation
4	Sandeep S. Kulkarni, Anish Arora	Once-and-for all management protocol (OFMP).	ICNP	1997	DBLP DOI BibTeX RDF	once-and-forall management protocol, network management protocol, management information bases, fault-tolerance masking, eventually-detectable faults, protocols
4	Donald P. Brutzman, Michael Zyda, Kent Watsen, Michael R. Macedonia	Virtual Reality Transfer Protocol (VRTP) Design Rationale. (PDF / PS)	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
4	Kwang-Sik Chung, Kibom Kim, Chong-Sun Hwang, Jin Gon Shon, Heon-Chang Yu	Hybrid checkpointing protocol based on selective-sender-based message logging. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	hybrid checkpointing protocol, selective-sender-based message logging, asynchronous checkpointing protocol, failure-free operation, cascade rollback, message dependency tree, search time, protocols, failure recovery
4	Raschid Karabek	A native ATM protocol architecture design and performance evaluation. (PDF / PS)	LCN	1997	DBLP DOI BibTeX RDF	native ATM protocol architecture design, native ATM protocol architecture performance evaluation, native mode ATM access, homogeneous ATM networks, information streams, common service access point, transport layer functionality, end-to-end error, datagram transfer, VC multiplexing, variable bit rate connections, constant bit rate connections, sporadic burst superimposition, data channels, maximised effective end-re-end throughput, unspecified bit rate service, asynchronous transfer mode, congestion control, ATM networks, multimedia applications, flow control, Quality of Service guarantees, virtual connections
4	Lawrence C. Paulson	Mechanized proofs for a recursive authentication protocol.	CSFW	1997	DBLP DOI BibTeX RDF	mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys
4	Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund	Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	audio/video protocol, real-life protocol, real-time considerations, real-time verification tool, error trace, software engineering, formal verification, formal modeling, automatic verification, industrial case study, UPPAAL, assembler code
4	Masaru Takesue	A tampering protocol for reducing the coherence transactions in regular computation.	ISPAN	1997	DBLP DOI BibTeX RDF	tampering protocol, coherence transactions, regular computation, latency of communication, protocols, multiprocessor, cache-coherence protocol, RTL simulator
4	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
4	John Heinlein, Kourosh Gharachorloo, Robert P. Bosch Jr., Mendel Rosenblum, Anoop Gupta	Coherent Block Data Transfer in the FLASH Multiprocessor. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	FLASH multiprocessor, block data transfer, multiple communication protocols, embedded protocol processor, protocol, shared memory, prefetching, cache storage, FLASH, cache coherence protocol, multiprocessor architecture, MAGIC
4	Rong-Yuh Hwang	An Efficient Technique of Instruction Scheduling on a Superscalar-Based Mulprocessor. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	FLASH multiprocessor, block data transfer, multiple communication protocols, embedded protocol processor, protocol, shared memory, prefetching, cache storage, FLASH, cache coherence protocol, multiprocessor architecture, MAGIC
4	Hiroaki Higaki, Makoto Takizawa	Group communication protocol for flexible distributed systems.	ICNP	1996	DBLP DOI BibTeX RDF	flexible distributed systems, system environments, dynamic upgrading method, protocol error detection, checkpoint-rollback algorithm, distributed processing, computer networks, distributed programs, message transmission, process groups, large-scale distributed systems, group communication protocol
4	Weijia Jia, Jiannong Cao, Edgar Nett, Jörg Kaiser	A high performance reliable atomic group protocol. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	high performance reliable atomic group protocol, group communication multicast protocol, single logical-clock token ring approach, multicast messages, optimized fault-tolerant algorithms, process failures, message total ordering, atomic delivery, fault tolerant computing, message passing, local area networks, local area network, transport protocols, atomicity, network partitioning, total ordering, token networks
4	Fang-Chang Lin, Jane Yung-jen Hsu	Cost-balanced cooperation protocol in multi-agent robotic systems. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	cost-balanced cooperation protocol, multi-agent robotic systems, cost-balanced strategy, Object-Sorting Task, subjective optimal decision, distributed modular agent architecture, help-based cooperation protocol, performance evaluation, computational complexity, artificial intelligence, protocols, mobile robots, cooperative systems
4	Takayuki Tachikawa, Makoto Takizawa	Communication protocol for group of distributed objects. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	ordered delivery, conflicting relation, protocol, distributed processing, transport protocols, communication protocol, distributed objects, multiple objects
4	Chooi-Tian Lee, Jack W. Harris	Designing a Virtual Access Control Configuration Protocol for Implementation over ISDN and Shared-Media Networks. (PDF / PS)	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
4	Nen-Fu Huang, Chi-An Su, Chieh-Wen Cheng, Chuan-Pwu Wang, Jer-Han Fang, Yi-Jang Wu	The Design and Implementation of a Multicast Real-Time Multimedia Protocol. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	multicast real-time multimedia protocol, performance contract, multicast function, interconnected ATM switches, QoS guaranteed protocol, quality of service, delay, admission control, transport protocols, group communications, communication networks, bandwidth, multimedia communications, multimedia applications, packet scheduling, routers, high-speed network, resource reservation, data transmission, telecommunication channels, FDDI networks, delay jitter, jitter control
4	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
4	Chooi-Tian Lee, Jack W. Harris	Principle and Technique for Encapsulation of User Control and Data Information in Separate Frames. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	real-time interactive multimedia services, data/media integration, separate frames, ATM protocol, application communication services, network communication services, user-data information, network-level, FAL protocol, traffic policing, frame adaptation layer protocol, World Wide Web, network protocols, encapsulation, secure communication, traffic shaping, telecommunication services, reliable communication, user control, communication services
4	Dedy Dewanto Tjhie, Helmut Rzehak	Design and Performance Evaluation of Network Interconnection Architectures. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	network interconnection architectures, protocol layer, output process, mean values, GI/G/1-K model, GI/G/1 model, performance evaluation, power, local area network, response time, performance metrics, high speed network, gateways, end-to-end delay, queueing network models, LAN interconnection, protocol architectures, service process, protocol stacks, buffer requirement, arrival process
4	Jehoshua Bruck, Danny Dolev, Ching-Tien Ho, Rimon Orni, H. Raymond Strong	PCODE: an efficient and reliable collective communication protocol for unreliable broadcast domain. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	PCODE, unreliable broadcast domain, point-to-point protocol, Silicon Graphics Indigo workstations, broadcast, message passing, programming environments, local area networks, transport protocols, communication protocol, LAN
4	Yukuo Hayashida, Manabu Ikegami, Nobuyuki Sugimachi	Multi-segment bandwidth reservation protocol for DQDB subnetwork. (PDF / PS)	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
4	Gun Seo, Sun-Moo Kang, Dae Young Kim, Hong-Bum Jeon	A distributed cycle reset protocol for the high-speed LAN/MAN. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	shared medium access protocol, distributed cycle reset protocol, high-speed LAN/MAN, distributed cycle reset function, token reset, distributed cycle reset, access control, local area networks, access protocols, metropolitan area networks