Computer Communications 1996: Vol 19 Index

11 Pages·1996·3.1 MB·English

computer
communications
Index to Volume 19 (1996)
No 1 (January) pp 1-92 No 5 (May) pp 377-472 No 11 (September) pp 863-940
No 2 (February) pp 93-164 No 6-7 (June) pp 473-620 No 12 (October) pp 941-1024
No 3 (March) pp 165-304 No 8 (July) pp 621~740 No 13 (November) pp 1025-1128
No 4 (April) pp 305-376 No 9—10 (August) pp 741-862 No 14 (Dec) pp 1129-1302
Article index network QoS mapping scheme and a model for
Z. Tsai, K.H. Yen 133 MAN-ATM internetworking
Number 1 Experiences with the integration of protocol K.R. Kidambi, R. Sankar
software tools J. Ottensmeyer 276
Special issue: High speed networks K. Arvonen, K. Grand, J. Harju, Using special resources to support
Guest Editors: R. Popescu-Zeletin, TU J. Paakki 141 multimedia multiparty communications in
Berlin, Germany and V. Tschammer, GMD Partial ASN.1/BER decoding scheme in a ATM networks
Fokus, Berlin, Germany
multiprocessor environment R. Winkler 287
S. Choi, K.Chon 152
From OSI to OMG: Experiences from the port Corrigendum to ‘Fault detection and
of an ISODE-based application to OMG/ diagnosis capabilities of test sequence Number 4
CORBA concepts selection methods based on the FSM model’
K.-P. Eckert 4 T. Ramalingam, A. Das, Special issue: Mobile computing
Distributing broadband multimedia systems K. Thulasiraman 160 Guest Editor: Dr B.R. Badrinath, Rutgers
using CORBA University, NJ, USA
B. Kinane, D. Muldowney 13
Measured performance of a special-purpose Number 3 Designing distributed algorithms for mobile
database engine for distributed system Special issue: Algorithms for ATM networks computing networks
sP.o fKtuwtavreo nen, L. Kutvonen 22 GUuSeAs t Editor: Dr B. Rajagopalan, Belicore, BT.. R.I miBealdirnisknia th, 30A9. Acharya,
Specification of a distributed storage system Static and adaptive location management in
M.A. Nankman, L.J.M. Nieuwenhuis 30 Real-time admission control algorithms with mobile wireless networks
Coloured Petri net modelling of the ODP delay and loss guarantees in ATM P. Krishna, N.H. Vaidya,
Trader for use in resource discovery D.K. Pradhan 321
A. Tokmakoff, J. Billington 39 nA.e tDwaoirlkisa nas, A. Bovopoulos 169 Modified tree structure for location
Dynamic QoS control of multimedia Capacity reservation in ATM networks manegement in mobile environments
applications based on RTP G. Karisson 180 S. Dolev, D.K. Pradhan, J.L.Weich 335
Effi|c. iBeunts sem,u it8iBc. aDsetf fnreoru,t inHg. Sinc hhuilgzhr isnpneee d 49 TowLa.rG.d sM aospotni,m alA . pPoellilceitnige r,iJn. ALTaMp oinnettew ork1s9 4 Suphpeortteirnogg enceololuasb ormaotbiivlee aepnplviicraotnimoennst in a
networks Design and performance analysis of a new N. Davies, G.S. Blair, K.C heverst,
M1. Smirnov 59 RTM algorithm for VBR traffice in ATM A. Friday 346
Intemgarnaategde maepnptr oach to open distributed |n.e Rtywooor,k s H. Aida, T. Saito 205 Qualciotmyp uotfi nsger vice guarantees in mobile
M.Tschichholz, V. Tschammer, UPC/NPC algorithm for guaranteed QoS in S. Singh 359
A. Dittrich 76 ATM networks
Y.J. Kim, S.C. Chang, C.K. Un, Number 5
B.C. Shin 216
Number 2
Control engineer's look at ATM congestion Security in computer networks and
Issues when designing filters in messaging avoidance distributed systems
systems C.£. Rohrs, R.A. Berry, S.J.O'Halek 226 M.M. Prabhu, S.V. Raghavan 379
J. Paime, J. Karigren,D. Pargman 95 On-line routing for permanent virtual circuits 3-tier structured access protocol to contro!
Ring-based bandwidth dimensioning in SDH R. Gawlick, C. Kalmanek, unfairness in DODB MANs
networks K.G. Ramakrishnan 235 L.N. Kumar, A.D. Bovopoulos 389
H.L. Owen 102 New implementation of multi-priority Probabilistic fuzzy timed protocol
Adaptive traffic enforcement control pushout for shared memory ATM verification
mechanism for LANs interconnected by a switches C.-M. Huang, J.-M. Hsu, S.-W. Lee 407
high-speed network A.K. Choudhury, E.L.Hahne 245 Fourier analysis for modelling some cyclic
L. Orzoco-Barbosa, N. Hirzaila 113 Parallel realization of the ATM cell header behaviour of networks
Models for network behaviour under viral CRC D. Habibi, D.J.H. Lewis 426
attack S.L.Ng, 8. Dewar 257 Adaptive bandwidth estimation and
S. Katsikas, T. Spyrou, D. Gritzalis, Behaviour of TCP in the European ATM Pilot allocation for DODB MAN interworking
J. Darzentas 124 O. Bonaventure, E. Kiovning, with B-ISDON
Modelling frame losses in a two-hop ATM A. Danthine 264 J.-S. Wu, Y-C.Wang 435
Client-server based ray-tracer using ASTRA: Interoperability between EFCI and ER switch ms START: A random access algorithm for
an asynchronous RPC mechanism mechanisms for ABR traffic in an ATM the IEEE 802.14 HFC network
J.L.J. Shiuan, K. Sung, A.L. Ananda, network C. Bisdikian, B. McNeil,
K.E. Kiat 445 Y. Chang, N. Golmie, D. Su 653 R. Norman 876
Achieving multimedia synchronization Performance study of buffering within A novel MAC protocol! for broadband
between live video and live audio switches in LANs communication over CATV-based MANs
streams using QoS controls A. Elsaadany, M. Singhal, M.T. Liu 659 D.-C. Twu, K.-C. Chen 888
C.-M. Huang, R.-Y. Lee 456 Reachability and reverse reachability Packet loss and jitter control for real-time
analysis of CFSMs MPEG video communications
W. Peng, K. Makki 668 I. Joe 901
Number 6-7 Circular window control schemes in fast Network-based parallel computing
packet switches over ATM using improved SSCOP
Fiber channel workstations interconnection
Y.-H. Lee, R. Chow, S.E. Cheung 675 protocol
through ATM local network
Dynamic behavior analysis of cell loss J. Solé-Pareta, J. Vila-Sallent 915
A. Anzaloni, N. Agniteili, F. Alvatroni,
control mechanisms Peformance of TCP over ATM with time-
S. Corti, C. Giambelli, M. Listanti 475
K.K. Lee, S.T. Chanson 685 varying available bandwidth
Cell loss analysis of an ATM multiplexer with
Reflective object-oriented distributed K.-Y. Siu, H.-Y. Tzeng 927
loss priority control for VBR bursty traffic
system for heterogeneous multimedia
S.W. Min, H. Chung, C.K. Un 487
environments
Annotating radiological images for
L.T. Chen, L. Xu, T. Suda, T. Yamamoto,
computer assisted communication and K. Obinata 698 Number 12
teaching
Distributed stereo-correlation algorithm
J. Van Cleynenbreugel, E. Bellon, Simulation of three MAC protocols for
H.R. Arabnia 707
G. Marchal, P. Suetens 498 intelligent highway packet radio networks
Multicasting in ATM networks using MINs
Skipping protocols integrating voice and M. Ajmone Marsan, G. Taricco,
S. Subramaniam, A.K.Somani 712
data on a token bus LAN G. Roncarolo, G. Tagliente 943
Using destination set grouping to improve
S. Bolis, E.G. Economou 509 Towards a formal system-to-system
the performance of window-controlled
DQDB network with a closed loop bandwidth authentication protocol
multipoint connections
balancing D. Gritzalis, S. Katsikas 954
S.Y. Cheung, M.H. Ammar 723
H.1. Sigiuk, B.H. Pardoe 517 Test traffic generation equipment and
Supporting fault-tolerant and open algorithms for evaluating ATM networks
distributed processing using RPC Number 9-10 G. Keiser, C. Carter,D. Freeman 962
W. Zhou 528 Performance of dilated banyan network with
Numerical analysis of some basic fluid Effective queueing strategies for co- back-pressure mechanism
communication models via parallel block scheduling in a pool of processors Y.S. Youn,C.K.Un 972
methods M.A. Schaar, K. Efe 743 Firewalls in an OSI-environment
T. Tsiligirides 539 Designing a system infrastructure for N.H. Berge, J. ines 982
Performance evaluation of hierarchical distributed programs The ISO virtual terminal protocol: a semi-
SRMA-ALOHA and SRMA-Poll protocols K.-Y. Lam, L. C.-K. Hui 754 automatic implementation
D.K. Goyal, H.M. Gupta 553 Queucing analysis of a hybrid CSMA/CD and R. Lai, M.M.Wong 990
New technique for the representation of BTMA protocol with capture JPEG based scalable image compression
access network performance T. Tsiligirides 763 S. Panchanathan, N. Gamaz,
G.P. Ray, P.W. Sanders, C.T. Monitoring performance in distributed A. Jain 1001
Stocke! 564 systems Efficient nearer-ancestor algorithm for
improving access delay fairness of DODB V. Catania, A. Puliafito, S. Riccobene, networking routing
MANs under overload condition L. Vita 788 K.-Y. Lam, L.C.K.Hu 1014
J.-S. Wu, Y.-T. Hsieh 571 TESTVAL, a tool for protocol test validation
WDM passive star networks: a learning and the validation of a LAPB test suite as
automata-based architecture an example
G./. Papadimitriou, D.G. Maritsas 580 S.T. Vong, S. Lee, M.C. Kim 804 Number 13
CCDES - a collaborative compound Key management for a secure LAN-SMDS Specia! issue: Enabling ATM networks
document editing system network Guest editors: Mohammad Peyravian and
C-H. Lin, S.-C. Huang, S.-M. Yuan 590 V. Varadharajan, C. Calvelli 813 Raif Onvural, IBM, Networking Systems
ATM - protocols and architecture Security platforms in the telecommunication Architecture, Research Triangle Park, NC,
R. Hunt 597 market: technologies, developments and 27709, USA
Window-based congestion control in a regulations
packet switched network with voice and B.J. Blazié 824
Joint virtual path routing and capacity
data transmission Frame relay: protocols, architecture, design for ATM networks
G. Pal, S. Agrawal 612 operation and performance T.-S.G. Yang, V.O.K.Li 1029
R. Hunt 830
Deterministic algorithm for VP assignment
Key authentication scheme for
in ATM networks
Number 8 cryptosystems based on discrete
M. Aydemir, Y. Viniotis 1036
logarithms
Special issue: Selected papers from the Quantization, state reduction and cost-
G. Horng,C.S. Yang 848
Third International Conference on Computer based admission and routing
Communications and Networks Two |D-based multisignature protocols for C.-T. Lea, K.-W. Ke 1051
sequential and broadcasting
Guest Editor: Professor Kia Makki, On TCP performance in ATM networks with
University of Nevada, Las Vegas, NV, USA aT.r-cCh. iteWuc,t urSe.s-L . Chou, T.-S.Wu 851 per-VC early packet discard mechanisms
H. Li, K.-Y. Tzeng, C. ikeda,
Encapsulation of ATM cell connections H. Suzuki 1065
W. Liu, E.K. Park, N. Pissinou 623 Biock loss reduction in ATM networks
Number 11
Efficient distributed breadth-first search V. Srinivasan, A. Ghanwani,
algorithm Special issue: Recent advances in E.Gelenbe 1077
S.A.M. Makki 628 networking technology Dynamic resource control for continuous
Efficient multicast tree algorithm in ATM Guest editor: Dr. ian Akyildiz, Georgia media traffic over ATM networks
networks institute of Technology, GA, USA R.P. Tsang, P. Keattithananant, T. Chang,
X. Jia, C.H. Lee, K. Makki, J. Hsieh,D.H.C.Du 1092
N. Pissinou 637 To foster residential area broadband Characterization and multiplexing of
Simple schemes for traffic integration at call internet technology: IP datagrams keep correlated traffic from sources with
set-up level in ATM networks going, and going, and going... different time constants
R. Bolla, F. Davoli, M. Marchese 645 M. Laubach 867 |. Stavrakakis 1112
1294 computer communications volume 19 number 14 december 1996
Number 14 Bovopoulos A. 169 Huil. C-K. 754, 1014
Bovopoulos A.D. 389 Hunt R. 597, 830
Special issue: Protocol Engineering
Bredereke J. 1226
Guest editor: Prof. K. Saleh, Electrical and Busse! . 49 Ikeda C. 1065
Communication Eng., Kuwait Engineering,
imielinski T. 309
PO Box 5969, Safat, 13060 Kuwait Cacciaril. 1188
Editorial CaivelliC. 813 Jain A. 1001
K. Saleh 1131 CarterC. 962 Jeng J.-W.J. 1216
Formal models for the description of time Catania V. 788 Jerman-—Biazié. 824
behaviors of multimedia and hypermedia Chakraborty G. 1268 Jia X. 637
distributed systems Chang S.C. 216 Joe!. 901
J.-P. Courtiat, M. Diaz, R.C. De Oliveira, Chang T. 1092
P.Sénac 1134 Chang Y. 653 Kakuda Y. 1200
Designing a multiway synchronization Chanson S.T. 685 Kaimanek C. 235
protocol Chen K.-C. 888 Karigren J. 95
J. Parrow, P. Sj6din 1151 Chen L.T. 698 KarissonG. 180
Group routing without group routing tables: Cheung S.E. 675 Katsikas S. 124, 954
an exercise in protocol design Cheung S.Y. 723 Ke K.-W. 1051
J.A. Cobb, M.G. Gouda 1161 Cheung T.-y. 1250 Keattithananant P. 1092
An approach to cyclic protocol validation Cheverst K. 346 KeiserG. 962
H. Liu, R.E. Miller 1175 Choi S. 152 KiatK.E. 445
Validation of protocols with temporal Chon K. 152 Kidambi K.R. 276
constraints Chou S.-L. 851 Kikuno T. 1200
L. Cacciari,O. Rafiq 1188 Choudhury A.K. 245 Kim M.C. 804
On constructing communication protocols Chow R. 675 Kim YJ. 216
from component-based service Chung H. 487 Kinane B. 13
specifications Cobb J.A. 1161 Kinoshita T. 1268
M. Nakamura, Y.Kakuda,T.Kikuno 1200 CortiS. 475 Klovning E. 264
Protocol converter generation using the STS Courtiat J.-P. 1134 K6nig H. 1226
approach Krishna P. 321
H.-W.J. Jeng, M.T. Liu 1216 Dailianas A. 169 KumarLl.N. 389
Improving the efficiency of automated Danthine A. 264 KutvonenLl. 22
protocol implementation using Estelle Darzentas J. 124 Kutvonen P. 22
R. Gotzhein, J. Bredereke, W. Effeisberg, Das A. 160
S. Fischer, T. Held, H. Kénig 1226 Davies N. 346 LaiR. 990
Testing in context: framework and test DavoliF. 645 Lam K.-Y. 754, 1014
derivation De Oliveira R.C Lapointe J. 194
A. Petrenko, N. Yevtushenko, Deffner B. 49 Laubach M. 867
G.v. Bochmann, R. Dssouli 1236 LeaC.-T. 1051
Petri nets for protocol engineering Lee C.H. 637
T.-y. Cheung 1250 Lee ES. 1268
Protocol quality engineering: addressing Lee K.K. 685
industry concerns about formal methods Dssouli R. 1236 Lee R.-Y. 456
R.L. Probert,N. Lew 1258 Du D.H.C. 1092 Lee S. 804
Framework of a flexible computer Lee S.-W. 407
communication network Eckert K.-P. 4 Lee Y.-H. 675
N. Shiratori, T. Suganuma, S. Sugiura, G Economou E.G. 509 LewN. 1258
Chakraborty, K. Sugawara, T. Kinoshita, Efe K. 743 Lewis D.J.H. 426
E.S.Lee 1268 Effeisberg W. 1226 LiJ. 1065
Group Communication models Elsaadany A. 659 LiV.O.K. 1029
K. Farooquie,L.Logrippo 1276 Lin C.-H. 590
Farooqui K. 1276 ListantiM. 475
Fischer S. 1226 Liu H 1175
Freeman D. 962 Liu M.T. 659, 1216
Author Index Friday A. 346 Liu W. 623
LogrippoLl. 1276
Acharya A. 309 GamazN. 1001
AgnitelliN. 475 Gawlick R. 235 Makki K. 637, 668
AgrawalS. 612 Gelenbe E. 1077 MakkiS.A.M. 628
Aida H. 205 Ghanwani A. 1077 Marchal G. 498
Akyiidiz |.F. 865 GiambelliC. 475 Marchese M. 645
AlvatroniF. 475 Goimie N. 653 Maritsas D.G. 580
Ammar M.H. 723 Gotzhein R. 1226 Marsan M.A. 943
AnandaA.l. 445 Gouda M.G. 1161 MasonL.G. 194
Anzaioni A. 475 Goyal D.K. 553 McNeil B. 876
Arabnia H.R. 707 Grané K. 141 Miller R.E. 1175
Arvonen K. 141 Gritzalis D. 124, 954 Min S.W. 487
Aydemir M. 1036 Gupta H.M. 553 Muldowney D. 13
Badrinath B.R. 309 Habibi D. 426 Nakamura M. 1200
BelionE. 498 Hahne EL. 245 Nankman M.A. 30
Berge N.H. 982 Harju J. 141 Ng S.L. 257
Berry R.A. 226 Held T. 1226 Nieuwenhuis L.J.M
BillingtonJ . 39 HirzailaN. 113 Norman R. 876
BisdikianC . 876 Horng,G. 848
BlairG.S. 346 Hsieh J. 1092 O'Halek S.J. 226
Bochmann G.v. 1236 Hsieh Y.-T. 571 Obinata K. 698
Bolis S. 509 Hsu J.-M. 407 Gines J. 982
Bolla R. 645 Huang C.-M. 407, 456 Onvural R. 1027
Bonaventure O. 264 Huang S.-C. 590 Orzoco-Barbosal. 113
computer communications volume 19 number 14 december 1996 1295
Ottensmeyer J. 276 Varadharajan V. 813 High performance distributed computing,
Owen H.L. 102 Vila-SallentJ . 915 Loss recovery mechanisms, SSCOP,
ViniotisY . 1036 Performance evaluation 915
Paakki J. 141 Vital. 788 Multicasting, MINs, Connection,
PalG. 612 Vong S.T. 804 VC-VP 712
Paime J. 95 Traffic analysis, Generation equipment,
Panchanathan S. 1001 Wang Y.-C. 435 Algorithms 962
Papadimitriou G.!. 580 Welch J.L. 335 Traffic control, Resource allocation,
Pardoe B.H. 517 Winkler R. 287 Capacity reservation 180
PargmanD. 95 Wong M.C. 990 TCP, Usage Parameter Control,
Park E.K. 623 Wu J.-S. 435, 571 Measurements 264
Parrow J. 1151 Wu T.-C. 851 ATM adaptation layer
Pelletier J. 194 Wu T.-S. 851 ATM cell, Virtual path, Virtual channel,
Peng W. 668 Connectioniess and connection
Petrenko A. 1236 XuLl. 698 oriented service, B-ISDN, SONET/
Peyravian M. 1027 SDH 597
Pissinou N. 623, 637 ATM cell
Prabhu M.M. 379 Yamamoto T. 698 ATM adaptation layer, Virtual path,
Pradhan D.K. 321, 335 YangC.S. 848 Virtual channel, Connectioniess and
Probert, R.L. 1258 Yang T.-S.G. 1029 connection oriented service, B-ISDN,
Puliafito A. 788 Yen K.H. 133 SONET/SDH 597
Yevtushenko N. 1236 B-ISDN, AAL, Video frame, Data/voice
RafiqO. 1188 Youn Y.S. 972 packet, Connection control 623
Raghavan S.V. 379 Yuan S.-M. 590 ATM multiplexer
Ramakrishnan K.G. 235 Selective cell discarding, Markov-
Ramalingam T. 160 Zhou W. 528 modulated deterministic process 487
Ray G.P. 564 ATM network
Riccobene S. 788 Network communication, Multicast,
Rohrs C.E. 226 Routing, 637
Roncarolo G. 943 Keyword Index Queueing modeis, Frame loss
Ryoo |. 205 probability 133
AAL ATM networks
Saito T. 205 B-ISDN, Video frame, Data/voice packet, ABR service, UBR service, TCP,
Salkeh K. 1131 ATM cell, Connection control 623 Congestion control, Early Packet Discard
Sanders P.W. 564 ABR service (EPD) 927
Sankar R. 276 ATM networks, UBR service, TCP, ABR service, UBR service, TCP,
Schaar,M.A. 743 Congestion control, Early Packet Discard Congestion control, Early Packet Discard
Schulzrinne H. 49 (EPD) 927 (EPD), per-VC accounting and queueing
Sénac P. 1134 ATM networks, UBR service, TCP, techniques 1065
Shin B.C. 216 Congestion control, Early Packet Discard Admission control, Call set-up, Traffic
ShiratoriN. 1268 (EPD), per-VC accounting and queueing integration 645
Shiuan, J.L.J. 445 techniques 1065 Congestion control, Control theory 226
Sigiuk H.!. 517 Access delay fairness interoperability, Traffic management,
Singh S. 359 DQDB, Overload, Access protection Flow control 653
Singhal M. 659 protocol 571 Quality of Service, Block loss rate 1077
Siu K.-Y. 927, 1065 Access protection protocol Routing, Capacity design 1029
Sjédin P. 1151 Access delay fairness, DODB, Virtual path assignment, Deterministic
Smirnov M.|. 59 Overload 571 algorithm 1036
Solé-Pareta J. 915 Access protocol ATM switching
Somani A.K. 712 Unfairness control, DODB 389 Multi-priority pushout, Output
SpyrouT. 124 Adaptive applications queueing 245
Srinivasan V. 1077 Mobile computing, Open distributed ATM traffic
Stavrakakis |. 1112 processing, Co-operative work, Quality of Real-time admission controi, Delay and
Stockel C.T. 564 service 346 jitter guarantees, Multimedia 169
SuD. 653 Adaptive estimation Authentication
Subramaniam S. 712 Bandwidth estimation, internetworking, Data security, Public key, Certificate,
Suda T. 698 B-ISDN 435 Discrete logarithm, Password
Suetens P. 498 Adaptive location table 848
Suganuma T. 1268 Mobile computing, Location Zero-knowledge protocols, Probabilistic
Sugawara K. 1268 management 321 protocols, Passwords 954
Sugiura S. 1268 Admission control
Sung K. 445 Call set-up, ATM networks, Traffic B-ISDN
Suzuki H. 1065 integration 645 AAL, Video frame, Data/voice packet,
ATM cell, Connection control 623
Tagliente G. 943 Traffic analysis, ATM, Generation ATM cell, ATM adaptation layer, Virtual
Taricco G. 943 equipment 962 path, Virtual channel, Connectioniess and
Thulasiraman K. 160 ASN.1 connection oriented service, SONET/
Tokmakoff A. 39 BER, OSI, Partial decoding scheme, SDH 597
Tsai Z. 133 Parallel implementation 152 Bandwidth estimation, internetworking,
Tsang R.P. 1092 Asynchronous RPC Adaptive estimation 435
Tschammer V. 76 Distributed application, Ray tracing, Balanced networks
Tschichholz,M. 76 Client-server model 445 Virtual circuits, Delay differential
Tsiligirides T. 539, 763 Asynchronous Transfer Mode (ATM) equations, Parallel block methods,
Twu D.-C. 888 Cyclic redundancy checks, Cell Stability 539
Tzeng H.-Y. 927, 1065 delineation 257 Bandwidth balancing
Dynamic traffic control, Resource Metropolitan area networks, DODB, Bus
Un C.K. 216, 487, 972 management, Rate control, Real-time utilisation 517
Variable Bit Rate traffic continuous media Bandwidth estimation
Vaidya N.H. 321 traffic 1092 Internetworking, Adaptive estimation, B-
Van Cleynenbreugel J. 498 FCS, Interworking 475 ISDN 435
1296 computer communications volume 19 number 14 december 1996
Bandwidth Circular window control ATM networks, ABR service, UBR
Traffic management, Cell control, Traffic Packet switching, Scheduling 675 service, TCP, Early Packet Discard (EPD),
monitoring 205 Client-server model per-VC accounting and queueing
Bandwidth requirements Distributed application, Ray tracing, techniques 1065
Multimedia, RTP 49 Asynchronous RPC 445 Control theory, ATM networks 226
Banyan network Open distributed processing, Fault- Connection
Routing, Performance, internal tolerant computing, Distributed systems, Multicasting, ATM, MINs, VC-VP 712
blocking 972 Remote procedure calis 528 Connection control
BER Co-operative work B-ISDN, AAL, Video frame, Data/voice
ASN.1, OSI, Partial decoding scheme, Mobile computing, Open distributed packet, ATM cell 623
Parallel implementation 152 processing, Adaptive applications, Connection-oriented DODB (CO-DQDB)
Block loss rate Quality of service 346 integrated services, Equivalent capacity,
Quality of Service, ATM networks 1077 Collaborative computing QoS Manager, Internetworking, Dynamic
Breadth-First Search Distributed computing, Compound bandwidth sharing 276
Distributed systems, Paraliel document editing, Multi-user Connectioniess and connection oriented
computing 628 interfaces 590 service
Broadband communication Coloured Petri net ATM cell, ATM adaptation layer, Virtual
Distributed systems, Multimedia, Open distributed processing, Trader 39 path, Virtual channel, B-ISDN, SONET/
CORBA 13 Communicating FSMs SDH 597
MAC protocol, CATV, MAN 888 Communication protocols, Conformance Control theory
BTMA protocis testing 1236 Congestion control, ATM networks 226
CSMA/CDS, Capture, Mobile network, Communication networks CORBA
Performance analysis, Stability 763 Flexible, Multi-agent mode! 1268 Distributed systems, Broadband
Bulletin board systems Communication properties communication, Multimeda 13
Electronic mail, Message handling Protocols, Transition models, Temporal OS! communication, OMG, Migration 4
systems, Computer conferencing, Filters, constraints, Temporal communicating Correctness
Mail filtering, Netnews, Usenet news, systems, Temporal reachability analysis, Service specification, Component,
information retrieval systerns 95 Validation 1188 integration, Protocol synthesis 1200
Bus utilisation Communication protocol Correctness proof
Metropolitan area networks, DQDB, Conformance testing, Communicating Synchronisation protocol, Design
Bandwidth balancing 517 FSMs 1236 methodology 1151
Formal specification, Estelle, Protocol CSMA/CDS
Cable modem implementation, Efficiency 1226 BTMA protocols, Capture, Mobile
Standardization, internet 867 Protocol engineering, Quality network, Performance analysis,
Call model engineering 1258 Stability 763
High-speed network routing, Multimedia Competitive analysis Cyclic behaviour
streams, Multicast tree, Object-oriented On-line routing, Virtua! circuit Queueing networks, Fourier analysis
framework, Scalabiity 59 requests 235 Cyclic protocols
Cali set-up Component Protocol validation, Fair
Admission control, ATM networks, Traffic Service specification, integration, reachability 1175
integration 645 Protocol synthesis, Correctness 1200 Cyclic redundancy checks
Capacity design document editing Asynchronous Transfer Mode, Cell
Routing, ATM networks 1029 Distributed computing, Collaborative delineation 257
Capacity reservation computing, Multi-user interfaces 590
Traffic control, Resource allocation, Compression Data communication
ATM 180 image browsing, Scalability, JPEG, Computer networks, Data security, Open
Wavelet, Progressive coding, systems 379
CSMA/CDS, BTMA protocols, Mobile Hierarchical coding 1001 Data farming
network, Performance analysis, Computational mode! Stereo-correlation, Parallel
Stability 763 Distributed storage, Quality of computing 707
CATV service 30 Data security
MAC protocol, Broadband Computer communication networks Computer networks, Data
communication, MAN 888 Network protocols, Local networks, communication, Open systems 379
Cell conformance Performance evaluation 113 Public key, Authentication, Certificate,
Usage/network parameter control, communications Discrete logarithm, Password table 848
Quality of Service 216 Distributed systems, System Data/voice packet
Cell control management 754 B-ISDN, AAL, Video frame, ATM cell,
Traffic management, Bandwidth Network routing, Routing Connection control 623
reassignment, Traffic monitoring 205 algorithm 1014 Database
Cell delineation Open distributed systems, General
Asynchronous Transfer Mode, Cyclic Electronic mail, Message handling service functions, Performance 22
redundancy checks 257 systems, Bulletin board systems, Filters, Delay and jitter guarantees
Cell loss control Mail filtering, Netnews, Usenet news, Real-time admission control, ATM traffic
Partial buffer sharing, Threshoid-based information retrieval systems 95 management, Multimedia 169
Loss Balancing 685 Computer networks Delay differential
Certificate Data communication, Data security, Open Balanced networks, Virtual circuits,
Data security, Public key, Authentication, systems 379 Parallel biock methods, Stability 539
Discrete logarithm, Password table 848 Distributed computing, Performance Delay jitter
Certification Authority infrastructure evaluation, Task scheduling, Operating MPEG, Packet loss, Video transport
Telecommunications, Security services, systems 743 protocol, Real-time communication,
Public key, Directory services 824 Computer viruses Selective mechanism 901
CFSM Security, Worms, Malicious software, Design methodology
Reachability analysis, Reverse instrusion, Network 124 Synchronisation protocol, Correctness
reachability analysis, Reachability Conformance testing proof 1151
evaluator 668 Communication protocols, Destination set grouping
CIR Communicating FSMs 1236 Multicast communication, Multipoint
TDM, X.25, Virtual circuit, DLCI, Elastic control connection 723
bandwidth, Forward/backward ATM networks, ABR service, UBR Deterministic algorithm
congestion notification, Open/ciosed loop service, TCP, Early Packet Discard Virtual path assignment, ATM
congestion control 830 (EPD) 927 networks 1036
computer communications volume 19 number 14 december 1996 1297
Digital muitisignature Efficiency Forward/backward congestion notification
ID-based cryptosystem, Factorization, Communication protocol, Formal TDM, X.25, Virtual circuit, CIR, DLCI,
Discrete logarithms, One-way hashing specification, Estelle, Protocol Elastic bandwidth, Open/closed loop
function 851 implementation 1226 congestion contro! 830
Directory services Elastic bandwidth Fourier analysis
Telecommunications, Security services, TDM, X.25, Virtual circuit, CIR, DLCI, Queueing networks, Cyclic
Public key, Certification Authority Forward/backward congestion behaviour 426
infrastructure 824 notification, Open/ciosed loop congestion Frame loss probability
Discrete logarithm control 830 Queueing models, ATM network 133
Data security, Public key, Authentication, Electronic mail
Certificate, Password table 848 Message handling systems, General service functions
Digital multisignature, |D-based Computer conferencing, Bulletin board Open distributed systems, Database
cryptosystem, Factorization, One-way systems, Filters, Mail filtering, Netnews, engine, Performance 22
hashing function 851 Usenet news, Information retrieval Generation equipment
Distributed aigorithms systems 95 Traffic analysis, ATM, Algorithms 962
Location management, Fault-tolerance, Equivalent capacity Graceful degradation
Self-stabilization, Handoff Connection-oriented DODB (CO-DQDB), Mobile computing, Quaiity of service,
management 335 Integrated services, QOS Manager, Seamless service guarantees 359
Mobile computing, Two tier Internetworking, Dynamic bandwidth Group communication
principle 309 sharing 276 ODP, Prototype model 1276
Distributed application Estelie Group routing
Ray tracing, Asynchronous RPC, Client- Communication protocol, Formal Routing protocol, Protocol design 1161
server model 445 specification, Protocol implementation,
Distributed computing Efficiency 1226 Handoff management
Compound document editing, Formal Description Technique, ISODE, Location management, Distributed
Collaborative computing, Multi-user Virtual Terminal, PETDINGO 990 algorithms, Fault-tolerance, Self-
interfaces 590 Protocol engineering, Timed protocol Stabilization 335
Performance evaluation, Computer verification, Probabilistic Hierarchical coding
networks, Task scheduling, Operating verification 407 Compression, Image browsing,
systems 743 Ethernet Scalability, JPEG, Wavelet, Progressive
Distributed multimedia and hypermedia Local area network, Switching hub, LAN coding 1001
systems protocol, LAN performance, High performance distributed computing
Time requirements, Timed Petri nets, Multimedia 659 ATM, Loss recovery mechanisms,
LOTOS, RT-LOTOS, Specification, SSCOP, Performance evaluation 915
Modeling, Validation, Factorization High-speed network routing
Synchronization 1134 Digital multisignature, |D-based Multimedia streams, Multicast tree,
Distributed storage cryptosystem, Discrete logarithms, One- Object-oriented framework, Call model,
Quality of service, Computational way hashing function 851 Scalability 59
mode! 30 Fair reachability HOST
Distributed system Protocol validation, Cyclicprotocols 1175 Packet switching, Virtual circuit, IMP,
Broadband communication, Multimedia, Fault-tolerance Window flow control 612
CORBA 13 Location management, Distributed Hybrid fiber/coaxiail network
Computer communications, System algorithms, Self-stabilization, Handoff Random access aigorithm, Simulation,
management 754 management 335 msSTART 876
Open distributed processing, Fault- Fault-tolerant computing Hypermedia annotations
tolerant computing, Remote procedure Open distributed processing, Distributed Radiological communication, Radiology
calls, Client/server model 528 systems, Remote procedure calls, Client/ teaching 498
Parallel computing, Breadth-First server model 528
Search 628 FCS ID-based cryptosystem
Performance monitoring, Recovery 788 ATM, Interworking 475 Digital multisignature, Factorization,
Reflective architecture model, Object- Filters Discrete logarithms, One-way hashing
oriented, Multimedia environment 698 Electronic mail, Message handling function 851
DLC! systems, Computer conferencing, Image browsing
TDM, X.25, Virtual circuit, CIR, Elastic Bulletin board systems, Mail filtering, Compression, Scalability, JPEG, Wavelet,
bandwidth, Forward/backward Netnews, Usenet news, Information Progressive coding, Hierarchical
congestion notification, Open/closed loop retrieval systems 95 coding 1001
congestion control 830 Finite-state automata IMP
DQDB Preventive control, Source Packet switching, Virtual circuit, HOST,
Access delay fairness, Overload, Access policing 194 Window flow contro! 612
protection protocol 571 Firewalls implementation
Access protocol, Unfairness control 389 ISO protocols, OSI 982 Protocol conversion, Service
Metropolitan area networks, Bandwidth Fiexible specification, Synchronizing transition
balancing, Bus utilisation 517 Communication networks, Multi-agent set 1216
Dynamic bandwidth sharing model 1268 information retrieval systems
Connection-oriented DODB (CO-DQDB), Flow control Electronic mail, Message handling
integrated services, Equivalent capacity, interoperability, ATM networks, Traffic systems, Computer conferencing,
QoS Manager, internetworking 276 management 653 Bulletin board systems, Filters, Mail
Dynamic traffic control Formal analysis filtering, Netnews, Usenet news 95
Asynchronous Transfer Mode (ATM), Network security, Key management, integrated services
Resource management, Rate control, Protocol 813 Connection-oriented DQDB (CO-DQDB),
Real-time Variable Bit Rate traffic Formal description technique Equivalent capacity, Q0S Manager,
continuous media traffic 1092 Estelle, ISODE, Virtual Terminal, Internetworking, Dynamic bandwidth
PETDINGO 990 sharing 276
Early Packet Discard (EPD) invariant, Petri net, Protocol, integration
ATM networks, ABR service, UBR Reachability, Specification, Synthesis, Service specification, Component,
service, TCP, Congestion control 927 Testing, Verification 1250 Protocol synthesis, Correctness 1200
ATM networks, ABR service, UBR Formal specification Intelligent highway
service, TCP, Congestion control, per-VC Communication protocol, Estelle, Radio networks, MAC protocols 943
accounting and queueing Protocol implementation, inter-domain management
techniques 1065 Efficiency 1226 Open distributed management 76
1298 computer communications volume 19 number 14 december 1996
Inter-media synchronization Mobile computing, Adaptivelocation 321 M pushout
Multimedia synchronization, Live media Loss recovery mechanisms ATM switching, Output queveing 245
presentation, QoS, Intra-media High performance distributed computing, Multi-user interfaces
synchronization 456 ATM, SSCOP, Performance Distributed computing, Compound
Internal blocking evaluation 915 document editing, Collaborative
Routing, Performance, Banyan LOTOS computing 590
network 972 Distributed multimedia and hypermedia Multicast
Internet systems, Time requirements, Timed Petri Network communication, Routing, ATM
Cable modem technology, nets, RT-LOTOS, Specification, Modeling, network 637
Standardization 867 Validation, Synchronization 1134 Multicast communication
Internetworking Multipoint connection, Destination set
Bandwidth estimation, Adaptive MAC protocol grouping 723
estimation, B-ISDN 435 Broadband communication, CATV, Multicast tree
Connection-oriented DODB (CO-DQDB), MAN 888 High-speed network routing, Multimedia
Integrated services, Equivalent capacity, Radio networks, intelligent highway 943 streams, Object-oriented framework, Call
QoS Manager, Dynamic bandwidth Mail filtering model, Scalability 59
sharing 276 Electronic mail, Message handling Multicasting
Interoperability systems, Computer conferencing, ATM, MINs, Connection, VC-VP 712
ATM networks, Traffic management, Flow Bulletin board systems, Filters, Netnews, Multimedia
control 653 Usenet news, Information retrieval Bandwidth requirements, RTP 49
interworking systems 95 Distributed systems, Broadband
FCS, ATM 475 Malicious software communication, CORBA 13
intra-media synchronization Security, Computer viruses, Worms, Local area network, Switching hub, LAN
Multimedia synchronization, Live media Instrusion, Network 124 protocol, LAN performance,
presentation, QoS, Inter-media MAN Ethernet 659
synchronization 456 MAC protocol, Broadband Real-time admission control, ATM traffic
Intrusion communication, CATV 888 management, Delay and jitter
Security, Computer viruses, Worms, Markov traffic streams guarantees 169
Malicious software, Network 124 Statistical multiplexing, Time Multimedia communications
invariant constraints 1112 Resource control, Multiparty
Formal description technique, Petri net, Markov-modulated deterministic process communications 287
Protocol, Reachability, Specification, ATM multiplexer, Selective cell Multimedia envircnment
Synthesis, Testing, Verification 1250 discarding 487 Distributed system, Reflective
ISO protocols Measurements architecture model, Object-oriented 698
Firewalls, OSi 982 Asynchronous Transfer Mode, TCP, Multimedia streams
ISODE Usage Parameter Control 264 High-speed network routing, Multicast
Formal Description Technique, Estelle, Message handling systems tree, Object-oriented framework, Call
Virtual Terminal, PETDINGO 990 Electronic mail, Computer conferencing, model, Scalability 59
Bulletin board systems, Filters, Mail Multimedia synchronization
JPEG filtering, Netnews, Usenet news, Live media presentation, QoS, inter-
Compression, Image browsing, information retrieval systems 95 media synchronization, intra-media
Scalability, Wavelet, Progressive coding, Metropolitan area networks synchronization 456
Hierarchical coding 1001 DQDB, Bandwidth balancing, Bus Multiparty communications
utilisation 517 Resource control, Multimedia
Key management Migration communications 287
Network security, Protocol, Formal OSI communication, CORBA,OMG 4 Multipoint connection
analysis 813 MINs Multicast communication, Destination set
Multicasting, ATM, Connection, grouping 723
LAN performance VC-VP 712
Local area network, Switching hub, LAN Mobile computing Netnews
protocol, Ethernet, Multimedia 659 Distributed algorithms, Two tier Electronic mail, Message handling
LAN protocol principle 309 systems, Computer conferencing,
Local area network, Switching hub, LAN Location management, Adaptive Bulletin board systems, Filters, Mail
performance, Ethernet, Multimedia 659 location 321 filtering, Usenet news, Information
Learning automata-based optical network Open distributed processing, Co- retrieval systems 95
Optical network, Wavelength Division operative work, Adaptive applications, Network
Multiplexing, Learning automaton, Quality of service 346 Security, Computer viruses, Worms,
Passing probability 580 Quality of service, Seamiess Malicious software, intrusion 124
Learning automaton service guarantees, Graceful Network communication
Optical network, Wavelength Division degradation 359 Multicast, Routing, ATM network 637
Multiplexing, Learning automata-based Mobile network Netw: rk optimization
optical network, Passing probability 580 CSMA/CDS, BTMA protocols, Network performance, Resource
Live media presentation Capture, Performance analysis, management, Quality of service 564
Multimedia synchronization, QoS, Inter- Stability 763 Network performance
media synchronization, Intra-media Resource management, Network
synchronization 456 Distributed multimedia and hypermedia optimization, Quality of service 564
Local area networks systems, Time requirements, Timed Network protocols
Switching hub, LAN protocol, LAN Petri nets, LOTOS, RT-LOTOS, Computer communication networks,
performance, Ethernet, Multimedia 659 Specification, Validation, Local networks, Performance
Voice and data protocol, Token bus Synchronization 1134 evaluation 113
protocol, Network throughput, MPEG Network routing
Transmission delay 509 Delay jitter, Packet loss, Video transport Computer communications, Routing
Local networks protocol, Real-time communication, algorithm 1014
Computer communication networks, Selective mechanism 901 Network
Network protocols, Performance msSTART Key management, Protocol, Formal
evaluation 113 Random access algorithm, Hybrid fiber/ analysis 813
Location management coaxial network, Simulation 876 Network
Distributed algorithms, Fault-tolerance, Multi-agent model Local area networks, Voice and data
Self-stabilization, Handoff Flexible, Communication protocol, Token bus protocol,
management 335 networks 1268 Transmission delay 509
computer communications volume 19 number 14 december 1996 1299
Object-oriented Parallel implementation Software tools, Protocol
Distributed system, Reflective ASN.1, BER, OSI, Partial cecoding implementation 141
architecture model, Multimedia scheme 152 Timed protocol verification, Probabilistic
environment 698 Partial buffer sharing verification, Estelle 407
Object-oriented framework Cell loss control, Threshold-based Loss Protocol implementation
High-speed network routing, Multimedia Balancing 685 Communication protocol, Formal
streams, Multicast tree, Call model, Partial decoding scheme specification, Estelle, Efficiency 1226
Scalability 59 ASN.1, BER, OSI, Parallel Protocol engineering, Software
opp implementation 152 tools 141
Group communication, Prototype Passing probability Protocol synthesis
model 1276 Optical network, Wavelength Division Service specification, Component,
OMG Multiplexing, Learning autorfaton, Integration, Correctness 1200
OSI communication, CORBA, Learning automata-based optical Protocol testing
Migration 4 network 580 Test case validation, TESTVAL 804
On-line routing Password table Protocol validation
Virtual circuit requests, Competitive Data security, Public key, Fair reachability, Cyclic
analysis 235 Authentication, Certificate, Discrete protocols 1175
One-way hashing function logarithm 848 Protoco!s
Digital multisignature, |D-based Passwords Performance evaluation, Wide-area
cryptosystem, Factorization, Discrete Authentication, Zero-knowledge satellite networks 553
logarithms 851 protocols, Probabilistic protocols 954 Transition models, Tempcral constraints,
Open distributed management per-VC accounting and queuein, techniques Temporal communicating systems,
Inter-domain management 76 ATM networks, ABR service, UBR Temporal reachability analysis,
Open distributed processing service, TCP, Congestion control, Early Communication properties,
Fault-tolerant computing, Packet Discard (EPD) 1065 Validation 1188
Distributed systems, Remote Performance Prototype model
procedure calls, Client/server Open distributed systems, General Group communication, ODP 1276
model 528 service functions, Database engine 22 Public key
Mobile computing, Co-operative work, Routing, Banyan network, Internal Data security, Authentication,
Adaptive applications, Quality of blocking 972 Certificate, Discrete logarithm, Password
service 346 Performance analysis table 848
Trader, Coloured Petri net 39 CSMA/CDS, BTMA protocols, Capture, Telecommunications, Security services,
Open distributed systems Mobile network, Stability 763 Certification Authority infrastructure,
General service functions, Database Performance evaluation Directory services 824
engine, Performance 20 Computer communication networks,
Open systems Network protocols, Local networks 113 QoS
Computer networks, Data Distributed computing, Computer Multimedia synchronization, Live media
communication, Data security 379 networks, Task scheduling, Operating presentation, iInter-media
Open/ciosed loop congestion control systems 743 synchronization, Intra-media
TDM, X.25, Virtual circuit, CIR, DLC, High performance distributed computing, synchronization 456
Elastic bandwidth, Forward/backward ATM, Loss recovery mechanisms, QoS Manager
congestion notification 830 SSCOP 915 Connection-oriented DODB (CO-DQDB),
Operating systems Protocols, Wide-area satellite integrated services, Equivalent capacity,
Distributed computing, Performance networks 553 Internetworking, Dynamic bandwidth
evaluation, Computer networks, Task Performance monitoring sharing 276
scheduling 743 Distributed systems, Recovery 788 Quality engineering
Optical network PETDINGO Protocol engineering, Communication
Wavelength Division Multiplexing, Formal Description Technique, Estelle, protocols 1258
Learning automaton, Learning automata- ISODE, Virtual Terminal 990 Quality of service
based optical network, Passing Petri net ATM networks, Block loss rate 1077
probability 580 Formal description technique, Invariant, Distributed storage, Computational
Osi Protocol, Reachability, Specification, model 30
ASN.1, BER, Partial decoding scheme, Synthesis, Testing, Verification 1250 Mobile computing, Open distributed
Parallel implementation 152 Preventive control processing, Co-operative work, Adaptive
Firewalls, ISO protocols 982 Source policing, Finite-state applications 346
OSI communication automata 194 Mobile computing, Seamless service
CORBA, OMG, Migration 4 Probabilistic protocols guarantees, Graceful degradation 359
Output queueing Authentication, Zero-knowledge Network performance, Resource
ATM switching, Multi-priority protocols, Passwords 954 management, Network optimization 564
pushout 245 Probabilistic verification Usage/network parameter control, Cell
Protocol engineering, Timed protocol conformance 216
Access delay fairness, DODB, Access verification, Estelle 407 Quantization
protection protocol 571 Progressive coding Routing, State reduction 1051
Compression, image browsing, Queueing modeis
Packet loss Scalability, JPEG, Wavelet, Hierarchical Frame loss probability, ATM
Delay jitter, MPEG, Video transport coding 1001 network 133
protocol, Real-time communication, Protocol Queueing networks
Selective mechanism 901 Formal description technique, Invariant, Cyclic behaviour, Fourier analysis 426
Packet switching Petri net, Reachability, Specification,
Scheduling, Circular window Synthesis, Testing, Verification 1250 Radio networks
control 675 Network security, Key management, MAC protocols, Intelligent highway 943
Virtual circuit, HOST, IMP, Window flow Formal analysis 813 Radiological communication
control 612 Protocol conversion Hypermedia annotations, Radiology
Parallel biock methods Service specification, Synchronizing teaching 498
Balanced networks, Virtual circuits, Delay transition set, implementation 1216
differential equations, Stability 539 Protocol design Radiological communication,
Parallel computing Routing protocol, Group routing 1161 Hypermedia annotations 498
Distributed systems, Breadth-First Protocol engineering Random access
Search 628 Communication protocols, Quality Hybrid fiber/coaxial network, Simulation,
Stereo-correlation, Data farming 707 engineering 1258 msSTART 876
1300 computer communications volume 19 number 14 december 1996
Rate control RT-LOTOS Statistical multiplexing
Asynchronous Transfer Mode Distributed multimedia and hypermedia Time constraints, Markov traffic
(ATM), Dynamic traffic control, systems, Time requirements, Timed Petri streams 1112
Resource management, Real-time nets, LOTOS, Specification, Modeling,
Variable Bit Rate traffic continuous media Validation, Synchronization 1134 Parallel computing, Data farming 707
traffic 1092 RTP Switching hub
Ray tracing Multimedia, Bandwidth Local area network, LAN protocol,
Distributed application, Asynchronous requirements 49 LAN performance, Ethernet,
RPC, Client-server model 445 Multimedia 659
Reachability Scalability Synchronisation protocol
Formal description technique, Compression, Image browsing, JPEG, Design methodology, Correctness
invariant, Petri net, Protocol, Wavelet, Progressive coding, proof 1151
Specification, Synthesis, Testing, Hierarchical coding 1001 Ss
Verification 1250 High-speed network routing, Multimedia Distributed multimedia and hypermedia
Reachability analysis streams, Multicast tree, Object-oriented systems, Time requirements, Timed Petri
Reverse reachability analysis, CFSM, framework, Call model 59 nets, LOTOS, RT-LOTOS, Specification,
Reachability evaluator 668 Modeling, Validation 1134
Reachability evaluator Packet switching, Circular window Synchronizing transition set
Reachability analysis, Reverse control 675 Protocol conversion, Service
reachability analysis, CFSM 668 Seamless service guarantees specification, implementation 1216
Real-time admission contro/ Mobile computing, Quality of service, Synchronous Digital Hierarchy network
ATM traffic management, Delay and jitter Graceful degradation 359 Routing algorithm, Unidirectional and
guarantees, Multimedia 169 Security bidirectional ring topologies, Ring
Real-time communication Computer viruses, Worms, Malicious bandwidth dimensioning 102
Delay jitter, MPEG, Packet loss, Video software, instrusion, Network 124 Synthesis
transport protocol, Selective Security services Formal description technique, Invariant,
mechanism 901 Telecommunications, Public key, Petri net, Protocol, Reachability,
Real-time Variable Bit Rate traffic Certification Authority infrastructure, Specification, Testing, Verification 1250
continuous media traffic Directory services 824 System management
Asynchronous Transfer Mode (ATM), Selective cell discarding Computer communications, Distributed
Dynamic traffic control, Resource ATM multiplexer, Markov-modulated systems 754
management, Rate control 1092 deterministic process 487
Selective mechanism Task scheduling
Distributed systems, Performance Delay jitter, MPEG, Packet loss, Video Distributed computing, Performance
monitoring 788 transport protoco!, Real-time evaluation, Computer networks,
Reflective architecture model communication 901 Operating systems 743
Distributed system, Object-oriented, Location management, Distributed TCP
Multimedia environment 698 algorithms, Fault-tolerance, Handoff Asynchronous Transfer Mode, Usage
Remote procedure calis management 335 Parameter Control, Measurements 264
Open distributed processing, Fauit- Service ATM networks, ABR service, UBR
tolerant computing, Distributed systems, Component, integration, Protocol service, Congestion control, Early Packet
Client/server model 528 synthesis, Correctness 1200 Discard (EPD) 927
Resource allocation Protocol conversion, Synchronizing ATM networks, ABR service, UBR
Traffic control, Capacity reservation, transition set, Implementation 1216 service, Congestion control, Early Packet
ATM 180 Simulation Discard (EPD), per-VC accounting and
Resource control Random access algorithm, Hybrid fiber/ queueing techniques 1065
Multimedia communications, Multiparty coaxial network, msSTART 876 TOM
communications 287 Software tools X.25, Virtual circuit, CIR, DLCI, Elastic
Resource Protocol engineering, Protocoi bandwidth, Forward/backward
Asynchronous Transfer Mode implementation 141 congestion notification, Open/closed loop
(ATM), Dynamic traffic control, Rate SONET/SDH congestion contro! 830
control, Real-time Variable Bit ATM cell, ATM adaptation layer, Virtual Tel Saath
Rate traffic continuous media path, Virtual channel, Connectioniess and Security services, Public key,
traffic 1092 connection oriented service,B-ISDN 597 Certification Authority infrastructure,
Network performance, Network Source policing Directory services 824
optimization, Quality of service 564 Preventive control, Finite-state Temporal
Reverse reachability analysis automata 194 Protocols, Transition models, Temporal
Reachability analysis, CFSM, constraints, Temporal reachability
Reachability evaluator 668 Distributed multimedia and hypermedia analysis, Communication properties,
Ring bandwidth systems, Time requirements, Timed Petri Validation 1188
Synchronous Digital Hierarchy nets, LOTOS, RT-LOTOS, Modeling, Temporal constraints
network, Routing algorithm, Validation, Synchronization 1134 Protocols, Transition models, Temporal
Unidirectional and bidirectional ring Formal description technique, invariant, communicating systems, Temporal
Petri net, Protocol, Reachability, reachability analysis, Communication
Synthesis, Testing, Verification 1250 properties, Validation 1188
Capacity design, ATM networks 1029 sSscoPp Temporal analysis
Network communication, Multicast, ATM High performance distributed computing, Protocols, Transition models, Temporal
network 637 ATM, Loss recovery mechanisms, constraints, Temporal communicating
Performance, Banyan network, Internal Performance evaluation 915 systems, Communication properties,
blocking 972 Validation 1188
Quantization, State reduction 1051 Balanced networks, Virtual circuits, Delay Test case validation
Routing algorithm differential equations, Parallel block Protocol testing, TESTVAL 804
Computer communications, Network methods 539 Testing
routing 1014 CSMA/CDS, BTMA protocols, Capture, Formal description technique, invariant,
Synchronous Digital Hierarchy network, Mobile network, Performance Petri net, Protocol, Reachability,
Unidirectional and bidirectional ring analysis 763 Specification, Synthesis,
topologies, Ring bandwidth Verification 1250
dimensioning 102 Cable modem technology, internet 867 TESTVAL
Routing protocol State reduction Protocol testing, Test case
Group routing, Protocol design 1161 Routing, Quantization 1051 validation 804
computer communications volume 19 number 14 december 1996 1301
Threshold-based Loss Balancing ATM networks, ABR service, TCP, Balanced networks, Delay differential
Cell loss control, Partial buffer Congestion control, Early Packet Discard equations, Parallel block methods,
sharing 685 (EPD), per-VC accounting and queueing Stability 539
Time constraints techniques 1065 Virtual circuit request
Statistical multiplexing, Markov traffic Untairness control On-line routing, Competitive
streams 1112 Access protocol, DQDB 389 analysis 235
Time requirements Unidirectional and bidirectional ring Virtual path
Distributed multimedia and hypermedia topologies ATM cell, ATM adaptation layer, Virtual
systems, Timed Petri nets, LOTOS, RT- Synchronous Digital Hierarchy network, channel, Connectioniess and connection
LOTOS, Specification, Modeling, Routing algorithm, Ring bandwidth oriented service, B-ISDN, SONET/
Validation, Synchronization 1134 dimensioning 102 SDH 597
Timed Petri nets Usage Parameter Control Virtual path assignment
Distributed multimedia and hypermedia Asynchronous Transfer Mode, TCP, Deterministic algorithm, ATM
systems, Time requirements, LOTOS, RT- Measurements 264 networks 1036
LOTOS, Specification, Modeling, Usage/network parameter control Virtual Terminal
Validation, Synchronization 1134 Quality of Service, Cell Formal Description Technique, Estelle,
Timed protocol verification conformance 216 ISODE, PETDINGO 990
Protocol engineering, Probabilistic Usenet news Voice and data protocol
verification, Estelle 407 Electronic mail, Message handling Local area networks, Token bus protocol,
Token bus protocol systems, Computer conferencing, Network throughput, Transmission
Local area networks, Voice and data Bulletin board systems, Filters, Mail delay 509
protocol, Network throughput, filtering, Netnews, Information retrieval
Transmission delay 509 systems 95 Wavelength Division Multiplexing
Trader Optical network, Learning automaton,
Open distributed processing, Coloured Validation Learning automata-based optical
Petri net 39 Distributed multimedia and hypermedia network, Passing probability 580
Traffic analysis systems, Time requirements, Timed Wavelet
ATM, Generation equipment, Petri nets, LOTOS, RT-LOTOS, Compression, image browsing,
Algorithms 962 Specification, Modeling, Scalability, JPEG, Progressive coding,
Traffic control Synchronization 1134 Hierarchical coding 1001
Resource allocation, Capacity Protocols, Transition models, Wide-area satellite networks
reservation, ATM 180 Temporal constraints, Temporal Protocols, Performance
Traffic integration communicating systems, Temporal evaluation 553
Admission control, Call set-up, ATM reachability analysis, Communication Window flow control
networks 645 properties 1188 Packet switching, Virtual circuit, HOST,
Traffic management vc-vP IMP 612
Ceil control, Bandwidth reassignment, Multicasting, ATM, MINs, Worms
Traffic monitoring 205 Connection 712 Security, Computer viruses, Malicious
interoperability, ATM networks, Flow Verification software, Instrusion, Network 124
control 653 Formal description technique, Invariant,
Traffic monitoring Petri net, Protocol, Reachability,
Traffic management, Cell control, Specification, Synthesis, Testing 1250 X.25
Bandwidth reassignment 205 Video frame TDM, Virtual circuit, CIR, DLCI, Elastic
Transition models B-ISDN, AAL, Data/voice packet, ATM bandwidth, Forward/backward
Protocols, Temporal constraints, cell, Connection control 623 congestion notification, Open/closed loop
Temporal communicating systems, Video transport protocol congestion contro! 830
Temporal reachability analysis, Delay jitter, MPEG, Packet loss, Real-time
Communication properties, communication, Selective Zero-knowledge protocols
Validation 1188 mechanism 901 Authentication, Probabilistic protocols,
Transmission delay Virtual channel Passwords 954
Local area networks, Voice and data ATM cell, ATM adaptation layer, Virtual
protocol, Token bus protocol, Network path, Connectioniess and connection Calendar
throughput 509 oriented service, B-ISDN, SONET/ 89, 161, 303, 373, 469, 619, 737, 857, 937,
Two tier principle SDH 597 1020, 1124, 1289
Mobile computing, Distributed Virtual circuit
algorithms 309 Packet switching, HOST, IMP, Window
Editorial
flow contro! 612
3, 167, 307, 865, 1131
UBR service TDM, X.25, CIR, DLC, Elastic bandwidth,
ATM networks, ABR service, TCP, Forward/backward congestion
Congestion control, Early Packet Discard notification, Open/closed loop congestion Preface
(EPD) 927 control 830 1027
1302 computer communications volume 19 number 14 december 1996