Index file section S for lncs1992.bib
Last update: Fri Mar 23 02:19:00 MDT 2018
Return to index directory
S
-
S, 648(0)373--z
-
S:, MODULA-, 591(0)157--z
-
S-modification, 625(0)217--238
-
S4, 592(0)381--z
-
sa, 608(0)515--z
-
Sa, J., 635(0)106--z
-
Sa:1992:IFS, 635(0)106--z
-
Saake, G., 618(0)78--z
-
Saake:1992:VFI, 618(0)78--z
-
Saalmann, A., 635(0)223--z
-
Saalmann, A., see Gruhn, V.
-
Saaltink, Mark, 607(0)771--z
-
Saaltink, Mark, see Craigen, Dan
-
SAash, 635(0)18--z
-
Sacca, Domenico, 646(0)436--z
-
Sacca, Domenico, see Arni, Natraj
-
Sack, W., 608(0)225--z
-
Sack:1992:KBC, 608(0)225--z
-
Sadayappan, P., 589(0)186--z
-
Sadayappan, P., see Huang, C.-H.
-
Sadeh, Ilan, 601(0)147--z
-
Sadeh:1992:BPC, 601(0)147--z
-
Sadi, K., 620(0)418--z
-
Sadi:1992:PCS, 620(0)418--z
-
safe, 592(0)215--z, 625(0)33--z, 626(0)173--z, 631(0)172--z
-
Safety, 600(0)573--z, 652(0)342--z
-
Saglietti, F., 604(0)236--z
-
Saglietti:1992:STS, 604(0)236--z
-
Sahni, Sartaj, 644(0)241--z
-
Sahni, Sartaj, see Mehta, Dinesh P.
-
Sahtout, F., Karoui-, 634(0)799--z
-
Saidi, S., 631(0)158--z
-
Saidi:1992:CDT, 631(0)158--z
-
Sais, Lakhdar, 607(0)281--z
-
Sais, Lakhdar, see Benhamou, Belaid
-
Sakai, K., 572(0)197--z
-
Sakai, K., see Ohsuga, A.
-
Sakalauskaite, J., 620(0)430--z
-
Sakalauskaite, Jurate, 592(0)442--z
-
Sakalauskaite:1992:SCFa, 592(0)442--z
-
Sakalauskaite:1992:SCFb, 620(0)430--z
-
Salamet, P., Borla-, 605(0)825--z
-
Saleh, Hayssam, 612(0)195--z
-
Saleh:1992:CCM, 612(0)195--z
-
Sallaberry, C., 593(0)128--z
-
Sallaberry, C., see Andonoff, E.
-
Saltzer, J. H., 653(0)51--z
-
Saltzer:1992:TNL, 653(0)51--z
-
Salzer, Gernot, 624(0)409--z
-
Salzer:1992:UIS, 624(0)409--z
-
Sample, 627(0)61--z, 650(0)342--z
-
Samples, A. D., 637(0)315--z
-
Samples, A. Dain, 641(0)73--z
-
Samples:1992:CIA, 641(0)73--z
-
Samples:1992:GCC, 637(0)315--z
-
Sancassani, Mirko, 592(0)433--z
-
Sancassani, Mirko, see Russo, Francesco
-
Sanchez, M., 604(0)324--z
-
Sanchez, M., see Belanche, Ll.
-
Sancho, J. J., 602(0)238--z
-
Sancho, J. J., see Gonzalez, J. C.
-
Sandhu, Ravi S., 648(0)307--z
-
Sandhu:1992:PCS, 648(0)307--z
-
Sangiorgi, D., 623(0)685--z, 630(0)32--z
-
Sangiorgi, D., see Milner, R.
-
Sangiorgi:1992:PWB, 630(0)32--z
-
Sankoff, David, 644(0)118--z
-
Sankoff:1992:EDG, 644(0)118--z
-
Sannella, D., 623(0)656--z
-
Sannella:1992:TFD, 623(0)656--z
-
Santis, A., De, 623(0)28--z
-
Santoro, N., 570(0)105--z
-
Santoro, N., see Czyzowicz, J.
-
Sanz, F., 602(0)238--z
-
Sanz, F., see Gonzalez, J. C.
-
Saoudi, A., 654(0)195--z, 654(0)231--z, 654(0)240--z
-
Saoudi, A., see Laroche, P.
-
Saoudi:1992:OPA, 654(0)240--z
-
Saoudi:1992:PRM, 654(0)231--z
-
Saraiya, Yatin, 646(0)297--z
-
Saraiya, Yatin, see Feder, Tomas
-
Sarjakoski, Tapani, 639(0)328--z
-
Sarjakoski, Tapani, see Lindholm, Mikko
-
Sarkar, V., 589(0)328--z
-
Sarkar, V., see Ferrante, J.
-
Sarrafzadeh, M., 650(0)388--z, 650(0)449--z
-
Sarrafzadeh:1992:RTA, 650(0)449--z
-
Sarrafzadeh:1992:WKK, 650(0)388--z
-
Sasnett, R., 614(0)209--z
-
Sasnett, R., see Gutfreund, S.
-
Sassone, V., 630(0)286--z
-
Sassone, V., see Meseguer, J.
-
Sastry, A. V. S., 637(0)264--z
-
Sastry, A. V. S., see Duvvuru, S.
-
Satisfaction, 604(0)341--z, 604(0)401--z
-
Satisfiability, 620(0)241--z
-
satisfy, 606(0)1--z
-
satisfying, 606(0)1--z
-
Sattler-Klein, A., 650(0)299--z
-
Sattler-Klein, A., see Madlener, K.
-
Sattler-Klein, Andrea, 624(0)433--z
-
Sattler-Klein:1992:ICS, 624(0)433--z
-
Saving, Space-, 646(0)421--z
-
Sawamura, Hajime, 624(0)501--z
-
Sawamura:1992:EGR, 624(0)501--z
-
Sayah, A., 603(0)287--z
-
Sayah, A., see Bazalgette, G.
-
Scaffolding, 608(0)103--z
-
Scalability, 605(0)211--z
-
Scalable, 591(0)1--z, 618(0)96--z, 634(0)453--z, 637(0)134--z
-
Scalar, 589(0)137--z, 641(0)192--z
-
scale, 604(0)113--z, 639(0)305--z
-
Scales, D., 589(0)50--z
-
Scales:1992:HCJ, 589(0)50--z
-
Scaling-Up, 604(0)59--z
-
Scattered, 621(0)30--41
-
Scenarios, 604(0)491--z
-
scene, 594(0)186--z, 628(0)5--34
-
Schafer, M., 634(0)229--z
-
Schafer, W., 635(0)94--z, 635(0)105--z
-
Schafer, W., see Emmerich, W.
-
Schafer:1992:CDM, 634(0)229--z
-
Schafer:1992:I, 635(0)105--z
-
Schaffer, Alejandro A., 644(0)273--z
-
Schaffer, Alejandro A., see Idury, Ramana M.
-
Schapeler, G., 604(0)89--z
-
Schapeler, G., see Newstead, M. A.
-
Schaper, J., 602(0)453--z
-
Schaper, J., see Muhlhauser, M.
-
Scheduled, 589(0)283--z
-
Scheduler, 603(0)275--z
-
Scheduling, 591(0)208--z, 604(0)471--z, 605(0)809--z, 612(0)177--z,
614(0)120--z, 614(0)132--z, 617(0)208--z, 621(0)165--z,
634(0)601--z, 634(0)625--z, 634(0)653--z, 634(0)799--z, 636(0)36--z,
636(0)45--z, 641(0)207--z, 641(0)229--z
-
Scheer, A.- W., 645(0)139--z
-
Scheer:1992:EDM, 645(0)139--z
-
Schema, 593(0)445--z, 618(0)78--z, 618(0)209--z, 645(0)79--z,
645(0)97--z, 645(0)121--z
-
Schemata, 648(0)349--z
-
Schematic, 620(0)293--z
-
schematization, 632(0)115--z
-
scheme, 570(0)180--z, 589(0)283--z, 592(0)201--z, 605(0)431--z,
614(0)72--z, 620(0)418--z, 631(0)232--z, 632(0)213--z, 634(0)743--z,
634(0)811--z, 637(0)264--z, 652(0)203--z
-
schemes, 608(0)183--z, 637(0)43--z, 650(0)259--z
-
Schenke, M., 600(0)603--z
-
Schenke:1992:PST, 600(0)603--z
-
Schepers, J., 634(0)145--z
-
Schepers:1992:IPD, 634(0)145--z
-
Scherer, A., 611(0)185--z
-
Scherer, A., see Kirn, S.
-
Schewe, Klaus-Dieter, 646(0)341--z
-
Schewe:1992:IGC, 646(0)341--z
-
Schirra, Stefan, 594(0)25--z
-
Schirra, Stefan, see Fleischer, Rudolf
-
Schiwietz, Michael, 594(0)87--z, 594(0)104--z
-
Schiwietz, Michael, see Kriegel, Hans-Peter
-
Schlageter, G., 604(0)585--z, 611(0)185--z
-
Schlageter, G., see Becks, K.-H.,
see Kirn, S.
-
Schlenker, B., 622(0)175--z
-
Schlenker:1992:KAE, 622(0)175--z
-
Schlingloff, B.-H., 620(0)441--z
-
Schlingloff:1992:EPM, 620(0)441--z
-
Schmalhofer, F., 599(0)406--z, 622(0)3--z, 622(0)115--z
-
Schmalhofer:1992:IDC, 599(0)406--z
-
Schmalhofer:1992:RBK, 622(0)3--z
-
Schmalhofer:1992:RPH, 622(0)115--z
-
Schmeltz, Bernd, 594(0)204--z, 594(0)363--z
-
Schmeltz, Bernd, see Reischuk, Rudiger
-
Schmeltz:1992:LCS, 594(0)204--z
-
Schmerl, U. R., 626(0)316--z
-
Schmerl:1992:CEP, 626(0)316--z
-
Schmid, U., 623(0)223--z
-
Schmid:1992:ACL, 623(0)223--z
-
Schmidt, D., 604(0)294--z
-
Schmidt, G., 604(0)529--z
-
Schmidt, H.-W., 611(0)291--z
-
Schmidt, H.-W., see Karagiannis, D.
-
Schmidt, Jeanette P., 644(0)109--z
-
Schmidt, Jeanette P., see Fischetti, Vincent A.
-
Schmidt, Joachim W., 646(0)341--z
-
Schmidt, Joachim W., see Schewe, Klaus-Dieter
-
Schmidt:1992:KAT, 604(0)529--z
-
Schmidt:1992:VMK, 604(0)294--z
-
Schneider, F. B., 600(0)618--z
-
Schneider, J., 604(0)391--z
-
Schneider, J., see Kirn, S.
-
Schneider, Klaus, 607(0)766--z
-
Schneider, Ralf, 594(0)70--z, 594(0)87--z
-
Schneider, Ralf, see Kriegel, Hans-Peter
-
Schneider, S., 600(0)640--z, 630(0)355--z
-
Schneider, S., see Davies, J.
-
Schneider:1992:FP, 607(0)766--z
-
Schneider:1992:PTP, 600(0)618--z
-
Schneider:1992:TCT, 600(0)640--z
-
Schnekenburger, T., 634(0)689--z
-
Schnekenburger, Th., 591(0)115--z
-
Schnekenburger, Th., see Weininger, A.
-
Schnekenburger:1992:PTA, 634(0)689--z
-
Schnell, J.-P., 605(0)963--z
-
Schnell, J.-P., see de Beaucoudrey, N.
-
Schnepf, U., 604(0)195--z
-
Schnepf:1992:TGM, 604(0)195--z
-
Schoen, T., 634(0)689--z
-
Schoen, T., see Schnekenburger, T.
-
Scholl, M. H., 645(0)299--z
-
Scholl, M. H., see Tresch, M.
-
Schoning, U., 623(0)162--z
-
Schoning, U., see Arvind, V.
-
School, 608(0)1--z
-
Schrefl, M., 645(0)41--z
-
Schrefl, M., see Kappel, G.
-
Schreiber, G., 599(0)95--z
-
Schreiber:1992:DPS, 599(0)95--z
-
Schreye, D., De, 631(0)296--z, 649(0)70--z, 649(0)192--z
-
Schrijver, A., 621(0)245--z
-
Schrijver, A., see McDiarmid, C.
-
Schroder, O., 608(0)294--z
-
Schroder, O., see Mobus, C.
-
Schroeder, Bernd S. W., 598(0)492--z
-
Schroeder, Bernd S. W., see Melton, Austin
-
Schroeder-Heister, Peter, 619(0)146--z
-
Schroeder-Heister:1992:CEL, 619(0)146--z
-
Schrott, A., 604(0)381--z
-
Schrott:1992:CMC, 604(0)381--z
-
Schuerman, Kees, 624(0)469--z
-
Schuerman, Kees, see Dorochevsky, Michel
-
Schuierer, Sven, 594(0)148--z
-
Schuierer, Sven, see Nilsson, Bengt J.
-
Schuler, R., 652(0)128--z
-
Schuler:1992:SAC, 652(0)128--z
-
Schulten, K., 591(0)391--z
-
Schulten:1992:CBM, 591(0)391--z
-
Schulz, K. U., 572(0)85--z
-
Schulz, Klaus U., 607(0)50--z
-
Schulz, Klaus U., see Baader, Franz
-
Schulz, W., 614(0)33--z
-
Schulz, W., see Hehmann, D.
-
Schulz:1992:MAW, 572(0)85--z
-
Schumacher, Christian, 619(0)23--z
-
Schumacher:1992:LM, 619(0)23--z
-
Schumann, Johann M. Ph., 607(0)740--z
-
Schumann:1992:KPT, 607(0)740--z
-
Schurr, A., 570(0)48--z
-
Schurr:1992:NCS, 570(0)48--z
-
Schuster, Assaf, 601(0)79--z
-
Schuster, Assaf, see Yosi, Ben-Asher
-
Schuster, G., 591(0)412--z
-
Schuster, G., see Breitenecker, F.
-
Schutt, T., 614(0)33--z
-
Schutt, T., see Hehmann, D.
-
Schutz, B., 634(0)789--z
-
Schutz:1992:PAV, 634(0)789--z
-
Schwarz, B. B., 608(0)286--z
-
Schwarz:1992:BMC, 608(0)286--z
-
Schwehm, M., 634(0)229--z
-
Schwehm, M., see Schafer, M.
-
Schweiger, J., 599(0)191--z
-
Schweiger:1992:GCE, 599(0)191--z
-
Schwichtenberg, H., 626(0)326--z
-
Schwichtenberg:1992:MCP, 626(0)326--z
-
Schwiegelshohn, U., 634(0)625--z
-
Schwiegelshohn, U., see Gasperoni, F.
-
Schwing, J. L., 634(0)589--z
-
Schwing, J. L., see Olariu, S.
-
science, 608(0)11--z, 622(0)161--z, 622(0)183--z, 623(0)450--z,
640(0)245--z, 640(0)257--z, 640(0)270--z, 640(0)415--z, 653(0)3--z,
653(0)105--z, 653(0)205--z
-
Scientific, 635(0)245--z, 641(0)312--z
-
Scientists, 622(0)190--z
-
scope, 609(0)1--z
-
Scoping, 641(0)66--z
-
Scott, Curtis M., 640(0)23--z
-
Scott, Curtis M., see Garlan, David
-
Screen, 602(0)405--z, 602(0)417--z
-
SDEs, 593(0)394--z
-
Sealed, 631(0)428--z
-
search, 592(0)338--z, 594(0)270--z, 604(0)651--z, 607(0)461--z,
607(0)522--z, 621(0)151--z, 624(0)96--z, 624(0)131--z, 628(0)5--34,
628(0)35--44, 628(0)45--50, 628(0)88--111, 628(0)144--162,
642(0)294--z, 650(0)88--z
-
Searching, 621(0)317--z, 629(0)1--z, 634(0)551--z, 644(0)15--z,
644(0)41--z, 650(0)51--z, 650(0)188--z, 650(0)332--z
-
Sebel, Hugo J., 603(0)47--z
-
Sebel, Hugo J., see Duell, Rob
-
Sebillot, P., 592(0)452--z
-
Sebillot:1992:LBL, 592(0)452--z
-
Sebrechts, M. M., 608(0)559--z
-
Sebrechts:1992:TTE, 608(0)559--z
-
second, 589(0)99--z, 608(0)260--z, 608(0)360--z, 617(0)373--z,
648(0)411--z
-
second-order, 570(0)13--z
-
SECReTS, 636(0)91--z
-
Secure, 646(0)391--z, 648(0)329--z, 648(0)349--z
-
Security, 648(0)3--z, 648(0)103--z, 648(0)125--z, 648(0)349--z,
648(0)373--z
-
See-Mong, Tan, 653(0)175--z
-
See-Mong, Tan, see Sethi, R.
-
Segers, J., 630(0)77--z
-
Segers, J., see Gerth, R.
-
Segment, 623(0)427--z, 650(0)378--z, 652(0)80--z
-
segmentation, 628(0)112--122
-
Seibert, S., 626(0)329--z
-
Seibert:1992:QHW, 626(0)329--z
-
Seidel, F., 604(0)109--z
-
Seidel, F., see Becks, K.-H.
-
Seidel, R., 623(0)427--z
-
Seidel, R., see Matousek, J.
-
Seising, R., 604(0)304--z
-
Seising, R., see Lehmann, F.
-
Seitz, C. L., 653(0)69--z
-
Seitz:1992:MCE, 653(0)69--z
-
Sekar, R. C., 607(0)618--z, 623(0)247--z
-
Sekar:1992:APM, 623(0)247--z
-
Sekar:1992:PEF, 607(0)618--z
-
Seki, Hirohisa, 624(0)1--z
-
Seki, Hirohisa, see Przymusinska, Halina
-
selected, 594(0)25--z, 622(0)225--z, 628(0)51--66
-
Selecting, 604(0)391--z
-
Selection, 605(0)635--z, 611(0)291--z, 624(0)273--z, 650(0)165--z,
652(0)380--z
-
Selective, 650(0)439--z
-
Selector, 641(0)163--z
-
Self, J. A., 608(0)651--z
-
Self, J. A., see Dillenbourg, P.
-
Self-Adjusting, 602(0)343--z, 650(0)88--z
-
self-diagnosis, 628(0)123--143
-
Self-Improving, 608(0)625--z
-
Self-Organizing, 634(0)775--z, 654(0)32--z
-
Self-Study, 599(0)353--z
-
Selfspell, 602(0)503--z
-
Selicato, F., 639(0)379--z
-
Selicato, F., see Barbanente, A.
-
Sellers, Peter H., 644(0)109--z
-
Sellers, Peter H., see Fischetti, Vincent A.
-
Sellis, Timos, 639(0)153--z
-
Sellis, Timos, see Papadias, Dimitris
-
Semantemes, 627(0)155--z
-
Semantic, 598(0)102--z, 607(0)385--z, 607(0)507--z, 612(0)99--z,
627(0)75--z, 627(0)87--z, 627(0)185--z, 627(0)235--z, 630(0)207--z,
634(0)647--z, 645(0)97--z, 646(0)376--z
-
Semantic, Lexical-, 627(0)21--z
-
Semantically, 607(0)677--z
-
Semantically-Based, 627(0)87--z
-
semantics, 592(0)13--z, 592(0)27--z, 592(0)140--z, 592(0)152--z,
592(0)177--z, 593(0)463--z, 596(0)299--z, 598(0)54--z, 598(0)193--z,
600(0)209--z, 600(0)291--z, 605(0)415--z, 605(0)911--z, 609(0)89--z,
609(0)179--z, 612(0)21--z, 612(0)53--z, 612(0)81--z, 612(0)141--z,
613(0)1--z, 613(0)22--z, 613(0)33--z, 619(0)80--z, 619(0)104--z,
623(0)499--z, 623(0)533--z, 623(0)595--z, 624(0)1--z, 624(0)297--z,
624(0)309--z, 624(0)320--z, 625(0)9--32, 625(0)33--z,
625(0)131--182, 625(0)217--238, 626(0)134--z, 626(0)293--z,
626(0)306--z, 627(0)5--z, 627(0)39--z, 627(0)185--z, 627(0)255--z,
627(0)269--z, 629(0)275--z, 629(0)401--z, 629(0)451--z,
629(0)463--z, 630(0)286--z, 630(0)550--z, 631(0)87--z, 631(0)477--z,
632(0)84--z, 632(0)100--z, 632(0)276--z, 632(0)384--z, 633(0)232--z,
633(0)252--z, 633(0)339--z, 634(0)491--z, 641(0)95--z, 646(0)21--z,
646(0)155--z, 646(0)261--z, 649(0)192--z, 649(0)220--z,
649(0)235--z
-
Semi-Commutations, 623(0)113--z, 629(0)412--z
-
Semi-Strict, 646(0)261--z
-
Semialgebraic, 629(0)1--z
-
Semicomputable, 613(0)179--z
-
semigroup, 572(0)210--z, 629(0)421--z
-
Seminar, K. B., 602(0)568--z
-
Seminar:1992:TSE, 602(0)568--z
-
Semiring, 623(0)101--z
-
semiwords, 625(0)131--182
-
Sen, R. K., 634(0)813--z
-
Sen, R. K., see Datta, A. K.
-
Sen, S., 621(0)212--z
-
Sen:1992:FCS, 621(0)212--z
-
Sense, 599(0)55--z, 627(0)121--z, 627(0)155--z
-
Sense, Common-, 604(0)25--z
-
Sensible, 649(0)192--z
-
Sensing, 653(0)219--z
-
Sensitive, {C}-, 652(0)104--z
-
Sensitive, Context-, 623(0)77--z
-
Sensitivity, Context-, 654(0)195--z
-
Sensor, 639(0)368--z
-
Sentential, 627(0)219--z
-
Separating, 648(0)77--z
-
Separation, 623(0)174--z, 642(0)129--z
-
separator, 570(0)159--z, 650(0)51--z
-
SEPIA, 624(0)490--z
-
sequence, 621(0)326--z, 634(0)539--z, 634(0)779--z
-
Sequencing, 608(0)499--z
-
Sequent, 592(0)442--z, 607(0)522--z, 620(0)430--z
-
Sequential, 605(0)329--z, 605(0)977--z, 620(0)370--z, 620(0)382--z,
633(0)36--z, 637(0)82--z, 652(0)265--z
-
Sequentialash, 654(0)305--z
-
Sequentiality, 607(0)603--z
-
Serafini, L., 649(0)235--z
-
Serafini, L., see Giunchiglia, F.
-
Serazzi, G., 591(0)208--z
-
Serazzi, G., see Tripathi, S. K.
-
Sergent, T., Le, 637(0)179--z
-
Sergot, Marek, 648(0)103--z
-
Sergot, Marek, see Jones, Andrew J. I.
-
Serial, 597(0)67--82, 634(0)271--z, 634(0)411--z, 644(0)148--z
-
Serialisation, 605(0)975--z, 632(0)322--z
-
series, 604(0)461--z, 607(0)325--z, 623(0)101--z
-
Series-Parallel, 621(0)272--z
-
Sernadas, A., 629(0)200--z
-
Sernadas, A., see Costa, J. F.
-
Sernadas, C., 629(0)200--z
-
Sernadas, C., see Costa, J. F.
-
Serra, P., 604(0)324--z
-
Serra, P., see Belanche, Ll.
-
Serrano, J., Gutierrez-, 608(0)661--z
-
Servers, 591(0)201--z
-
Service, 614(0)171--z
-
Session, 614(0)217--z, 640(0)9--z, 640(0)63--z, 640(0)115--z,
640(0)119--z, 640(0)157--z, 640(0)161--z, 640(0)165--z,
640(0)245--z, 640(0)285--z, 640(0)299--z, 640(0)313--z,
640(0)349--z, 640(0)413--z
-
Sestoft, P., 631(0)54--z
-
Sestoft, P., see Gomard, C. K.
-
set, 570(0)126--z, 572(0)247--z, 594(0)204--z, 597-0-viii, 598(0)193--z,
598(0)272--z, 603(0)214--z, 603(0)300--z, 604(0)556--z,
607(0)163--z, 607(0)431--z, 613(0)179--z, 620(0)258--z,
621(0)178--z, 621(0)326--z, 623(0)53--z, 623(0)89--z, 623(0)162--z,
624(0)409--z, 626(0)96--z, 629(0)1--z, 629(0)392--z, 629(0)504--z,
636(0)242--z, 644(0)227--z, 646(0)326--z, 650(0)439--z, 652(0)92--z,
652(0)140--z, 653(0)301--z, 654(0)274--z
-
Set-Associativity, 605(0)751--z
-
Set-Based, Characteristic-, 591(0)338--z
-
Set-Term, 646(0)436--z
-
Sethi, R., 653(0)175--z
-
Sethi:1992:CSV, 653(0)175--z
-
Sets-of-Support, 624(0)238--z
-
Setting, 607(0)355--z
-
Seviora, R. E., 604(0)690--z
-
Seviora, R. E., see Malhotra, P.
-
Seward, J., 637(0)200--z
-
Seward:1992:GGC, 637(0)200--z
-
Shadbolt, N., 599(0)112--z, 622(0)39--z
-
Shadbolt, N., see van Heijst, G.
-
Shadbolt:1992:FFF, 622(0)39--z
-
Shafarenko, A. V., 634(0)509--z
-
Shafarenko, A. V., see Muchnick, V. B.
-
Shahmehri, N., 631(0)370--z
-
Shahmehri, N., see Kamkar, M.
-
Shallit, J., 623(0)89--z, 629(0)494--z
-
Shallit, J., see Szilard, A.
-
Shallit:1992:NSL, 623(0)89--z
-
Shallow, 627(0)255--z
-
Shamir, E., 623(0)308--z
-
Shamir, E., see Broder, A. Z.
-
Shamir, Ron, 601(0)32--z
-
Shamir, Ron, see Golumbic, Martin Charles
-
Shan, Gao, Xiao-, 607(0)20--z
-
Shang-Ching, Chou, 607(0)20--z, 607(0)686--z
-
Shang-Ching:1992:GTP, 607(0)686--z
-
Shang-Ching:1992:PGS, 607(0)20--z
-
Shankar, N., 607(0)522--z, 607(0)748--z
-
Shankar, N., see Owre, S.
-
Shankar:1992:PSI, 607(0)522--z
-
shape, 654(0)159--z
-
Shaped, Funnel-, 650(0)219--z
-
Shapiro, E., 630(0)486--z
-
Shapiro, M., 637(0)116--z
-
Shapiro, M., see Plainfosse, D.
-
Shapiro:1992:EAC, 630(0)486--z
-
Shared, 591(0)1--z, 594(0)250--269, 605(0)295--z, 605(0)751--z,
624(0)261--z, 634(0)121--z, 634(0)429--z, 634(0)441--z,
634(0)453--z, 634(0)701--z, 634(0)785--z, 637(0)165--z,
637(0)179--z
-
Shared-Memory, 591(0)426--z
-
sharing, 632(0)128--z, 652(0)203--z
-
Sharma, Arun, 642(0)108--z
-
Sharma, Arun, see Baliga, Ganesh
-
Shasha, Dennis, 644(0)148--z
-
Shasha, Dennis, see Kaizhong, Zhang
-
Shave, M. J. R., 599(0)250--z
-
Shave, M. J. R., see Nwana, H. S.
-
Shavit, Nir, 601(0)171--z
-
Shavit, Nir, see Gawlick, Rainer
-
Shaw, M. L. G., 593(0)208--z, 622(0)194--z
-
Shaw, M. L. G., see Woodward, J. B.
-
Shaw, Mary, 640(0)23--z
-
Shaw, Mary, see Garlan, David
-
Shaw:1992:SKE, 593(0)208--z
-
Shawe-Taylor, John, 644(0)41--z
-
Shawe-Taylor, John, see Jong, Yong Kim
-
Sheaf, 612(0)81--z
-
Sheard, Tim, 607(0)148--z
-
Sheard, Tim, see Fegaras, Leonidas
-
Sheffler, John D., 603(0)20--z
-
Sheffler, John D., see Anderson, John A.
-
shell, 593(0)546--z, 599(0)37--z, 602(0)592--z, 608(0)523--z,
608(0)601--z
-
Shell, ITS-, 602(0)581--z
-
Shell, Strong-Problem-Solving-, 599(0)75--z
-
Shende, Anil M., 642(0)1--z
-
Shende, Anil M., see Case, John
-
Sheng, O. Liu R., 645(0)178--z
-
Sheng, O. Liu R., see Garcia, H.-M. Chen
-
Shepard, Terry, 640(0)44--z
-
Shepard:1992:TRD, 640(0)44--z
-
Shepherd, B., 621(0)245--z
-
Shepherd, B., see McDiarmid, C.
-
Shepherd, D., 614(0)45--z
-
Shepherd, D., see Coulson, G.
-
Sherlock, 602(0)343--z
-
Sheu, M.-J., 623(0)174--z
-
Sheu, R.-Y., 611(0)271--z
-
Sheu, R.-Y., see Tsai, J. J.-P.
-
Sheu:1992:LHH, 623(0)174--z
-
Shibayama, Etsuya, 612(0)99--z
-
Shibayama:1992:SLO, 612(0)99--z
-
Shift, 602(0)34--z, 627(0)87--z, 634(0)181--z
-
Shifting, 622(0)183--z
-
Shih, T., 605(0)381--z
-
Shih, T., see Lin, F.
-
Shilov, N. V., 620(0)452--z
-
Shilov:1992:PDL, 620(0)452--z
-
Shim, L., 602(0)441--z
-
Shim, L., see Michael, J.
-
Shin, S. Y., 650(0)219--z
-
Shin, S. Y., see Choi, S. H.
-
Shiper, A., 634(0)55--z
-
Shiper, A., see Leu, E.
-
Shneiderman, B., 602(0)39--z
-
Shneiderman:1992:ECE, 602(0)39--z
-
short, 570(0)239--z, 609(0)292--z
-
Shortening, 624(0)148--z
-
shortest, 570(0)187--z, 570(0)209--z
-
Shoudai, T., 570(0)126--z
-
Shoudai:1992:UMI, 570(0)126--z
-
should, 608(0)372--z
-
Shrinking, 605(0)449--z
-
Shteiman, K., 634(0)479--z
-
Shteiman:1992:EAL, 634(0)479--z
-
shuffle, 629(0)246--z
-
Shuffle-Exchange, 634(0)49--z
-
Shukhman, B., 634(0)779--z
-
Shukhman:1992:PGS, 634(0)779--z
-
Shult, T. J., 622(0)139--z
-
Shult, T. J., see Reimann, P.
-
SHUNYATA, 607(0)681--z
-
Shvachko, Konstantin V., 646(0)421--z
-
Shvachko, Konstantin V., see Pinchuk, Anatoly P.
-
Shyamasundar, R. K., 626(0)213--z
-
Shyamasundar, R. K., see Rao, M. R. K. Krishna
-
Sibeyn, J. F., 621(0)118--z
-
Sibeyn, J. F., see Kaufmann, M.
-
SICStus, 624(0)493--z
-
Sided, 3-, 650(0)188--z
-
Sideri, Martha, 646(0)276--z
-
Sideri, Martha, see Papadimitriou, Christos H.
-
Sierra, C., 604(0)185--z
-
Sierra, C., see Vila, Ll.
-
Sifakis, J., 600(0)526--z, 600(0)549--z
-
Sifakis, J., see Nicollin, X.
-
Sigma, 640(0)360--z
-
signal, 604(0)461--z, 628(0)51--66, 628(0)181--184, 634(0)241--z,
653(0)331--z
-
Silberg, Steen, 603(0)197--z
-
Silberg:1992:CRV, 603(0)197--z
-
Silent, 630(0)421--z
-
Silva, M., 609(0)352--z
-
Silva, M., see Campos, J.
-
Silver, B., 611(0)169--z
-
Silver, B., see Vittal, J.
-
Silvestri, R., 623(0)162--z
-
Silvestri, R., see Arvind, V.
-
Simanchuk, A., 634(0)847--z
-
Simanchuk, A., see Anisimov, N.
-
Simanovskis, Raimonds, 642(0)99--z
-
Simanovskis, Raimonds, see Apsitis, Kalvis
-
SIMCDL, 605(0)977--z
-
SIMD, 591(0)127--z, 592(0)232--z, 605(0)147--z, 634(0)169--z,
637(0)490--z
-
Sime, J.-A., 608(0)116--z
-
Sime:1992:LEB, 608(0)116--z
-
similarity, 621(0)326--z, 628(0)5--34, 645(0)97--z
-
Simon, E., 611(0)9--z
-
Simon, E., see Danforth, S.
-
Simon, Eric, 646(0)155--z
-
Simon, Eric, see Fabret, Françoise
-
Simon, Klaus, 594(0)25--z
-
Simon, Klaus, see Fleischer, Rudolf
-
Simone, C., 610-0-xii
-
Simone, C., see Pomello, L.
-
Simonnet, P., 608(0)335--z
-
Simonnet, P., see Baron, M.
-
Simonot, Marianne, 624(0)484--z
-
Simonot, Marianne, see Manoury, Pascal
-
SIMPLE, 589(0)84--z
-
simple, 592(0)349--z, 597(0)67--82, 597(0)83--96, 598(0)77--z,
601(0)171--z, 606(0)1--z, 608(0)405--z, 613(0)228--z, 629(0)451--z,
634(0)625--z, 642(0)294--z, 650(0)459--z
-
simplex, 623(0)439--z
-
Simplex-Method, 634(0)789--z
-
Simplifications, 643(0)71--77
-
Simplified, 621(0)212--z, 633(0)25--z
-
Simplifying, 645(0)62--z
-
Simpson, A., 649(0)235--z
-
Simpson, A., see Giunchiglia, F.
-
Simpson, A. J., 602(0)516--z
-
Simpson, A. J., see Nicolson, R. I.
-
simulated, 597(0)97--110, 628(0)5--34
-
Simulating, 605(0)977--z
-
Simulation, 591(0)412--z, 594(0)250--269, 600(0)397--z, 602(0)356--z,
603(0)182--z, 604(0)626--z, 608(0)111--z, 617(0)431--z,
630(0)518--z, 634(0)707--z, 634(0)779--z, 634(0)797--z,
634(0)819--z
-
Simulator, 634(0)665--z
-
Simultaneous, 598(0)207--z
-
Simvonis, A., 591(0)226--z
-
Simvonis, A., see Makedon, F.
-
Since, 620(0)382--z
-
Sindre, Guttorm, 640(0)99--z
-
Sindre:1992:SRE, 640(0)99--z
-
Singh, A. K., 605(0)21--z
-
Singh, A. K., see Liu, Y.
-
Singh, G., 605(0)927--z
-
Singh:1992:FPC, 605(0)927--z
-
Single, 624(0)131--z
-
Sipkova, V., 591(0)127--z
-
Sipkova, V., see Brezany, P.
-
Siromoney, R., 654(0)247--z, 654(0)260--z
-
Siromoney, Rani, 642(0)305--z
-
Siromoney, Rani, see Takada, Yuji
-
Siromoney:1992:CDS, 654(0)260--z
-
Siromoney:1992:LRP, 654(0)247--z
-
Siron, P., 634(0)43--z
-
Siron, P., see David, V.
-
Situation, 602(0)258--z
-
Sivakumar, G., 607(0)589--z
-
Sivakumar, G., see Dershowitz, Nachum
-
Sivakumar, R., 605(0)973--z
-
Sivakumar, R., see Dimopoulos, N. J.
-
Six, 640(0)360--z
-
Six, Hans-Werner, 594(0)214--z
-
Six:1992:SAS, 594(0)214--z
-
Size, 621(0)192--z, 623(0)53--z, 631(0)296--z, 641(0)16--z, 644(0)227--z,
650(0)165--z, 650(0)469--z
-
Size, Leaf-, 654(0)144--z
-
Sjodin, P., 630(0)518--z
-
Sjodin, P., see Parrow, J.
-
Skeletal, 604(0)284--z, 622(0)125--z
-
Skeleton, 611(0)204--z
-
Skelton, C. J., 605(0)3--z
-
Skelton:1992:EPC, 605(0)3--z
-
Skou, A., 630(0)456--z
-
Skou, A., see Larsen, K. G.
-
Slaney, John, 607(0)731--z
-
Slaney, John, see Lusk, Ewing L.
-
Sleat, P., 593(0)494--z
-
Sleat, P., see Osmon, P.
-
Slicing, 631(0)370--z
-
Slowinski, R., 604(0)556--z
-
Slowinski, R., see Stefanowski, J.
-
Slutzki, G., 621(0)304--z
-
Slutzki, G., see Fernandez-Baca, D.
-
Smaill, Alan, 607(0)310--z, 624(0)214--z
-
Smaill, Alan, see Baker, Siani,
see Hesketh, Jane
-
Small, 621(0)42--z, 629(0)82--z, 629(0)227--z, 629(0)327--z, 641(0)16--z,
643(0)97--100, 643(0)107--109, 650(0)299--z, 650(0)469--z,
652(0)279--z
-
Smid, M., 621(0)388--z
-
Smid, M., see Lenhof, H.-P.
-
Smit, R. A., 611(0)148--z
-
Smit, R. A., see Marinos, L.
-
Smith, Bruce T., 596(0)345--z
-
Smith, Bruce T., see Reed, David W.
-
Smith, C. H., 621(0)19--z
-
Smith, C. H., see Freivalds, R.
-
Smith, D., 602(0)16--z
-
Smith, D., see Moore, L.
-
Smith, F. D., 614(0)10--z
-
Smith, F. D., see Jeffay, K.
-
Smith, P. M., Melliar-, 652(0)51--z
-
Smith, S., 630(0)565--z
-
Smith, S., see Agha, G.
-
Smith, Scott F., 598(0)54--z, 613(0)33--z
-
Smith:1992:ODS, 598(0)54--z
-
Smith:1992:RSC, 613(0)33--z
-
Smolander, K., 593(0)546--z
-
Smolander, K., see Rossi, M.
-
Smolka, S. A., 623(0)708--z, 630(0)472--z
-
Smolka, S. A., see Baeten, J. C. M.,
see Cleaveland, R.
-
Smotrovs, Juris, 642(0)99--z
-
Smotrovs, Juris, see Apsitis, Kalvis
-
Smullyan, Raymond, 607(0)208--z
-
Smullyan:1992:PP, 607(0)208--z
-
Snapshots, 601(0)154--z
-
Snodgrass, Richard T., 639(0)22--z
-
Snodgrass:1992:TD, 639(0)22--z
-
Snoeyink, J., 621(0)352--z, 621(0)376--z, 650(0)370--z
-
Snoeyink, J., see de Berg, M.,
see Guevremont, E., \see{Hershberger, J.
-
Snowdon, B., 635(0)3--z
-
Snowdon, B., see Conradi, R.
-
Snowdon, R. A., 635(0)178--z
-
Snowdon:1992:EPC, 635(0)178--z
-
Snyder, L., 589(0)84--z
-
Snyder, L., see Lee, J.
-
Snyder, Wayne, 607(0)462--z
-
Snyder, Wayne, see Bachmair, Leo
-
Sobek, S., 589(0)35--z
-
Sobek, S., see Werth, J.
-
Socher-Ambrosius, R., 632(0)435--z
-
Socher-Ambrosius:1992:GOS, 632(0)435--z
-
Social, 635(0)34--z, 635(0)55--z
-
Socio-Technical, 608(0)21--z
-
SODA, 602(0)307--z
-
Soffa, M. L., 605(0)965--z
-
Soffa, M. L., see Liu, S. F.
-
Soffa, Mary Lou, 641(0)192--z
-
Soffa, Mary Lou, see Duesterwald, Evelyn
-
software, 591(0)316--z, 593(0)88--z, 593(0)208--z, 593(0)278--z,
593(0)290--z, 593(0)304--z, 593(0)568--z, 602(0)111--z,
602(0)307--z, 602(0)529--z, 603(0)35--z, 603(0)92--z, 603(0)230--z,
604(0)127--z, 604(0)143--z, 604(0)215--z, 604(0)604--z,
605(0)245--z, 605(0)801--z, 605(0)971--z, 607(0)753--z,
608(0)615--z, 611(0)271--z, 634(0)283--z, 634(0)509--z,
634(0)613--z, 634(0)761--z, 635(0)21--z, 635(0)34--z, 635(0)55--z,
635(0)58--z, 635(0)61--z, 635(0)99--z, 635(0)150--z, 635(0)156--z,
635(0)167--z, 635(0)215--z, 635(0)223--z, 636(0)278--z, 640(0)3--z,
640(0)5--z, 640(0)9--z, 640(0)11--z, 640(0)23--z, 640(0)63--z,
640(0)65--z, 640(0)88--z, 640(0)99--z, 640(0)117--z, 640(0)131--z,
640(0)159--z, 640(0)163--z, 640(0)167--z, 640(0)180--z,
640(0)194--z, 640(0)245--z, 640(0)247--z, 640(0)257--z,
640(0)270--z, 640(0)285--z, 640(0)287--z, 640(0)301--z,
640(0)308--z, 640(0)315--z, 640(0)324--z, 640(0)339--z,
640(0)351--z, 640(0)360--z, 640(0)380--z, 640(0)417--z,
640(0)437--z, 641(0)219--z, 648(0)435--z, 652(0)241--z,
653(0)105--z, 653(0)175--z
-
Software-Monitor, 634(0)67--z
-
S{\o}gaard-Andersen, J., 630(0)317--z, see Lynch, N.
-
SOL, 593(0)105--z
-
Soldato, T., Del, 608(0)567--z
-
solid, 650(0)188--z
-
Sollins, Karen R., 648(0)3--z
-
Sollins, Karen R., see Bull, John A.
-
Solnon, C., 631(0)489--z
-
Solnon:1992:IIR, 631(0)489--z
-
Soloway, E., 602(0)307--z
-
Soloway, E., see Hohmann, L.
-
solution, 597-0-viii, 599(0)283--z, 603(0)230--z, 605(0)725--z,
634(0)205--z, 634(0)217--z, 634(0)829--z, 641(0)66--z, 642(0)26--z
-
Solvability, 572(0)12--z
-
Solvberg, A., 593(0)65--z
-
Solvberg, A., see Opdahl, A. L.
-
solve, 570(0)126--z, 622(0)23--z, 634(0)805--z, 650(0)51--z
-
Solver, 601(0)137--z, 634(0)807--z
-
Solving, 599(0)95--z, 604(0)341--z, 604(0)401--z, 611(0)185--z,
620(0)480--z, 634(0)307--z, 634(0)343--z, 634(0)781--z,
652(0)164--z
-
Solving, Problem-, 627(0)61--z
-
Solving-Shell, Strong-Problem-, 599(0)75--z
-
Sometimes, 630(0)192--z
-
Sommerville, I., 618(0)42--z, 635(0)33--z, 635(0)55--z
-
Sommerville, I., see Monk, S. R.
-
Sommerville:1992:I, 635(0)33--z
-
Sommerville:1992:USP, 635(0)55--z
-
Song, S. W., 605(0)449--z
-
Song, S. W., see Robert, Y.
-
Song, W. W., 645(0)97--z
-
Song:1992:SSR, 645(0)97--z
-
Sopena, E., 629(0)364--z
-
Sopena, E., see Litovsky, I.
-
Soper, P., 620(0)221--z, 632(0)322--z
-
Soper, P., see King, A.
-
sort, 607(0)633--z
-
Sorted, 607(0)163--z, 607(0)178--z, 607(0)633--z
-
Sorted, Order-, 607(0)193--z, 607(0)603--z, 620(0)314--z,
624(0)421--z, 633(0)319--z
-
sorted, order-, 632(0)37--z
-
sorting, 606(0)1--z, 621(0)410--z, 621(0)422--z, 629(0)298--z,
634(0)193--z, 634(0)539--z, 650(0)489--z, 650(0)499--z,
652(0)380--z
-
Soundness, 624(0)1--z
-
source, 603(0)47--z, 603(0)80--z, 611(0)134--z, 627(0)219--z,
642(0)108--z, 648(0)57--z
-
Sowa, J., 627(0)39--z
-
Sowa:1992:LSL, 627(0)39--z
-
Spaccamela, A., Marchetti-, 570(0)187--z
-
Spaccapietra, S., 645(0)340--z
-
Spaccapietra, S., see Auddino, A.
-
space, 592(0)177--z, 598(0)259--z, 602(0)21--z, 603(0)9--z, 604(0)371--z,
608(0)491--z, 621(0)399--z, 621(0)410--z, 624(0)96--z, 629(0)442--z,
629(0)483--z, 635(0)159--z, 639(0)78--z, 642(0)294--z
-
Space, State-, 630(0)148--z
-
Space-Bounded, 623(0)28--z
-
Space-Efficient, 605(0)37--z
-
Space-Saving, 646(0)421--z
-
SPADE, 635(0)67--z
-
Spagnuolo, Michela, 639(0)122--z
-
Spagnuolo, Michela, see Falcidieno, Bianca
-
Spangler, R. Alan, 640(0)380--z
-
Spangler, R. Alan, see Linger, Richard C.
-
Spanners, 650(0)126--z
-
Spanners, 2-, 621(0)73--z
-
Spanning, 594(0)233--z, 634(0)565--z
-
Sparse, 621(0)73--z, 623(0)261--z, 634(0)331--z, 634(0)373--z,
634(0)677--z, 650(0)249--z, 652(0)116--z, 652(0)140--z
-
Sparse-Grid-Preconditioning, 634(0)217--z
-
spatial, 594(0)70--z, 594(0)87--z, 594(0)104--z, 594(0)214--z,
597-0-viii, 628(0)123--143, 639(0)1--z, 639(0)122--z, 639(0)153--z,
639(0)162--z, 639(0)269--z, 639(0)288--z, 639(0)305--z, 642(0)1--z
-
Spatial-Linguistic, 639(0)318--z
-
Spatio-Temporal, 639(0)368--z
-
Specht, D., 604(0)314--z
-
Specht:1992:SMB, 604(0)314--z
-
Special-Relation, 607(0)492--z
-
Specific, 630(0)176--z
-
Specific, Application-, 605(0)193--z
-
Specific, Context-, 646(0)201--z
-
specification, 592(0)232--z, 592(0)452--z, 593(0)221--z, 593(0)348--z,
599(0)133--z, 599(0)191--z, 600(0)28--z, 600(0)315--z, 600(0)371--z,
600(0)502--z, 600(0)603--z, 600(0)676--z, 603(0)182--z,
605(0)783--z, 605(0)979--z, 618(0)192--z, 618(0)227--z,
620(0)269--z, 620(0)281--z, 620(0)305--z, 623(0)656--z,
626(0)257--z, 630(0)302--z, 630(0)370--z, 630(0)386--z, 631(0)87--z,
631(0)483--z, 632(0)3--z, 632(0)335--z, 635(0)58--z, 635(0)106--z,
636(0)278--z, 641(0)59--z, 641(0)163--z, 648(0)77--z, 648(0)103--z,
652(0)1--z, 652(0)229--z
-
Specification-Based, 645(0)194--z
-
Specificity, 627(0)87--z
-
Specify, 651(0)1--z
-
Specifying, 604(0)139--z, 614(0)271--z, 651(0)1--z
-
Speckenmeyer, E., 626(0)164--z
-
Speckenmeyer, E., see Heusch, P.
-
spectral, 653(0)357--z
-
Spectrum, 627(0)21--z
-
Spee, J. W., 599(0)211--z
-
Spee, J. W., see Jonker, W.
-
Speed, 634(0)411--z
-
Speed, High-, 614(0)33--z, 614(0)171--z
-
Speeding-up, 624(0)496--z, 629(0)504--z
-
Speedup, 603(0)257--z, 634(0)719--z
-
SPELL, 635(0)167--z
-
spelling, 602(0)503--z
-
Spes, 624(0)445--z
-
sphere, 628(0)185--186
-
Spheres, 621(0)388--z
-
SPIKE, 624(0)460--z
-
Spiliopoulou, M., 605(0)279--z
-
Spiliopoulou:1992:UPP, 605(0)279--z
-
Spilling, P., 634(0)793--z
-
Spilling, P., see Arbab, F.
-
Spirakis, P., 570(0)135--z
-
Spirakis, P., see Kedem, Z.
-
SPL, 635(0)237--z
-
Splicing, 642(0)305--z, 654(0)260--z
-
Split, 646(0)171--z
-
Splitting, 601(0)1--z
-
spread, 570(0)169--z
-
Spreen, D., 620(0)459--z
-
Spreen:1992:EOC, 620(0)459--z
-
Sprengel, R., 604(0)164--z
-
Sprengel, R., see Pasternak, B.
-
SQL, 618(0)138--z
-
squares, 623(0)41--z, 623(0)296--z, 628(0)5--34
-
Squaring, 605(0)725--z
-
Srinivas, S., 634(0)811--z
-
Srinivas:1992:SFP, 634(0)811--z
-
Srinivasan, H., 589(0)405--z, 591(0)139--z
-
Srinivasan, H., see Wolfe, M.
-
Srinivasan:1992:APE, 589(0)405--z
-
ST:, PEPSIM-, 634(0)665--z
-
ST-bisimulations, 625(0)183--216
-
ST-idea, 609(0)108--z
-
Stability, 634(0)331--z
-
Stabilization, 653(0)345--z
-
stable, 601(0)137--z, 620(0)163--z, 626(0)201--z, 634(0)789--z,
646(0)261--z
-
Stable, Non-, 620(0)209--z
-
Stably, 621(0)410--z
-
Stacks, 650(0)78--z
-
Stahl, B., 604(0)89--z
-
Stahl, B., see Newstead, M. A.
-
Stalhane, Tor, 640(0)99--z
-
Stalhane, Tor, see Sindre, Guttorm
-
Stance, 622(0)183--z
-
standard, 636(0)278--z
-
Standard, Non-, 607(0)648--z
-
Standardized, 602(0)198--z
-
Stanford, 605(0)801--z
-
Star, 634(0)565--z
-
Starke, G., 635(0)18--z
-
Starke:1992:SCI, 635(0)18--z
-
Stasko, J., 602(0)87--z
-
Stasko, J., see Badre, A.
-
state, 600(0)107--z, 600(0)149--z, 605(0)979--z, 608(0)567--z,
620(0)452--z, 630(0)386--z
-
State, One-, 629(0)327--z
-
State-Space, 630(0)148--z
-
Stategies, 605(0)973--z
-
Statement, 607(0)20--z, 634(0)491--z
-
Static, 605(0)497--z, 634(0)601--z, 634(0)755--z, 637(0)218--z,
652(0)68--z
-
Station, 603(0)9--z
-
Stationary, 634(0)259--z
-
statistical, 623(0)28--z, 628(0)123--143, 634(0)163--z, 645(0)79--z,
650(0)430--z
-
Statistics, 602(0)516--z, 604(0)461--z, 608(0)559--z
-
Steel, S., 617(0)198--z
-
Steel:1992:NCT, 617(0)198--z
-
Stefanowski, J., 604(0)556--z
-
Stefanowski:1992:RSA, 604(0)556--z
-
Steffan, K., 634(0)665--z
-
Steffan, K., see Gutzmann, M. M.
-
Steffen, B., 630(0)123--z
-
Steffen, B., see Burkart, O.
-
Steffen, Bernhard, 641(0)125--z
-
Steffen, Bernhard, see Knoop, Jens
-
Steffen, E., 626(0)339--z
-
Steffen:1992:CRD, 626(0)339--z
-
Steigner, Christoph, 641(0)156--z
-
Steigner, Christoph, see Sudholt, Mario
-
Stein, B., 604(0)441--z
-
Stein, B., see Najmann, O.
-
Steinbach, J., 652(0)191--z
-
Steinbach:1992:PPP, 652(0)191--z
-
Steinberg, D., 614(0)300--z
-
Steinberg, D., see Hanko, J. G.
-
Steiner, 570(0)85--z
-
Steiner, F., 622(0)59--z
-
Steiner, F., see Pfeifer, R.
-
Steinmetz, R., 614(0)33--z, 614(0)283--z
-
Steinmetz, R., see Hehmann, D.
-
Steinmetz:1992:ACM, 614(0)283--z
-
Stemple, David, 607(0)148--z
-
Stemple, David, see Fegaras, Leonidas
-
Step, 593(0)507--z, 617(0)50--z, 624(0)297--z, 630(0)421--z,
634(0)503--z
-
Stepanek, P., 617(0)50--z
-
Stepanek, P., see Stepankova, O.
-
Stepankova, O., 617(0)50--z, 617(0)404--z
-
Stepankova:1992:IQR, 617(0)404--z
-
Stepankova:1992:PST, 617(0)50--z
-
Stephan, F., 620(0)21--z
-
Stephan, F., see Beigel, R.
-
stereo, 628(0)5--34
-
Stevens, S. M., 614(0)197--z
-
Stevens:1992:NGN, 614(0)197--z
-
Stewart, I., 570(0)198--z
-
Stewart, I. A., 620(0)470--z, 626(0)353--z
-
Stewart, Jeffrey A., 640(0)287--z
-
Stewart, Jeffrey A., see D'Ippolito, Richard S.
-
Stewart:1992:CNP, 626(0)353--z
-
Stewart:1992:CPL, 570(0)198--z
-
Stewart:1992:LCB, 620(0)470--z
-
STI, 608(0)515--z
-
Stickel, E., 645(0)62--z
-
Stickel, E., see Rauh, O.
-
Stickel, Mark E., 607(0)224--z
-
Stickel, Mark E., see Astrachan, Owen L.
-
Stiemerling, T., 605(0)97--z
-
Stiemerling, T., see Osmon, P.
-
Stirling, Colin, 630(0)138--z
-
Stirling, Colin, see Christensen, S.
-
stochastic, 609(0)352--z, 653(0)291--z, 653(0)339--z
-
Stock, 604(0)451--z
-
Stohr, E., 570(0)226--z
-
Stohr:1992:BTB, 570(0)226--z
-
Stojcev, M. K., 634(0)367--z, 634(0)821--z
-
Stojcev, M. K., see Milovanovic, E. I.
-
Stojcev:1992:RNC, 634(0)821--z
-
Stoltze, H., 634(0)777--z
-
Stoltze, H., see Kuchen, H.
-
Stolze, M., 611(0)104--z, 622(0)59--z
-
Stolze, M., see Pfeifer, R.
-
Stolze:1992:BHC, 611(0)104--z
-
Stomp, F. A., 630(0)176--z
-
Stomp:1992:PSP, 630(0)176--z
-
Stone, D. L., 614(0)10--z
-
Stone, D. L., see Jeffay, K.
-
stop, 628(0)88--111
-
Storage, 589(0)359--z, 605(0)585--z, 618(0)59--z
-
Storing, 602(0)568--z
-
Stortkuhl, T., 634(0)217--z
-
Stortkuhl, T., see Griebel, M.
-
Story, 602(0)21--z, 648(0)307--z
-
Stpiczynski, P., 634(0)343--z
-
Stpiczynski:1992:PAS, 634(0)343--z
-
STRAda, 603(0)287--z
-
Strategic, 604(0)1--z, 636(0)109--z
-
stratégie, 608(0)421--z
-
strategy, 593(0)187--z, 594(0)289--z, 596(0)193--z, 602(0)39--z,
602(0)247--z, 602(0)405--z, 602(0)428--z, 604(0)236--z, 607(0)35--z,
608(0)360--z, 608(0)382--z, 608(0)539--z, 614(0)33--z,
628(0)144--162, 629(0)504--z, 632(0)259--z, 632(0)435--z,
634(0)713--z, 642(0)35--z, 650(0)51--z
-
Straubing, H., 623(0)16--z
-
Straubing:1992:CCE, 623(0)16--z
-
Stream, 614(0)94--z, 629(0)62--z
-
Strecker, George E., 598(0)492--z
-
Strecker, George E., see Melton, Austin
-
Streicher, Th., 609(0)70--z
-
Streicher, Th., see Broy, M.
-
Strengthening, 642(0)294--z
-
Stress, 591(0)426--z
-
STRICT, 604(0)391--z
-
Strict, 601(0)55--z
-
Strict, Semi-, 646(0)261--z
-
Strictness, 620(0)33--z, 631(0)145--z
-
strike, 623(0)273--z
-
string, 624(0)433--z, 629(0)298--z, 644(0)15--z, 644(0)172--z,
644(0)182--z, 644(0)211--z, 644(0)227--z, 644(0)241--z,
650(0)469--z, 652(0)356--z
-
String-Graph-Generating, 643(0)107--109, 643(0)110--115
-
Strive, 607(0)35--z
-
Strong, 619(0)63--z, 629(0)209--z, 633(0)391--z, 642(0)129--z
-
Strong-Problem-Solving-Shell, 599(0)75--z
-
Strongly, 598(0)272--z, 601(0)137--z
-
Strube, G., 622(0)99--z, 622(0)161--z
-
Strube, G., see Janetzko, D.
-
Strube:1992:RCS, 622(0)161--z
-
Structural, 604(0)236--z, 604(0)341--z, 609(0)352--z, 630(0)302--z,
650(0)175--z, 652(0)128--z
-
Structurally, 648(0)21--z
-
Structure, 605(0)783--z, 613(0)218--z, 623(0)487--z, 627(0)121--z,
627(0)137--z, 627(0)155--z, 629(0)153--z, 634(0)25--z, 634(0)755--z,
644(0)109--z
-
Structured, 602(0)271--z, 624(0)403--z, 634(0)121--z
-
structures, 570(0)48--z, 591(0)139--z, 594(0)25--z, 594(0)214--z,
598(0)326--z, 598(0)426--z, 602(0)21--z, 605(0)703--z, 605(0)843--z,
605(0)957--z, 606(0)1--z, 620(0)117--z, 625(0)183--216, 627(0)39--z,
627(0)121--z, 631(0)54--z, 650(0)289--z
-
Structuring, 593(0)327--z, 602(0)174--z
-
Stuart, A. A., Verrijn-, 593(0)481--z
-
Stub, 648(0)229--z
-
Student, 602(0)441--z, 608(0)191--z, 608(0)372--z, 608(0)382--z,
608(0)413--z, 608(0)451--z, 608(0)467--z, 608(0)475--z,
608(0)491--z
-
Studer, R., 599(0)230--z
-
Studer, R., see Neubert, S.
-
STUDIA, 608(0)58--z
-
Study, 592(0)35--z, 607(0)281--z, 614(0)391--z, 618(0)115--z,
627(0)321--z, 630(0)317--z, 634(0)817--z, 652(0)229--z
-
Study, Self-, 599(0)353--z
-
Studying, 613(0)228--z
-
style, 582(0)183--196, 592(0)263--z, 602(0)258--z, 608(0)252--z,
631(0)479--z
-
Style, {Argonne}-, 624(0)96--z
-
Style, {Gentzen}-, 620(0)493--z
-
Style, {Novikov}-, 620(0)493--z
-
styles, 602(0)61--z
-
Subdivisions, 621(0)352--z
-
Subinstruction, 634(0)731--z
-
Subject, 602(0)174--z, 602(0)405--z
-
Sublanguage, 627(0)219--z
-
Sublogics, 619(0)125--z
-
Submarine, 604(0)276--z
-
Submodular, 650(0)41--z
-
Suboptimal, 623(0)366--z
-
Subrahmanian, V. S., 646(0)391--z
-
Subrahmanian, V. S., see Bonatti, Piero
-
Subramanian, C. R., 621(0)284--z
-
Subramanian, C. R., see Furer, M.
-
Subramanian, K. G., 654(0)247--z, 654(0)260--z
-
Subramanian, K. G., see Siromoney, R.
-
Subramonian, R., 652(0)368--z
-
Subramonian, R., see Martel, C.
-
Subscripted, 641(0)192--z
-
subsequence, 644(0)52--z, 644(0)77--z, 644(0)211--z, 650(0)469--z
-
subset, 607(0)268--z, 613(0)46--z, 642(0)232--z
-
Substitution, 598(0)207--z
-
substitutions, 629(0)209--z, 632(0)84--z, 632(0)306--z
-
Substructure, 644(0)133--z
-
Subsumption, 627(0)75--z, 646(0)357--z
-
Subsumption-Oriented, 631(0)100--z
-
Subsystem, 634(0)103--z
-
Subtrack, 640(0)247--z
-
subtraction, 608(0)269--z
-
Subtypes, 598(0)144--z, 607(0)66--z
-
Success, 608(0)677--z, 640(0)360--z
-
such, 606(0)1--z
-
Sudholt, Mario, 641(0)156--z
-
Sudholt:1992:IDF, 641(0)156--z
-
sufficient, 632(0)53--z
-
Suffix, 644(0)1--z
-
Sugihara, K., 650(0)209--z
-
Sugihara:1992:TCA, 650(0)209--z
-
Suitable, 635(0)94--z
-
sum, 602(0)283--z, 607(0)325--z
-
SUMIT, 602(0)491--z
-
Summarizing, 597(0)57--66, 597(0)83--96
-
Summary, 606(0)1--z, 627(0)21--z, 627(0)219--z, 631(0)477--z, 651(0)1--z,
654(0)34--z
-
SUN, 614(0)300--z
-
Sundararajan, R., 637(0)264--z, 652(0)203--z
-
Sundararajan, R., see Duvvuru, S.
-
Sundararajan:1992:AIS, 652(0)203--z
-
Sung, T. Y., 650(0)106--z
-
Sung, T. Y., see Ho, J. M.
-
Sungyoung, Lee, 603(0)242--z
-
Sungyoung, Lee, see Elrad, Tzilla
-
SUPER-Visual, 645(0)340--z
-
supercomputer, 605(0)877--z
-
Superfiniteness, 652(0)176--z
-
Superperfection, 621(0)292--z
-
Superpolynomial, 652(0)116--z
-
Superposable, 629(0)472--z
-
Superposition, 607(0)462--z, 624(0)273--z
-
Superscalar, 634(0)811--z
-
Supervisory, 608(0)164--z
-
support, 603(0)128--z, 603(0)214--z, 604(0)481--z, 604(0)556--z,
605(0)551--z, 611(0)79--z, 614(0)4--z, 614(0)10--z, 614(0)45--z,
614(0)132--z, 614(0)148--z, 614(0)230--z, 614(0)242--z,
624(0)454--z, 624(0)496--z, 628(0)123--143
-
Support, Sets-of-, 624(0)238--z
-
Support, WAM-, 592(0)462--z
-
Supported, 635(0)153--z
-
Supported, Computer-, 610-0-xii
-
Supporting, 593(0)290--z, 598(0)77--z, 604(0)314--z, 604(0)495--z,
635(0)34--z
-
SUPRENUM, 605(0)163--z
-
Suprenum, 634(0)229--z
-
sur, 608(0)58--z
-
Suraj, M., 620(0)9--z
-
Suraj, M., see Baliga, G.
-
surface, 618(0)96--z
-
Suri, S., 621(0)233--z
-
Suri, S., see Hershberger, J.
-
survey, 600(0)74--z, 609(0)304--z, 609(0)392--z, 610-0-xii
-
Sussmann, H. J., 653(0)301--z
-
Sussmann:1992:DGM, 653(0)301--z
-
Sutcliffe, A., 593(0)290--z
-
Sutcliffe, Geoff, 607(0)268--z, 607(0)677--z
-
Sutcliffe:1992:LIS, 607(0)268--z
-
Sutcliffe:1992:SCM, 593(0)290--z
-
Sutcliffe:1992:SGL, 607(0)677--z
-
Sutherland, R. J., 634(0)837--z
-
Sutherland, R. J., see Mackenzie, L. M.
-
Suthers, D. D., 608(0)191--z
-
Suthers:1992:ASQ, 608(0)191--z
-
Suttner, Christian B., 624(0)238--z
-
Suttner:1992:PCM, 624(0)238--z
-
Sutton, D. R., 618(0)156--z
-
Sutton:1992:IML, 618(0)156--z
-
Suzuki, H., 650(0)400--z
-
Suzuki, H., see Takahashi, J.
-
Swarup, Vipin, 613(0)131--z
-
Swarup:1992:LVA, 613(0)131--z
-
SWG, 603(0)214--z
-
Swierstra, D., 631(0)130--z
-
Swierstra, D., see Pennings, M.
-
Switch, 634(0)491--z
-
Switched, Packet-, 614(0)84--z
-
switches, 653(0)175--z
-
Switching, 634(0)181--z
-
Switching, Packet-, 614(0)72--z
-
Switching, Task-, 634(0)725--z
-
Swonger, Roy F., 640(0)23--z
-
Swonger, Roy F., see Garlan, David
-
Sykora, O., 570(0)159--z, 570(0)214--z, 605(0)53--z
-
Sykora, O., see Hromkovic, J.
-
Sykora:1992:CNH, 570(0)214--z
-
Sykora:1992:ESG, 570(0)159--z
-
Symbol, 641(0)66--z
-
symbolic, 568-0-x, 591(0)316--z, 608(0)132--z, 628(0)5--34,
628(0)112--122, 634(0)55--z, 639(0)153--z, 639(0)179--z
-
symbolique, 608(0)483--z
-
Symmetric, 601(0)137--z, 634(0)271--z, 634(0)349--z, 634(0)355--z,
634(0)827--z, 650(0)439--z
-
Symmetrical, 620(0)382--z
-
symmetry, 570(0)148--z, 594(0)1--z, 607(0)281--z, 650(0)410--z
-
SYMPATIX, 605(0)147--z
-
Symvonis, A., 650(0)188--z
-
Symvonis:1992:SSP, 650(0)188--z
-
Synchronisation, 637(0)148--z
-
synchronization, 603(0)128--z, 605(0)261--z, 609(0)215--z, 614(0)84--z,
614(0)94--z, 614(0)108--z, 625(0)33--z, 630(0)518--z, 630(0)534--z,
634(0)1--z, 634(0)157--z, 634(0)163--z, 634(0)515--z, 646(0)201--z
-
Synchronized, 614(0)271--z, 623(0)126--z
-
Synchronous, 630(0)550--z
-
Synchronous, Bulk-, 621(0)1--z
-
syntactic, 604(0)676--z, 632(0)446--z, 654(0)37--z, 654(0)54--z
-
syntax, 582(0)197--230, 592(0)322--z, 641(0)30--z
-
Syntax-based, 633(0)126--z
-
Syntax-Driven, 627(0)5--z
-
synthesis, 593(0)208--z, 594(0)124--z, 600(0)526--z, 607(0)310--z,
626(0)411--z, 627(0)39--z, 633(0)262--z
-
Synthesized, 610-0-xii
-
System, CAD-, 604(0)154--z
-
System, TOPMUSS-, 604(0)676--z
-
Systematic, 607(0)753--z, 654(0)1--z
-
système, 608(0)58--z, 608(0)277--z, 608(0)459--z
-
systèmes, 608(0)209--z
-
Systemic, 608(0)475--z
-
Systolic, 605(0)381--z, 605(0)957--z, 634(0)247--z, 634(0)259--z,
634(0)265--z
-
Szilard, A., 629(0)494--z
-
Szilard:1992:CRL, 629(0)494--z
-
Szpankowski, W., 623(0)211--z
-
Szpankowski, W., see Kirschenhofer, P.
-
Szpankowski, Wojciech, 644(0)1--z, 644(0)27--z
-
Szpankowski, Wojciech, see Atallah, Mikhail J.
-
Szpankowski:1992:PAG, 644(0)1--z
-
Szucs, Robert, 641(0)51--z
-
Szucs, Robert, see Gyimothy, Tibor