Search results for "Protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Xin Wang 0001, Chienming Yu, Henning Schulzrinne, Paul A. Stirpe, Wei Wu	IP Multicast Fault Recovery in PIM over OSPF.	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
55	Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire	Hop Integrity in Computer Networks.	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
55	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
54	Xiaoming Liu 0003, Robbert van Renesse	Fast protocol transition in a distributed environment (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
52	Kenneth C. Sevcik, Marjory J. Johnson	Cycle Time Properties of the FDDI Token Ring Protocol.	SIGMETRICS	1986	DBLP DOI BibTeX RDF
50	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
49	Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	A flexible protocol synthesis method for adopting requirement changes.	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
44	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
43	Arpita Patra, Ashish Choudhary, C. Pandu Rangan	Round Efficient Unconditionally Secure MPC and Multiparty Set Intersection with Optimal Resilience.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Information Theoretic Security, Multiparty Computation, Error Probability
43	Jun Shao, Min Feng, Bin B. 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
43	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
43	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
42	Seiji Ueno, Toshihiko Kato, Kenji Suzuki 0003	Analysis of Internet Multicast Traffic Performance Considering Multicast Routing Protocol.	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
42	Sundeep Singatwaria, Riaz Ahmad 0002, Fred Halsall	Timer-Based Burst Mode Protocol for High-Speed Networks.	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
41	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 Comput.	2003	DBLP DOI BibTeX RDF	Protocol re-synthesis, Distributed system, Petri net, Service specification, Protocol specification, Protocol synthesis
40	Chang-Yi Lin, Jiazheng Zhou, Yeh-Ching Chung	An adaptive migratory home protocol for software DSM systems.	ITRE	2005	DBLP DOI BibTeX RDF
40	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
40	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
39	Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi	From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.	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
38	Seng Kee Tan, Yu Ge 0001, Kean Soon Tan, Chee-Wei Ang, Nirmalya Ghosh	Dynamically Loadable Protocol Stacks: A Message Parser--Generator Implementation.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF	Protocol Development Design Model, Dynamic Protocol, SIP, Network Protocols
38	P. Krishna Reddy, Masaru Kitsuregawa	Speculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions.	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
37	Vijay Varadharajan, Rajan Shankaran, Michael Hitchens	Security services and public key infrastructure for ATM networks.	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
37	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
37	Pramod Kalyanasundaram, Paul D. Amer	Protocol Test Case Visualization.	Protocol Test Systems	1993	DBLP BibTeX RDF
37	Alexandre Petrenko, Rachida Dssouli, Hartmut König	On Evaluation of Testability of Protocol Structures.	Protocol Test Systems	1993	DBLP BibTeX RDF
37	Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu	Fault Coverage of UIO-based Methods for Protocol Testing.	Protocol Test Systems	1993	DBLP BibTeX RDF
37	Alexandre Petrenko, Nina Yevtushenko 0001, Alexandre Lebedev, Anindya Das	Nondeterministic State Machines in Protocol Conformance Testing.	Protocol Test Systems	1993	DBLP BibTeX RDF
37	Samuel T. Chanson, Hendra Dany, Myungchul Kim, Qin Li, Ying Lu, Son T. Vuong, Sijian Zhang, Limin Zhou, Jinsong Zhu	The UBC Protocol Testing Environment.	Protocol Test Systems	1993	DBLP BibTeX RDF
37	Rüdiger Köster	Problems and Difficulties with GSM Protocol Conformance Testing.	Protocol Test Systems	1992	DBLP BibTeX RDF
37	Anthony Chung, Deepinder P. Sidhu	Applications of Sufficient Conditions for Efficient Protocol Test Generation.	Protocol Test Systems	1992	DBLP BibTeX RDF
37	Marc F. Witteman	Promoting the Local Test Method, GSM Protocol Conformance Test Experience.	Protocol Test Systems	1992	DBLP BibTeX RDF
37	Ana R. Cavalli, Patrick Maigron, Sung Un Kim	Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications.	Protocol Test Systems	1992	DBLP BibTeX RDF
37	Cecilia Corbi, Giuseppe Sisto	Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application Contexts.	Protocol Test Systems	1991	DBLP BibTeX RDF
37	Ana R. Cavalli, Sung Un Kim	Protocol Conformance Test Generation Using a Graph Rewriting System.	Protocol Test Systems	1991	DBLP BibTeX RDF
37	Samuel T. Chanson, Qin Li	On Static and Dynamic Test Case Selections in Protocol Confomance Testing.	Protocol Test Systems	1991	DBLP BibTeX RDF
37	Alexandre Petrenko	Checking Experiments with Protocol Machines.	Protocol Test Systems	1991	DBLP BibTeX RDF
37	Jan Tretmans, Pim Kars, Ed Brinksma	Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.	Protocol Test Systems	1991	DBLP BibTeX RDF
37	Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani	A Calculus for Protocol Specification and Validation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Richard J. Linn Jr., J. Stephen Nightingale	Some Experience with Testing Tools for OSI Protocol Implementations.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	S. Aggarwal, Robert P. Kurshan	Modelling Elapsed Time in Protocol Specification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Yechiam Yemini, Nihal Nounou	CUPID: A Protocol Development Environment.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	F. Mark Restorick	Implementation of a Protocol in an Assembly Language.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Luigi Logrippo	"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Omar Rafiq, Jean-Pierre Ansart	VADILOC - A Protocol Validator and Its Applications.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt	Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Deepinder P. Sidhu	Protocol Verification via Executable Logic Specifications.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Guy Juanole, B. Algayres	Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Jean-Pierre Ansart, V. Chari, D. Simon	From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Gerard J. Holzmann, Rob A. Beukers	The Pandora Protocol Development System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Harry Rudin	From Formal Protocol Specification Towards Automated Performance Prediction.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	G. W. Cowin, R. W. S. Hale, D. Rayner	Protocol Product Testing - Some Comparisons and Lessons.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Sergio Palazzo, P. Fogliata, Gesualdo Le Moli	A Layer-Independent Architecture for a Testing System of Protocol Implementations.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Carl A. Sunshine	Experience with automated Protocol Verification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Robert L. Probert, Hasan Ural	Requirements for a Test Specification Language for Protocol Implementation Testing.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	Thomas P. Blumer, Deepinder P. Sidhu	Experience with an Automated Protocol Development System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
37	W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso	Design of a Transport Layer Protocol for a Special Purpose LAN.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
36	Gustavus J. Simmons	Cryptanalysis and Protocol Failures (abstract).	CCS	1993	DBLP DOI BibTeX RDF
36	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
36	Shyh-Wei Luan, Virgil D. Gligor	A Fault-Tolerant Protocol for Atomic Broadcast.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	delay of messages, fail-stop sites, Byzantine site behavior, majority-concensus decisions, decentralized termination protocol, performanceanalysis, performance evaluation, protocols, fault tolerant computing, network partitioning, duplication, reordering, atomic broadcast, loss, arbitrary network, fault-tolerant protocol
35	Azman Osman Lim, Xudong Wang 0001, Youiti Kado, Bing Zhang 0002	A Hybrid Centralized Routing Protocol for 802.11s WMNs.	Mob. Networks Appl.	2008	DBLP DOI BibTeX RDF	hybrid centralized, tree-based, intra-mesh traffic, routing protocol, wireless mesh network, 802.11s
35	Shuigen Yang, Huachun Zhou, Yajuan Qin, Hongke Zhang	SHIP: Cross-layer mobility management scheme based on Session Initiation Protocol and Host Identity Protocol.	Telecommun. Syst.	2009	DBLP DOI BibTeX RDF	Session initiation protocol, Mobility management, Cross-layer design, Host identity protocol
35	Dhiraj D. Kalamkar, Mainak Chaudhuri, Mark A. 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
35	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=63" 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)
35	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 (2)	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=64" 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)
35	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=65" 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)
35	Robert J. Hall 0001	Reactive System Validation using Automated Reasoning over a Fragment Library.	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
35	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
34	Lin Liu 0003, Jonathan Billington	Verification of the Capability Exchange Signalling protocol.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Capability Exchange Signalling protocol, Language equivalence, Coloured Petri Nets, Protocol verification, State space analysis
34	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
34	Fang-Chang Lin, Jane Yung-jen Hsu	Cost-balanced cooperation protocol in multi-agent robotic systems.	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
33	Ratna Dutta, Rana Barua	Provably Secure Constant Round Contributory Group Key Agreement in Dynamic Setting.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
33	Jai-Boo Oh, Eun-Jun Yoon, Kee-Young Yoo	An Efficient ID-Based Authenticated Key Agreement Protocol with Pairings.	ISPA	2007	DBLP DOI BibTeX RDF	ID-based encryption, Bilinear Pairing, Key Agreement protocol
33	Mahadevan Subramaniam, Zoltán Pap	Analyzing the Impact of Protocol Changes on Tests.	TestCom	2006	DBLP DOI BibTeX RDF	test consistency, protocol, evolution, Changes, communicating finite state machines
33	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
33	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
32	Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund	Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.	RTSS	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
32	Reinhard Gotzhein, Gregor von Bochmann	Deriving Protocol Specifications from Service Specifications Including Parameters.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF	automated protocol design, communication service specification, protocol derivation
32	Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe	An Acyclic Expansion Algorithm for Fast Protocol Validation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software
32	Rong-Yuh Hwang	An Efficient Technique of Instruction Scheduling on a Superscalar-Based Mulprocessor.	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
32	John Heinlein, Kourosh Gharachorloo, Robert P. Bosch Jr., Mendel Rosenblum, Anoop Gupta	Coherent Block Data Transfer in the FLASH Multiprocessor.	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
32	Michael Backes 0001, Matteo Maffei, Dominique Unruh	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
32	Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan	07421 Abstracts Collection -- Formal Protocol Verification Applied.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
32	Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan	07421 Executive Summary -- Formal Protocol Verification Applied.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
32	Omar Rafiq (eds.)	Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993	Protocol Test Systems	1994	DBLP BibTeX RDF
32	Gregor von Bochmann, Rachida Dssouli, Anindya Das (eds.)	Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli	Conformance Relations and Test Derivation.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Anders Ek, Jan Ellsberger, Anthony Wiles	Experiences with Computer Aided Test Suite Generation.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Mohammed Ghriga, Phyllis G. Frankl	Adaptive Testing of Non-Deterministic Communication Protocols.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Gert Vermeer, Hans Blik	Interoperability Testing: Basis for the Acceptance of Communication Systems.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Marc Phalippou	Executable Testers.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi	Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Gang Luo, Anindya Das, Gregor von Bochmann	Generating Tests for Control Portion of SDL Specifications.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Andreas Ulrich, Hartmut König	Test Derivation from LOTOS Using Structure Information.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Jan Tretmans	A Formal Approach to Conformance Testing.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Marc F. Witteman, Ronald C. van Wuijtswinkel	ATM Broadband Network Testing Using the Ferry Principle.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti	Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou	Formal Methods for Conformance Testing: Results and Perspectives.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Richard Castanet, Ousmane Koné	Deriving Coordinated Testers for Interoperability.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier	Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Khalil Drira	The Refusal Graph: a Tradeoff between Verification and Test.	Protocol Test Systems	1993	DBLP BibTeX RDF