The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Protocol with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1970 (21) 1971 (35) 1972 (19) 1973 (20) 1974 (16) 1975-1976 (39) 1977 (18) 1978 (22) 1979 (23) 1980 (28) 1981 (44) 1982 (88) 1983 (118) 1984 (143) 1985 (130) 1986 (127) 1987 (155) 1988 (208) 1989 (222) 1990 (251) 1991 (312) 1992 (327) 1993 (365) 1994 (375) 1995 (448) 1996 (551) 1997 (616) 1998 (703) 1999 (935) 2000 (1117) 2001 (1265) 2002 (1622) 2003 (2040) 2004 (2750) 2005 (3484) 2006 (3806) 2007 (3999) 2008 (3942) 2009 (3029) 2010 (1931) 2011 (1819) 2012 (1829) 2013 (1898) 2014 (1817) 2015 (1900) 2016 (1767) 2017 (1908) 2018 (1966) 2019 (2065) 2020 (1967) 2021 (2020) 2022 (1949) 2023 (1934) 2024 (379)
Publication types (Num. hits)
article(22825) book(22) data(7) incollection(146) inproceedings(37189) phdthesis(341) proceedings(31) www(1)
Venues (Conferences, Journals, ...)
RFC(2172) CoRR(1649) Wirel. Pers. Commun.(698) ICC(695) IEEE Access(627) IACR Cryptol. ePrint Arch.(593) GLOBECOM(518) Sensors(490) LCN(479) WCNC(442) ISCC(425) Comput. Commun.(422) Wirel. Networks(374) INFOCOM(358) IEEE J. Sel. Areas Commun.(354) PIMRC(336) More (+10 of total 4934)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31248 occurrences of 6773 keywords

