Journal: Computer Networks

Volume 25, Issue Supplement 3

0 -- 0Howard Davies. DANTE s Plans for High Speed Services
0 -- 0Leslie Clyne. SuperJANET Update
0 -- 0Kees Neggers. SURFnet Extends to ATM
0 -- 0Juha Heinänen. Rolling-Out ATM Based Network Services
0 -- 0Patrick Gelard, Robert Rumeau. ATLAS - An ATM Demonstration Experiment for High-Rate Space Telemetry Transportation
0 -- 0Leslie Clyne. Report from the ATM Task Force
0 -- 0Guy T. Almes. Engineering Trans-Oceanic 44 Mb/s TCP/IP Networks

Volume 25, Issue Supplement 2

0 -- 0Jeroen Houttuin. Classifications in E-Mail Routing
0 -- 0Marieke Dekker. Report on the NATO Advanced Workshop Research Networking in Central and Eastern Europe
0 -- 0Chris Adie. Distributed Multimedia Information Systems
0 -- 0Daniel Karrenberg, Anne Lord, Marten Terpstra. The RIPE NCC - One Year of Experience with European Internet Coordination
0 -- 0Kris Van Hees. VM NNTP: A TCP/IP Server Application For News

Volume 25, Issue Supplement 1

0 -- 0Tim Dixon. Obstacles on the Road to Global Networking
0 -- 0Urs Eppenberger. X.500 Directory Service Usage for X.400 E-Mail
0 -- 0P. Malara, Roman Tirler, A. Trannoy. CLAN at CRS4: An Experimental Public Switched Data Network
0 -- 0Svend Møller Nielsen. EuropaNET - Contemporary High Speed Networking

Volume 25, Issue 9

969 -- 980Mohamed G. Gouda. Protocol Verification Made Simple: A Tutorial
981 -- 1017Gerard J. Holzmann. Design and Validation of Protocols: A Tutorial
1019 -- 1028Craig Partridge. Protocols for High-Speed Networks: Some Questions and a Few Answers

Volume 25, Issue 8

901 -- 919P. Venkat Rangan. Video Conferencing, File Storage, and Management in Multimedia Computer Systems
921 -- 932Cherian S. Thachenkary. Integrated Services Digital Networks (ISDN): Six Case Study Assessments of a Commercial Implementation
933 -- 946Steve Benford, Jacob Palme. A Standard for OSI Group Communication
947 -- 961Davide Grillo, R. J. Gerard MacNamee, Behrooz Rashidzadeh. Towards Third Generation Mobile Systems: A European Possible Transition Path

Volume 25, Issue 7

719 -- 721Juan Quemada. On Tools for FDTs
723 -- 739Samuel T. Chanson, Antonio Alfredo Ferreira Loureiro, Son T. Vuong. On Tools Supporting the Use of Formal Description Techniques in Protocol Development
741 -- 760Paul D. Amer, Darren New. Protocol Visualization in Estelle
761 -- 778Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori. An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
779 -- 790B. Algayres, V. Coelho, L. Doldi, Hubert Garavel, Y. Lejeune, C. Rodríguez. VESAR: A Pragmatic Approach to Formal Specification and Verification
791 -- 814Carlos Miguel, Angel Fernández, J. M. Ortuño, Leon Vidaller. A LOTOS Based Performance Evaluation Tool
815 -- 839José A. Mañas, Tomás de Miguel, Joaquín Salvachúa, Arturo Azcorra. Tool Support to Implement LOTOS Formal Specifications
841 -- 851Rachid Sijelmassi, Brett Strausser. The PET and DINGO Tools for Deriving Distributed Implementations from Estelle
853 -- 874Günter Karjoth, Carl Binding, Jan Gustafsson. LOEWE: A LOTOS Engineering Workbench
875 -- 898Gert J. Veltink. The PSF Toolkit

Volume 25, Issue 6

599 -- 621David D. Clark, Bruce S. Davie, David J. Farber, Inder S. Gopal, Bharath K. Kadaba, W. David Sincoskie, Jonathan M. Smith, David L. Tennenhouse. The AURORA Gigabit Testbed
623 -- 629Thomas L. Rodeheffer. Experience with Autonet
631 -- 644Weijia Wang, Fouad A. Tobagi. The Christmas-Tree Switch: An Output Queuing Space-Division Fast Packet Switch Based on Inerleaving Distribution and Concentration Functions
645 -- 661Nicholas F. Maxemchuk. Dispersity Routing in High-Speed Networks
663 -- 679Debasis Mitra, Judith B. Seery. Dynamic Adaptive Windows for High Speed Data Networks with Multiple Paths and Propagation Delays
681 -- 699Keng-Tai Ko, Partho Pratim Mishra, Satish K. Tripathi. Interaction Among Virtual Circuits Using Predictive Congestion Control
701 -- 716Imrich Chlamtac, Martin G. Kienzle. Multitasking in High-Speed Interconnection Systems

Volume 25, Issue 4-5

