Last update: Thu May 27 02:00:25 MDT 2021
Return to index directory
A
-
A, 19(2)199--200, 19(6)640--z, 21(3)263--265, 21(12)1009--1010, 22(12)911--z,
23(9)599--600
-
A*, 21(11)894--901
-
Aagaard, M., 21(10)822--833
-
Aagaard:1995:VLS, 21(10)822--833
-
Abadi, M., 22(1)6--15, 23(3)185--186
-
Abadi:1996:PEP, 22(1)6--15
-
Abadi:1997:ECR, 23(3)185--186
-
Abd-El-Hafiz, S. K., 22(5)339--360
-
Abd-El-Hafiz:1996:KBA, 22(5)339--360
-
Abdel-Hamid, T. K., 19(6)603--612
-
Abdel-Hamid:1993:SPC, 19(6)603--612
-
Abdelzaher, T. F., 23(9)599--600, 23(12)745--758
-
Abdelzaher, T. F., see Peng, Dar-Tzen
-
Abdelzaher:1997:CPR, 17(7)669--677, 23(9)599--600
-
ability, 19(3)202--213, 21(10)858--863
-
able, 21(11)894--901
-
Abran, A., 22(12)895--910
-
Abran:1996:FPA, 22(12)895--910
-
abstract, 21(3)229--243, 21(4)373--386, 23(3)157--170
-
abstraction, 16(3)325--334, 16(4)389--402, 20(4)288--307, 21(4)314--335,
21(9)735--746, 22(2)132--152, 23(3)157--170, 24(2)97--110,
24(7)534--558, 24(11)927--948
-
ABYSS, 16(6)619--629
-
accelerate, 18(7)631--645
-
access, 16(6)660--673, 16(8)858--869, 16(11)1247--1257, 18(7)631--645,
19(7)641--660
-
access, Client-, 25(1)3--21
-
Accessing, 19(6)613--624
-
accomplish, 21(11)894--901
-
Accountability, 22(5)313--328
-
accuracy, 21(8)674--681
-
accurate, 20(10)785--797, 21(7)593--604, 25(5)619--632
-
achieving, 16(2)153--165, 19(8)813--825, 19(9)845--855, 21(1)1--18,
23(1)35--55
-
Achour, C. B., 24(12)1055--1071
-
Achour, C. B., see Rolland, C.
-
ACL2, 23(4)214--223
-
acquisition, 17(3)226--240
-
action, 21(7)629--639, 22(4)225--247, 23(2)107--123
-
action, event-, 21(10)845--857
-
action-transformation, knowledge-, 17(4)370--382
-
activity, 22(9)603--614
-
Ada, 15(11)1471--1480, 15(12)1507--1517, 16(1)51--63, 16(5)498--509,
16(7)741--754, 16(8)829--843, 16(9)1058--1075, 16(12)1435--1439,
16(12)1439--z, 17(1)45--63, 17(10)1109--1125, 18(11)988--997,
19(2)198--199, 22(7)461--483, 23(2)107--123, 23(8)473--484,
23(9)537--549
-
Ada95-like, 23(3)171--184
-
Adam, N. R., 19(6)594--602
-
Adam:1993:RVC, 19(6)594--602
-
Adams, T., 22(9)687--688
-
Adams:1996:TVA, 22(9)687--688
-
adaptive, 17(9)911--921, 20(6)432--444, 21(4)288--301, 22(10)730--750,
25(2)237--257
-
addendum, 19(4)366--378, 20(8)664--z
-
additivity, 23(3)190--197, 23(3)196--197
-
adequacy, 17(6)565--581, 22(4)248--255
-
ADTEST, 23(8)473--484
-
advanced, 20(8)594--605
-
advantages, 21(11)894--901
-
AETG, 23(7)437--444
-
against, 16(1)100--104
-
Agarwal, R., 25(4)541--556
-
Agarwal:1999:COP, 25(4)541--556
-
agent, 20(3)188--198, 24(5)315--330
-
aggregation, 25(4)584--599
-
Agrawala, A. K., 19(2)187--197
-
Agrawala:1993:DMT, 19(2)187--197
-
Agresti, W. W., 18(11)988--997
-
Agresti:1992:PSD, 18(11)988--997
-
Aguera, M., 16(2)166--182
-
Aguera, M., see Arlat, J.
-
Ahmad, I., 17(10)987--1004
-
Ahmad:1991:SDL, 17(10)987--1004
-
Ahuja, M., 19(4)366--378, 19(9)845--855
-
Ahuja, M., see Camp, T.
-
Ahuja, S. R., 25(3)401--415
-
Ahuja, S. R., see Varvarigou, T. A.
-
Ahuja:1993:PST, 19(9)845--855
-
aid, 16(3)294--301
-
aided, 18(8)728--735
-
aided, computer-, 20(3)169--187, 25(4)474--492
-
AIN, 24(10)797--817
-
Akella, V., 20(6)405--423
-
Akella:1994:SVC, 20(6)405--423
-
Akyildiz, I. F., 17(10)1013--1027
-
Akyildiz, I. F., see Gupta, A.
-
Al-Mouhamed, M. A., 16(12)1390--1401
-
Al-Mouhamed:1990:LBN, 16(12)1390--1401
-
Alberg, H., 22(12)886--894
-
Alberg, H., see Ohlsson, N.
-
Albrecht, 19(7)661--671
-
algebra, 16(3)316--324, 22(3)202--217
-
algebraic, 22(10)689--705
-
algorithm, 14(11)1731--1738, 16(2)129--140, 16(7)723--728,
17(3)296--309, 17(7)669--677, 17(7)731--734, 17(8)789--799,
17(9)972--975, 17(9)979--982, 18(3)237--251, 18(4)304--318,
19(1)13--23, 19(3)231--252, 19(5)486--502, 19(12)1171--1179,
20(6)500--504, 21(10)822--833, 22(4)271--274, 22(9)603--614,
22(9)665--686, 22(10)730--750, 23(2)93--106, 23(5)314--323,
23(6)388--400, 23(8)517--528, 23(9)599--600, 25(2)194--206,
25(3)401--415, 25(3)428--432, 25(5)651--660, 32(5)347--348
-
algorithm-based, 16(2)183--196
-
Algorithmic, 18(7)613--623
-
Algres, 18(6)534--546
-
alias, 22(7)442--460
-
all-{DU}-paths, 21(12)1006--1009
-
all-edges, 21(12)1006--1009
-
all-uses, 21(12)1006--1009
-
Allocating, 16(4)471--z, 16(4)472--z, z(10)1018--1024
-
allocation, 16(7)699--709, 17(4)345--356, 19(2)108--119
-
alternating, 16(11)1273--1281
-
alternative, 19(7)720--741, 23(6)379--387, 24(6)451--470, 25(2)282--285
-
Alur, R., 22(3)181--201
-
Alur:1996:ASV, 22(3)181--201
-
Alvisi, L., 24(2)149--159
-
Alvisi:1998:MLP, 24(2)149--159
-
Amalou, M., 17(6)591--603
-
Amalou, M., see Fujiwara, S.
-
Amat, L., 16(2)166--182
-
Amat, L., see Arlat, J.
-
ambitious, 20(2)105--114
-
Amdahl, 18(5)434--447
-
Ammann, P. E., 20(2)142--148
-
Ammann:1994:EIE, 20(2)142--148
-
Ammarguellat, Z., 18(3)237--251
-
Ammarguellat:1992:CFN, 18(3)237--251
-
Ampo, Y., 24(1)4--14
-
Ampo, Y., see Easterbrook, S.
-
Amulet, 23(6)347--365
-
an, 22(4)271--274
-
Anagnostou, M. E., 25(3)401--415
-
Anagnostou, M. E., see Varvarigou, T. A.
-
analogous, 21(11)894--901
-
analogy, 23(11)736--743, 25(4)510--525
-
analyses, 20(9)740--747, 21(12)945--958, 24(11)949--959
-
analysis, 16(1)39--50, 16(1)72--81, 16(2)129--140, 16(2)141--152,
16(2)197--211, 16(2)212--216, 16(2)238--247, 16(3)268--280,
16(4)373--388, 16(7)684--698, 16(7)723--728, 16(8)807--821,
16(8)822--828, 16(11)1273--1281, 17(3)241--258, 17(4)334--344,
17(5)386--402, 17(6)565--581, 17(8)830--838, 17(10)1013--1027,
17(10)1069--1075, 17(10)1109--1125, 17(11)1204--1222, 18(1)44--54,
18(2)118--129, 18(3)252--261, 18(4)304--318, 18(5)402--409,
18(8)728--735, 18(10)899--914, 18(11)931--942, 18(12)1076--1100,
19(2)187--197, 19(2)198--199, 19(3)202--213, 19(5)478--485,
19(5)486--502, 19(6)533--553, 19(8)788--803, 19(9)863--885,
19(9)886--901, 19(9)902--911, 19(9)920--934, 19(10)982--996,
20(1)13--28, 20(1)29--42, 20(2)105--114, 20(4)308--317,
20(5)325--336, 20(5)345--352, 20(6)445--462, 20(8)579--593,
20(9)677--683, 20(12)885--899, 21(1)32--49, 21(3)181--199,
21(3)209--218, 21(4)336--354, 21(4)373--386, 21(5)475--480,
21(7)593--604, 21(8)682--688, 21(11)894--901, 21(11)913--926,
21(12)959--968, 22(4)248--255, 22(5)283--293, 22(5)339--360,
22(7)461--483, 22(9)615--628, 22(9)654--664, 22(11)794--811,
22(12)895--910, 23(3)129--145, 23(5)267--278, 23(8)529--532,
24(7)573--584, 24(8)629--639, 24(8)650--663, 24(9)682--694,
24(9)721--740, 24(11)1014--1030, 24(12)1115--1130,
24(12)1182--1196, 25(2)182--193, 25(2)194--206, 25(4)526--540,
25(4)573--583, 25(4)584--599, 25(5)690--700, 25(6)749--768
-
analyzers, 16(8)829--843, 24(3)197--215
-
analyzing, 16(7)729--740, 17(2)141--152, 17(7)703--711, 17(8)737--750,
17(11)1166--1185, 18(11)988--997, 18(11)1029--1034, 21(5)429--439,
22(7)484--495, 22(8)529--551, 24(4)278--301, 24(8)602--614
-
Anderson, K. M., 22(6)390--406
-
Anderson, K. M., see Taylor, R. N.
-
Anderson, M. D., 21(9)735--746
-
Anderson, M. D., see Goldman, K. J.
-
Anderson, R. J., 22(5)294--301, 24(7)498--520
-
Anderson, R. J., see Chan, W.
-
Anderson:1996:REP, 22(5)294--301
-
Angelaccio, M., 16(10)1150--1163
-
Angelaccio:1990:QGQ, 16(10)1150--1163
-
animation, 25(3)291--308
-
Anonymous, 21(12)1--z, 22(8)z--z, 22(12)912--919, 23(1)60--61,
23(2)65--66, 23(10)0--0, 23(12)800--807, 24(1)93--95, 24(5)0--0,
25(1)75--90, 25(1)141--144
-
Anonymous:1995:IIT, 21(12)1--z
-
Anonymous:1996:IIT, 22(12)912--919
-
Anonymous:1996:RMS, 22(8)z--z
-
Anonymous:1997:AI, 23(1)60--61
-
Anonymous:1997:GEI, 23(2)65--66
-
Anonymous:1997:IIT, 23(12)800--807
-
Anonymous:1997:RTS, 23(10)0--0
-
Anonymous:1998:AI, 24(1)93--95
-
Anonymous:1998:SIM, 24(5)0--0
-
Anonymous:1999:RL, 25(1)141--144
-
another, 18(7)631--645
-
Antonelli, S., 25(6)836--851
-
Antonelli, S., see Emmerich, W.
-
Antonellis, V., De, 16(8)822--828
-
Antoy, S., 20(4)259--274
-
Antoy:1994:UTR, 20(4)259--274
-
aperiodic, 23(6)388--400, 25(1)22--32
-
Apollo, 18(4)296--303
-
application, 16(2)166--182, 16(5)490--497, 16(7)699--709,
16(12)1374--1389, 17(1)77--86, 17(4)334--344, 17(5)483--489,
17(10)1028--1041, 18(6)534--546, 18(10)915--924, 19(3)297--306,
20(7)536--544, 20(11)849--867, 21(1)32--49, 21(9)735--746,
22(10)706--718, 22(11)827--838, 24(1)24--45, 24(5)362--375,
24(5)376--390, 24(5)390--390, 24(5)391--400, 24(10)848--862,
24(11)949--959, 25(1)50--74, 25(3)363--377
-
Apprentice, 17(3)226--240
-
approach, 16(2)248--258, 16(4)421--431, 16(5)523--536, 16(8)822--828,
17(3)310--312, 17(4)370--382, 17(6)513--526, 17(6)544--552,
17(6)604--625, 17(8)800--813, 17(8)814--829, 17(9)872--883,
17(11)1166--1185, 18(2)159--167, 18(3)174--189, 18(6)483--497,
18(9)768--784, 18(10)886--898, 18(11)931--942, 18(11)969--978,
18(12)1053--1064, 19(3)268--276, 19(6)640--z, 19(8)804--812,
20(5)364--384, 20(12)914--932, 21(1)19--31, 21(2)126--137,
21(3)181--199, 22(5)339--360, 22(9)687--688, 22(12)866--874,
23(7)437--444, 24(5)376--390, 24(11)1014--1030, 25(3)291--308,
25(4)493--509, 25(5)619--632
-
appropriateness, 19(7)707--719
-
Approximate, 16(9)980--992, 20(7)526--535, 21(3)209--218, 22(9)654--664
-
Arakawa, H., 19(9)920--934
-
Arakawa, H., see Katcher, D. I.
-
Arazi, B., 17(6)493--512
-
Arazi, B., see Dotan, Y.
-
arbitrary, 23(10)603--615
-
Archer, M., 24(11)927--948
-
Archer, M., see Heitmeyer, C.
-
architectural, 21(4)275--287, 22(6)390--406, 24(12)1131--1155
-
architecture, 16(6)619--629, 17(1)22--33, 17(1)64--76, 18(6)523--533,
19(2)120--138, 21(2)107--125, 21(4)288--301, 21(4)302--313,
21(4)314--335, 21(4)336--354, 21(4)356--372, 21(4)373--386,
21(9)717--734, 22(2)153--157, 22(5)283--293, 24(5)362--375,
24(5)391--400, 24(7)521--533, 24(10)831--847
-
Architecture-directed, 20(4)239--258
-
architecture-independence, 19(8)749--764
-
Ardis, M. A., 22(6)378--389
-
Ardis:1996:FES, 22(6)378--389
-
argument, 24(4)302--312
-
Argus, 18(9)827--839
-
Arlat, J., 16(2)166--182
-
Arlat:1990:FID, 16(2)166--182
-
Armitage, S., 25(6)836--851
-
Armitage, S., see Emmerich, W.
-
Arora, A., 19(11)1015--1027, 24(1)63--78, 24(6)435--450
-
Arora:1993:CCF, 19(11)1015--1027
-
Arora:1998:CBD, 24(1)63--78
-
Arora:1998:DMF, 24(6)435--450
-
arrivals, 16(10)1198--1208
-
artificial, 18(8)728--735, 19(10)941--949, 20(11)849--867
-
Ashrafi, N., 17(4)345--356, 19(11)1119--1123
-
Ashrafi, N., see Berman, O., \see{Zahedi, F.
-
ASN.1-C, 16(10)1209--1220
-
aspect, 24(4)233--251
-
aspect-oriented, 25(4)438--455
-
assertions, 19(9)863--885, 20(6)424--431, 21(1)19--31
-
assess, 23(6)329--346, 24(4)302--312, 25(4)510--525
-
assessing, 19(11)1045--1054, 23(3)129--145, 25(4)438--455
-
assessment, 20(2)142--148, 21(9)705--716, 22(2)97--108
-
assignment, 21(10)834--844, 22(11)827--838, 23(12)745--758
-
assistance, 17(3)226--240
-
associations, 20(5)385--403
-
ASTRAL, 20(8)548--561, 23(9)572--598
-
Asymptotic, 17(10)1069--1075
-
asynchronous, 19(3)231--252, 25(3)416--427
-
asynchronously, 25(2)147--165
-
Atif, K., 17(10)1093--1108
-
Atif, K., see Plateau, B.
-
Atkins, D. L., 25(3)334--346
-
Atkins:1999:MDS, 25(3)334--346
-
Atlee, J. M., 19(1)24--40
-
Atlee:1993:SBM, 19(1)24--40
-
atomic, 21(7)629--639, 23(2)107--123
-
atomicity, 19(10)950--961
-
attacker, 23(4)235--245
-
attacks, 23(3)185--186
-
attainment, 20(11)868--884
-
attention, 23(9)537--549
-
attribute, 19(3)231--252
-
auction, 22(5)302--312
-
Audenaert, K., 23(10)646--658
-
Audenaert:1997:CTL, 23(10)646--658
-
audit, 19(9)886--901
-
Aue, A., 20(8)594--605
-
Aue:1994:DIS, 20(8)594--605
-
Augeraud, M., 25(3)347--362
-
Augeraud, M., see Bertrand, F.
-
Augustin, L. M., 21(4)336--354
-
Augustin, L. M., see Luckham, D. C.
-
authentication, 23(3)185--186, 24(9)741--758
-
Author, 23(1)60--61, 24(1)93--95
-
automata, 17(10)1093--1108, 18(9)794--804
-
automated, 16(3)316--324, 16(5)543--557, 16(8)870--879, 17(3)226--240,
17(9)934--943, 17(11)1204--1222, 18(3)174--189, 20(9)708--719,
24(10)848--862
-
automatic, 16(3)268--280, 17(1)10--21, 17(9)900--910, 17(10)1126--1142,
17(12)1229--1240, 19(6)640--99999999, 20(1)29--42, 20(12)885--899,
21(6)515--527, 21(9)705--716, 22(3)181--201, 24(10)863--888,
25(2)194--206, 25(3)416--427
-
automatic, Semi-, 17(9)853--871
-
automatically, 17(8)800--813, 20(5)353--363
-
automating, 16(10)1122--1135, 18(9)768--784, 20(3)169--187
-
automation, 18(7)631--645
-
availability, 17(2)133--140, 17(4)370--382, 18(2)130--147, 21(1)1--18,
21(1)50--56
-
available, 25(5)603--618
-
Avalonash, 16(9)1076--1088
-
avionics, 23(5)267--278
-
avoid, 24(10)818--830
-
avoidance, 25(3)428--432
-
Avritzer, A., 21(9)705--716
-
Avritzer:1995:AGL, 21(9)705--716
-
Avrunin, G. S., 17(11)1204--1222, 20(9)708--719, 24(8)602--614
-
Avrunin:1991:AAC, 17(11)1204--1222
-
Avrunin:1994:ADT, 20(9)708--719
-
Avrunin:1998:API, 24(8)602--614
-
aware, 24(5)376--390
-
Aware, Network-, 24(5)0--0
-
awareness, 24(5)391--400
-
awk, 21(11)894--901
-
axiom, 17(6)636--638, 32(5)347--348
-
Azuma, I., 19(8)765--773
-
Azuma, I., see Nakajo, T.
-
Azuma, M., 19(5)425--435
-
Azuma, M., see Miyoshi, T.