Results
Found 60562 publication records. Showing 60562 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
60Xin Wang 0001, Chienming Yu, Henning Schulzrinne, Paul A. Stirpe, Wei Wu IP Multicast Fault Recovery in PIM over OSPF. Search on Bibsonomy ICNP The full citation details ... 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
55Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire Hop Integrity in Computer Networks. Search on Bibsonomy ICNP The full citation details ... 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
55Yen-Min Huang, Chinya V. Ravishankar Constructive Protocol Specification Using Cicero. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF event-driven language, protocol specification, protocol implementation, Protocol synthesis
54Xiaoming Liu 0003, Robbert van Renesse Fast protocol transition in a distributed environment (brief announcement). Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
52Kenneth C. Sevcik, Marjory J. Johnson Cycle Time Properties of the FDDI Token Ring Protocol. Search on Bibsonomy SIGMETRICS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
50Mehrdad Parsa, J. J. Garcia-Luna-Aceves Scalable Internet multicast routing. Search on Bibsonomy ICCCN The full citation details ... 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
49Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori A flexible protocol synthesis method for adopting requirement changes. Search on Bibsonomy ICPADS The full citation details ... 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
44Branislav Meandzija Archetype: A Unified Method for the Design and Implementation of Protocol Architectures. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
43Arpita Patra, Ashish Choudhary, C. Pandu Rangan Round Efficient Unconditionally Secure MPC and Multiparty Set Intersection with Optimal Resilience. Search on Bibsonomy INDOCRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Information Theoretic Security, Multiparty Computation, Error Probability
43Jun Shao, Min Feng, Bin B. Zhu, Zhenfu Cao An Efficient Certified Email Protocol. Search on Bibsonomy ISC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Certified Email Protocol, D Optimistic Fair Exchange Protocol, Fair Exchange Protocol
43Emir Mulabegovic, Dan Schonfeld, Rashid Ansari Lightweight Streaming Protocol (LSP). Search on Bibsonomy ACM Multimedia The full citation details ... 2002 DBLP  DOI  BibTeX  RDF lightweight protocol, semi-reliable transport, streaming protocol, video communications, real-time protocol, real-time streaming
43Deepinder P. Sidhu, Carole S. Crall Executable Logic Specifications for Protocol Service Interfaces. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
42Seiji Ueno, Toshihiko Kato, Kenji Suzuki 0003 Analysis of Internet Multicast Traffic Performance Considering Multicast Routing Protocol. Search on Bibsonomy ICNP The full citation details ... 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
42Sundeep Singatwaria, Riaz Ahmad 0002, Fred Halsall Timer-Based Burst Mode Protocol for High-Speed Networks. Search on Bibsonomy LCN The full citation details ... 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
41Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Search on Bibsonomy Distributed Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Protocol re-synthesis, Distributed system, Petri net, Service specification, Protocol specification, Protocol synthesis
40Chang-Yi Lin, Jiazheng Zhou, Yeh-Ching Chung An adaptive migratory home protocol for software DSM systems. Search on Bibsonomy ITRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Xuan Shangguan, Winston Khoon Guan Seah, Chi Chung Ko Performance evaluation of a lightweight resource reservation protocol for mobile Internet hosts. Search on Bibsonomy WMCSA The full citation details ... 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
40Deepinder P. Sidhu, Ting-Kau Leung Formal Methods for Protocol Testing: A Detailed Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
39Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. Search on Bibsonomy WETICE The full citation details ... 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
38Seng Kee Tan, Yu Ge 0001, Kean Soon Tan, Chee-Wei Ang, Nirmalya Ghosh Dynamically Loadable Protocol Stacks: A Message Parser--Generator Implementation. Search on Bibsonomy IEEE Internet Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Protocol Development Design Model, Dynamic Protocol, SIP, Network Protocols
38P. Krishna Reddy, Masaru Kitsuregawa Speculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions. Search on Bibsonomy IDEAS The full citation details ... 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
37Vijay Varadharajan, Rajan Shankaran, Michael Hitchens Security services and public key infrastructure for ATM networks. Search on Bibsonomy LCN The full citation details ... 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
37Yoshiaki Kakuda, Hironori Saito An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
37Pramod Kalyanasundaram, Paul D. Amer Protocol Test Case Visualization. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
37Alexandre Petrenko, Rachida Dssouli, Hartmut König On Evaluation of Testability of Protocol Structures. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
37Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu Fault Coverage of UIO-based Methods for Protocol Testing. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
37Alexandre Petrenko, Nina Yevtushenko 0001, Alexandre Lebedev, Anindya Das Nondeterministic State Machines in Protocol Conformance Testing. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
37Samuel T. Chanson, Hendra Dany, Myungchul Kim, Qin Li, Ying Lu, Son T. Vuong, Sijian Zhang, Limin Zhou, Jinsong Zhu The UBC Protocol Testing Environment. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
37Rüdiger Köster Problems and Difficulties with GSM Protocol Conformance Testing. Search on Bibsonomy Protocol Test Systems The full citation details ... 1992 DBLP  BibTeX  RDF
37Anthony Chung, Deepinder P. Sidhu Applications of Sufficient Conditions for Efficient Protocol Test Generation. Search on Bibsonomy Protocol Test Systems The full citation details ... 1992 DBLP  BibTeX  RDF
37Marc F. Witteman Promoting the Local Test Method, GSM Protocol Conformance Test Experience. Search on Bibsonomy Protocol Test Systems The full citation details ... 1992 DBLP  BibTeX  RDF
37Ana R. Cavalli, Patrick Maigron, Sung Un Kim Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. Search on Bibsonomy Protocol Test Systems The full citation details ... 1992 DBLP  BibTeX  RDF
37Cecilia Corbi, Giuseppe Sisto Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application Contexts. Search on Bibsonomy Protocol Test Systems The full citation details ... 1991 DBLP  BibTeX  RDF
37Ana R. Cavalli, Sung Un Kim Protocol Conformance Test Generation Using a Graph Rewriting System. Search on Bibsonomy Protocol Test Systems The full citation details ... 1991 DBLP  BibTeX  RDF
37Samuel T. Chanson, Qin Li On Static and Dynamic Test Case Selections in Protocol Confomance Testing. Search on Bibsonomy Protocol Test Systems The full citation details ... 1991 DBLP  BibTeX  RDF
37Alexandre Petrenko Checking Experiments with Protocol Machines. Search on Bibsonomy Protocol Test Systems The full citation details ... 1991 DBLP  BibTeX  RDF
37Jan Tretmans, Pim Kars, Ed Brinksma Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Search on Bibsonomy Protocol Test Systems The full citation details ... 1991 DBLP  BibTeX  RDF
37Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani A Calculus for Protocol Specification and Validation. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Richard J. Linn Jr., J. Stephen Nightingale Some Experience with Testing Tools for OSI Protocol Implementations. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37S. Aggarwal, Robert P. Kurshan Modelling Elapsed Time in Protocol Specification. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Yechiam Yemini, Nihal Nounou CUPID: A Protocol Development Environment. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37F. Mark Restorick Implementation of a Protocol in an Assembly Language. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Luigi Logrippo "Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Omar Rafiq, Jean-Pierre Ansart VADILOC - A Protocol Validator and Its Applications. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Deepinder P. Sidhu Protocol Verification via Executable Logic Specifications. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Guy Juanole, B. Algayres Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Jean-Pierre Ansart, V. Chari, D. Simon From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Gerard J. Holzmann, Rob A. Beukers The Pandora Protocol Development System. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Harry Rudin From Formal Protocol Specification Towards Automated Performance Prediction. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37G. W. Cowin, R. W. S. Hale, D. Rayner Protocol Product Testing - Some Comparisons and Lessons. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Sergio Palazzo, P. Fogliata, Gesualdo Le Moli A Layer-Independent Architecture for a Testing System of Protocol Implementations. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Carl A. Sunshine Experience with automated Protocol Verification. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Robert L. Probert, Hasan Ural Requirements for a Test Specification Language for Protocol Implementation Testing. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37Thomas P. Blumer, Deepinder P. Sidhu Experience with an Automated Protocol Development System. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
37W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso Design of a Transport Layer Protocol for a Special Purpose LAN. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
36Gustavus J. Simmons Cryptanalysis and Protocol Failures (abstract). Search on Bibsonomy CCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Masaru Takesue A tampering protocol for reducing the coherence transactions in regular computation. Search on Bibsonomy ISPAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF tampering protocol, coherence transactions, regular computation, latency of communication, protocols, multiprocessor, cache-coherence protocol, RTL simulator
36Shyh-Wei Luan, Virgil D. Gligor A Fault-Tolerant Protocol for Atomic Broadcast. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
35Azman Osman Lim, Xudong Wang 0001, Youiti Kado, Bing Zhang 0002 A Hybrid Centralized Routing Protocol for 802.11s WMNs. Search on Bibsonomy Mob. Networks Appl. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hybrid centralized, tree-based, intra-mesh traffic, routing protocol, wireless mesh network, 802.11s
35Shuigen Yang, Huachun Zhou, Yajuan Qin, Hongke Zhang SHIP: Cross-layer mobility management scheme based on Session Initiation Protocol and Host Identity Protocol. Search on Bibsonomy Telecommun. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Session initiation protocol, Mobility management, Cross-layer design, Host identity protocol
35Dhiraj D. Kalamkar, Mainak Chaudhuri, Mark A. Heinrich Simplifying Active Memory Clusters by Leveraging Directory Protocol Threads. Search on Bibsonomy ISPASS The full citation details ... 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
35Yang Liu, Li Li Money Policy in Dynamic Stochastic General Equilibrium Models. Search on Bibsonomy CAR The full citation details ... 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)
35Feifei 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. Search on Bibsonomy ICNC (2) The full citation details ... 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)
35Sushama P. Patil, Amol C. Goje The Effect of Developments in Student Attributes on Success in Programming of Management Students. Search on Bibsonomy ICETC The full citation details ... 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)
35Robert J. Hall 0001 Reactive System Validation using Automated Reasoning over a Fragment Library. Search on Bibsonomy ASE The full citation details ... 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
35Arkady B. Zaslavsky, L. H. Yeo, Simon J. Lai, Boris Mitelman Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment. Search on Bibsonomy ICCCN The full citation details ... 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
34Lin Liu 0003, Jonathan Billington Verification of the Capability Exchange Signalling protocol. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Capability Exchange Signalling protocol, Language equivalence, Coloured Petri Nets, Protocol verification, State space analysis
34Saurabh Mehta, Ju-A Lee, Jae-Hyun Kim IS-MAC based flooding protocol for sensor networks. Search on Bibsonomy PE-WASUN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF sensor networks, energy-efficiency, routing protocol, MAC protocol
34Fang-Chang Lin, Jane Yung-jen Hsu Cost-balanced cooperation protocol in multi-agent robotic systems. Search on Bibsonomy ICPADS The full citation details ... 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
33Ratna Dutta, Rana Barua Provably Secure Constant Round Contributory Group Key Agreement in Dynamic Setting. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Jai-Boo Oh, Eun-Jun Yoon, Kee-Young Yoo An Efficient ID-Based Authenticated Key Agreement Protocol with Pairings. Search on Bibsonomy ISPA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ID-based encryption, Bilinear Pairing, Key Agreement protocol
33Mahadevan Subramaniam, Zoltán Pap Analyzing the Impact of Protocol Changes on Tests. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF test consistency, protocol, evolution, Changes, communicating finite state machines
33Romain Pellerin The MooDS protocol: a J2ME object-oriented communication protocol. Search on Bibsonomy Mobility Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GASP, J2ME communication protocol, J2ME mobile phone, OMA, object-oriented, communication protocol, multiplayer games, serialization, MooDS
33Ho-Yen Chang, Shyhtsun Felix Wu, Y. Frank Jou Real-time protocol analysis for detecting link-state routing protocol attacks. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 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
32Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. Search on Bibsonomy RTSS The full citation details ... 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
32Reinhard Gotzhein, Gregor von Bochmann Deriving Protocol Specifications from Service Specifications Including Parameters. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF automated protocol design, communication service specification, protocol derivation
32Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe An Acyclic Expansion Algorithm for Fast Protocol Validation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
32Rong-Yuh Hwang An Efficient Technique of Instruction Scheduling on a Superscalar-Based Mulprocessor. Search on Bibsonomy IPPS The full citation details ... 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
32John Heinlein, Kourosh Gharachorloo, Robert P. Bosch Jr., Mendel Rosenblum, Anoop Gupta Coherent Block Data Transfer in the FLASH Multiprocessor. Search on Bibsonomy IPPS The full citation details ... 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
32Michael Backes 0001, Matteo Maffei, Dominique Unruh Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. Search on Bibsonomy Formal Protocol Verification Applied The full citation details ... 2007 DBLP  BibTeX  RDF
32Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan 07421 Abstracts Collection -- Formal Protocol Verification Applied. Search on Bibsonomy Formal Protocol Verification Applied The full citation details ... 2007 DBLP  BibTeX  RDF
32Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan 07421 Executive Summary -- Formal Protocol Verification Applied. Search on Bibsonomy Formal Protocol Verification Applied The full citation details ... 2007 DBLP  BibTeX  RDF
32Omar 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 Search on Bibsonomy Protocol Test Systems The full citation details ... 1994 DBLP  BibTeX  RDF
32Gregor 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 Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli Conformance Relations and Test Derivation. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Anders Ek, Jan Ellsberger, Anthony Wiles Experiences with Computer Aided Test Suite Generation. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Mohammed Ghriga, Phyllis G. Frankl Adaptive Testing of Non-Deterministic Communication Protocols. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Gert Vermeer, Hans Blik Interoperability Testing: Basis for the Acceptance of Communication Systems. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Marc Phalippou Executable Testers. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Gang Luo, Anindya Das, Gregor von Bochmann Generating Tests for Control Portion of SDL Specifications. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Andreas Ulrich, Hartmut König Test Derivation from LOTOS Using Structure Information. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Jan Tretmans A Formal Approach to Conformance Testing. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Marc F. Witteman, Ronald C. van Wuijtswinkel ATM Broadband Network Testing Using the Ferry Principle. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou Formal Methods for Conformance Testing: Results and Perspectives. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Richard Castanet, Ousmane Koné Deriving Coordinated Testers for Interoperability. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
32Khalil Drira The Refusal Graph: a Tradeoff between Verification and Test. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 60562 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license