default search action
Computer Networks and ISDN Systems, Volume 25
Volume 25, Number 1, 1992
- Reinhard Gotzhein:
Formal Definition and Representation of Interaction Points. 3-22 - Guy Leduc:
A Framework Based on Implementation Relations for Implementing LOTOS Specifications. 23-41 - Jürgen M. Schneider, Lothar F. Mackert, Georg Zörntlein, Roelof Jan Velthuys, Udo Bär:
An Integrated Environment for Developing Communication Protocols. 43-61 - Stanislaw Budkowski:
Estelle Development Toolset (EDT). 63-82 - Jean-Pierre Courtiat, Pierre de Saqui-Sannes:
ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle. 83-98
Volume 25, Number 2, 1992
- Biswanath Mukherjee, Shao-kong Kao:
An Improved Voice-Data Integration Protocol for Fiber Optic Bus Networks. 103-120 - Steve S. Liu:
Impacts of Signaling-Intensive Local Services (SILS) on B-ISDN Switching Systems: A Simulation Study. 121-143 - Alastair J. Macartney, Gordon S. Blair:
Flexible Trading in Distributed Multimedia Systems. 145-157 - Jürgen Tusch:
Performance Measurement in Token Ring Networks. 159-168 - Sea Hyeon Nam, Chong Kwan Un:
Performance Analysis of Broadcast Star Network with Collision-Avoidance Switch. 169-182 - Z. Luan, Jeremiah F. Hayes, Mustafa K. Mehmet Ali:
Frame Synchronization Performance of SONET Signals. 183-190 - Chung-Ju Chang, Shyh-Yih Wang:
Performance Analysis of a Statistical Multiplexer for Integrated Service in the Customer-Premise Equipment. 191-201 - Kurt Maly, Edwin C. Foudriat, Ravi Mukkamala, C. Michael Overstreet, David Game:
Dynamic Allocation of Bandwidth in Multichannel Metropolitan Area Networks. 203-223
Volume 25, Number 3, 1992
- Tomaz Kalin, Derek Barber:
Has the OSI Opportunity Been Fully Realised? 227-239 - R. Krishna Thilakam, Ashok Jhunjhunwala:
The Design and Flow Control of a High Speed, Integrated, Packet Switched Network. 241-257 - Ophir Frieder, Richard L. Shuey:
Communication Needs in a Data Engineering World. 259-273 - Jaidev Kaniyil, Yoshikuni Onozato, Shoichi Noguchi:
On the Behavioral Aspects of Alternate Routing in Non-Hierarchical Networks. 275-294 - Young Han Kim, Byung Chul Shin, Chong Kwan Un:
Performance Analysis of Leaky-Bucket Bandwidth Enforcement Strategy for Bursty Traffics in an ATM Network. 295-303 - Geoff Coulson, Gordon S. Blair, Nigel Davies, Neil Williams:
Extensions to ANSA for Multimedia Computing. 305-323
Volume 25, Numbers 4-5, 1992
- Klaus Ullmann:
Data Networks for the European Research and Education Sector-Analysis ans Perspectives. 329-334 - Bert Stals:
Users and Networks-Survival of the Fittest? 335-338 - Francis R. Rysavy:
Users and Services Providers: Interoperability. 339-343 - Ann Peterson Bishop:
Electronic Networking for Engineers: Research from a User Perspective. 344-350 - Peter Holleczek, T. Baumgarten:
Throughput Measurements in a 2 Mbps X.25 Network. 351-356 - Martin De Prycker:
ATM Technology: A Backbone for High Speed Computer Networking. 357-362 - Juha Heinänen:
Frame Relay as a Multiprotocol Backbone Interface. 363-369 - Daniel Martinez:
Frame Relay and SMDS Services on a Common ATM-Based Platform. 370-376 - John Cullen, Bob Day, Martine Planes:
The Use of FTAM to Access Graphical Pictures Across Wide Area Networks. 377-383 - André A. S:
Danthine: Esprit Project OSI 95: New Transport Services for High-Speed Networking. 384-399 - Milan Sterba:
ISDN in European Research Networking. 400-404 - Ramin Najmabadi Kia, Bernard Sales:
Routing Archtitectures for the Support of the OSI Connection Mode Network Service. 405-410 - Dirk Husemann:
ISO CONS in LANs-Making it all Work: A European Contribution to 4.4 BSD Unix. 411-419 - Eric Mannie, Bernard Sales:
3L, A Software Laboratory for the OSI Lower Layers. 420-425 - Victor Reijs:
RARE / COSINE Connectionless Mode Network Service Pilot. 426-430 - Daniel Jozef Bem:
NASK-Research and Academic Computer Network in Poland. 431-437 - Jan Gruntorad:
Research and Academic Networking in the Czech and Slovak Federal Republic. 438-443 - Geza Turchanyi:
Networking in Hungary. 444-447 - Terry Morrow:
BIDS ISI: A New National Bibliographic Data Service for the UK Academic Community. 448-453 - Tim Berners-Lee, Robert Cailliau, Jean-François Groff:
The World-Wide Web. 454-459 - Laura A. Kelleher:
Navigating the Internet-A Merit Network Cruise. 460-463 - Reinhard Doelz:
The EMBnet Project-European Molecular Biology Network. 464-468 - Sead Muftic:
Implementation of the Comprehensive Integrated Security System for Computer Networks. 469-475 - Michael Purser:
COSINE Sub-Project P8: Security Services. 476-482 - Peter T. Kirstein, Peter Williams:
Piloting Authentication and Security Services within OSI Applications for RTD Information (PASSWORD). 483-489 - Suchun Wu:
MHS Security-A Concise Survey. 490-495 - Peter Lipp, Reinhard Posch:
An Inter-Bridge-Security Protocol. 496-500 - François Flückiger:
Euro-Networking and Industrial Policies: Lessons from the Past. 501-511 - Michael M. Roberts:
The University Role in the United States National Research and Education Network. 512-517 - Dai Davies:
Is there Life After COSINE? 518-520 - Frode Greisen:
The Operational Unit for Research and Academic Networking in Europe. 521-525 - Dominique Pinse, Peter Sylvester:
An Electronic Mail Gateway Between EARN / INTERNET and the IBM Internal Network. 526-530 - Philip Ashby:
FTAM Interoperability: Meeting the Needs of the Research Community. 531-534 - Harald Tveit Alvestrand:
Electronic Mail Routing in a Heterogeneous World. 535-539 - Bruce Wallace:
OSI Migration. 540-545 - Daniele Bovio:
The Regionalization of EARN. 546-553 - Carlo Berrino, Daniela Manuello:
Y-NET-The Esprit Pan-European Community OSI Network. 554-560 - Walter Kunft:
Developments in Academic Networking in Austria. 561-565 - Jan Wijgerde:
The COSINE Quality of Service Project. 566-569 - Noëmie Simoni, Simon Znaty:
Inerconnection of High-Speed Data Networks: Contribution of Dynamic Control and Quality of Service. 570-576 - Emmanuelle Auge, Philippe Brun:
Distributed Management of an MHS Environment. 577-582 - Patrick Geurts, Gerhard Theis:
A Formal Approach to the Description of Communications Services: The Case of the Space Data Network (SDN). 583-591 - Kees Neggers:
Next Steps for European Networking. 592-593
Volume 25, Number 6, 1993
- David 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. 599-621 - Thomas L. Rodeheffer:
Experience with Autonet. 623-629 - Weijia Wang, Fouad A. Tobagi:
The Christmas-Tree Switch: An Output Queuing Space-Division Fast Packet Switch Based on Inerleaving Distribution and Concentration Functions. 631-644 - Nicholas F. Maxemchuk:
Dispersity Routing in High-Speed Networks. 645-661 - Debasis Mitra, Judith B. Seery:
Dynamic Adaptive Windows for High Speed Data Networks with Multiple Paths and Propagation Delays. 663-679 - Keng-Tai Ko, Partho Pratim Mishra, Satish K. Tripathi:
Interaction Among Virtual Circuits Using Predictive Congestion Control. 681-699 - Imrich Chlamtac, Martin G. Kienzle:
Multitasking in High-Speed Interconnection Systems. 701-716
Volume 25, Number 7, 1993
- Juan Quemada:
On Tools for FDTs. 719-721 - Samuel T. Chanson, Antonio Alfredo Ferreira Loureiro, Son T. Vuong:
On Tools Supporting the Use of Formal Description Techniques in Protocol Development. 723-739 - Paul D. Amer, Darren New:
Protocol Visualization in Estelle. 741-760 - Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. 761-778 - Bernard Algayres, Veronigue Coelho, Laurent Doldi, Hubert Garavel, Yves Lejeune, Carlos Rodríguez:
VESAR: A Pragmatic Approach to Formal Specification and Verification. 779-790 - Carlos Miguel, Angel Fernández, J. M. Ortuño, Leon Vidaller:
A LOTOS Based Performance Evaluation Tool. 791-814 - José A. Mañas, Tomás de Miguel, Joaquín Salvachúa, Arturo Azcorra:
Tool Support to Implement LOTOS Formal Specifications. 815-839 - Rachid Sijelmassi, Brett Strausser:
The PET and DINGO Tools for Deriving Distributed Implementations from Estelle. 841-851 - Günter Karjoth, Carl Binding, Jan Gustafsson:
LOEWE: A LOTOS Engineering Workbench. 853-874 - Gert J. Veltink:
The PSF Toolkit. 875-898
Volume 25, Number 8, 1993
- P. Venkat Rangan:
Video Conferencing, File Storage, and Management in Multimedia Computer Systems. 901-919 - Cherian S. Thachenkary:
Integrated Services Digital Networks (ISDN): Six Case Study Assessments of a Commercial Implementation. 921-932 - Steve Benford, Jacob Palme:
A Standard for OSI Group Communication. 933-946 - Davide Grillo, R. J. Gerard MacNamee, Behrooz Rashidzadeh:
Towards Third Generation Mobile Systems: A European Possible Transition Path. 947-961
Volume 25, Number 9, 1993
- Mohamed G. Gouda:
Protocol Verification Made Simple: A Tutorial. 969-980 - Gerard J. Holzmann:
Design and Validation of Protocols: A Tutorial. 981-1017 - Craig Partridge:
Protocols for High-Speed Networks: Some Questions and a Few Answers. 1019-1028
Volume 25, Number 10, 1993
- P. S. Richards:
Rapid Service Delivery and Customization in a Developing Network Infrastructure. 1031-1039 - Jun-ichi Mizusawa, Minoru Akiyama:
Experiences and Expectations of Introducing PSTN New Services. 1041-1053 - James W. Roberts:
Traffic Control in the B-ISDN. 1055-1064 - Zbigniew Dziong, Ke-Qiang Liao, Lorne Mason:
Effective Bandwidth Allocation and Buffer Dimensioning in ATM Based Networks with Priorities. 1065-1078 - Raffaele Bolla, Franco Davoli:
Dynamic Hierarchical Control of Resource Allocation in an Integrated Services Broadband Network. 1079-1087 - Adrian Popescu, Raghuvansh Prasad Singh:
An Alternative Solution to the Electro-Optic and Service Bootleneck Problems in Integrated Multi-Gbit/s LANs: the SUPERLAN Architecture. 1089-1105 - Tetsuya Yokotani, Hiroyuki Sato, Shigeo Nakatsuka:
A Study on a Performance Improvement Algorithm in DQDB MAN. 1107-1117 - Alfio Lombardo, Sergio Palazzo, Daniela Panno, R. Pignatelli, L. Susanna:
An Adaptive Policing Mechanism for a DQDB MAN. 1119-1126 - David J. Greaves, Krzysztof Zielinski:
The Cambridge Backbone Network An Overview and Preliminary Performance. 1127-1133 - Nico M. van Dijk:
On the Arrival Theorem for Communication Networks. 1135-1142 - William Henderson:
Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets. 1143-1153 - Catherine Rosenberg, André Le Bon:
Performance Models for Hybrid Broadband Networks. 1155-1163 - N. Sokolov, I. Ekhriel, R. Rerle, S. Brusilovsky:
On Some Teletraffic Models Simplification. 1165-1173
Volume 25, Number 11, 1993
- Ma-Tit Yap, David Hutchison:
An Emulator for Evaluating DQDB Performance. 1177-1204 - Wlodzimierz Dobosiewicz, Pawel Gburzynski, Piotr Rudnicki:
On Two Collision Protocols for High Speed Bus LANs. 1205-1225 - Bart Steyaert, Herwig Bruneel, Guido H. Petit, Emmanuel Desmet:
End-to-End Delays in Multistage ATM Switching Networks: Approximate Analytic Derivation of Tail Probabilities. 1227-1241 - Angelos P. Varvitsiotis, George I. Stassinopoulos:
Extending ASN.1 Into a Full-Fledged Constraint Language in the Context of OSI Protocol Conformance Testing. 1243-1263
Volume 25, Number 12, 1993
- Herwig Bruneel:
Packet Delay and Queue Length for Statistical Multiplexers with Low-Speed Access Lines. 1267-1277 - Chatschik Bisdikian:
A Queueing Model with Applications to Bridges and the DQDB (IEEE 802.6) MAN. 1279-1289 - Amane Nakajima:
Construction of Optimal Communication Structures for Weighted Distributed Match-Making. 1291-1301 - Ernst W. Biersack, David C. Feldmeier:
A Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification. 1303-1319 - Jiangling Du, Robert H. Deng, Chi Chung Ko:
Performance Analysis of Interconnected LANs with Server/Client Configuration. 1321-1333 - Jie Li, Hisao Kameda:
Optimal Load Balancing in Tree Networks Two-Way Traffic. 1335-1348
Volume 25, Supplement 1, September 1993
- Urs Eppenberger:
X.500 Directory Service Usage for X.400 E-Mail. Comput. Networks ISDN Syst. 25(Supplement 1): S3-S8 (1993) - Tim Dixon:
Obstacles on the Road to Global Networking. Comput. Networks ISDN Syst. 25(Supplement 1): S9-S15 (1993) - P. Malara, Roman Tirler, Antoine Trannoy:
CLAN at CRS4: An Experimental Public Switched Data Network. Comput. Networks ISDN Syst. 25(Supplement 1): S17-S23 (1993) - Svend Møller Nielsen:
EuropaNET - Contemporary High Speed Networking. Comput. Networks ISDN Syst. 25(Supplement 1): S25-S34 (1993)
Volume 25, Supplement 2, 1993
- Chris Adie:
Distributed Multimedia Information Systems. Comput. Networks ISDN Syst. 25(Supplement 2): S49-S57 (1993) - Daniel Karrenberg, Anne Lord, Marten Terpstra:
The RIPE NCC - One Year of Experience with European Internet Coordination. Comput. Networks ISDN Syst. 25(Supplement 2): S58-S62 (1993) - Erik Zegwaart:
Privacy Enhanced Mail in More Detail. Comput. Networks ISDN Syst. 25(Supplement 2): S63-S71 (1993) - Jeroen Houttuin:
Classifications in E-Mail Routing. Comput. Networks ISDN Syst. 25(Supplement 2): S72-S81 (1993) - Kris Van Hees:
VM NNTP: A TCP/IP Server Application For News. Comput. Networks ISDN Syst. 25(Supplement 2): S82-S86 (1993) - Marieke Dekker:
Report on the NATO Advanced Workshop 'Research Networking in Central and Eastern Europe'. Comput. Networks ISDN Syst. 25(Supplement 2): S87-S91 (1993)
Volume 25, Supplement 3, 1994
- Patrick Gelard, Robert Rumeau:
ATLAS - An ATM Demonstration Experiment for High-Rate Space Telemetry Transportation. Comput. Networks ISDN Syst. 25(Supplement 3): S99-S103 (1994) - Juha Heinänen:
Rolling-Out ATM Based Network Services. Comput. Networks ISDN Syst. 25(Supplement 3): S105-S110 (1994) - Leslie Clyne:
SuperJANET Update. Comput. Networks ISDN Syst. 25(Supplement 3): S111-S116 (1994) - Kees Neggers:
SURFnet Extends to ATM. Comput. Networks ISDN Syst. 25(Supplement 3): S117-S121 (1994) - Guy T. Almes:
Engineering Trans-Oceanic 44 Mb/s TCP/IP Networks. Comput. Networks ISDN Syst. 25(Supplement 3): S123-S130 (1994) - Howard Davies:
DANTE's Plans for High Speed Services. Comput. Networks ISDN Syst. 25(Supplement 3): S131-S133 (1994) - Leslie Clyne:
Report from the ATM Task Force. Comput. Networks ISDN Syst. 25(Supplement 3): S135-S139 (1994)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.