329 -- 334Klaus Ullmann. Data Networks for the European Research and Education Sector-Analysis ans Perspectives
339 -- 343Francis R. Rysavy. Users and Services Providers: Interoperability
344 -- 350Ann Peterson Bishop. Electronic Networking for Engineers: Research from a User Perspective
351 -- 356Peter Holleczek, T. Baumgarten. Throughput Measurements in a 2 Mbps X.25 Network
357 -- 362Martin de Prycker. ATM Technology: A Backbone for High Speed Computer Networking
363 -- 369Juha Heinanen. Frame Relay as a Multiprotocol Backbone Interface
370 -- 376Daniel Martinez. Frame Relay and SMDS Services on a Common ATM-Based Platform
377 -- 383John Cullen, Bob Day, Martine Planes. The Use of FTAM to Access Graphical Pictures Across Wide Area Networks
384 -- 399André A. S. Danthine: Esprit Project OSI 95: New Transport Services for High-Speed Networking
405 -- 410Ramin Najmabadi Kia, Bernard Sales. Routing Archtitectures for the Support of the OSI Connection Mode Network Service
411 -- 419Dirk Husemann. ISO CONS in LANs-Making it all Work: A European Contribution to 4.4 BSD Unix
420 -- 425Eric Mannie, Bernard Sales. 3L, A Software Laboratory for the OSI Lower Layers
426 -- 430Victor Reijs. RARE / COSINE Connectionless Mode Network Service Pilot
431 -- 437Daniel Jozef Bem. NASK-Research and Academic Computer Network in Poland
444 -- 447Geza Turchanyi. Networking in Hungary
448 -- 453Terry Morrow. BIDS ISI: A New National Bibliographic Data Service for the UK Academic Community
454 -- 459Tim Berners-Lee, Robert Cailliau, Jean-François Groff. The World-Wide Web
460 -- 463Laura A. Kelleher. Navigating the Internet-A Merit Network Cruise
464 -- 468Reinhard Doelz. The EMBnet Project-European Molecular Biology Network
469 -- 475Sead Muftic. Implementation of the Comprehensive Integrated Security System for Computer Networks
476 -- 482Michael Purser. COSINE Sub-Project P8: Security Services
483 -- 489Peter T. Kirstein, Peter Williams. Piloting Authentication and Security Services within OSI Applications for RTD Information (PASSWORD)
490 -- 495Suchun Wu. MHS Security-A Concise Survey
496 -- 500Peter Lipp, Reinhard Posch. An Inter-Bridge-Security Protocol
501 -- 511François Flückiger. Euro-Networking and Industrial Policies: Lessons from the Past
512 -- 517Michael M. Roberts. The University Role in the United States National Research and Education Network
518 -- 520Dai Davies. Is there Life After COSINE?
521 -- 525Frode Greisen. The Operational Unit for Research and Academic Networking in Europe
526 -- 530Dominique Pinse, Peter Sylvester. An Electronic Mail Gateway Between EARN / INTERNET and the IBM Internal Network
531 -- 534Philip Ashby. FTAM Interoperability: Meeting the Needs of the Research Community
535 -- 539Harald Tveit Alvestrand. Electronic Mail Routing in a Heterogeneous World
540 -- 545Bruce Wallace. OSI Migration
546 -- 553Daniele Bovio. The Regionalization of EARN
554 -- 560Carlo Berrino, Daniela Manuello. Y-NET-The Esprit Pan-European Community OSI Network
566 -- 569Jan Wijgerde. The COSINE Quality of Service Project
570 -- 576Noëmie Simoni, Simon Znaty. Inerconnection of High-Speed Data Networks: Contribution of Dynamic Control and Quality of Service
577 -- 582Emmanuelle Auge, Philippe Brun. Distributed Management of an MHS Environment
583 -- 591Patrick Geurts, Gerhard Theis. A Formal Approach to the Description of Communications Services: The Case of the Space Data Network (SDN)
592 -- 593Kees Neggers. Next Steps for European Networking

Volume 25, Issue 3

227 -- 239Tomaz Kalin, Derek Barber. Has the OSI Opportunity Been Fully Realised?
241 -- 257R. Krishna Thilakam, Ashok Jhunjhunwala. The Design and Flow Control of a High Speed, Integrated, Packet Switched Network
259 -- 273Ophir Frieder, Richard L. Shuey. Communication Needs in a Data Engineering World
275 -- 294Jaidev Kaniyil, Yoshikuni Onozato, Shoichi Noguchi. On the Behavioral Aspects of Alternate Routing in Non-Hierarchical Networks
295 -- 303Young Han Kim, Byung Chul Shin, Chong Kwan Un. Performance Analysis of Leaky-Bucket Bandwidth Enforcement Strategy for Bursty Traffics in an ATM Network
305 -- 323Geoff Coulson, Gordon S. Blair, Nigel Davies, N. Williams. Extensions to ANSA for Multimedia Computing

Volume 25, Issue 2

