Search results for "protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Son T. Vuong, Antonio Alfredo Ferreira Loureiro, Samuel T. Chanson	A Framework for the Design for Testability of Communication Protocols.	Protocol Test Systems	1993	DBLP BibTeX RDF
32	Jan Kroon, Rudolf Jan Heijink, Ed Brinksma (eds.)	Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Zhang Lidong, Liu Jiren, Huatian Li	A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Thomas Walter, Bernhard Plattner	An Operational Semantics for Concurrent TTCN.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	M. Di Concetto, Gennaro Marino, E. Merli, Fabrizio Zizza	An Approach to the Test of an ATM Based Signalling Application.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Michel Haulard La Brière	Testing in Practice - OSI Test Center.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Stan P. van de Burgt, Jan Kroon, A. M. Peeters	Interactive Test Generation from LOTOS Specifications.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Debra Tang, Jinsheng Liu, Jean Philippe Favreau	The IS-IS Multi-Party Conformance Test System.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi	Test System for a Restricted Class of LOTOS Expressions with Data Parameters.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann	Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Tomás Robles 0001, José A. Mañas, Gabriel Huecas	Specification and Derivation of OSI Conformance Test Suites.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma	On Asynchronous Testing.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Hans Kloosterman	Test Derivation from Non-Deterministic Finite State Machines.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali	Characterizing and Ordering Errors Detected by Conformance Testing.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Marc Phalippou	The Limited Power of Testing.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	M. McAllister, Son T. Vuong, Jadranka Alilovic-Curgus	Automated Test Case Selection Based on Test Coverage Metrics.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Dermot J. Dwyer	The Silence of the LANs.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Michael Koblentz	Issues in Testing Fast Packet Services over the Broadband ISDN.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Perry Sherman	On Interoperability Testing.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Jean Philippe Favreau	Interoperability Testing Panel Minutes.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Rüdiger Köster, Markus Dicks	ISO Conformance Testing of the GSM Mobile Network System.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Hans Blik, Gert Vermeer	The Way Towards Interoperability.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Piyu Tripathy, Kshirasagar Naik	Generation of Adaptive Test Cases from Nondeterministic Finite State Models.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Robert L. Probert	Summary of Panel Presentations and Discussion.	Protocol Test Systems	1992	DBLP BibTeX RDF
32		Overview of Tool Demonstrations.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Marc F. Witteman, Ronald C. van Wuijtswinkel, S. Ruud Berkhout	Non-Deterministic and Default Behaviour.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Ian C. Davidson	Position Paper on Interoperability Testing.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Samuel T. Chanson, Qin Li	On Inconclusive Verdict in Conformance Testing.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	Marie-Claude Gaudel	Test Selection Based on ADT Specifications.	Protocol Test Systems	1992	DBLP BibTeX RDF
32	R. J. Helwerda	Results of the CTS-2 ISDN Basic Access Project.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Dieter Hogrefe	Session on Conformance Requirements and Test Purposes in the Context of Formal Methods.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Jean Philippe Favreau, J. Stephen Nightingale	Lessons From the Establishment of U.S. GOSIP Testing Program.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Susumu Fujiwara, Gregor von Bochmann	Testing Non-Deterministic State Machines with Fault Coverage.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	D. Rayner	Status Report on ISO/IEC 9646 Standardization and Extension.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Roelof Jan Velthuys, Georg Zörntlein	Relating Events for Conformance Testing - a Pragmatic Approach.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Chan Sheng He, Hua-Xin Zeng, F. Liu	A Bench Mark on the Design of Ferry Based Test Systems.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	K. Stoettinger	Session on Equivqlence of Test Tools.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Michel Hordies, Serge Simonet	OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Martin Dubuc, Rachida Dssouli, Gregor von Bochmann	TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	E. Guarene, P. Marchese	Advanced Testing Tools For Intelligent Network.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	M. E. van der Haven, M. G. L. Kockelmans, E. J. Slotboom	Real Effects Testing of OSI Applications.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo	Fault Models in Testing.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Son T. Vuong, Jadranka Alilovic-Curgus	On Test Coverage Metrics for Communication Protocols.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Hans van Dam, Hans Kloosterman, Erik Kwast	Text Derivation for Standardised Test Methods.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Noriyasu Arakawa, Terunao Soneoka	A Test Case Generation Method for Concurrent Programs.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	François van den Berghe	Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	G. W. Cowin	Experiences in Developing a Test Suite Structure and Test Purposes Document for Open Systems.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Dieter Hogrefe	On the Development of a Standard for Conformance Testing Based on Formal Specifictations.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Fumiako Sato, Hirosato Tsuji, Kotaro Katsuyama, Tadanori Mizuno	Parameter Specification Language and Test Data Generation Tools for Communication Software Testing.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	P. Marchese	Session on Test Suite Development.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	R. J. Heijnk	Session on TTCN Compilers.	Protocol Test Systems	1991	DBLP BibTeX RDF
32	Bernd Walter	Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Richard J. Linn Jr., W. H. McCoy	Producing Tests for Implementations of OSI Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	S. Aggarwal, Robert P. Kurshan, D. Sharma	A Language for the Specification and Analysis of Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen	Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	George A. Harvey	The Routing Certification System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	D. Rayner	Towards an Objective Understanding of Conformance.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Hasan Ural, Robert L. Probert	User-Guided Test Sequence Generation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Hans Eckert, Rainer Prinoth	A Computation-System Based Method for Automated Proving of Protocols Against Services.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Jean-Francois Billiard	Methodology and Tools for Qualitative Protocols Validation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Günter Karjoth	A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Heiko Krumm, Oswald Drobnik	Specification, Implementation, and Verification of Communication Services on the Basis of CIL.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Jean-Michel Ayache, Jean-Pierre Courtiat	LC/1, A Specification and Implementation Language for Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Stanislaw Budkowski, Elie Najm	Structured Finite State Automata - A new approach for modelling distributed communications systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Alan E. Baratz, Adrian Segall	A Reliable Link Initialization Procedure.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Jonathan Billington	Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Robert E. Strom, Shaula Yemini	Design, Implementation, and Validation of Secure Communications Systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Alfred Gießler	Testing and Diagnosis Aids for Higher Level Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Gerard Florin, Stéphane Natkin, A. Woog, J. Attal	Quantitative Validation for Industrial Ethernet Local Networks.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Mohamed G. Gouda	An Example for Constructing Communicating Machines by Step-Wise Refinement.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Rune Gustavsson, Björn Pehrson	The Power of some Formal Models of Distributed Computing.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Robin M. S. Cork	The Testing of Protocols in SNA Products - An Overview.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Miguel Menasche, Bernard Berthomieu	Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
32	Björn Pehrson	Abstraction by Structural Reduction.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
31	Sheng Xu, Symeon Papavassiliou, Konstantinos Amouris	On the Performance of a Scalable Single-Tier Position Based Routing Protocol for Mobile Ad-Hoc Wireless Networks.	ISCC	2000	DBLP DOI BibTeX RDF	mobility-based, scalability, mobile ad-hoc networks, routing protocol
30	Meng Zhang 0001, Qian Zhang 0001, Lifeng Sun, Shiqiang Yang	Understanding the Power of Pull-Based Streaming Protocol: Can We Do Better?	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
30	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
30	Gun Seo, Sun-Moo Kang, Dae Young Kim 0001, Hong-Bum Jeon	A distributed cycle reset protocol for the high-speed LAN/MAN.	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
30	Sushil Kumar, Anura P. Jayasumana	Request based channel access protocol on folded bus topology.	LCN	1995	DBLP DOI BibTeX RDF	channel access protocol, folded bus topology, Request Based Channel Access, RBCA protocol, bandwidth request, dedicated monitor node, folded bus, multichannel optical networks, protocols, local area networks, optical communication, data transmission
30	Chooi-Tian Lee, Jack W. Harris	Principle and Technique for Encapsulation of User Control and Data Information in Separate Frames.	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
30	Dedy Dewanto Tjhie, Helmut Rzehak	Design and Performance Evaluation of Network Interconnection Architectures.	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
29	Qi Zou	PSOS: A Novel Protocol Simulation Platform for Satellite Networks.	MASCOTS	2007	DBLP DOI BibTeX RDF	STK, simulation, protocol, OPNET, simulation platform
29	Vasily Desnitsky, Igor V. Kotenko	Design of Entrusting Protocols for Software Protection.	IF&GIS	2009	DBLP DOI BibTeX RDF	Security protocol design, Remote entrusting, Protocol analysis and verification, Attacks, Software protection
29	Wenbo Mao	An augmentation of BAN-like logics.	CSFW	1995	DBLP DOI BibTeX RDF	BAN-like logics augmentation, protocol idealization, rule-based technique, protocol syntax, protocols, formal logic, message authentication, authentication protocols, symbolic manipulation
29	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
28	Ying Jin 0002	Formal Verification of Protocol Properties of Sequential Java Programs.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
28	P. Krishna Reddy, Masaru Kitsuregawa	Blocking Reduction in Two-phase Commit Protocol with Multiple Backup Sites.	DNIS	2000	DBLP DOI BibTeX RDF
28	Stylianos Georgoulas, Klaus Moessner, Bruce Mcaleer, Rahim Tafazolli	Towards efficient protocol design through protocol profiling and verification of performance and operational metrics.	IWCMC	2010	DBLP DOI BibTeX RDF	protocol profiling, model checking, energy efficiency
28	Wanjiun Liao, De-Nian Yang	Receiver-Initiated Group Membership Protocol (RGMP): A New Group Management Protocol for IP Multicasting.	ICNP	1999	DBLP DOI BibTeX RDF	group management protocol, RGMP, IP multicast, IGMP
28	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
28	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.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Explicit-state model checking, Protocol verification, Livelock, Sliding-window protocol
28	Shamim Begum, Meeta Sharma, Ahmed Helmy, Sandeep Gupta 0001	Systematic Testing of Protocol Robustness: Case Studies on Mobile IP and MARS.	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
28	Kwang-Sik Chung, Kibom Kim, Chong-Sun Hwang, Jin Gon Shon, Heon-Chang Yu	Hybrid checkpointing protocol based on selective-sender-based message logging.	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
28	Weijia Jia 0001, Jiannong Cao 0001, Edgar Nett, Jörg Kaiser	A high performance reliable atomic group protocol.	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
28	Hiroaki Higaki, Makoto Takizawa 0001	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
28	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.	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
27	Arpita Patra, Ashish Choudhary, C. Pandu Rangan	Simple and efficient asynchronous byzantine agreement with optimal resilience.	PODC	2009	DBLP DOI BibTeX RDF	unbounded computing power, byzantine agreement, asynchronous networks, VSS
27	Koji Chida, Katsumi Takahashi	Privacy Preserving Computations without Public Key Cryptographic Operation.	IWSEC	2008	DBLP DOI BibTeX RDF
27	Valeria Loscrì, Floriano De Rango, Salvatore Marano	Performance Evaluation of AODV Protocol over E-TDMA MAC Protocol for Wireless Ad Hoc Networks.	ICT	2004	DBLP DOI BibTeX RDF
27	Yi Shi 0001, Y. Thomas Hou 0001, Jia Liu 0002, Sastry Kompella	How to correctly use the protocol interference model for multi-hop wireless networks.	MobiHoc	2009	DBLP DOI BibTeX RDF	physical model, multi-hop wireless network, cross-layer optimization, interference modeling, protocol model