Index file section C for lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Return to index directory
C
-
C, 786(0)309--323, 832(0)334--z, 858(0)232--z
-
C++, 849(0)338--z, 858(0)232--z
-
C, TINA-, 851(0)273--z, 851(0)355--z
-
C-TORI, 856(0)103--z
-
C4210L, 814(0)816--820
-
C6110L, 814(0)816--820
-
C6170K, 814(0)816--820
-
CA, delta011-, 822(0)44--z
-
Cable, 868(0)44--z
-
Cache, 750(0)317--z, 786(0)404--z, 817(0)336--z, 817(0)351--z,
817(0)363--z, 818(0)207--z, 854(0)426--z, 854(0)438--z,
864(0)101--z
-
Cache, Coherent-, 817(0)375--z
-
Cached, 774(0)78--z
-
Cachesim, 750(0)317--z
-
Caching, 779(0)323--336, 797(0)30--z
-
Cacopardi, S., 783(0)131--z
-
Cacopardi:1994:ICD, 783(0)131--z
-
CAD, 763(0)131--z, 780(0)199--212, 796(0)94--z, 845(0)183--z,
849(0)135--z, 849(0)309--z, 856(0)214--z
-
CAD-Plans, 861(0)154--z
-
Cadek, G. R., 849(0)289--z
-
Cadek:1994:EUX, 849(0)289--z
-
CAFE, 875(0)217--z
-
Caferra, R., 814(0)72--z
-
Caferra, R., see Bourely, C.
-
Cai, J.-Y., 834(0)172--z
-
Cai, L., 775(0)509--z
-
Cai:1994:RDT, 834(0)172--z
-
Cai:1994:SPP, 775(0)509--z
-
CAiSE, 811(0)1--z, 811(0)2--13, 811(0)14--27, 811(0)28--41, 811(0)42--52,
811(0)53--65, 811(0)66--79, 811(0)80--93, 811(0)94--104,
811(0)105--118, 811(0)119--134, 811(0)135--148, 811(0)149--171,
811(0)172--185, 811(0)186--199, 811(0)200--213, 811(0)214--227,
811(0)228--241, 811(0)242--255, 811(0)256--268, 811(0)269--282,
811(0)283--296, 811(0)297--310, 811(0)311--324, 811(0)325--338,
811(0)339--352, 811(0)353--366, 811(0)367--379, 811(0)380--393,
811(0)394--405, 811(0)406--419
-
Calafiura, P., 796(0)371--z
-
Calafiura, P., see Apostolakis, J.
-
Calas, C., 875(0)281--z
-
Calas:1994:DFS, 875(0)281--z
-
Calbrix, H., 802(0)554--566
-
Calbrix:1994:UPW, 802(0)554--566
-
Calculable, 792(0)1--z
-
Calculate, 794(0)425--444
-
Calculating, 877(0)248--z
-
Calculi, 777(0)139--z, 789(0)405--z, 798(0)196--205, 803(0)509--z,
806(0)79--107, 813(0)129--z, 820(0)462--z, 822(0)174--z,
832(0)238--z, 832(0)295--z, 880(0)101--112
-
Calculi, mu-, 787(0)115--z
-
calculus, 767(0)1--z, 775(0)71--z, 789(0)273--z, 789(0)347--z,
789(0)495--z, 789(0)516--z, 808(0)31--z, 813(0)129--z, 813(0)278--z,
814(0)620--z, 814(0)821--z, 817(0)425--437, 817(0)611--z,
817(0)635--647, 822(0)200--z, 827(0)301--z, 827(0)543--z,
832(0)261--z, 836(0)210--z, 836(0)283--z, 836(0)299--314,
836(0)315--z, 836(0)331--350, 838(0)152--z, 841(0)342--351,
845(0)89--z, 845(0)219--z, 854(0)100--z, 858(0)20--z, 859(0)362--z,
861(0)400--z, 863(0)149--z, 863(0)660--z, 863(0)716--z,
864(0)131--z, 872(0)56--z, 872(0)379--394, 875(0)175--z
-
Calculus, -, 817(0)635--647
-
Calculus, Lambda-, 813(0)142--z, 813(0)164--z
-
calculus, lambda-, 774(0)73--z, 788(0)120--z, 789(0)16--z,
822(0)31--z, 841(0)211--z, 861(0)331--z
-
Calculus, lambda-mu-, 787(0)85--z
-
Calculus, lambdasigma-, 792(0)73--z
-
calculus, Modal-, 832(0)18--z
-
Calculus, Mu-, 813(0)47--z, 818(0)351--z
-
Calculus, Pi-, 818(0)428--z
-
calculus, pi-, 788(0)26--z, 788(0)379--z
-
Caldas, J., Castro, 830(0)147--z
-
calibration, 800(0)449--454, 800(0)455--462, 800(0)543--554
-
calibration, Self-, 800(0)471--478
-
call, 815(0)59--z
-
Call-by-Name, 787(0)246--z
-
Call-by-Value, 787(0)246--z
-
Call-by-value, 864(0)131--z
-
Callan, J. P., 779(0)365--378
-
Callan, J. P., see Brown, E. W.
-
Calliss, Debra Trantina, 750(0)329--z
-
Calliss, Debra Trantina, see Calliss, Frank W.
-
Calliss, Frank W., 750(0)329--z
-
Calliss:1994:SSS, 750(0)329--z
-
Calmet, J., 869(0)295--z
-
Calmet:1994:BBB, 869(0)295--z
-
Calude, C., 812(0)44--66
-
Calude:1994:RIN, 812(0)44--66
-
Caluwe, I., De, 851(0)295--z
-
Calvin, C., 854(0)605--z
-
Calvin:1994:TMC, 854(0)605--z
-
Camacho, M. I., Fernandez-, 820(0)178--z
-
Camenisch, J. L., 875(0)207--z
-
Camenisch:1994:EEP, 875(0)207--z
-
camera, 796(0)408--z, 800(0)111--116, 800(0)449--454, 800(0)471--478,
800(0)543--554, 800(0)555--566, 825(0)297--z
-
Cameraman, 834(0)29--z
-
Camilleri, J., 859(0)113--z
-
Camilleri:1994:SAP, 859(0)113--z
-
Campani, M., 800(0)146--151, 800(0)495--500
-
Campani, M., see Giachetti, A.,
see Piccioli, G.
-
Campbell, A., 846(0)124--z, 868(0)191--z
-
Campbell, A., see Yeadon, N.
-
Campbell, J. A., 837(0)221--z
-
Campbell, J. A., see Chatterjee, N.
-
Campbell, W. J., 869(0)1--z
-
Campbell:1994:DES, 869(0)1--z
-
Campbell:1994:MET, 846(0)124--z
-
Campenhout, J., Van, 849(0)352--z
-
Canadian, 860(0)1--z
-
Cancellation, 783(0)150--z, 783(0)162--z
-
Cancer, 784(0)391--z, 819(0)351--z
-
Candela, S., 763(0)357--z
-
Candela, S., see Munoz-Blanco, J. A.
-
Candidate, 840(0)64--z
-
Canetti, Ran, 839(0)425--438
-
Canetti:1994:MSP, 839(0)425--438
-
Canonic, 800(0)589--599
-
Canonical, 776(0)153--z, 866(0)292--z
-
Canons, 835(0)185--z
-
Canto, M. A., 763(0)243--z
-
Canto, M. A., see Dormido, S.
-
cap, 822(0)44--z
-
Cap, C. H., 797(0)42--z
-
Cap:1994:MPW, 797(0)42--z
-
capability, 750(0)601--z, 774(0)173--z, 813(0)366--z, 823(0)242--z,
852(0)336--z, 856(0)2--z
-
Capacity, 783(0)56--z, 783(0)131--z, 783(0)541--z
-
Capellaro, C., 851(0)503--z
-
Capellaro, C., see Baum-Waidner, B.
-
Capelle, C., 831(0)143--z
-
Capelle:1994:ROU, 831(0)143--z
-
Caplain, G., 817(0)741--z
-
Caplain:1994:CSC, 817(0)741--z
-
Caplier, A., 800(0)167--174
-
Caplier, A., see Luthon, F.
-
CAPTools, 797(0)241--z
-
Capture, 783(0)452--z, 783(0)464--z
-
Capturing, 811(0)119--134, 811(0)172--185, 821(0)150--z, 841(0)68--z
-
car, 800(0)189--198
-
Carapuca, R., 823(0)257--z
-
Carapuca, R., see Vaz Velho, A.
-
Carazo, J.- M., 796(0)197--z
-
Carazo, J.- M., see Trelles-Salazar, O.
-
Carbonneill, B., 835(0)311--z
-
Carbonneill:1994:SIR, 835(0)311--z
-
card, 819(0)444--z
-
Cardelli, L., 788(0)1--z
-
Cardelli, L., see Abadi, M.
-
Cardelli, Luca, 789(0)296--z
-
Cardelli, Luca, see Abadi, Martin
-
Carden, T., 796(0)40--z
-
Carden, T., see Garcia, G. D.
-
cardinality, 775(0)71--z, 815(0)179--z, 861(0)51--z
-
Cardow, James E., 750(0)277--z, 750(0)517--z
-
Cardow, James E., see Naveda, J. Fernando
-
Cardow:1994:PAT, 750(0)517--z
-
Care, 807(0)240--249, 837(0)365--z, 851(0)503--z, 868(0)224--z
-
Carey, M. J., 779(0)145--158
-
Carey, M. J., see Bober, P. M.
-
Carle, Alan, 768(0)522--z
-
Carle, Alan, see Hall, Mary W.
-
Carle, G., 868(0)124--z, 882(0)219--z
-
Carle:1994:ALG, 868(0)124--z
-
Carle:1994:SHP, 882(0)219--z
-
Carlet, Claude, 765(0)77--z
-
Carlet:1994:TNC, 765(0)77--z
-
Carlis, J., 819(0)299--z
-
Carlis:1994:ZDB, 819(0)299--z
-
Carlisle, Martin C., 768(0)1--z
-
Carlisle:1994:EEO, 768(0)1--z
-
Carlo, 796(0)181--z, 796(0)352--z
-
Carlo, Monte-, 849(0)312--z, 854(0)473--z
-
Carlson, B. M., 794(0)253--265
-
Carlson, B. M., see Wagner, T. D.
-
Carlsson, S., 800(0)83--94, 825(0)145--z, 834(0)288--z, 855(0)106--z
-
Carlsson:1994:DAE, 825(0)145--z
-
Carlsson:1994:HB, 834(0)288--z
-
Carlsson:1994:SIS, 800(0)83--94
-
Carlsson:1994:SLB, 855(0)106--z
-
Carmona, A., 794(0)52--75
-
Carmona:1994:PEB, 794(0)52--75
-
Carnap, 838(0)1--z
-
Caron, A., 856(0)561--z
-
Caron, A., see Layaida, R.
-
Caron, A.-C., 820(0)436--z
-
Caron:1994:PCS, 820(0)436--z
-
Carpentieri, Marco, 765(0)118--z
-
Carpentieri:1994:SSP, 765(0)118--z
-
Carr, A., 851(0)219--z
-
Carr:1994:HLA, 851(0)219--z
-
Carrasco, R. C., 862(0)139--z
-
Carrasco:1994:LSR, 862(0)139--z
-
Carreno, V., 780(0)502--515
-
Carreno:1994:VHO, 780(0)502--515
-
Carreras, C., 817(0)336--z
-
Carreras:1994:AMC, 817(0)336--z
-
Carriero, Nicholas, 768(0)139--z
-
Carriero:1994:APM, 768(0)139--z
-
Carrying, Name-, 780(0)414--426
-
Carse, B., 865(0)210--z, 865(0)238--z, 866(0)260--z
-
Carse, B., see Pipe, A. G.
-
Carse:1994:FCS, 866(0)260--z
-
Carse:1994:LAB, 865(0)210--z
-
Cartan, 825(0)11--z
-
Cartwright, H. M., 865(0)277--z
-
Cartwright, Robert, 789(0)244--z
-
Cartwright:1994:EDL, 789(0)244--z
-
Cartwright:1994:GAF, 865(0)277--z
-
Carvalho, F., De, 851(0)181--z
-
Carvalho, A., 851(0)181--z
-
Carvalho, P., 851(0)367--z
-
Carvalho:1994:ADT, 851(0)367--z
-
Carvalho:1994:MON, 851(0)181--z
-
Carver, D. L., 858(0)221--z
-
Carver, D. L., see Shrivastava, C.
-
Carzaniga, A., 858(0)53--z
-
Carzaniga:1994:DII, 858(0)53--z
-
Casacuberta, F., 862(0)119--z
-
Casacuberta:1994:SES, 862(0)119--z
-
Casadessus, P., 817(0)514--z
-
Casadessus, P., see Dageville, B.
-
Casadevall, F. J., 783(0)219--z
-
Casadevall, F. J., see Valdovinos, A.
-
Casari, C., 797(0)499--z
-
Casari:1994:SRE, 797(0)499--z
-
Cascades, 866(0)472--z
-
CASE, 750(0)97--z, 763(0)406--z, 811(0)14--27, 851(0)407--z
-
case, 750(0)429--z, 774(0)218--z, 780(0)490--501, 797(0)357--z,
806(0)191--212, 813(0)379--z, 816(0)189--222, 817(0)301--z,
817(0)701--z, 820(0)593--z, 825(0)69--z, 837(0)92--z, 837(0)132--z,
837(0)209--z, 837(0)313--z, 837(0)446--z, 839(0)216--233,
840(0)187--z, 845(0)121--z, 851(0)479--z, 851(0)513--z, 853(0)60--z,
856(0)690--z, 861(0)28--z, 861(0)94--z, 863(0)110--z, 866(0)322--z,
869(0)305--z, 872(0)8--z, 872(0)532--z, 873(0)93--z, 873(0)547--z,
876(0)11--z
-
case, Average-, 820(0)178--z
-
CASE, I-, 811(0)214--227
-
Case, J., 872(0)64--z
-
Case, J., see Baliga, G.
-
Case-Based, 774(0)87--z, 833(0)109--z, 837(0)3--z, 837(0)21--z,
837(0)53--z, 837(0)77--z, 837(0)144--z, 837(0)167--z, 837(0)182--z,
837(0)197--z, 837(0)221--z, 837(0)246--z, 837(0)274--z,
837(0)325--z, 837(0)365--z, 837(0)379--z, 837(0)392--z,
837(0)404--z, 837(0)414--z, 837(0)424--z, 837(0)436--z,
837(0)458--z, 872(0)106--z, 872(0)210--z
-
case-based, 869(0)174--z, 869(0)183--z
-
Case-Deliverer, 837(0)446--z
-
Case-retrieval, 861(0)154--z
-
Caselli, S., 794(0)266--283
-
Caselli:1994:ESM, 794(0)266--283
-
Cash, 773(0)302--z, 778(0)109--z
-
{C}ash, 783(0)184--z
-
Caspi, P., 803(0)1--z
-
Caspi, P., see Benveniste, A.
-
Cass, T. A., 800(0)463--470
-
Cass, T. A., see Ponce, J.
-
CAST, 763(0)203--z
-
CAST-Tool, 763(0)137--z
-
Castano, S., 823(0)339--z, 858(0)346--z
-
Castano:1994:ROOa, 823(0)339--z
-
Castano:1994:ROOb, 858(0)346--z
-
Castelfranchi, C., 830-0-vii-z
-
Castelfranchi:1994:MSB, 830-0-vii-z
-
Castellanos, A., 862(0)93--z
-
Castellanos, M., 856(0)125--z
-
Castellanos:1994:AOM, 862(0)93--z
-
Castellanos:1994:SER, 856(0)125--z
-
Castelow, D. A., 796(0)408--z
-
Castelow:1994:PIC, 796(0)408--z
-
Castilho, J. M., 823(0)520--z
-
Castilho:1994:SSA, 823(0)520--z
-
Castro Caldas, J., 830(0)147--z
-
Castro, C., De, 823(0)463--z
-
Castro, V., Estivill-, 880(0)414--425
-
CastroCaldas:1994:SIO, 830(0)147--z
-
Catalog, 797(0)114--z
-
Catalyst, 856(0)1--z
-
catch, 792(0)61--z
-
categorical, 785(0)207--219, 789(0)618--z, 802(0)587--602
-
categorically, 836(0)146--z
-
category, 766(0)1--z, 785(0)235--251, 802(0)304--319, 802(0)567--586,
811(0)406--419
-
Catelli, C., 797(0)499--z
-
Catelli, C., see Casari, C.
-
Cathamero, D., 867(0)158--z
-
Cathamero:1994:MPR, 867(0)158--z
-
Cattel, K., 831(0)86--z
-
Cattel:1994:CGV, 831(0)86--z
-
Cau, A., 836(0)267--z
-
Cau, A., see Xu, Q.
-
Cauchy, 769(0)1--z
-
Cauchy, Newton-, 769(0)1--z
-
causal, 784(0)198--z, 784(0)379--z, 800(0)535--542, 805(0)101--114,
867(0)303--z, 869(0)13--z, 869(0)265--z
-
causality, 815(0)568--z, 841(0)567--z
-
cause, 814(0)1--z
-
Causse, S., 797(0)77--z
-
Causse:1994:IVT, 797(0)77--z
-
Caussinus, H., 880(0)36--47
-
Caussinus:1994:CCQ, 880(0)36--47
-
Cauvet, C., 811(0)149--171
-
Cauvet:1994:AFO, 811(0)149--171
-
CBR, 784(0)3--z, 837(0)65--z
-
CC, 806(0)3--18, 850(0)114--z, 874(0)151--z, 874(0)162--z
-
CCB-Directed, 750(0)285--z
-
CCS, 780(0)352--365
-
CDMA, 783(0)56--z, 783(0)76--z, 783(0)87--z, 783(0)162--z, 783(0)391--z,
783(0)541--z, 793(0)191--202
-
CDMA, DS-, 783(0)131--z, 783(0)150--z
-
{CDMA}-Based, 783(0)400--z
-
Cecconi, F., 830(0)41--z
-
Cecconi:1994:SAE, 830(0)41--z
-
Cell, 783(0)261--z, 783(0)541--z, 783(0)552--z, 849(0)321--z,
866(0)26--z, 868(0)181--z
-
Celloids, 866(0)365--z
-
Cellular, 778(0)73--z, 783(0)21--z, 783(0)56--z, 783(0)76--z,
783(0)87--z, 783(0)184--z, 783(0)376--z, 783(0)391--z,
812(0)183--196, 820(0)142--z, 841(0)484--z, 849(0)11--z,
866(0)344--z
-
center, 797(0)103--z, 797(0)129--z, 824(0)326--z, 860(0)222--z,
860(0)229--z, 869(0)1--z
-
Centered, 867(0)283--z
-
Centered, Object-, 856(0)27--z
-
Centered, Process-, 772(0)15--z, 772(0)261--z, 811(0)28--41
-
Central, 855(0)159--z
-
Centralized, 849(0)344--z
-
Centres, 860(0)185--z
-
Cerans, K., 820(0)35--z, 872(0)76--z
-
Cerans, K., see Brazma, A.
-
Cerans:1994:DPI, 820(0)35--z
-
Cercone, N., 869(0)386--z
-
Cercone, N., see Hu, X.
-
CERFACS, 879(0)169--176
-
Ceri, S., 819(0)172--z
-
Ceri, S., see Baralis, E.
-
Cerioli, M., 785(0)113--127
-
Cerioli:1994:IVA, 785(0)113--127
-
CERN, 796(0)371--z
-
Cerro, L. F., Del, 861(0)237--z
-
certain, 783(0)488--z, 820(0)274--z, 877(0)194--z, 877(0)248--z
-
certification, 785(0)158--172
-
Certified, 806(0)291--312
-
Cesa-Bianchi, N., 872(0)229--z
-
Cesa-Bianchi, N., see Auer, P.
-
CFB, 773(0)212--z
-
CFD, 797(0)508--z
-
CG, 797(0)174--z
-
Chae, Hoon Lim, 773(0)420--z
-
Chae:1994:AMA, 773(0)420--z
-
chain, 834(0)423--z, 849(0)332--z
-
Chain-Like, 834(0)607--z
-
chaining, 814(0)435--z, 839(0)341--358
-
Chakravarthy, S., 823(0)475--z
-
Chakravarthy, S., see Kim, S.-K.
-
Challange, 797(0)42--z
-
Challenge, 772(0)152--z, 774(0)3--z, 796(0)358--z, 852(0)407--z,
876(0)226--z, 879(0)270--286
-
Chambers, B., 809(0)51--z
-
Chambers:1994:TSC, 809(0)51--z
-
Champagne, B., 796(0)183--z
-
Champagne, B., see Andre, J. M.
-
Chan, A., 809(0)166--z
-
Chan, C.-L., 834(0)607--z
-
Chan, C.-L., see Young, G. H.
-
Chan, D. K. C., 826(0)55--z
-
Chan, F., 793(0)253--269
-
Chan, T. S., 854(0)381--z
-
Chan, T. S., see Gorton, I.
-
Chan:1994:OCQ, 826(0)55--z
-
Chan:1994:QMS, 809(0)166--z
-
Chan:1994:VRP, 793(0)253--269
-
Chance, 770(0)1--z
-
Chandelon, M., 823(0)364--z
-
Chandelon, M., see Hainaut, J.-L.
-
Chandra, R., 819(0)190--z
-
Chandra:1994:UNG, 819(0)190--z
-
Chandrasekaran, B., 869(0)13--z
-
Chandrasekaran:1994:CUR, 869(0)13--z
-
Chang, J. W., 856(0)571--z
-
Chang, J. W., see Yoo, J. S.
-
Chang, M.-S., 834(0)567--z
-
Chang, M.-S., see Rangan, C. P.
-
Chang, W. I., 807(0)259--273
-
Chang, Y., 869(0)154--z
-
Chang-Wu-Chen, 765(0)440--z
-
Chang:1994:ASM, 807(0)259--273
-
Chang:1994:TQR, 869(0)154--z
-
change, 763(0)357--z, 772(0)152--z, 800(0)286--298, 834(0)616--z,
838(0)86--z, 854(0)854--z, 859(0)177--z, 861(0)226--z, 869(0)521--z,
875(0)107--z
-
Changing, 775(0)175--z
-
channel, 765(0)248--z, 783(0)33--z, 783(0)101--z, 783(0)113--z,
783(0)121--z, 783(0)131--z, 783(0)162--z, 783(0)230--z,
783(0)273--z, 783(0)285--z, 783(0)334--z, 783(0)344--z,
783(0)440--z, 783(0)488--z, 793(0)91--108, 793(0)109--124,
793(0)136--152, 793(0)153--172, 793(0)173--190, 793(0)203--222,
815(0)159--z, 820(0)316--z, 829(0)88--z, 849(0)361--z, 853(0)72--z,
875(0)175--z
-
Channel, Multi-, 783(0)322--z
-
channel, multi-, 793(0)310--324
-
Chao, Jinhui, 839(0)50--55
-
Chao, K.-M., 807(0)31--42
-
Chao:1994:CAS, 807(0)31--42
-
Chao:1994:DEC, 839(0)50--55
-
chaos, 793(0)359--367, 839(0)318--331
-
Chaotic, 864(0)329--z, 865(0)320--z
-
Chapman, B., 797(0)407--416, 854(0)664--z
-
Chapman, Barbara M., 768(0)184--z
-
Chapman, N., 859(0)128--z
-
Chapman:1994:ASD, 768(0)184--z
-
Chapman:1994:DL, 859(0)128--z
-
Chapman:1994:HPF, 797(0)407--416
-
Chapman:1994:SAM, 854(0)664--z
-
character, 807(0)240--249
-
characteristic, 765(0)360--z, 773(0)49--z, 773(0)403--z, 783(0)356--z,
784(0)103--z, 797(0)114--z, 807(0)274--288, 834(0)315--z,
849(0)312--z, 877(0)60--z
-
Characterizable, 774(0)209--z
-
Characterization, 831(0)86--z, 862(0)38--z
-
characterizations, 774(0)197--z, 775(0)289--z, 836(0)497--z
-
Characterizing, 784(0)83--z, 788(0)105--z, 836(0)331--350
-
Charatonik, W., 845(0)304--z
-
Charatonik:1994:SCS, 845(0)304--z
-
Charging, 851(0)479--z
-
Chari, S., 778(0)1--z
-
Chari, S., see Hartmanis, J.
-
Charts, 861(0)391--z
-
Chatalic, P., 838(0)261--z
-
Chatalic:1994:VHT, 838(0)261--z
-
Chatterjee, N., 837(0)221--z
-
Chatterjee, Siddhartha, 768(0)234--z
-
Chatterjee:1994:ADG, 768(0)234--z
-
Chatterjee:1994:ATI, 837(0)221--z
-
Chaudhuri, S., 857(0)74--z
-
Chaudhuri:1994:FIR, 857(0)74--z
-
Chaum, David, 765(0)344--z
-
Chaum, David, see Brands, Stefan
-
Chaumette, F., 800(0)111--116
-
Chaumette, F., see Sundareswaran, V.
-
Chauvaud, Pascal, 773(0)391--z, 839(0)359--368
-
Chauvaud, Pascal, see Gilbert, Henri,
see Patarin, Jacques
-
Chazarain, Jacques, 814(0)118--z
-
Chazarain:1994:MIP, 814(0)118--z
-
Cheap, 855(0)10--z
-
Cheaper, 857(0)355--z
-
Cheatham, T., 841(0)3--z
-
Cheatham, Thomas, 786(0)188--z
-
Cheatham:1994:MLC, 841(0)3--z
-
Cheatham:1994:SAT, 786(0)188--z
-
Cheating, 765(0)118--z
-
Chebyshev, 817(0)502--z
-
Check, 773(0)40--z, 818(0)222--z
-
Checked, Computer-, 789(0)161--z
-
checked, proof-, 814(0)237--z
-
checking, 787(0)115--z, 788(0)180--z, 806(0)19--61, 813(0)8--z,
817(0)741--z, 818(0)41--z, 818(0)142--z, 818(0)169--z, 818(0)194--z,
818(0)220--z, 818(0)299--z, 818(0)324--z, 818(0)351--z,
818(0)415--z, 818(0)455--z, 820(0)304--z, 827(0)165--z, 836(0)98--z,
836(0)114--z, 852(0)386--z, 856(0)135--z, 856(0)591--z,
857(0)326--z, 864(0)43--z, 873(0)519--z, 874(0)173--z, 877(0)249--z
-
Checking, Model-, 780(0)185--198, 813(0)47--z, 818(0)377--z
-
Checking, Proof-, 806(0)127--165
-
Checking, Self-, 829(0)63--z
-
Checkpointing, 774(0)95--z, 852(0)353--z, 852(0)491--z
-
Chelnokov, V. M., 876(0)213--z
-
Chelnokov:1994:CHS, 876(0)213--z
-
Chemical, 796(0)210--z, 802(0)293--303, 803(0)92--z
-
Chemistry, 796(0)125--z, 796(0)203--z, 796(0)335--z
-
Chemistry, Advection-, 879(0)11--16
-
Chen, A. L. P., 823(0)149--z, 823(0)297--z
-
Chen, A. L. P., see Koh, J.-L.,
see Yen, S.-J.
-
Chen, B., 855(0)300--z
-
Chen, C. M., 779(0)323--336
-
Chen, C.-C., 813(0)69--z
-
Chen, Chang-Wu-, 765(0)440--z
-
Chen, D. W., 783(0)67--z
-
Chen, D. W., see Siveski, Z.
-
Chen, D. Z., 834(0)279--z
-
Chen, G., 854(0)773--z
-
Chen, H., 866(0)428--z
-
Chen, J., 775(0)509--z, 834(0)155--z, 834(0)288--z, 854(0)371--z,
855(0)106--z, 869(0)56--z, 869(0)478--z
-
Chen, J., see Cai, L., \see{Carlsson, S.,
see Kundu, S.
-
Chen, J.-L., 858(0)40--z
-
Chen, L., 802(0)215--229, 834(0)559--z, 875(0)161--z
-
Chen, L. T., 779(0)273--286
-
Chen, W., 834(0)92--z, 857(0)130--z
-
Chen, W., see Inoue, M., \see{Rajasekaran, S.
-
Chen, Weimin, 821(0)408--z
-
Chen, X.-Y., 849(0)208--z
-
Chen, Y., 834(0)181--z, 856(0)47--z
-
Chen, Y.-Y., 852(0)421--z
-
Chen, Z., 872(0)272--z
-
Chen:1994:ACP, 834(0)155--z
-
Chen:1994:ART, 802(0)215--229
-
Chen:1994:CPM, 813(0)69--z
-
Chen:1994:EDL, 821(0)408--z
-
Chen:1994:ERP, 852(0)421--z
-
Chen:1994:FEO, 834(0)279--z
-
Chen:1994:FRS, 834(0)181--z
-
Chen:1994:GLO, 869(0)478--z
-
Chen:1994:IPE, 779(0)323--336
-
Chen:1994:LMN, 854(0)773--z
-
Chen:1994:NLD, 872(0)272--z
-
Chen:1994:OAP, 855(0)300--z
-
Chen:1994:OS, 875(0)161--z
-
Chen:1994:OSO, 779(0)273--286
-
Chen:1994:OTE, 856(0)47--z
-
Chen:1994:PHC, 854(0)371--z
-
Chen:1994:PSA, 866(0)428--z
-
Chen:1994:RCA, 834(0)559--z
-
Chen:1994:SEO, 858(0)40--z
-
Chen:1994:SEW, 849(0)208--z
-
Cheng, B. H. C., 817(0)202--z
-
Cheng, B. H. C., see Sharnowski, J. L.
-
Cheng, C.-H., 852(0)421--z
-
Cheng, C.-H., see Chen, Y.-Y.
-
Cheng, G., 797(0)202--z
-
Cheng, S. H., Nienhuys-, 784(0)217--z, 784(0)307--z
-
Cheng:1994:SPE, 797(0)202--z
-
Chepoi, V., 855(0)159--z
-
Chepoi:1994:LTA, 855(0)159--z
-
Cherkaoui, O., 873(0)66--z
-
Cherkaoui:1994:SAS, 873(0)66--z
-
Cherkasova, L., 853(0)295--z
-
Cherkasova, L., see Davis, A.
-
Chernoff--Hoeffding, 834(0)226--z
-
Cherry, A. D., 860(0)177--z
-
Cherry:1994:HCI, 860(0)177--z
-
Chervonenkis, Vapnik-, 774(0)279--z
-
Chester, J. P., 851(0)5--z
-
Chester, J. P., see Dickerson, K. R.
-
Chetwynd, A. G., 882(0)145--z
-
Chetwynd, A. G., see Bowman, H.
-
Cheung, D. W.-I., 869(0)164--z
-
Cheung:1994:KDD, 869(0)164--z
-
Chi Kwong Hui, L., 834(0)433--z
-
Chianese, A., 858(0)266--z
-
Chianese, A., see Boccignone, G.
-
Chiang, C.-M., 853(0)146--z
-
Chiang, R. H. L., 823(0)218--z, 823(0)352--z
-
Chiang, R. H. L., see Storey, V. C.
-
Chiang, Y.-J., 855(0)266--z
-
Chiang:1994:MAE, 853(0)146--z
-
Chiang:1994:OSP, 855(0)266--z
-
Chiang:1994:PER, 823(0)352--z
-
Chiaradonna, S., 852(0)97--z
-
Chiaradonna:1994:PME, 852(0)97--z
-
Chiarelli, A., 844(0)292--z
-
Chiarelli, A., see Brogi, A.
-
Chien, A. A., 853(0)1--z
-
Chien, A. A., see Karamcheti, V.
-
Chien, Andrew A., 768(0)37--z
-
Chien, Andrew A., see Plevyak, John
-
Chikayama, T., 844(0)25--z
-
Chikayama:1994:PEI, 844(0)25--z
-
ChiKwongHui:1994:ADC, 834(0)433--z
-
Chillarege, Ram, 774(0)3--z
-
Chillarege:1994:TFC, 774(0)3--z
-
Chin, F. Y., 834(0)532--z
-
Chin, S., 780(0)199--212
-
Chin, S., see Lu, J.
-
Chin, S.-K., 780(0)451--464, 859(0)316--z
-
Chin, S.-K., see Brackin, S., \see{Lu, J.-Y.
-
Chin:1994:GTP, 834(0)532--z
-
Chinese, 860(0)192--z
-
Chinn, D. D., 853(0)60--z
-
Chinn:1994:PAR, 853(0)60--z
-
Chintrakulchai, P., 849(0)129--z
-
Chintrakulchai, P., see Fagin, B.
-
Chiola, G., 794(0)231--252, 815(0)139--z
-
Chiola, G., see Ferscha, A.
-
Chiola:1994:MSC, 815(0)139--z
-
chip, 780(0)267--280, 793(0)67--77, 841(0)143--z, 853(0)310--z
-
Chip, Crypto-, 839(0)108--113
-
Chip, Multi-, 849(0)373--z, 866(0)588--z
-
Chip, On-, 783(0)510--z
-
Chip-Matched-Filter, 783(0)522--z
-
Chiva, E., 866(0)26--z
-
Chiva:1994:SGP, 866(0)26--z
-
Chlebus, B. S., 775(0)213--z, 841(0)597--z, 855(0)401--z
-
Chlebus, B. S., see Sibeyn, J. F.
-
Chlebus:1994:OPM, 775(0)213--z
-
Chlebus:1994:PCR, 855(0)401--z
-
Cho, J. D., 855(0)148--z
-
Cho, J.-H., 852(0)511--z
-
Cho, J.-H., see Park, J.-H.
-
Cho:1994:AAM, 855(0)148--z
-
Choi, J., 879(0)147--168
-
Choi:1994:CNS, 879(0)147--168
-
choice, 791(0)73--z, 820(0)106--z, 836(0)465--z, 861(0)284--z,
865(0)65--z
-
Cholvy, L., 808(0)183--z, 869(0)488--z
-
Cholvy:1994:LAM, 808(0)183--z
-
Cholvy:1994:RAS, 869(0)488--z
-
Chomicki, J., 827(0)506--z, 874(0)205--z
-
Chomicki, J., see Baudinet, M.
-
Chomicki:1994:TQL, 827(0)506--z
-
Chong, E. I., 779(0)95--108
-
Chong, E. I., see Scheuermann, P.
-
Chong, F. T., 853(0)200--z
-
Chong:1994:PMH, 853(0)200--z
-
Choppy, C., 785(0)128--143
-
Choppy:1994:ACA, 785(0)128--143
-
Chor, Benny, 773(0)444--z, 839(0)257--270
-
Chor, Benny, see Beimel, Amos
-
Chor:1994:TT, 839(0)257--270
-
Chordal, 854(0)349--z, 855(0)159--z
-
Chords, 824(0)119--z
-
CHORUS, 774(0)182--z
-
Chorus, 846(0)54--z
-
chosen, 773(0)420--z, 773(0)420--z--1, 839(0)359--368
-
Chou, C.-T., 780(0)310--323, 859(0)144--z, 859(0)158--z
-
Chou, S.-C., 814(0)401--z
-
Chou, S.-C., see Freitag McPhee, N.
-
Chou, Y.-C., 852(0)421--z
-
Chou, Y.-C., see Chen, Y.-Y.
-
Chou:1994:FTU, 859(0)144--z
-
Chou:1994:MVD, 859(0)158--z
-
Chou:1994:PTL, 780(0)310--323
-
Choudhary, Alok, 768(0)200--215
-
Choudhary, Alok, see Bozkus, Zeki
-
Chouinard, J.-Y., 793(0)153--172
-
Chouinard, J.-Y., see Ferland, G.
-
Choy, M., 857(0)89--z
-
Choy:1994:CC, 857(0)89--z
-
Christ, P., 797(0)53--z, 797(0)86--z, 868(0)251--z, 882(0)356--z
-
Christ, P., see Haas, P., \see{Peltier, J. P.,
see Rozek, A.
-
Christensen, H. I., 800(0)3--14
-
Christensen, H. I., see Dickinson, S. J.
-
Christensen, S., 815(0)159--z, 815(0)338--z
-
Christensen, S., see Lakos, C.
-
Christensen, T., 796(0)340--z
-
Christensen, T., see Addison, C.
-
Christensen:1994:CPN, 815(0)159--z
-
Christiansen, J. H., 871(0)160--z
-
Christiansen, J. H., see Woyna, M. A.
-
Christmas, B., 800(0)137--142
-
Christmas:1994:NIC, 800(0)137--142
-
Christodoulakis, D., 856(0)509--z, 856(0)531--z
-
Christodoulakis, D., see Gaviotis, I.,
see Hatzimanikatis, A.
-
Christoff, I., 880(0)217--230
-
Christoff, I., see Natarajan, V.
-
Christoff, L., 880(0)217--230
-
Christoff, L., see Natarajan, V.
-
Chrobot, Stanislaw, 782(0)151--z
-
Chrobot:1994:WCP, 782(0)151--z
-
Chromosome, 807(0)307--325
-
Chronaki, C. E., 817(0)805--z
-
Chronaki, C. E., see Markatos, E.
-
Chroust, G., 772(0)119--z
-
Chroust:1994:NPM, 772(0)119--z
-
Chu, H., 814(0)192--z
-
Chu, W. W., 869(0)183--z
-
Chu, W. W., see Fouque, G.
-
Chu:1994:SGF, 814(0)192--z
-
Chudziak, J. A., 823(0)492--z
-
Chudziak:1994:TUL, 823(0)492--z
-
Ciampichetti, A., 875(0)359--z
-
Ciampichetti:1994:MSG, 875(0)359--z
-
Ciampolini, A., 798(0)62--76
-
Ciampolini:1994:SER, 798(0)62--76
-
Ciancaglini, M., Dezani-, 841(0)211--z
-
Ciancaglini, Mariangiola, Dezani-, 789(0)16--z
-
CIAO, 874(0)123--z
-
Ciardo, G., 815(0)179--z
-
Ciardo:1994:PNM, 815(0)179--z
-
Cicchetti, R., 779(0)31--44, 811(0)186--199, 856(0)300--z
-
Cicchetti, R., see Teisseire, M.
-
Cicchetti:1994:MRS, 779(0)31--44
-
Cicerone, S., 788(0)165--z
-
Cicerone:1994:SMS, 788(0)165--z
-
Cideciyan, R. D., 783(0)76--z
-
Cideciyan:1994:CCS, 783(0)76--z
-
Cidon, I., 857(0)209--z
-
Cidon:1994:SAR, 857(0)209--z
-
CIE, 800(0)235--246
-
Cigno, R., Lo, 794(0)159--179
-
Cignoni, G. A., 772(0)2--z
-
Cignoni, G. A., see Ambriola, V.
-
CIM, 763(0)406--z, 856(0)769--z, 856(0)785--z
-
Cin, M., Dal, 852(0)386--z
-
CIO, 868(0)251--z, 882(0)356--z
-
Ciortuz, L.-V., 862(0)45--z
-
Ciortuz:1994:OOI, 862(0)45--z
-
CIPF, 784(0)242--z
-
Cipher, 765(0)159--z, 765(0)371--z, 765(0)386--397, 765(0)453--z,
773(0)40--z, 773(0)368--378, 773(0)379--390, 809(0)18--z,
809(0)33--z, 809(0)41--z, 809(0)51--z, 809(0)83--89, 809(0)101--z,
809(0)191--204, 809(0)205--z, 809(0)211--z, 839(0)341--358
-
Ciphering, Block-, 809(0)1--z
-
ciphertext, 773(0)420--z, 773(0)420--z--1, 839(0)369--382
-
Cipolla, R., 800(0)15--24, 800(0)165--172, 800(0)205--210
-
Cipolla, R., see Lawn, J. M., \see{Sato, J.,
see Vinther, S.
-
circuit, 774(0)251--z, 794(0)180--192, 805(0)45--58, 813(0)56--z,
818(0)468--z, 833(0)145--z, 836(0)161--z, 841(0)27--z, 849(0)89--z,
849(0)303--z, 852(0)271--z, 852(0)289--z, 859(0)205--z,
859(0)235--z, 866(0)546--z, 880(0)48--59
-
Circular, 834(0)559--z
-
Circular-Arc, 834(0)550--z
-
Circulation, 796(0)311--z
-
Circumscribing, 827(0)82--z, 869(0)521--z
-
circumscription, 814(0)296--z
-
Circumscriptions, 838(0)34--z
-
Circumscriptive, 861(0)272--z
-
Cirlin, G. E., 796(0)377--z
-
Cirlin:1994:SPR, 796(0)377--z
-
Citizens, 798(0)37--61
-
Claesen, L., 780(0)87--98, 859(0)33--z
-
Claesen, L., see Angelo, C. M.
-
Claessen, M. M. M. P. J., 852(0)599--z
-
Claessen, M. M. M. P. J., see Van der Stok, P. D. V.
-
clarification, 869(0)56--z
-
Clark, D. A., 796(0)236--z
-
Clark, R. G., 858(0)65--z
-
Clark, R. G., see Moreira, A. M. D.
-
Clark, Robert G., 821(0)344--z
-
Clark, Robert G., see Moreira, Ana M. D.
-
Clark, W. J., 882(0)322--z
-
Clark:1994:APC, 796(0)236--z
-
Clark:1994:PMC, 882(0)322--z
-
Clarke, A. M., 851(0)235--z
-
Clarke, E., 803(0)124--z, 814(0)758--z, 818(0)415--z
-
Clarke, E. M., 815(0)1--z, 818(0)338--z
-
Clarke, E. M., see Long, D. E.
-
Clarke:1994:ALL, 818(0)415--z
-
Clarke:1994:AVF, 815(0)1--z
-
Clarke:1994:CSC, 814(0)758--z
-
Clarke:1994:URA, 851(0)235--z
-
Clarke:1994:VTF, 803(0)124--z
-
CLASS, 794(0)159--179
-
class, 765(0)77--z, 774(0)187--z, 775(0)449--z, 775(0)543--z,
780(0)140--153, 782(0)191--207, 782(0)208--z, 785(0)295--309,
788(0)241--z, 811(0)325--338, 811(0)406--419, 813(0)140--z,
814(0)118--z, 818(0)1--z, 818(0)105--z, 824(0)172--z, 834(0)199--z,
836(0)449--z, 841(0)27--z, 841(0)68--z, 844(0)147--z, 853(0)116--z,
853(0)185--z, 855(0)413--z, 859(0)33--z, 862(0)57--z, 872(0)10--z,
872(0)100--z, 877(0)234--z, 877(0)248--z
-
class, 2-, 877(0)17--z
-
Class, First-, 792(0)95--z, 798(0)37--61
-
class, First-, 788(0)333--z
-
class, first-, 788(0)424--z
-
Classes, OMT-, 858(0)142--z
-
Classic, 861(0)190--z
-
Classical, 775(0)59--z, 789(0)36--z, 789(0)495--z, 838(0)217--z,
869(0)500--z
-
classical, non-, 869(0)604--z
-
classification, 768(0)633--z, 784(0)83--z, 793(0)368--384,
800(0)101--108, 811(0)406--419, 825(0)453--z, 837(0)77--z,
861(0)28--z, 869(0)105--z, 869(0)366--z, 872(0)137--z, 872(0)290--z
-
Classified, 784(0)103--z
-
Classifier, 784(0)375--z, 784(0)411--z, 865(0)28--z, 865(0)210--z,
866(0)260--z, 866(0)280--z
-
Classifying, 797(0)114--z, 812(0)396--409
-
Classroom, 750(0)65--z, 750(0)285--z
-
Clausal, 845(0)19--z
-
clause, 775(0)21--z, 784(0)435--z, 798(0)62--76, 806(0)366--383,
814(0)162--z, 814(0)282--z, 832(0)223--z, 838(0)400--z,
844(0)340--z, 844(0)465--z
-
Clausen, C., 812(0)289--306, 836(0)385--z
-
Clausen, C., see Nielsen, M.
-
Clayton, F. M., 763(0)418--z
-
Clayton, F. M., see Marshall, G. J.
-
Cleaning, 820(0)436--z
-
Cleanup, 831(0)59--z
-
Cleaveland, R., 836(0)417--z, 836(0)497--z, 880(0)217--230
-
Cleaveland, R., see Natarajan, V.,
see Yuen, S.
-
Cleaveland:1994:TBA, 836(0)417--z
-
Clement, T., 873(0)118--z
-
Clement:1994:CAD, 873(0)118--z
-
Clementi, A., 778(0)73--z
-
Clementi:1994:GTI, 778(0)73--z
-
Clerici, S., 785(0)144--157
-
Clerici:1994:SCS, 785(0)144--157
-
Client, Inter-, 858(0)53--z
-
Client-Independent, 765(0)260--z
-
Client-Server, 774(0)191--z, 774(0)285--z
-
Cliffe, K. A., 796(0)346--z
-
Cliffe, K. A., see Yau, H. W.
-
Clifford, J., 779(0)215--230
-
Clifford:1994:SBT, 779(0)215--230
-
Climbing, 866(0)397--z
-
Climbing, Hill-, 866(0)302--z
-
Clinckemaillie, J., 796(0)55--z
-
Clinckemaillie, J., see Lonsdale, G.
-
Cline, R. E., 868(0)387--z
-
Cline, R. E., see Strayer, W. T.
-
Clint, M., 797(0)457--z, 854(0)218--z, 879(0)469--482
-
Clint, M., see Szularz, M.
-
Clint:1994:EGS, 854(0)218--z
-
Clint:1994:FDP, 797(0)457--z
-
Cliques, 775(0)735--z, 824(0)370--z
-
Clock, 783(0)356--z, 783(0)510--z, 809(0)121--z, 824(0)267--z,
834(0)669--z, 863(0)351--z
-
clocks, 788(0)58--z, 836(0)162--z, 857(0)355--z
-
Cloke, R., 797(0)158--z
-
Cloke, R., see Baker, M.
-
Closed, 822(0)245--z, 827(0)382--z
-
Closing, 782(0)49--z, 784(0)419--z
-
Closure, 789(0)822--z, 806(0)313--332, 820(0)424--z, 822(0)114--z,
872(0)229--z
-
Clothing, 856(0)214--z
-
CLP, 844(0)277--z, 874(0)151--z
-
CLP-Language, 822(0)84--z
-
CLP-Scheme, 798(0)77--93
-
clp({B}), 844(0)244--z
-
clp(FD), 845(0)201--z
-
CLP(H,N), 844(0)400--z
-
CLP(R):, QUAD-, 874(0)95--z
-
Cluster, 774(0)151--z, 774(0)384--z, 796(0)78--z, 796(0)157--162,
796(0)287--z, 797(0)42--z, 797(0)140--z, 797(0)260--z, 797(0)286--z,
817(0)745--z, 834(0)342--z, 879(0)1--10, 879(0)17--32, 879(0)89--99,
879(0)236--246, 879(0)493--497
-
Cluster-Based, 763(0)268--z
-
Clustered, 866(0)108--z
-
clustering, 775(0)475--z, 784(0)395--z, 800(0)328--337, 819(0)351--z,
823(0)438--z, 823(0)451--z, 847(0)10--z, 849(0)312--z, 856(0)57--z,
862(0)203--z, 863(0)547--z, 872(0)56--z
-
CM, 877(0)41--z
-
CM-2, 817(0)789--z
-
CM-200, 796(0)261--z, 879(0)392--396
-
CM-5, 768(0)139--z, 796(0)261--z, 796(0)365--z, 797(0)233--z,
853(0)176--z, 879(0)89--99, 879(0)392--396
-
CM-5ash, 879(0)41--50, 879(0)425--433
-
CM-5E, 879(0)41--50, 879(0)425--433
-
CM-fields, 877(0)42--z
-
CML, 867(0)1--z
-
CMOS, 783(0)510--z, 852(0)165--z, 866(0)546--z
-
Co-Design, 763(0)42--z
-
Co-evolutionary, 866(0)46--z
-
Co-Evolving, 865(0)195--z
-
Co-Induction, 802(0)83--102
-
Co-Learnability, 872(0)100--z
-
Co-Operative, 865(0)195--z
-
Coalgebra, 803(0)530--z, 813(0)173--z
-
Coarse, 854(0)593--z
-
Coarse-Grained, 834(0)634--z
-
Coarsest, 818(0)404--z
-
Coat, S., Billet-, 856(0)581--z
-
Cobb, H. G., 866(0)576--z
-
Cobb:1994:UGA, 866(0)576--z
-
Cobbs, A. L., 807(0)64--74
-
Cobbs:1994:FIA, 807(0)64--74
-
Cober, R., 796(0)420--z
-
Cober, R., see Lukowicz, P.
-
Cocco, N., 850(0)269--z
-
Cocco, N., see Bossi, A.
-
Cochinwala, M., 819(0)204--z
-
Cochinwala:1994:MSF, 819(0)204--z
-
Cochrane, D. S., 851(0)455--z
-
Cochrane, D. S., see Doyle, D. C.
-
Cockett, J. R. B., 788(0)302--z, 836(0)146--z
-
Cockett, J. R. B., see Jay, C. B.
-
Cockett:1994:SC, 836(0)146--z
-
Cockram, T., 852(0)235--z
-
Cockram, T., see Zhu, H.
-
code, 765(0)1--z, 768(0)57--z, 768(0)430--z, 773(0)200--z,
773(0)331--342, 773(0)343--z, 773(0)355--z, 775(0)691--z,
783(0)67--z, 783(0)113--z, 783(0)121--z, 783(0)251--z, 783(0)529--z,
786(0)128--z, 786(0)294--z, 786(0)339--z, 793(0)153--172,
793(0)191--202, 793(0)223--240, 793(0)270--286, 796(0)92--z,
796(0)139--z, 797(0)241--z, 797(0)508--z, 811(0)214--227,
814(0)816--820, 817(0)167--z, 820(0)605--z, 829(0)6--z, 829(0)53--z,
829(0)63--z, 829(0)69--z, 829(0)74--z, 829(0)80--z, 829(0)115--z,
839(0)140--149, 841(0)618--z, 854(0)616--z, 859(0)378--z,
873(0)346--z, 879(0)17--32, 879(0)296--303
-
coded, 793(0)91--108, 793(0)136--152, 793(0)310--324, 829(0)88--z,
868(0)67--z
-
coded, entropy-, 793(0)385--394
-
coded, trellis-, 793(0)241--252, 793(0)253--269
-
Codenotti, B., 778(0)63--z
-
Codenotti, B., see Bernasconi, A.
-
Codes, {A}-, 765(0)1--z
-
Codesign, 849(0)318--z
-
coding, 775(0)353--z, 783(0)76--z, 792(0)255--z, 793(0)45--66,
793(0)109--124, 865(0)304--z
-
Codish, M., 822(0)305--z, 850(0)6--z, 864(0)281--z
-
Codish:1994:DPT, 864(0)281--z
-
Codish:1994:GDV, 822(0)305--z
-
Codish:1994:PIA, 850(0)6--z
-
CODIT, 783(0)417--z
-
Codognet, C., 844(0)308--z
-
Codognet, P., 844(0)244--z, 844(0)308--z, 845(0)201--z
-
Codognet, P., see Codognet, C.
-
Codognet:1994:CBC, 844(0)244--z
-
Codognet:1994:PCC, 845(0)201--z
-
Codognet:1994:SVH, 844(0)308--z
-
Coelho, F., 797(0)423--z
-
Coelho, H., 830(0)147--z
-
Coelho, H., see Castro Caldas, J.
-
Coelho:1994:EHC, 797(0)423--z
-
Coevolutionary, 865(0)150--z, 866(0)249--z
-
Coghlan, Brian, 774(0)78--z
-
Coghlan, Brian, see Jones, Jeremy
-
Cognitive, 876(0)164--z
-
Cohen, D., 874(0)1--z
-
Cohen, D., see Jeavons, P.
-
Coherence, 817(0)363--z, 854(0)438--z, 876(0)213--z
-
Coherency, 817(0)765--z
-
Coherent, 817(0)805--z, 861(0)284--z
-
Coherent-Cache, 817(0)375--z
-
Cohesive, 750(0)65--z
-
Cohn, Alan G., 782(0)245--z
-
Cohn:1994:AIS, 782(0)245--z
-
cohomology, 877(0)143--z
-
Cohoon, James P., 750(0)359--z
-
Cohoon, James P., see Prey, Jane C.
-
coin, 765(0)318--z, 773(0)292--z
-
(co)inductive, 814(0)148--z
-
Colbrook, A., 796(0)46--z
-
Colbrook:1994:EEE, 796(0)46--z
-
Collaboration, 750(0)251--z, 878-0-xvi
-
Collaborative, 750(0)411--z, 772(0)261--z, 797(0)53--z, 811(0)28--41,
876(0)181--z
-
Collapses, 834(0)56--z
-
Collard, J.-F., 864(0)208--z
-
Collard, J.-F., see Lisper, B.
-
Collberg, Christian S., 782(0)282--z
-
Collberg:1994:DHL, 782(0)282--z
-
Collecting, 872(0)532--z
-
Collection, 875(0)359--z
-
Collective, 810(0)13--z, 866(0)576--z
-
Collector, 817(0)539--z, 844(0)88--z, 844(0)102--z
-
Collector, Dispatcher-, 849(0)344--z
-
{Collins}, 814(0)401--z
-
Collinson, R., 873(0)381--z
-
Collinson:1994:CLF, 873(0)381--z
-
collision, 765(0)293--z, 765(0)293--z--1, 765(0)305--317, 783(0)488--z,
796(0)226--z, 800(0)161--166, 855(0)278--z
-
Colom, J. M., 815(0)99--z
-
Colom, J. M., see Briz, J. L.
-
Colombet, L., 854(0)605--z
-
Colombet, L., see Calvin, C.
-
Colonies, 812(0)213--231, 830(0)3--z
-
Color, 819(0)95--z, 868(0)181--z
-
Colored, 774(0)342--z
-
Coloring, 817(0)351--z, 831(0)128--z, 834(0)199--z, 834(0)460--z,
880(0)137--148
-
Coloring, Edge-, 824(0)359--z, 834(0)199--z
-
colors, 800(0)235--246
-
coloured, 787(0)218--z, 794(0)425--444, 803(0)230--z, 815(0)79--z,
815(0)159--z, 815(0)338--z
-
Colouring, 841(0)546--z
-
Colussi, L., 855(0)483--z
-
Colussi, L., see Breslauer, D.
-
combination, 774(0)300--z, 775(0)187--z, 789(0)203--z, 814(0)267--z,
814(0)401--z, 817(0)502--z, 825(0)435--z, 872(0)365--z
-
combinatorial, 787(0)218--z, 807(0)1--14, 807(0)15--30, 807(0)31--42,
807(0)43--53, 807(0)54--63, 807(0)64--74, 807(0)75--86,
807(0)87--101, 807(0)102--112, 807(0)113--124, 807(0)125--135,
807(0)136--145, 807(0)146--150, 807(0)151--163, 807(0)164--172,
807(0)173--183, 807(0)184--197, 807(0)198--212, 807(0)213--225,
807(0)226--239, 807(0)240--249, 807(0)250--258, 807(0)259--273,
807(0)274--288, 807(0)289--306, 807(0)307--325, 824(0)107--z,
834(0)10--z, 841(0)364--z, 841(0)393--z, 880(0)300--317
-
Combinatorics, 834(0)575--z
-
Combinators, 789(0)786--z, 832(0)36--z
-
Combinatory, 816(0)169--188, 816(0)276--304
-
combine, 800(0)281--294, 867(0)262--z
-
combined, 800(0)152--160, 852(0)371--z, 879(0)194--206
-
combining, 789(0)36--z, 814(0)758--z, 815(0)548--z, 816(0)40--55,
818(0)377--z, 819(0)317--z, 820(0)462--z, 821(0)344--z, 827(0)1--z,
844(0)244--z, 844(0)370--z, 844(0)385--z, 858(0)158--z,
861(0)142--z, 873(0)639--z
-
Comes, 831(0)13--z, 861(0)308--z
-
Comfortable-Digital, 860(0)255--z
-
Command, 876(0)77--z
-
commands, 814(0)816--820
-
comment, 814(0)816--820
-
commercial, 750(0)65--z, 750(0)97--z, 796(0)62--z, 796(0)223--z,
796(0)422--z, 855(0)10--z, 858(0)189--z, 874(0)350--z
-
commitment, 773(0)250--z, 773(0)250--z--1, 839(0)188--201
-
commitment, assumption-, 836(0)267--z
-
common, 774(0)263--z, 775(0)669--z, 800(0)471--481, 807(0)164--172,
807(0)173--183, 811(0)269--282, 820(0)191--z, 824(0)302--z,
834(0)405--z, 841(0)127--z, 877(0)184--z
-
Common-Sense, 810(0)216--z, 861(0)392--z
-
CommonKADS, 867(0)1--z
-
Commonsense, 823(0)218--z
-
Communicating, 802(0)177--214, 817(0)611--z, 841(0)256--z, 861(0)202--z,
880(0)243--255
-
communication, 765(0)218--z, 768(0)216--z, 768(0)273--z, 773(0)61--z,
783(0)356--z, 783(0)440--z, 791(0)73--z, 794(0)406--424,
796(0)55--z, 796(0)441--z, 797(0)150--z, 797(0)190--z, 797(0)233--z,
811(0)200--213, 815(0)159--z, 817(0)13--z, 817(0)25--z, 817(0)49--z,
817(0)677--z, 820(0)1--z, 834(0)243--z, 841(0)72--z, 841(0)326--z,
846(0)138--z, 849(0)409--z, 851(0)89--z, 851(0)123--z, 851(0)235--z,
851(0)321--z, 852(0)407--z, 853(0)1--z, 853(0)241--z, 854(0)41--z,
854(0)66--z, 854(0)557--z, 854(0)605--z, 854(0)749--z, 857(0)39--z,
858(0)53--z, 860(0)59--z, 868(0)124--z, 868(0)251--z, 868(0)266--z,
868(0)363--z, 868(0)435--z, 875(0)19--z, 882(0)185--z, 882(0)274--z,
882(0)356--z
-
Communication-Automata, 813(0)1--z
-
Communicationash, 854(0)713--z
-
communications, 783(0)1--z, 783(0)33--z, 783(0)172--z, 797(0)137--z,
799-0-xxiii, 805(0)197--206, 812(0)85--96, 817(0)97--z,
817(0)262--z, 851(0)145--z, 851(0)247--z, 851(0)529--z,
854(0)689--z, 860(0)1--z, 882(0)199--z
-
Community, 750(0)489--z, 797(0)13--z
-
Commutative, 775(0)341--z, 864(0)449--z
-
Commutative, Associative-, 814(0)530--z
-
commutative, Non-, 880(0)48--59
-
Commutative, Partially-, 872(0)282--z
-
Comon, H., 775(0)151--z, 787(0)1--z, 820(0)436--z
-
Comon, H., see Caron, A.-C.
-
Comon:1994:GRA, 775(0)151--z
-
Comon:1994:OCT, 787(0)1--z
-
Compact, 813(0)114--z, 849(0)141--z, 867(0)104--z
-
Compactness, 838(0)19--z
-
Companies, 856(0)795--z
-
Company-Software, Integrated-, 856(0)795--z
-
comparative, 800(0)199--204, 866(0)386--z, 873(0)35--z
-
Comparator, 841(0)306--z
-
Comparing, 807(0)54--63, 812(0)169--182, 813(0)164--z, 813(0)353--z,
816(0)276--304, 854(0)359--z, 873(0)118--z
-
comparison, 772(0)254--z, 773(0)175--z, 783(0)310--z, 784(0)198--z,
792(0)260--z, 796(0)197--z, 797(0)253--259, 800(0)51--60,
800(0)95--100, 800(0)351--360, 800(0)507--512, 823(0)242--z,
837(0)65--z, 841(0)326--z, 841(0)484--z, 846(0)195--z, 851(0)553--z,
854(0)461--z, 854(0)473--z, 861(0)82--z, 862(0)168--z, 862(0)180--z,
863(0)128--z, 865(0)80--z, 865(0)238--z, 867(0)46--z,
879(0)110--126
-
Comparison-Based, 855(0)106--z
-
COMPASS, 785(0)1--29, 785(0)30--52, 785(0)53--78, 785(0)79--97,
785(0)98--112, 785(0)113--127, 785(0)128--143, 785(0)144--157,
785(0)158--172, 785(0)173--187, 785(0)188--206, 785(0)207--219,
785(0)220--234, 785(0)235--251, 785(0)252--267, 785(0)268--279,
785(0)280--294, 785(0)295--309, 785(0)310--320, 785(0)321--336,
785(0)337--350
-
Compatible, 839(0)411--424
-
compensating, 800(0)286--298
-
Competing, 866(0)199--z
-
Competitive, 773(0)61--z, 834(0)433--z, 841(0)201--z
-
Competitiveness, 797(0)103--z
-
Compilation, 768(0)200--215, 788(0)211--z, 797(0)423--z, 816(0)169--188,
817(0)49--z, 817(0)61--z, 863(0)336--z
-
Compilative, 787(0)52--z
-
Compile, 786(0)404--z, 854(0)689--z
-
Compile-Time, 768(0)273--z, 875(0)55--z
-
Compile-time, 864(0)238--z
-
Compile-Timeash, 768(0)430--z
-
Compiler, 768(0)253--z, 786(0)1--z, 786(0)16--z, 786(0)83--z,
786(0)248--z, 786(0)278--z, 786(0)309--323, 786(0)324--338,
841(0)3--z, 844(0)132--z, 844(0)455--z
-
Compiler-Assisted, 774(0)45--z--1
-
Compilers, 768(0)200--215, 797(0)447--z
-
Compiling, 786(0)143--z, 817(0)37--z, 844(0)447--z
-
complement, 834(0)451--z
-
Complementation, 820(0)142--z
-
complete, 775(0)389--z, 775(0)557--z, 784(0)307--z, 789(0)667--z,
797(0)60--z, 802(0)530--543, 817(0)122--z, 834(0)369--z,
836(0)449--z, 838(0)152--z, 841(0)266--z, 874(0)173--z, 882(0)1--z
-
Complete, {E}-, 841(0)38--z
-
Complete, NP-, 834(0)387--z
-
completeness, 775(0)415--z, 785(0)235--251, 813(0)153--z, 814(0)836--z,
818(0)286--z, 827(0)149--z, 827(0)283--z, 841(0)536--z, 850(0)23--z,
864(0)193--z, 880(0)378--389
-
completeness, PSPACE-, 820(0)274--z
-
completion, 775(0)175--z, 775(0)691--z, 798(0)333--347, 845(0)285--z,
850(0)150--z, 861(0)319--z
-
completion-based, 814(0)678--z
-
complex, 763(0)72--z, 763(0)137--z, 763(0)418--z, 777(0)1--z,
777(0)118--z, 779(0)337--350, 783(0)529--z, 784(0)371--z,
800(0)407--416, 815(0)119--z, 823(0)1--z, 823(0)13--z, 849(0)78--z,
849(0)295--z, 856(0)280--z, 856(0)390--z, 861(0)214--z
-
complexity, 763(0)131--z, 765(0)151--z, 774(0)251--z, 774(0)265--z,
774(0)279--z, 775(0)59--z, 775(0)97--z, 775(0)543--z, 775(0)595--z,
775(0)619--z, 775(0)769--z, 777(0)83--z, 777(0)104--z, 778(0)63--z,
778(0)192--z, 784(0)415--z, 805(0)23--34, 805(0)35--44,
805(0)235--250, 807(0)15--30, 810(0)275--z, 812(0)169--182,
812(0)183--196, 813(0)1--z, 813(0)69--z, 813(0)89--z, 814(0)560--z,
820(0)1--z, 820(0)73--z, 820(0)118--z, 820(0)593--z, 832(0)1--z,
834(0)146--z, 834(0)469--z, 834(0)478--z, 834(0)600--z,
839(0)332--340, 841(0)27--z, 841(0)68--z, 841(0)245--z,
841(0)316--z, 841(0)326--z, 841(0)364--z, 841(0)393--z,
841(0)515--z, 841(0)587--z, 849(0)271--z, 852(0)289--z,
854(0)359--z, 855(0)171--z, 855(0)436--z, 855(0)483--z,
857(0)223--z, 857(0)311--z, 865(0)304--z, 866(0)280--z, 872(0)10--z,
877(0)71--z, 877(0)184--z, 877(0)291--z, 880(0)12--23, 880(0)36--47,
880(0)193--204, 880(0)256--275
-
complexity, Low-, 793(0)91--108
-
complexity, Reduced-, 793(0)173--190
-
Component, 750(0)77--z, 774(0)218--z, 778(0)91--z, 782(0)259--z,
812(0)325--343, 817(0)801--z, 834(0)297--z, 851(0)157--z,
857(0)238--z, 859(0)205--z, 867(0)118--z, 873(0)35--z, 876(0)19--z,
882(0)35--z, 882(0)89--z
-
Composable, 882(0)14--z
-
Composed, 818(0)260--z
-
Composing, 818(0)273--z, 854(0)616--z
-
Composite, 773(0)403--z, 819(0)142--z
-
Composite-Object, 779(0)23--30
-
composition, 768(0)115--z, 776(0)203--z, 791(0)152--z, 814(0)341--z,
821(0)118--z, 823(0)74--z, 836(0)98--z, 836(0)114--z, 836(0)226--z,
836(0)513--z, 844(0)292--z, 846(0)21--z
-
compositional, 802(0)250--270, 815(0)531--z, 817(0)809--z, 818(0)324--z,
818(0)441--z, 827(0)238--z, 836(0)2--z, 841(0)112--z, 850(0)77--z,
854(0)5--z, 859(0)362--z, 863(0)583--z
-
Compositionality, 780(0)324--337
-
comprehension, 826(0)55--z, 864(0)193--z
-
comprehensive, 750(0)227--z, 815(0)298--z
-
Compressed, 807(0)113--124, 820(0)215--z
-
Compression, 765(0)293--z, 765(0)293--z--1, 807(0)102--112,
807(0)113--124, 829(0)115--z, 834(0)451--z, 844(0)73--z,
849(0)129--z, 852(0)289--z, 855(0)82--z, 868(0)181--z
-
Compton, K. J., 832(0)78--z
-
Compton, P., 867(0)104--z
-
Compton:1994:LPP, 867(0)104--z
-
Compton:1994:MTC, 832(0)78--z
-
computation, 763(0)282--z, 763(0)366--z, 768(0)57--z, 768(0)502--z,
768(0)586--z, 773(0)266--z, 776(0)203--z, 782(0)87--z, 796(0)183--z,
803(0)583--z, 807(0)146--150, 814(0)758--z, 815(0)16--z,
817(0)134--z, 817(0)250--z, 817(0)701--z, 817(0)777--z,
818(0)234--z, 819(0)317--z, 820(0)450--z, 820(0)580--z,
821(0)194--z, 822(0)245--z, 824(0)338--z, 826(0)90--z, 827(0)165--z,
834(0)181--z, 834(0)387--z, 836(0)242--z, 836(0)351--z,
838(0)300--z, 839(0)397--410, 842-0-ix, 844(0)455--z, 852(0)115--z,
854(0)241--z, 854(0)301--z, 854(0)325--z, 854(0)405--z,
854(0)713--z, 855(0)401--z, 855(0)448--z, 857(0)340--z,
864(0)314--z, 864(0)395--z, 865(0)51--z, 865(0)65--z, 866(0)130--z,
866(0)344--z, 877(0)17--z, 877(0)122--z, 877(0)184--z, 877(0)249--z,
879(0)33--40, 879(0)190--193, 879(0)498--504, 879(0)505--519,
880(0)48--59
-
computational, 763(0)293--z, 773(0)100--109, 773(0)100--z, 776(0)170--z,
796(0)131--z, 796(0)274--z, 797(0)241--z, 800(0)227--234,
802(0)72--82, 805(0)115--120, 812(0)169--182, 813(0)184--z,
814(0)816--820, 820(0)23--z, 834(0)514--z, 838(0)50--z, 840-0-viii,
851(0)479--z, 852(0)131--z, 854(0)359--z, 864(0)255--z, 871(0)94--z,
879(0)1--10, 880(0)231--242, 882(0)89--z
-
Computationally, 796(0)380--z
-
Computationash, 854(0)605--z
-
Compute, 824(0)314--z, 825(0)107--z, 855(0)227--z
-
Computed, 787(0)100--z
-
Computer, Brain-, 860(0)170--z
-
Computer, Human-, 860(0)177--z
-
Computer-Aided, 763(0)11--z, 763(0)131--z, 763(0)406--z, 763(0)440--z
-
computer-aided, 869(0)223--z
-
Computer-Checked, 789(0)161--z
-
Computer-Supported, 821(0)183--z, 876(0)152--z
-
Computerization, 763(0)11--z
-
Comyn-Wattiau, I., 823(0)438--z
-
Comyn-Wattiau, I., see Akoka, J.
-
CONCAT, 856(0)329--z
-
concatenated, 783(0)76--z, 793(0)223--240, 829(0)80--z
-
Concatenating, 817(0)831--z
-
Concatenation, 773(0)331--342, 872(0)407--z
-
Conceiving, 796(0)380--z
-
Concentration, Generalized-, 817(0)214--z
-
concept, 763(0)357--z, 766(0)1--z, 772(0)74--z, 772(0)127--z,
774(0)384--z, 782(0)298--z, 784(0)103--z, 784(0)287--z,
784(0)371--z, 784(0)407--z, 785(0)173--187, 791(0)111--z,
793(0)241--252, 810(0)13--z, 810(0)113--z, 810(0)200--z,
811(0)242--255, 823(0)475--z, 835(0)175--z, 838(0)347--z,
840(0)4--z, 840(0)42--z, 841(0)618--z, 847(0)97--z, 851(0)355--z,
851(0)539--z, 856(0)410--z, 858(0)189--z, 860(0)154--z, 861(0)51--z,
869(0)437--z, 872(0)484--z, 872(0)500--z, 873(0)154--z
-
conceptual, 766(0)1--z, 777(0)181--z, 811(0)149--171, 811(0)311--324,
823(0)85--z, 823(0)149--z, 823(0)283--z, 826(0)187--z, 835(0)11--z,
835(0)31--z, 835(0)69--z, 835(0)113--z, 835(0)144--z, 835(0)160--z,
835(0)214--z, 835(0)251--z, 835(0)275--z, 835(0)311--z,
856(0)290--z, 867(0)1--z
-
concerning, 766(0)1--z, 796(0)92--z, 812(0)183--196, 869(0)275--z
-
Conclusion, Multiple-, 844(0)3--z, 850(0)3--z
-
Conclusions, 767(0)1--z, 770(0)1--z
-
Concrete, 854(0)473--z, 876(0)56--z
-
concurrency, 779(0)123--130, 782(0)328--z, 787(0)202--z, 791(0)73--z,
791(0)122--z, 803(0)425--z, 803(0)530--z, 805(0)59--72, 813(0)18--z,
813(0)184--z, 817(0)648--z, 820(0)388--z, 832(0)78--z, 836(0)267--z,
836(0)385--z, 858(0)313--z, 863(0)605--z, 873(0)461--z
-
concurrency, True-, 789(0)405--z
-
concurrent, 750(0)341--z, 768(0)115--z, 776(0)280--z, 780(0)29--42,
782(0)151--z, 782(0)171--z, 789(0)16--z, 789(0)365--z, 789(0)766--z,
789(0)786--z, 789(0)886--z, 796(0)210--z, 798(0)348--360,
803(0)124--z, 803(0)347--z, 803(0)622--z, 815(0)1--z, 820(0)154--z,
821(0)81--z, 821(0)100--z, 827(0)382--z, 827(0)480--z, 836(0)65--z,
836(0)129--z, 836(0)242--z, 841(0)211--z, 844(0)1--z, 844(0)57--z,
845(0)50--z, 845(0)73--z, 850(0)1--z, 850(0)114--z, 850(0)133--z,
852(0)439--z, 854(0)124--z, 854(0)497--z, 854(0)545--z, 861(0)16--z,
873(0)291--z, 873(0)366--z, 874(0)123--z, 874(0)151--z,
874(0)162--z
-
condition, 814(0)816--820, 820(0)376--z, 849(0)361--z, 859(0)269--z
-
Conditional, 822(0)215--z, 845(0)269--z, 850(0)186--z, 861(0)237--z,
863(0)567--z
-
conditionals, 810(0)310--z, 869(0)458--z, 869(0)551--z
-
Condon, C., 851(0)75--z
-
Condon:1994:MLS, 851(0)75--z
-
Conference, 882(0)346--z
-
Conferencing, 868(0)216--z, 868(0)339--z, 882(0)322--z
-
Configurable, 867(0)374--z
-
configuration, 774(0)237--z, 821(0)513--z, 852(0)165--z, 852(0)453--z,
860(0)38--z
-
Confirmer, 839(0)61--74
-
conflict, 815(0)491--z, 859(0)424--z, 861(0)16--z, 861(0)397--z,
876(0)152--z
-
Conflict, Min-, 874(0)21--z
-
Conflict-free, 857(0)116--z
-
Confluence, 787(0)261--z, 813(0)278--z, 813(0)379--z, 850(0)186--z
-
Confluent, 845(0)89--z
-
Conforming, 853(0)131--z
-
Congestion, 882(0)256--z, 882(0)274--z
-
Congestion-Free, 853(0)176--z
-
congruence, 775(0)569--z, 786(0)357--z, 802(0)530--543, 836(0)331--350,
836(0)433--z, 864(0)147--z
-
Congruence, Cs-, 775(0)557--z
-
Congruity, 834(0)38--z
-
conjecture, 822(0)54--z
-
Conjugate, 797(0)184--z
-
Connect, Edge-, 834(0)217--z
-
Connected, 817(0)801--z
-
Connected, Mesh-, 854(0)820--z
-
connected, strongly-, 793(0)241--252
-
Connecting, 824(0)255--z, 876(0)202--z
-
connection, 796(0)261--z, 797(0)233--z, 805(0)121--136, 814(0)133--z,
817(0)226--z, 817(0)789--z, 838(0)152--z, 857(0)179--z,
879(0)41--50, 879(0)51--58, 879(0)89--99, 879(0)392--396,
879(0)425--433
-
Connectionist, 766(0)1--z, 847(0)114--z
-
Connectionist-Symbolic, 862(0)203--z
-
Connectivity, 786(0)143--z, 820(0)499--z, 834(0)478--z
-
Connectivity, Four-, 824(0)83--z
-
Connotation, 856(0)329--z
-
Conquer, Divide-and-, 796(0)446--z
-
Conrad, S., 785(0)158--172, 823(0)376--z
-
Conrad, S., see Gogolla, M.
-
Conrad:1994:CST, 785(0)158--172
-
Conradi, R., 772(0)38--z, 772(0)254--z, 811(0)2--13
-
Conradi, Reidar, 750(0)177--z
-
Conradi, Reidar, see Andersen, Rudolf
-
Conradi:1994:CMF, 772(0)254--z
-
Conradi:1994:MPM, 772(0)38--z
-
Conradi:1994:PSC, 811(0)2--13
-
Conscious, Dependence-, 782(0)129--z
-
Consel, C., 864(0)423--z
-
Consel:1994:FSA, 864(0)423--z
-
Consens, M. P., 779(0)45--58, 819(0)123--z, 819(0)267--z
-
Consens, M. P., see Blake, G. E.
-
Consens:1994:DDS, 779(0)45--58
-
Consens:1994:VQD, 819(0)123--z
-
Consensus, 807(0)15--30, 857(0)39--z, 857(0)101--z, 857(0)280--z
-
Consensusless, 849(0)114--z
-
consequence, 765(0)448--z, 851(0)75--z
-
Conservative, 814(0)296--z, 879(0)190--193
-
Conservativeness, 792(0)73--z
-
Conservativity, 806(0)79--107
-
consideration, 763(0)111--z, 763(0)406--z, 809(0)45--z, 875(0)335--z
-
Considering, 811(0)105--118
-
consistency, 800(0)411--420, 813(0)69--z, 814(0)133--z, 838(0)50--z,
845(0)201--z, 856(0)135--z, 874(0)40--z
-
Consistent, 774(0)265--z, 798(0)322--332, 811(0)80--93, 834(0)306--z,
852(0)491--z, 872(0)317--z
-
Console, L., 810(0)98--z, 869(0)255--z
-
Console, L., see Brusoni, V.
-
Console:1994:ARA, 810(0)98--z
-
Constable, R. L., 814(0)529--z
-
Constable:1994:ERA, 814(0)529--z
-
constant, 775(0)201--z, 786(0)374--z, 814(0)620--z, 854(0)773--z,
855(0)72--z, 855(0)391--z, 866(0)130--z, 877(0)290--z
-
Constant-Space, 855(0)183--z
-
Constant-Time, 805(0)169--180
-
Constantopoulos, P., 856(0)153--z
-
Constantopoulos, P., see Spanoudakis, G.
-
constrained, 800(0)262--273, 814(0)764--z, 838(0)167--z, 838(0)261--z,
855(0)307--z, 880(0)276--287
-
Constrained, Resource-, 854(0)640--z
-
COnstraint, 845(0)237--z
-
constraint, 772(0)167--z, 775(0)33--z, 775(0)151--z, 776(0)280--z,
778(0)136--z, 780(0)324--337, 784(0)257--z, 786(0)172--z,
787(0)1--z, 787(0)52--z, 787(0)187--z, 787(0)276--z, 788(0)74--z,
788(0)180--z, 788(0)195--z, 788(0)439--z, 789(0)96--z,
793(0)296--309, 796(0)236--z, 800(0)61--70, 800(0)281--294,
814(0)311--z, 814(0)530--z, 814(0)545--z, 817(0)589--z,
820(0)436--z, 821(0)260--z, 822(0)200--z, 823(0)46--z, 824(0)83--z,
825(0)89--z, 827(0)535--z, 832(0)1--z, 832(0)175--z, 834(0)616--z,
836(0)129--z, 844(0)1--z, 844(0)57--z, 844(0)230--z, 844(0)244--z,
844(0)261--z, 844(0)385--z, 844(0)455--z, 845(0)1--z, 845(0)50--z,
845(0)73--z, 845(0)89--z, 845(0)152--z, 845(0)154--z, 845(0)170--z,
845(0)183--z, 845(0)217--z, 845(0)302--z, 845(0)304--z,
845(0)336--z, 845(0)352--z, 849(0)57--z, 850(0)1--z, 854(0)737--z,
856(0)280--z, 856(0)591--z, 856(0)734--z, 866(0)46--z, 869(0)213--z,
872(0)365--z, 874(0)1--z, 874(0)10--z, 874(0)21--z, 874(0)40--z,
874(0)51--z, 874(0)63--z, 874(0)78--z, 874(0)95--z, 874(0)109--z,
874(0)123--z, 874(0)134--z, 874(0)173--z, 874(0)181--z,
874(0)193--z, 874(0)218--z, 874(0)266--z, 874(0)281--z,
874(0)299--z, 874(0)326--z, 874(0)350--z
-
Constraint, Multi-, 865(0)150--z
-
Constraint-Based, 845(0)285--z, 849(0)220--z, 864(0)78--z, 874(0)229--z,
874(0)312--z
-
Constraint-Generating, 874(0)205--z
-
Constraint-Programming, 858(0)248--z
-
Constructing, 841(0)515--z, 856(0)561--z, 872(0)516--z, 877(0)250--z,
879(0)147--168
-
construction, 765(0)181--z, 768(0)477--z, 770(0)1--z, 773(0)343--z,
785(0)144--157, 797(0)196--z, 814(0)802--z, 823(0)1--z, 824(0)49--z,
832(0)261--z, 834(0)541--z, 840(0)73--z, 841(0)453--z, 854(0)371--z,
855(0)48--z, 857(0)116--z, 862(0)282--z, 863(0)19--z, 864(0)61--z,
869(0)448--z
-
constructive, 784(0)242--z, 787(0)52--z, 793(0)1--23, 814(0)590--z,
841(0)87--z, 861(0)118--z, 872(0)161--z
-
Constructivity, 764(0)1--z
-
Constructor-Sharing, 787(0)261--z
-
Constructs, 789(0)121--z, 820(0)106--z, 854(0)5--z
-
Consumer, 833(0)99--z
-
Containment, 818(0)391--z, 862(0)212--z
-
Conte, G., 794(0)266--283
-
Conte, G., see Caselli, S.
-
Contejean, E., 845(0)136--z
-
Contejean, E., see Boudet, A.
-
Content, 778(0)203--z, 779(0)109--122, 779(0)259--272, 819(0)95--z
-
Contention, 783(0)476--z, 794(0)389--405, 794(0)406--424, 857(0)89--z
-
Context, 750(0)211--z, 784(0)49--z, 798(0)171--182, 807(0)54--63,
833(0)45--z, 856(0)329--z, 862(0)222--z, 868(0)216--z
-
Context-Free, 807(0)289--306, 812(0)124--130, 818(0)118--z,
855(0)460--z, 862(0)119--z, 862(0)212--z, 872(0)560--z
-
context-free, 812(0)232--250, 836(0)48--z, 836(0)81--z, 836(0)114--z
-
Context-Free, Coupled-, 820(0)412--z
-
Context-Free, Top-, 787(0)157--z
-
contexts, 766(0)1--z, 835(0)175--z, 835(0)185--z, 835(0)196--z,
856(0)400--z, 869(0)468--z
-
contextual, 776(0)280--z, 792(0)225--z, 800(0)137--142, 835(0)251--z,
861(0)260--z
-
continuation, 788(0)424--z, 788(0)439--z, 802(0)627--648, 817(0)661--z,
844(0)182--z
-
Continuing, 860(0)16--z
-
Continuous, 816(0)223--255, 846(0)54--z, 846(0)259--z, 849(0)292--z,
866(0)482--z, 874(0)40--z
-
contour, 800(0)25--34, 800(0)36--50, 800(0)371--382, 800(0)527--534
-
Contraction, 768(0)430--z, 861(0)396--z
-
Contradicting, 874(0)10--z
-
Contradiction, 798(0)11--23, 798(0)268--281, 808(0)91--z
-
contradictory, 869(0)245--z
-
contrapositives, 814(0)87--z
-
Contribution, 867(0)262--z
-
control, 763(0)83--z, 763(0)203--z, 763(0)440--z, 772(0)107--z,
779(0)123--130, 783(0)365--z, 783(0)376--z, 783(0)391--z,
784(0)64--z, 784(0)343--z, 786(0)98--z, 791(0)122--z, 796(0)32--z,
796(0)408--z, 800(0)3--14, 800(0)47--60, 800(0)123--130,
800(0)207--212, 802(0)122--142, 814(0)499--z, 815(0)2--z,
815(0)278--z, 817(0)765--z, 818(0)68--z, 821(0)299--z, 822(0)31--z,
833(0)3--z, 833(0)99--z, 844(0)182--z, 844(0)308--z, 844(0)447--z,
846(0)89--z, 846(0)114--z, 849(0)286--z, 856(0)359--z, 858(0)313--z,
860(0)51--z, 860(0)59--z, 860(0)120--z, 863(0)170--z, 865(0)195--z,
865(0)277--z, 866(0)16--z, 866(0)452--z, 868(0)167--z, 869(0)114--z,
873(0)547--z, 875(0)267--z, 875(0)447--z, 879(0)312--317,
882(0)274--z
-
control, Error-, 793(0)45--66
-
Control, Neuro-, 796(0)390--z
-
Control, Shared-, 860(0)136--z
-
Control-Flow, 789(0)224--z
-
Control-Parallel, 817(0)741--z
-
Controllable, 839(0)50--55
-
controlled, 809(0)121--z, 812(0)197--212, 863(0)641--z, 869(0)193--z,
875(0)431--z
-
Controlled, Path-, 776(0)1--z
-
Controller, 833(0)56--z, 833(0)133--z, 849(0)309--z, 852(0)39--z
-
Controlling, 774(0)356--z, 784(0)242--z, 856(0)370--z, 866(0)209--z,
866(0)239--z
-
Conventional, 874(0)10--z
-
Convergence, 791(0)33--z, 866(0)88--z, 866(0)119--z, 866(0)159--z
-
Convergency, 834(0)128--z, 841(0)211--z
-
convergent, 766(0)1--z, 769(0)1--z, 800(0)259--268
-
converging, 800(0)227--234
-
Conversational, 876(0)181--z
-
Conversion, Alpha-, 780(0)414--426, 806(0)313--332
-
Convex, 813(0)114--z, 824(0)73--z, 834(0)634--z, 855(0)254--z,
864(0)223--z, 879(0)374--382, 880(0)181--192, 880(0)193--204
-
Convexity, 805(0)169--180
-
convolution, 816(0)189--222
-
convolutional, 783(0)113--z, 783(0)529--z, 793(0)191--202, 829(0)80--z
-
Conway, D., 876(0)77--z
-
Conway:1994:AAD, 876(0)77--z
-
Cook, 775(0)415--z, 812(0)1--18
-
Cook, D., 847(0)77--z
-
Cook, D., see Woods, K.
-
Cook, T., 864(0)116--z
-
Cook, T., see Harcourt, E.
-
Cooper, D. B., 825(0)493--z
-
Cooper, D. B., see Keren, D.
-
Cooper, E. B. W., 876(0)181--z
-
Cooper, E. B. W., see Bellamy, R. K. E.
-
Cooper, M., 874(0)1--z
-
Cooper, M., see Jeavons, P.
-
Cooper, P. R., 800(0)535--542
-
Cooper, R. J., 860(0)164--z
-
Cooper:1994:ADF, 860(0)164--z
-
Cooper:1994:DWF, 800(0)535--542
-
Cooperate, 856(0)370--z
-
Cooperating, 811(0)2--13, 812(0)67--84, 812(0)325--343, 861(0)106--z
-
Cooperation, 882(0)89--z
-
Cooperation, Tele-, 868(0)328--z
-
Cooperative, 772(0)75--z, 797(0)70--z, 797(0)326--z, 811(0)53--65,
815(0)471--z, 819(0)3--z, 821(0)183--z, 822(0)189--z, 856(0)103--z,
856(0)114--z, 866(0)249--z, 868(0)353--z, 876(0)152--z
-
coordinate, 849(0)397--z
-
Coordinated, 772(0)128--z, 830(0)133--z, 830(0)164--z
-
Coordination, 791(0)73--z
-
Cope, M., 817(0)478--z
-
Cope, M., see Abramson, D.
-
Coping, 857(0)89--z
-
Coplanar, 825(0)473--z
-
Coppersmith, D., 809(0)56--z
-
Coppersmith, D., see Rogaway, P.
-
Coppersmith, Don, 773(0)22--39, 773(0)435--z, 839(0)294--307
-
Coppersmith:1994:ABP, 773(0)435--z
-
Coppersmith:1994:ACS, 839(0)294--307
-
Coppersmith:1994:SG, 773(0)22--39
-
Copying, 776(0)51--z, 844(0)88--z
-
Coq, 806(0)191--212, 806(0)291--312, 822(0)159--z
-
Coquand, C., 832(0)91--z
-
Coquand, T., 806(0)62--78, 880(0)60--76
-
Coquand:1994:IDT, 880(0)60--76
-
Coquand:1994:IOT, 806(0)62--78
-
Coquand:1994:SRM, 832(0)91--z
-
Coquide, J.-L., 820(0)436--z
-
Coquide, J.-L., see Caron, A.-C.
-
Corbellini, P., 858(0)359--z
-
Corbellini:1994:OOA, 858(0)359--z
-
Corby, O., 867(0)63--z
-
Corby, O., see Dieng, R.
-
Cordeiro, V. A. O., 873(0)306--z
-
Cordeiro:1994:MER, 873(0)306--z
-
Cordes, R., 868(0)363--z
-
Cordes, R., see Strack, R.
-
CORDIC, 849(0)397--z
-
Cordier, M.-O., 861(0)393--z
-
Cordier:1994:PTU, 861(0)393--z
-
Core-ML, 820(0)83--z
-
COREA, 817(0)611--z
-
Coreferent, 835(0)185--z
-
Cores, 834(0)600--z
-
Cori, R., 857(0)101--z
-
Cori:1994:EBC, 857(0)101--z
-
Corne, D., 865(0)250--z, 866(0)556--z
-
Corne, D., see Ross, P.
-
Corne:1994:FPE, 865(0)250--z
-
corners, 800(0)109--114
-
Corney, Diane, 782(0)137--z
-
Corney:1994:TTE, 782(0)137--z
-
Coronado, P., 869(0)1--z
-
Coronado, P., see Campbell, W. J.
-
Corporaal, Henk, 786(0)435--z
-
Corporaal, Henk, see Hoogerbrugge, Jan
-
Corpus, 862(0)260--z
-
Corradini, A., 776(0)86--z, 776(0)104--z, 776(0)119--z
-
Corradini, F., 820(0)154--z
-
Corradini:1994:AGD, 776(0)86--z
-
Corradini:1994:DLC, 820(0)154--z
-
Corradini:1994:JRA, 776(0)119--z
-
Corradini:1994:NSR, 776(0)104--z
-
Correa da Silva, F. S., 808(0)57--z
-
CorreadaSilva:1994:ARU, 808(0)57--z
-
Correct, 786(0)294--z, 829(0)53--z, 844(0)132--z, 863(0)228--z,
863(0)288--z, 863(0)336--z, 872(0)469--z
-
Correcting, 765(0)1--z
-
Correcting, Error-, 829(0)6--z
-
Correcting, Phase-, 783(0)208--z
-
correction, 800(0)411--420, 822(0)54--z
-
correctness, 779(0)231--244, 785(0)128--143, 786(0)218--z, 813(0)34--z,
817(0)741--z, 820(0)304--z, 863(0)19--z
-
Correlation, 765(0)181--z, 866(0)68--z
-
Corrente, G., 858(0)278--z
-
Corrente, G., see Papa, M. P.
-
correspondence, 800(0)137--142, 800(0)151--158, 802(0)587--602,
825(0)89--z, 825(0)473--z
-
Corsini, M.-M., 788(0)180--z
-
Corsini:1994:SMC, 788(0)180--z
-
Cortadella, J., 815(0)416--z
-
Cortadella, J., see Pastor, E.
-
Cosmadakis, S. S., 874(0)181--z
-
Cosmadakis, S. S., see Afrati, F.
-
Cosmo, R., Di, 820(0)462--z
-
Cosnard, M., 841(0)27--z
-
Cosnard:1994:NRC, 841(0)27--z
-
Cost, 774(0)13--z, 786(0)357--z, 796(0)40--z, 797(0)190--z,
798(0)152--170, 817(0)49--z, 820(0)47--z, 820(0)605--z,
834(0)155--z, 834(0)243--z, 849(0)259--z, 854(0)878--z, 864(0)1--z,
864(0)255--z, 866(0)130--z
-
Cost, Low-, 797(0)487--z
-
Cost-Sensitive, 784(0)383--z
-
Costa, E., 837(0)92--z
-
Costa, E., see Bento, C.
-
Costa, J. F., 785(0)337--350
-
Costa, J. F., see Sernadas, A.
-
Costantini, S., 838(0)400--z
-
Costantini:1994:EHC, 838(0)400--z
-
CoSy, 786(0)278--z
-
Cosy, 786(0)278--z
-
Cosynthesis, 849(0)251--z
-
Cottage, 860(0)246--z
-
Could, 855(0)10--z
-
Coulson, G., 846(0)54--z, 846(0)124--z, 868(0)266--z
-
Coulson, G., see Campbell, A., \see{Mauthe, A.
-
Coulson:1994:ECM, 846(0)54--z
-
Count, 844(0)102--z
-
Countable, 836(0)130--z
-
Counterexamples, 841(0)87--z
-
Counters, 817(0)805--z
-
counting, 805(0)95--100, 814(0)560--z, 834(0)652--z, 841(0)276--z,
855(0)354--z, 877(0)60--z
-
Coupled, 786(0)52--z, 866(0)514--z
-
Coupled, Database-, 856(0)703--z
-
Coupled, Tightly-, 853(0)215--z
-
Coupled-Context-Free, 820(0)412--z
-
Coupling, 786(0)52--z, 796(0)335--z, 858(0)189--z
-
Courcelle, B., 776(0)138--z
-
Courcelle:1994:RSG, 776(0)138--z
-
Courcoubetis, C., 836(0)160--z, 836(0)162--z
-
Courcoubetis, C., see Alur, R.
-
Courcoubetis:1994:TTG, 836(0)160--z
-
Cournier, A., 787(0)68--z
-
Cournier:1994:NLA, 787(0)68--z
-
Course, 750(0)117--z, 750(0)119--z, 750(0)151--z, 750(0)165--z,
750(0)177--z, 750(0)345--z, 750(0)359--z, 849(0)385--z
-
Cousin, B., 818(0)364--z
-
Cousin:1994:PIS, 818(0)364--z
-
Cousins, S. B., 810(0)296--z
-
Cousins, S. B., see Shoham, Y.
-
Couso, J. R., Sanchez-, 820(0)178--z
-
Couveignes, J.-M., 877(0)43--z, 880(0)12--23
-
Couveignes:1994:ICG, 880(0)12--23
-
Couveignes:1994:SAI, 877(0)43--z
-
Couvreur, J. M., 815(0)199--z
-
Couvreur:1994:NSI, 815(0)199--z
-
cover, 831(0)86--z, 834(0)110--z, 849(0)114--z, 869(0)478--z
-
Coverage, 783(0)541--z, 852(0)77--z, 852(0)178--z
-
covered, 815(0)358--z
-
Coverings, 829(0)97--z
-
Cowen, C. P., 849(0)312--z
-
Cowen:1994:PCM, 849(0)312--z
-
Coyle, Frank P., 750(0)543--z
-
Coyle:1994:MNI, 750(0)543--z
-
Coyne, J., 865(0)103--z
-
Coyne, M. R., 847(0)62--z
-
Coyne, M. R., see Baldwin, J. F.
-
Coyne, Robert F., 750(0)411--z
-
Coyne, Robert F., see Bruegge, Bernd
-
Coyne:1994:GAD, 865(0)103--z
-
CPM, 807(0)1--14, 807(0)15--30, 807(0)31--42, 807(0)43--53, 807(0)54--63,
807(0)64--74, 807(0)75--86, 807(0)87--101, 807(0)102--112,
807(0)113--124, 807(0)125--135, 807(0)136--145, 807(0)146--150,
807(0)151--163, 807(0)164--172, 807(0)173--183, 807(0)184--197,
807(0)198--212, 807(0)213--225, 807(0)226--239, 807(0)240--249,
807(0)250--258, 807(0)259--273, 807(0)274--288, 807(0)289--306,
807(0)307--325
-
CPS-Translation, 787(0)85--z
-
CPU, 868(0)92--z
-
CQL, 819(0)444--z
-
Crabtree, J., 802(0)603--626
-
Crabtree, J., see Bruce, K. B.
-
Craig, 813(0)329--z
-
Cramb, I., 796(0)422--z
-
Cramb:1994:CDA, 796(0)422--z
-
Cramer, R., 875(0)217--z
-
Cramer, R., see Boly, J.-P.
-
Cramer, Ronald, 839(0)174--187
-
Cramer, Ronald J. F., 765(0)329--z
-
Cramer:1994:IPW, 765(0)329--z
-
Cramer:1994:PPK, 839(0)174--187
-
CRANIUM, 853(0)266--z
-
Crashworthiness, 796(0)55--z
-
Craske, N. G., 823(0)137--z
-
Craske, N. G., see Roddick, J. F.
-
Cray, 797(0)150--z, 797(0)475--483, 853(0)281--z, 879(0)304--311,
879(0)416--424
-
Creating, 867(0)244--z
-
Creation, 851(0)17--z, 851(0)169--z, 851(0)333--z
-
Creativity, 837(0)3--z
-
credible, 869(0)46--z
-
Cremona, J. E., 877(0)134--z
-
Cremona:1994:CDM, 877(0)134--z
-
Crépeau, Claude, 773(0)319--z
-
Crepeau:1994:DSG, 773(0)319--z
-
Crescenzi, P., 880(0)330--341
-
Crescenzi:1994:ASP, 880(0)330--341
-
Crescenzo, G., Di, 773(0)73--z, 778(0)109--z
-
Crescenzo, Giovanni Di, 773(0)73--z--1, 839(0)150--163
-
Crescenzo, Giovanni Di, see Blundo, Carlo,
see Santis, Alfredo De
-
Cresti, Antonella, 773(0)110--z
-
Cresti, Antonella, see Blundo, Carlo
-
Creutzburg, R., 763(0)52--z
-
Creutzburg:1994:TEP, 763(0)52--z
-
Crew, 855(0)319--z
-
crisis, 814(0)1--z
-
Crispien, K., 860(0)144--z
-
Crispien:1994:USA, 860(0)144--z
-
Criteria, 818(0)27--z, 837(0)338--z, 847(0)62--z
-
Criteria, Multi-, 865(0)150--z
-
Criterion, 765(0)102--z, 774(0)356--z, 813(0)34--z
-
criterion, {Pe}-, 793(0)203--222
-
critic, 814(0)14--z, 866(0)482--z
-
critical, 783(0)334--z, 814(0)693--z, 841(0)556--z, 852(0)235--z,
863(0)511--z, 873(0)381--z, 879(0)89--99
-
Critical, Safety-, 849(0)135--z
-
Critical, Time-, 837(0)221--z
-
Croft, W. B., 779(0)365--378
-
Croft, W. B., see Brown, E. W.
-
Cromp, R. F., 869(0)1--z
-
Cromp, R. F., see Campbell, W. J.
-
Crone, L. G. C., 797(0)184--z
-
Crone:1994:PCG, 797(0)184--z
-
Crooks, P., 797(0)463--z
-
Crooks:1994:ADD, 797(0)463--z
-
Cross, 775(0)723--z, 825(0)107--z, 825(0)453--z
-
Cross, M., 797(0)241--z, 854(0)725--z
-
Cross, M., see Johnson, S. P.
-
Cross, S. E., 869(0)174--z
-
cross-fertilization, 788(0)180--z
-
Cross-Ratios, 825(0)47--z
-
Cross:1994:CBR, 869(0)174--z
-
Cross:1994:CSP, 797(0)241--z
-
Crossover, 866(0)209--z, 866(0)229--z
-
Crouzet, Y., 852(0)250--z
-
Crouzet, Y., see Thevenod-Fosse, P.
-
Crowcroft, J., 846(0)252--z
-
Crowcroft, J., see Wang, Z.
-
Crowley, J. L., 800(0)47--60
-
Crowley:1994:ICR, 800(0)47--60
-
Crowther, P., 779(0)393--406, 856(0)661--z
-
Crowther, P., see Goble, C.
-
Crummey, John M., Mellor-, 768(0)522--z
-
Crutchfield, J. P., 866(0)344--z
-
Crutchfield, J. P., see Das, R.
-
Cruz-Rivera, J., 853(0)86--z
-
Cruz-Rivera, J., see Wills, D. Scott
-
Cryptanalysis, 765(0)386--397, 765(0)440--z, 773(0)187--z, 773(0)212--z,
809(0)101--z, 809(0)121--z, 839(0)1--11, 839(0)12--16, 839(0)17--25,
839(0)26--39, 839(0)121--128, 839(0)318--331, 875(0)193--z
-
Cryptanalytic, 765(0)398--z
-
CRYPTO, 839(0)1--11, 839(0)12--16, 839(0)17--25, 839(0)26--39,
839(0)40--49, 839(0)50--55, 839(0)56--60, 839(0)61--74,
839(0)75--82, 839(0)83--94, 839(0)95--107, 839(0)108--113,
839(0)114--120, 839(0)121--128, 839(0)129--139, 839(0)140--149,
839(0)150--163, 839(0)164--173, 839(0)174--187, 839(0)188--201,
839(0)202--215, 839(0)216--233, 839(0)234--246, 839(0)247--256,
839(0)257--270, 839(0)271--281, 839(0)282--293, 839(0)294--307,
839(0)308--317, 839(0)318--331, 839(0)332--340, 839(0)341--358,
839(0)359--368, 839(0)369--382, 839(0)383--396, 839(0)397--410,
839(0)411--424, 839(0)425--438
-
Crypto-Chip, 839(0)108--113
-
Cryptographic, 773(0)278--z, 809(0)185--z, 812(0)307--316,
812(0)317--324, 839(0)56--60, 839(0)114--120, 839(0)202--215,
839(0)294--307
-
Cryptography, 765(0)55--z, 773(0)456--z, 839(0)216--233, 870-0-xi
-
Cryptologist, 765(0)142--z
-
cryptology, 839(0)1--11, 839(0)12--16, 839(0)17--25, 839(0)26--39,
839(0)40--49, 839(0)50--55, 839(0)56--60, 839(0)61--74,
839(0)75--82, 839(0)83--94, 839(0)95--107, 839(0)108--113,
839(0)114--120, 839(0)121--128, 839(0)129--139, 839(0)140--149,
839(0)150--163, 839(0)164--173, 839(0)174--187, 839(0)188--201,
839(0)202--215, 839(0)216--233, 839(0)234--246, 839(0)247--256,
839(0)257--270, 839(0)271--281, 839(0)282--293, 839(0)294--307,
839(0)308--317, 839(0)318--331, 839(0)332--340, 839(0)341--358,
839(0)359--368, 839(0)369--382, 839(0)383--396, 839(0)397--410,
839(0)411--424, 839(0)425--438
-
Cryptosystem, 765(0)50--z, 809(0)135--z, 834(0)678--z, 839(0)318--331,
839(0)359--368
-
Crystal, 796(0)281--z, 796(0)287--z
-
CS-2, 797(0)158--z
-
Cs-Congruence, 775(0)557--z
-
CSCW, 856(0)93--z
-
CSP, 817(0)757--760
-
Csuhaj-Varju, E., 812(0)67--84
-
Csuhaj-Varju:1994:CGS, 812(0)67--84
-
CTA, 868(0)280--z
-
CTL, 818(0)324--z
-
Cube, 852(0)546--z, 853(0)86--z
-
cubes, 813(0)353--z, 853(0)45--z
-
Cudd, P. A., 860(0)177--z
-
Cudd, P. A., see Cherry, A. D.
-
CUE, 867(0)178--z
-
Cuellar, J., 873(0)639--z
-
Cuellar, J. R., 774(0)223--z
-
Cuellar:1994:CDI, 873(0)639--z
-
Cuellar:1994:NDA, 774(0)223--z
-
cues, 800(0)377--388, 800(0)389--402
-
Cukier, M., 852(0)473--z
-
Cukier, M., see Kaaniche, M.
-
Culik, K., 812(0)85--96
-
Culik:1994:PPG, 812(0)85--96
-
Cultivating, 876(0)213--z
-
Culture, 750(0)527--z
-
Cumulative, 798(0)24--36
-
Cun, B., Le, 805(0)153--168
-
Cung, V.-D., 805(0)153--168
-
Cung:1994:EIP, 805(0)153--168
-
Cunningham, P., 837(0)234--z
-
Cunningham:1994:KER, 837(0)234--z
-
Cunto, W., 807(0)198--212
-
Cunto, W., see Baeza-Yates, R.
-
Cupit, J., 867(0)342--z
-
Cupit, J., see Major, N.
-
Cuppens, F., 875(0)375--z, 875(0)447--z
-
Cuppens, F., see Boulahia-Cuppens, N.
-
Cuppens, N., Boulahia-, 875(0)375--z
-
Cuppens:1994:IFC, 875(0)447--z
-
cure, 814(0)1--z
-
Curien, P.-L., 802(0)29--71
-
Curien:1994:SS, 802(0)29--71
-
Curing, 861(0)260--z
-
Curran, T., 851(0)419--z
-
Curran, T., see Newcombe, A.
-
current, 860(0)16--z, 869(0)233--z, 879(0)89--99
-
Curriculum, 750(0)251--z
-
curvature, 800(0)353--364, 855(0)254--z
-
curve, 765(0)40--z, 793(0)24--37, 800(0)71--82, 800(0)109--114,
800(0)187--192, 800(0)427--432, 800(0)427--438, 800(0)439--448,
825(0)11--z, 825(0)199--z, 825(0)277--z, 825(0)493--z, 834(0)297--z,
839(0)50--55, 855(0)215--z, 877(0)28--z, 877(0)59--z, 877(0)60--z,
877(0)221--z, 877(0)250--z, 880(0)1--11
-
Curved, 824(0)183--z, 825(0)317--z
-
Curzon, P., 859(0)177--z
-
Curzon:1994:TDC, 859(0)177--z
-
Cusick, Thomas W., 765(0)102--z
-
Cusick:1994:BFS, 765(0)102--z
-
Custom, 849(0)156--z, 849(0)312--z
-
Customising, 821(0)320--z
-
customize, 814(0)816--820
-
Cut, 775(0)769--z, 798(0)282--300, 820(0)487--z, 834(0)190--z,
834(0)550--z, 855(0)141--z
-
Cutting, 820(0)263--z, 856(0)214--z
-
cycle, 820(0)532--z, 834(0)110--z, 834(0)270--z, 855(0)354--z,
873(0)659--z, 877(0)43--z
-
Cyclic, 805(0)95--100, 817(0)387--z
-
Cygan, D., 783(0)428--z
-
Cygan:1994:RIA, 783(0)428--z
-
Cyre, W. R., 835(0)275--z
-
Cyre:1994:KVC, 835(0)275--z
-
Cyrluk, D., 818(0)247--z
-
Cyrluk:1994:GTL, 818(0)247--z
-
Cytron, Ron K., 768(0)461--z
-
Cytron:1994:ECN, 768(0)461--z
-
Czezowski, A., 797(0)215--z
-
Czezowski:1994:OMH, 797(0)215--z
-
Czumaj, A., 824(0)95--z
-
Czumaj:1994:PSA, 824(0)95--z
-
Czyzowicz, J., 824(0)107--z, 855(0)254--z
-
Czyzowicz, J., see Boissonnat, J.-D.
-
Czyzowicz:1994:STP, 824(0)107--z