103 -- 120Biswanath Mukherjee, Shao-kong Kao. An Improved Voice-Data Integration Protocol for Fiber Optic Bus Networks
121 -- 143Steve S. Liu. Impacts of Signaling-Intensive Local Services (SILS) on B-ISDN Switching Systems: A Simulation Study
145 -- 157Alastair J. Macartney, Gordon S. Blair. Flexible Trading in Distributed Multimedia Systems
159 -- 168Jürgen Tusch. Performance Measurement in Token Ring Networks
169 -- 182Sea Hyeon Nam, Chong Kwan Un. Performance Analysis of Broadcast Star Network with Collision-Avoidance Switch
183 -- 190Z. Luan, Jeremiah F. Hayes, Mustafa K. Mehmet Ali. Frame Synchronization Performance of SONET Signals
191 -- 201Chung-Ju Chang, Shyh-Yih Wang. Performance Analysis of a Statistical Multiplexer for Integrated Service in the Customer-Premise Equipment
203 -- 223Kurt Maly, Edwin C. Foudriat, Ravi Mukkamala, C. Michael Overstreet, David Game. Dynamic Allocation of Bandwidth in Multichannel Metropolitan Area Networks

Volume 25, Issue 12

1267 -- 1277Herwig Bruneel. Packet Delay and Queue Length for Statistical Multiplexers with Low-Speed Access Lines
1279 -- 1289Chatschik Bisdikian. A Queueing Model with Applications to Bridges and the DQDB (IEEE 802.6) MAN
1291 -- 1301Amane Nakajima. Construction of Optimal Communication Structures for Weighted Distributed Match-Making
1303 -- 1319Ernst Biersack, David C. Feldmeier. A Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification
1321 -- 1333Jiangling Du, Robert H. Deng, Chi Chung Ko. Performance Analysis of Interconnected LANs with Server/Client Configuration
1335 -- 1348Jie Li, Hisao Kameda. Optimal Load Balancing in Tree Networks Two-Way Traffic

Volume 25, Issue 11

1177 -- 1204Ma-Tit Yap, David Hutchison. An Emulator for Evaluating DQDB Performance
1205 -- 1225Wlodzimierz Dobosiewicz, Pawel Gburzynski, Piotr Rudnicki. On Two Collision Protocols for High Speed Bus LANs
1227 -- 1241Bart Steyaert, Herwig Bruneel, Guido H. Petit, Emmanuel Desmet. End-to-End Delays in Multistage ATM Switching Networks: Approximate Analytic Derivation of Tail Probabilities
1243 -- 1263A. P. Varvitsiotis, George I. Stassinopoulos. Extending ASN.1 Into a Full-Fledged Constraint Language in the Context of OSI Protocol Conformance Testing

Volume 25, Issue 10

1031 -- 1039P. S. Richards. Rapid Service Delivery and Customization in a Developing Network Infrastructure
1041 -- 1053Jun-ichi Mizusawa, Minoru Akiyama. Experiences and Expectations of Introducing PSTN New Services
1055 -- 1064James W. Roberts. Traffic Control in the B-ISDN
1065 -- 1078Zbigniew Dziong, Ke-Qiang Liao, Lorne Mason. Effective Bandwidth Allocation and Buffer Dimensioning in ATM Based Networks with Priorities
1079 -- 1087Raffaele Bolla, Franco Davoli. Dynamic Hierarchical Control of Resource Allocation in an Integrated Services Broadband Network
1089 -- 1105Adrian Popescu, Raghuvansh Prasad Singh. An Alternative Solution to the Electro-Optic and Service Bootleneck Problems in Integrated Multi-Gbit/s LANs: the SUPERLAN Architecture
1107 -- 1117Tetsuya Yokotani, Hiroyuki Sato, Shigeo Nakatsuka. A Study on a Performance Improvement Algorithm in DQDB MAN
1119 -- 1126Alfio Lombardo, Sergio Palazzo, Daniela Panno, R. Pignatelli, L. Susanna. An Adaptive Policing Mechanism for a DQDB MAN
1127 -- 1133David J. Greaves, Krzysztof Zielinski. The Cambridge Backbone Network An Overview and Preliminary Performance
1135 -- 1142Nico M. van Dijk. On the Arrival Theorem for Communication Networks
1143 -- 1153William Henderson. Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets
1155 -- 1163Catherine Rosenberg, André Le Bon. Performance Models for Hybrid Broadband Networks
1165 -- 1173N. Sokolov, I. Ekhriel, R. Rerle, S. Brusilovsky. On Some Teletraffic Models Simplification

Volume 25, Issue 1

3 -- 22Reinhard Gotzhein. Formal Definition and Representation of Interaction Points
23 -- 41Guy Leduc. A Framework Based on Implementation Relations for Implementing LOTOS Specifications
43 -- 61Jürgen M. Schneider, Lothar F. Mackert, Georg Zörntlein, Roelof Jan Velthuys, Udo Bär. An Integrated Environment for Developing Communication Protocols
63 -- 82Stanislaw Budkowski. Estelle Development Toolset (EDT)
83 -- 98Jean-Pierre Courtiat, Pierre de Saqui-Sannes. ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle