Last update: Wed May 26 02:00:26 MDT 2021
Return to index directory
S
-
S, FP-, 18(3)245--254
-
Saacks-Giguette, Marguerite, 20(1)87--92
-
Saacks-Giguette:1993:FBD, 20(1)87--92
-
Sadeghi, Kamyar J., 32(1)41--56
-
Sadeghi, Kamyar J., see Ketabchi, Mohammad A.
-
Sadri, F., 8(2)105--119
-
Sadri, F., see Desai, B. C.
-
safety, 3(2)173--181, 18(1)33--60, 21(3)279--290, 31(1)45--53,
35(2)151--164
-
Safety-Critical, 26(2)103--115, 28(1)77--87
-
Safety-Oriented, 14(3)155--162
-
safety-related, 34(3)223--230
-
Sage, Andrew P., 30(1)3--25
-
Sage:1995:SES, 30(1)3--25
-
Sahni, Sartaj, 39(3)201--221
-
Sahni, Sartaj, see Mehta, Dinesh P.
-
Sahraoui, A. E. K., 25(1)51--57
-
Sahraoui:1994:STA, 25(1)51--57
-
Saiedian, H., 23(1)9--26
-
Saiedian, H., see Zand, M. K.
-
Saiedian, Hossein, 23(2)139--150, 40(3)187--189, 47(2)139--148,
49(2)113--115
-
Saiedian:1993:COO, 23(2)139--150
-
Saiedian:1998:GEC, 40(3)187--189
-
Saiedian:1999:SEE, 49(2)113--115
-
Saiedian:1999:TEF, 47(2)139--148
-
Sakai, Hirotaka, 4(2)135--145
-
Sakai:1984:ERB, 4(2)135--145
-
Salama, R., 8(5)361--372
-
Salama, R., see Zaki, M.
-
Saleh, Kassem, 25(1)39--50, 35(1)55--65, 47(1)53--69, 47(2)125--131
-
Saleh, Kassem, see Al-Saqabi, Khaled,
see Jaragh, Mansour
-
Saleh:1994:ERP, 25(1)39--50
-
Saleh:1999:DOC, 47(2)125--131
-
Salesin, David, 6(3)251--259
-
Salesin, David, see Barzel, Ronen
-
Salisbury, Alan B., 1(1)1--1, 1(2)105--105, 1(2)155--175, 1(4)271--271,
2(1)1--1, 2(2)83--83, 2(3)191--191, 2(4)279--279, 3(1)1--1
-
Salisbury, Alan B., see Manley, John H.
-
Salisbury:1980:EI, 1(4)271--271
-
Salisbury:1980:TCH, 1(2)155--175
-
Salisbury:1981:EIa, 2(1)1--1
-
Salisbury:1981:EIb, 2(2)83--83
-
Salisbury:1981:EIc, 2(3)191--191
-
Salisbury:1981:EId, 2(4)279--279
-
Salisbury:1983:EI, 3(1)1--1
-
Salkield, Tom, 37(1)41--47
-
Salkield, Tom, see Lam, Kwok-Yan
-
salvaging, 28(2)117--127
-
Salvatori, E., 23(1)65--79
-
Salvatori, E., see Bianchi, U.
-
Samadzadeh, M. H., 16(3)229--234, 18(3)219--234, 23(1)9--26
-
Samadzadeh, M. H., see Al-Haddad, H. M.,
see Zand, M. K.
-
Samadzadeh, Mansur, 30(3)167--170
-
Samadzadeh, Mansur, see Zand, Mansour
-
Samadzadeh:1991:SSM, 16(3)229--234
-
same, 28(1)1--2
-
sample, 9(2)51--66
-
Sampling, 20(2)107--114
-
Samson, Dolly, 20(2)115--124
-
Samson:1993:KBT, 20(2)115--124
-
Samuel, Antonio L., 30(1)45--70
-
Samuel, Antonio L., see Welch, Lonnie R.
-
Sandahl, Kristian, 43(1)19--27
-
Sandahl, Kristian, see Lindvall, Mikael
-
Sanden, Bo I., 28(3)225--237
-
Sanden:1995:DCS, 28(3)225--237
-
Sanderson, Peter, 44(2)147--154
-
Sanderson, Peter, see Sherif, Joseph S.
-
Saqabi, Khaled, Al-, 25(1)39--50, 35(1)55--65
-
Sarikaya, Behcet, 19(1)41--57
-
Sarikaya, Behcet, see Naik, Kshirasagar
-
Sarwar, S. Mansoor, 20(2)163--167, 27(2)137--146
-
Sarwar:1993:FLP, 20(2)163--167
-
Sarwar:1994:NFC, 27(2)137--146
-
Sasso, William, 34(3)177--189
-
Sasso, William, see Arunachalam, Vairam
-
satellite, 10(3)201--212
-
satisfaction, 24(1)1--2
-
Satisfy, 33(3)207--221
-
Satisfying, 41(1)63--73, 45(1)45--60
-
Saucier, Gabriele, 4(1)7--12
-
Saucier, Gabriele, see Cuykendall, Robert
-
Savage, John E., 4(1)7--12
-
Savage, John E., see Cuykendall, Robert
-
Saxena, Sanjay, 24(2)187--206
-
Saxena, Sanjay, see Urban, Susan Darling
-
Sayler, John H., 3(2)123--135
-
Sayler, John H., see Wileden, Jack C.
-
Scacchi, Walt, 4(1)13--26, 7(1)37--49, 46(2)183--192
-
Scacchi, Walt, see Katz, Randy,
see Narayanaswamy, K.
-
Scacchi:1999:ESP, 46(2)183--192
-
scale, 25(2)171--184
-
Scale, Large-, 13(2)89--95, 25(2)127--146, 38(1)37--46,
39(1)61--70
-
scale, large-, 3(1)77--83, 44(1)17--29
-
Scale, Small-, 39(1)7--14
-
Scanlan, David A., 8(2)145--155
-
Scanlan:1988:LPU, 8(2)145--155
-
scenario, 42(2)141--151
-
Schach, Stephen R., 3(3)187--191, 5(3)203--219
-
Schach, Stephen R., see Dooley, Jeffrey W. M.,
see van der Poel, Klaas G.
-
Schedule, 13(1)71--82
-
scheduling, 7(3)195--205, 7(4)279--286, 15(2)149--157, 15(3)261--277,
19(2)123--130, 33(1)57--63, 33(3)313--327, 38(2)155--163,
39(1)61--70
-
scheduling, self-, 26(3)245--255
-
Scheff, Benson H., 14(2)103--110
-
Scheff:1991:UDB, 14(2)103--110
-
schema, 4(2)135--145, 45(3)225--232
-
scheme, 21(1)41--48, 22(2)107--115, 31(3)257--265, 36(3)267--272,
42(1)29--44, 42(1)45--57
-
schemes, 28(2)157--167, 43(1)29--44, 47(1)1--2
-
Scherr, Wolfgang, 25(2)147--170
-
Scherr, Wolfgang, see Mili, Hafedh
-
Schettino, Elizabeth, O'Hara-, 41(2)93--103
-
Schick, G. J., 1(3)259--266
-
Schick:1980:USP, 1(3)259--266
-
Schippers, Herbert, 26(1)43--52
-
Schippers, Herbert, see Debou, Christophe
-
Schmidt, Heinz W., 15(1)43--62
-
Schmidt:1991:PAN, 15(1)43--62
-
Schneberger, Scott L., 37(2)101--116
-
Schneberger:1997:DCE, 37(2)101--116
-
scholars, 27(1)63--67, 31(1)3--6, 35(1)85--89, 39(1)1--2, 39(1)83--88,
43(1)59--64, 48(1)73--73, 49(1)81--86, 51(3)275--275
-
Scholtz, Jean, 23(2)199--204
-
Scholtz:1993:OOP, 23(2)199--204
-
Schoonhoven, Bram, 33(2)153--161
-
Schoonhoven, Bram, see van Slooten, Kees
-
Schuba, Christoph L., 44(1)31--43
-
Schuba:1998:PEC, 44(1)31--43
-
Schuman, Antonia D., 2(4)329--336
-
Schuman:1981:NSD, 2(4)329--336
-
Schuster, Assaf, 42(1)71--87
-
Schuster, Assaf, see Itzkovitz, Ayal
-
Schvaneveldt, Roger W., 7(4)357--369
-
Schvaneveldt, Roger W., see Onorato, Lisa A.
-
Schwan, K., 9(2)51--66
-
Schwan, Karsten, 17(2)155--167
-
Schwan, Karsten, see Gopinath, Prabha
-
Schwan:1989:ARA, 9(2)51--66
-
science, 2(2)105--112, 3(1)95--102, 3(4)301--307, 6(4)379--389,
7(1)29--35, 7(1)83--84, 7(4)325--339, 7(4)341--355, 7(4)357--369,
9(2)95--108, 10(1)69--71, 10(1)71--72, 10(2)75--76, 12(2)83--85,
12(2)167--170, 12(2)170--171, 16(1)59--68, 17(1)49--60,
19(3)277--289, 28(1)3--7, 28(1)9--18, 30(1)161--163, 39(1)83--88,
39(2)91--91, 49(2)149--153
-
Scientific, 11(3)159--171, 23(2)183--197
-
scientist, 34(3)173--176
-
Scientists, 17(1)49--60
-
Sciore, Edward, 27(3)223--232
-
Sciore, Edward, see Siegel, Michael
-
Scollary, Angela, 40(1)7--15
-
Scollary, Angela, see Craig, Annemieke
-
Scoring, 36(1)33--68
-
scripts, 37(3)187--199
-
seamlessness, 33(1)1--2
-
search, 15(3)iii--v, 15(3)203--204, 31(1)1--2, 38(1)85--93, 46(1)59--75,
47(1)35--43
-
Searching, 32(2)121--133
-
Seattle, 10(4)245--252
-
secondary, 8(4)275--282, 11(1)31--44, 19(1)75--83
-
secret, 36(3)267--272, 46(1)7--11
-
section, 7(4)323--323
-
secure, 39(2)93--101, 43(3)233--244
-
security, 3(3)219--229, 7(1)3--13, 7(4)253--258, 31(1)45--53,
31(3)257--265, 31(3)267--275, 49(2)149--153
-
Seddio, Carl, 20(3)227--235
-
Seddio:1993:ITM, 20(3)227--235
-
Sedlmeyer, Robert L., 3(4)301--307
-
Sedlmeyer:1983:KBF, 3(4)301--307
-
See, 12(1)71--74, 12(1)74--77, 12(1)77--77, 15(2)193--198, 15(2)199--199,
29(2)121--134, 33(1)81--86, 35(3)217--221, 36(3)313--314,
43(1)59--64, 44(2)155--162, 48(1)73--73, 48(1)75--75, 49(1)81--86,
51(3)275--275
-
Seeding, 36(3)273--295
-
seem, 33(1)1--2
-
Segal, Alan R., 3(2)123--135
-
Segal, Alan R., see Wileden, Jack C.
-
Segal, Mark E., 14(2)111--128
-
Segal, Mark E., see Frieder, Ophir
-
SEGRAS, 15(1)17--31
-
Seidewitz, E., 9(2)95--108
-
Seidewitz:1989:GOO, 9(2)95--108
-
Seidman, Stephen B., 42(2)141--151
-
Seidman, Stephen B., see Chang, Kai H.
-
SEL, 18(2)125--138
-
Selby, Richard W., 12(3)209--218, 20(3)267--272
-
Selby, Richard W., see Porter, Adam A.
-
Selby:1993:IAT, 20(3)267--272
-
selecting, 37(3)227--233, 39(3)201--221
-
selection, 1(4)273--281, 6(3)285--294, 7(2)89--97, 13(1)13--23,
13(3)177--185, 19(2)147--152, 22(1)17--26, 35(2)107--117,
36(1)85--97, 39(2)145--164
-
selection, path-, 10(1)55--63
-
self-scheduling, 26(3)245--255
-
Sellers, B., Henderson-, 23(2)123--138
-
Sellers, Brian, Henderson-, 49(1)33--42
-
semantic, 4(2)147--162, 5(3)179--184, 9(1)19--27, 9(3)197--207,
20(3)207--216, 20(3)245--251, 20(3)253--265, 29(3)251--259,
33(2)179--188
-
Semaphore, 21(1)103--112
-
semijoin, 8(2)105--119
-
Seminar, 12(2)83--85
-
Semmel, R. D., 30(1)1--2, 30(1)127--135
-
Semmel:1995:GEC, 30(1)1--2
-
Semmel:1995:IRD, 30(1)127--135
-
Sender-Initiated, 11(2)79--94
-
sensed, 34(2)151--159
-
sensitivity, 3(3)231--243, 44(2)163--168
-
separable, 9(2)51--66
-
SEPS, 38(3)263--277
-
sequence, 39(1)3--6
-
sequencing, 3(3)245--250
-
sequential, 9(2)81--94, 9(3)209--223, 11(3)173--180
-
Sequential, Non-, 15(1)43--62
-
sequentially, 9(2)51--66
-
serial, bit-, 6(1)11--15
-
server, 6(1)125--131, 21(1)41--48, 37(2)99--100, 37(3)201--214
-
server, client-, 27(3)223--232
-
service, 16(3)185--196, 18(2)139--145, 21(1)27--39, 33(3)253--271,
37(1)41--47, 40(3)227--248, 42(3)193--204, 48(3)197--211
-
Service-Level, 18(2)139--145
-
Service-level, 16(3)185--196
-
set, 6(4)343--360, 9(2)81--94, 9(2)273--285, 21(3)253--265,
21(3)279--290, 24(3)239--249, 27(3)243--251, 29(2)135--148,
39(2)145--164, 48(2)79--89
-
Setting, 6(3)295--305
-
Seven, 3(1)3--24, 23(2)163--169
-
several, 2(2)97--103, 9(2)51--66, 9(2)81--94
-
SGML, 36(2)147--166
-
Shah, Jay C., 47(1)27--33
-
Shah, Jay C., see Veerasamy, Jeyakesavan
-
Shah, Pinaki, 24(2)115--124, 35(3)169--183
-
Shah:1994:TMO, 24(2)115--124
-
Shah:1996:CCO, 35(3)169--183
-
Shahmehri, Nahid, 25(3)223--239, 31(1)55--70
-
Shahmehri, Nahid, see Fritzson, Peter
-
Shahmehri:1995:UCA, 31(1)55--70
-
Shalev, Lea, 42(1)71--87
-
Shalev, Lea, see Itzkovitz, Ayal
-
shared, 6(1)61--69, 9(2)51--66, 19(1)3--12, 29(2)149--165, 42(1)71--87,
44(1)3--15
-
shared-memory, 16(1)69--74
-
sharing, 6(1)23--29, 8(1)63--71, 14(3)163--172, 36(3)267--272,
46(1)7--11
-
Shatz, S. M., 8(5)343--359
-
Shatz, Sol M., 17(2)119--127
-
Shatz, Sol M., see Damerla, Srinivasarao
-
Shatz:1988:PNF, 8(5)343--359
-
Shen, V. Y., 2(2)97--103, 8(1)39--46
-
Shen, V. Y., see Woodfield, S. N.,
see Yu, T. J.
-
Sheng, Olivia R. Liu, 19(2)147--152
-
Sheng, Olivia R. Liu, see Morrison, Mike
-
Sheng-De, Wang, 20(2)169--187
-
Sheng-De, Wang, see Rong-Chau, Liu
-
Shepherd, J., 2(2)105--112
-
Shepherd, J., see Lassez, J. L.
-
Sheppard, Sylvia B., 9(2)167--207
-
Sheppard, Sylvia B., see Curtis, Bill
-
Shepperd, M., 26(3)197--210
-
Shepperd:1994:CTM, 26(3)197--210
-
Sherer, Susan A., 25(3)257--269, 29(2)97--105
-
Sherer:1994:MSF, 25(3)257--269
-
Sherer:1995:SFP, 29(2)97--105
-
Sherif, Joseph S., 17(2)111--117, 31(2)157--169, 38(2)133--143,
38(3)263--277, 44(2)147--154
-
Sherif, Joseph S., see Elboushi, Mekki I.,
see Hops, Jonathan M.,
see Kelly, John C., \see{Lin, Chi Y.
-
Sherif:1998:MOO, 44(2)147--154
-
Sheu, Phillip C., 9(1)19--27
-
Sheu, Phillip C.-Y., 11(1)21--29
-
Sheu:1989:DSD, 9(1)19--27
-
Sheu:1990:KBA, 11(1)21--29
-
Shi, Ling, 45(2)141--154
-
Shi, Ling, see Cao, Jiannong
-
Shi, Q., 43(3)233--244
-
Shi:1998:EMC, 43(3)233--244
-
Shieh, Ce Kuen, 9(1)41--49
-
Shieh, Ce-Kuen, 32(3)215--225, 44(1)3--15
-
Shieh:1989:ESA, 9(1)41--49
-
Shieh:1996:OOA, 32(3)215--225
-
Shieh:1998:IPD, 44(1)3--15
-
Shimura, Hirohisa, 34(1)31--42
-
Shimura, Hirohisa, see Sobol, Marion G.
-
Shin, Hyunsik, 32(1)57--64
-
Shin:1996:PMA, 32(1)57--64
-
Shirani, Ashraf, 24(3)267--275
-
Shirani, Ashraf, see Ashqar, Abdelhaleem
-
Shock, Robert C., 42(1)29--44
-
Shock:1998:CSS, 42(1)29--44
-
Shoja, G. C., 14(3)163--172
-
Shoja:1991:DFL, 14(3)163--172
-
Short, 8(2)145--155
-
should, 10(4)229--229
-
show, 9(2)273--285
-
showing, 10(1)29--39
-
Shum, Kam Hong, 48(3)189--196
-
Shum:1999:EFT, 48(3)189--196
-
Sibert, John, 12(2)139--155
-
Sibert, John, see Mili, Hafedh
-
Siddiqi, Jawed, 41(3)147--160
-
Siddiqi, Jawed, see Morrey, Ian
-
Siegel, Michael, 27(3)223--232
-
Siegel:1994:CIC, 27(3)223--232
-
signaled, 44(1)31--43
-
Sikkel, Klaas, 49(2)117--123
-
Sikkel:1999:RWC, 49(2)117--123
-
silver, 7(3)181--182
-
SIMD, 19(1)75--83, 39(3)265--280
-
similar, 49(1)43--48
-
similarity, 34(2)127--132, 43(3)223--232
-
Simmons, D. B., 5(4)279--289
-
Simmons, D. B., see Carver, Doris L.
-
SIMPARC, 33(3)313--327
-
simple, 2(3)271--276, 7(3)195--205, 21(2)163--177, 45(2)155--171
-
simplified, 1(1)71--75, 3(1)85--93, 18(3)245--254
-
Simpson, Susan C., Felix-, 7(1)51--60
-
simulated, 5(3)179--184
-
Simulating, 40(2)151--164
-
simulation, 1(2)131--140, 5(3)179--184, 5(3)185--191, 6(1)23--29,
6(1)81--91, 6(1)183--198, 7(1)61--72, 8(2)105--119, 18(2)191--199,
23(2)139--150, 26(3)285--292, 31(3)215--237, 32(1)3--20,
36(2)181--190, 37(3)187--199, 38(3)263--277, 41(1)51--61,
46(2)91--105, 46(2)107--112, 46(2)113--122, 46(2)163--172,
46(2)173--182, 46(2)183--192
-
simulation-based, 8(4)319--330, 13(1)71--82
-
Simulators, 33(3)313--327
-
Sindre, Guttorm, 30(3)201--212
-
Sindre:1995:RAS, 30(3)201--212
-
Singapore, 41(1)3--15, 44(2)97--105
-
Singh, Mohini, 40(1)7--15
-
Singh, Mohini, see Craig, Annemieke
-
single, 9(2)51--66
-
Single-Project, 22(3)151--165
-
single-valued, 27(3)243--251
-
Siochi, Antonio C., 25(3)241--255
-
Siochi, Antonio C., see Hix, Deborah
-
site, 7(4)253--258
-
size, 4(4)327--332, 5(1)37--48, 32(1)65--72, 37(3)253--263, 48(2)79--89
-
sizing, 7(2)173--177, 8(3)253--253, 11(3)159--171, 15(2)159--172
-
Skuce, Douglas, 14(1)39--50
-
Skuce:1991:LSM, 14(1)39--50
-
SL-trees, 32(3)237--249
-
Slice, 16(3)197--203, 34(2)123--126
-
slicing, 13(3)187--195, 31(3)197--214, 40(1)17--27
-
Slooten, Kees, van, 33(2)153--161
-
small, 19(1)75--83, 26(1)19--30, 33(2)189--201, 38(1)27--35
-
Small-Scale, 39(1)7--14
-
Smdc, 8(1)39--46
-
smerfs, 8(1)47--55
-
SMILI, 19(3)261--275
-
Smith, C. U., 49(1)63--80
-
Smith, Oliver D., 8(1)47--55
-
Smith, Oliver D., see Farr, William H.
-
Smith:1999:PMI, 49(1)63--80
-
smoothing, 48(3)233--245
-
Sneed, Harry, 3(3)193--200
-
Sneed, Harry, see Nyari, Erika
-
Sneed, Harry M., 2(4)289--296, 3(1)63--76
-
Sneed, Harry M., see Majoros, Maria
-
Sneed:1983:SSE, 3(1)63--76
-
Snooping, 29(2)149--165
-
Snyder, John, 28(2)169--177
-
Snyder, John, see Henry, Joel
-
Snyder, Robin M., 16(1)17--28
-
Snyder, Samuel S., 1(1)87--102
-
Snyder:1979:IUC, 1(1)87--102
-
Snyder:1991:STG, 16(1)17--28
-
Sobol, Marion G., 28(1)39--47, 34(1)31--42
-
Sobol, Marion G., see Tesch, Deborah B.
-
Sobol:1996:PCR, 34(1)31--42
-
Societies, 27(1)63--67, 39(1)83--88
-
Soffa, Mary Lou, 5(3)193--202
-
Soffa, Mary Lou, see Blair, Jean R. Stephenson
-
SOFL, 49(1)49--62
-
sofspec, 3(3)193--200
-
SoftClass, 25(2)147--170
-
Softcost-R, 7(4)279--286
-
softcost-r, 7(4)279--286
-
SOFTENG, 10(1)41--53
-
softening, 3(1)63--76
-
Softest, 2(4)289--296
-
Software-, 12(2)125--137
-
software-dependent, 44(3)251--255
-
Software-Engineering, 38(3)263--277
-
software-module, 37(2)129--139
-
Solms, S. H. von, 31(1)45--53
-
Solms, S. H. von, see Mostert, D. N. J.
-
Soloway, Elliot, 7(4)323--323, 7(4)341--355
-
Soloway, Elliot, see Littman, David C.
-
Soloway:1987:SSE, 7(4)323--323
-
solution, 6(1)41--53, 6(1)95--101, 6(1)103--115, 6(1)117--124,
6(1)155--163, 9(2)51--66, 11(2)77--78, 25(2)207--215
-
solved, 15(3)iii--v, 15(3)203--204, 43(3)161--163
-
solving, 6(1)147--154, 9(2)77--78, 47(1)11--17
-
Someone, 19(3)205--206, 23(3)269--275
-
Son, Sang H., 42(3)193--204
-
Son:1998:DTD, 42(3)193--204
-
Song, Haidong, 40(1)67--83
-
Song, Haidong, see Rai, Arun
-
Song, J., 21(2)151--162
-
Song:1993:LTG, 21(2)151--162
-
Sonnemann, Robert M., 41(1)17--32
-
Sonnemann, Robert M., see Rine, David C.
-
Soo, Jo-Han, 14(3)173--181
-
Soo, Jo-Han, see Ha{\'c}, Anna
-
Sorenson, Paul G., 20(3)273--294
-
Sorenson, Paul G., see Boloix, Germinal
-
Sorry, 31(2)171--179
-
sort, 15(1)33--42
-
sorting, 8(2)77--89, 9(3)225--239, 10(3)187--200
-
Soualmi, Moussa, 27(2)119--128
-
Soualmi, Moussa, see Bettaz, Mohamed
-
Soupos, P., 15(1)75--82
-
Soupos, P., see Goutas, S.
-
source, 5(3)203--219, 8(1)3--11, 12(3)263--269, 37(2)117--128
-
space, 8(2)91--104, 46(1)59--75, 48(2)79--89
-
space, tuple-, 47(1)11--17
-
Space-efficient, 35(1)29--41
-
Spafford, Eugene H., 17(1)41--47, 44(1)31--43
-
Spafford, Eugene H., see Schuba, Christoph L.
-
Spafford:1992:CHB, 17(1)41--47
-
Spangler, William E., 19(2)131--140
-
Spangler:1992:SFC, 19(2)131--140
-
spare, 5(3)221--227, 47(1)27--33
-
Sparse, 35(1)67--71
-
spatial, 44(1)73--83
-
Spc, 6(4)367--378
-
special, 1(3)179--179, 2(1)31--38, 4(2)95--98, 4(4)iii--v, 4(4)267--267,
6(1)5--5, 7(4)323--323, 8(1)1--2, 12(2)83--85, 13(2)87--88,
29(3)197--198, 42(2)103--104
-
specialized, 19(1)75--83
-
Specific, 38(2)165--192
-
Specific, Application-, 25(2)201--206
-
Specific, Domain-, 30(3)187--199, 38(3)197--209
-
specific, domain-, 30(3)213--230
-
specification, 1(1)19--27, 2(1)31--38, 2(2)177--186, 2(4)297--316,
3(2)123--135, 3(3)193--200, 3(4)315--323, 4(1)27--37, 4(4)2--3,
4(4)317--325, 6(3)285--294, 6(4)343--360, 7(1)73--82, 7(2)99--107,
7(4)357--369, 8(1)13--37, 8(5)409--417, 10(2)97--112, 11(1)53--69,
11(2)143--154, 12(2)107--123, 15(1)17--31, 15(1)33--42,
15(2)173--183, 16(2)107--120, 16(3)255--264, 17(2)169--188,
17(3)205--217, 18(1)33--60, 20(3)273--294, 21(2)129--139,
21(2)141--149, 21(3)199--200, 21(3)229--244, 21(3)267--278,
21(3)291--304, 21(3)305--319, 21(3)i--iii, 27(2)97--117,
27(2)119--128, 29(2)167--175, 31(1)45--53, 32(1)83--95,
32(2)135--142, 32(3)269--308, 33(3)287--298, 33(3)299--312,
34(1)43--65, 36(2)137--145, 37(2)141--159, 39(2)119--143,
40(2)165--181, 40(3)199--210, 40(3)211--225, 40(3)275--296,
41(2)93--103, 41(3)147--160, 42(1)3--15, 42(2)115--123,
42(2)125--140, 42(2)141--151, 42(2)165--174, 45(2)127--139,
48(2)119--137, 48(2)139--153, 49(1)49--62
-
Specification-based, 40(3)249--262
-
Specification-in-Large, 31(1)7--32
-
Specified, 34(1)67--81
-
Specifying, 3(2)155--162, 7(4)357--369, 16(1)17--28, 19(3)207--224,
21(3)245--252
-
speedup, 6(1)81--91
-
Spil, Ton A. M., 49(2)117--123
-
Spil, Ton A. M., see Sikkel, Klaas
-
Spiteri, P., 6(1)169--173
-
Spiteri, P., see Miellou, J.-C.
-
splitting, 47(1)27--33
-
Spreadsheet, 13(3)197--200, 23(3)245--255, 25(2)185--192, 25(2)201--206
-
SPRINT, 41(3)199--219
-
Srimani, Pradip K., 11(2)111--129, 21(3)199--200, 26(2)179--191,
33(3)205--206
-
Srimani, Pradip K., see Bieman, James M.,
see DeMent, Naomi S.,
see Mishra, Shivakant
-
sse, 27(1)63--67, 39(1)83--88
-
Staa, Arndt, von, 1(2)107--122
-
Stålhane, T., 38(1)85--93
-
Stålhane, Tor, 26(1)69--76
-
Staalhane:1994:QRC, 26(1)69--76
-
Staalhane:1997:SCQ, 38(1)85--93
-
Stack, 27(1)45--54
-
Stack-based, 9(3)225--239
-
Stack-Heap, 5(3)193--202
-
stack-heap, 5(3)193--202
-
STAD, 12(1)3--14
-
stage, 8(4)297--311, 9(2)81--94, 33(2)189--201
-
stamps, 6(1)137--145
-
stand-alone, 9(1)41--49
-
standard, 2(4)317--318, 2(4)319--327, 2(4)329--336, 2(4)337--350,
2(4)357--362, 2(4)371--377, 4(4)327--332, 6(1)11--15, 6(3)295--305,
7(2)87--88, 8(1)13--37, 36(2)147--166, 43(1)29--44
-
Standardization, 2(4)351--355
-
standby, 5(3)221--227
-
Stansifer, Ryan, 26(2)129--148
-
Stansifer:1994:MCP, 26(2)129--148
-
Stark, George E., 24(3)239--249
-
Stark, Mike, 23(2)163--169, 23(2)199--204
-
Stark, Mike, see Scholtz, Jean
-
Stark:1993:IOO, 23(2)163--169
-
Stark:1994:SMS, 24(3)239--249
-
Start, 21(1)17--25
-
starts, 9(2)81--94
-
state, 2(3)201--211, 6(1)95--101, 9(4)253--272, 26(1)53--60, 28(1)59--68,
31(2)109--124, 31(2)171--179, 40(1)17--27, 46(1)59--75
-
state, finite-, 9(4)253--272
-
State, Steady-, 6(1)103--115
-
state-of-the-art, 18(1)61--83
-
Stateful, 48(3)177--187
-
Statement, 11(3)217--223
-
static, 5(1)37--48, 8(5)343--359, 28(2)129--142, 36(2)147--166,
40(1)17--27
-
stationary, 6(1)199--204
-
statistical, 2(1)3--9, 5(1)49--58, 7(2)109--114, 8(1)47--55,
16(2)151--163, 20(2)107--114
-
statistics, 6(1)17--20, 13(1)71--82
-
status, 2(4)363--370, 6(4)379--389, 30(3)167--170, 30(3)i--ii
-
Staudt, Barbara J., 5(2)107--119
-
Staudt, Barbara J., see Ellison, Robert J.
-
Stavely, Allan M., 3(2)123--135, 3(2)137--146, 5(3)185--191,
9(4)253--272, 11(1)3--20, 22(3)167--177
-
Stavely, Allan M., see Titus, Gregory B.,
see Wileden, Jack C.
-
Stavely:1983:MPS, 3(2)137--146
-
Stavely:1985:IMS, 5(3)185--191
-
Stavely:1990:AAC, 11(1)3--20
-
Stavely:1993:ESI, 22(3)167--177
-
Stavridou, Victoria, 28(1)77--87, 48(2)91--104
-
Stavridou, Victoria, see Liu, Shaoying
-
Stavridou:1999:ISI, 48(2)91--104
-
Std-1679, Mil-, 2(4)319--327
-
STD-2167A, DoD-, 15(2)173--183
-
Steady-State, 6(1)103--115
-
Stefano, A., Di, 48(2)105--117
-
Steinberg, Esther R., 11(3)199--204
-
Steinberg, Esther R., see Jones, A. Russell
-
Stennis, 20(1)87--92
-
Step, 1(2)107--122, 33(2)171--177
-
stepwise, 5(1)81--88
-
Stevens, K. Todd, 44(3)241--250
-
Stevens, K. Todd, see Henry, Sallie M.
-
stochastic, 6(1)103--115, 6(1)117--124, 16(1)59--68, 16(2)121--128,
18(2)191--199, 21(2)163--177, 26(2)149--165, 36(3)247--265
-
Stoen, Rick, 29(2)121--134
-
Stoen, Rick, see Wong, Johnny
-
Stokes, Gorden, 49(2)171--175
-
Stokes, Gorden, see Lidtke, Doris K.
-
storage, 2(1)71--79, 5(3)193--202, 5(4)249--265, 7(3)183--194,
8(4)275--282, 10(1)15--21, 11(1)31--44, 19(1)75--83, 27(3)159--169
-
stored, 19(1)75--83
-
Storey, M.-A. D., 44(3)171--185
-
Storey:1999:CDE, 44(3)171--185
-
story, 8(3)161--163, 27(1)1--2, 32(2)99--100, 36(1)69--83, 43(2)83--84
-
Stott, Jack W., 18(2)191--199, 32(1)3--20
-
Stott, Jack W., see Warren, James R.
-
Stotts, P. David, 27(1)27--43
-
Stotts:1994:PFA, 27(1)27--43
-
Stoyenko, Alexander D., 18(1)61--83
-
Stoyenko:1992:ESA, 18(1)61--83
-
Strange, 35(1)1--2
-
STRAPS, 5(4)291--302
-
strategic, 46(2)203--211
-
strategy, 1(4)273--281, 6(3)237--249, 7(2)99--107, 7(3)207--212,
8(2)91--104, 18(3)281--285, 19(1)75--83, 19(2)153--157,
21(3)215--228, 36(2)167--179, 41(1)51--61, 46(2)151--161,
49(2)125--134
-
Stream-Oriented, 3(2)147--154
-
streams, 8(2)133--144
-
street, 28(1)1--2
-
stress, 26(1)31--42, 38(1)13--25
-
Strickland, Karl, 25(2)147--170
-
Strickland, Karl, see Mili, Hafedh
-
string, 2(1)71--79, 22(3)207--216, 39(3)201--221
-
Strong, Diane M., 44(2)107--120
-
Strong, Diane M., see Dishaw, Mark T.
-
Strongly, 14(1)31--38
-
structural, 4(1)75--91, 10(1)55--63, 12(1)55--70, 12(2)125--137,
18(2)113--123, 22(2)81--90
-
Structurally, 12(3)177--187
-
structure, 1(3)181--186, 1(4)283--297, 1(4)319--336, 2(1)23--29,
2(2)147--157, 4(2)123--133, 5(1)59--71, 5(3)193--202, 8(1)3--11,
8(2)145--155, 16(2)121--128, 19(3)225--245, 20(3)217--225,
32(3)237--249, 34(2)123--126, 36(2)191--199
-
Structure-based, 28(1)3--7
-
Structure-Oriented, 25(1)85--99
-
structured, 2(2)113--120, 3(3)231--243, 3(3)245--250, 7(1)15--28,
8(2)145--155, 9(2)81--94, 13(1)1--1, 13(1)13--23, 15(2)159--172,
16(1)1--2, 21(2)179--186, 24(2)125--137, 28(1)49--58, 28(1)69--75
-
structuring, 3(3)231--243, 9(2)81--94
-
Stuart, Chris J., Ho-, 28(3)239--251
-
Stucki, Leon G., 1(1)77--86
-
Stucki, Leon G., see Osterweil, Leon J.
-
students, 39(2)91--91, 49(2)117--123
-
study, 1(2)123--129, 2(2)97--103, 7(4)323--323, 8(1)63--71, 8(4)319--330,
9(2)273--285, 9(3)167--168, 10(4)271--279, 11(3)217--223,
13(1)71--82, 14(1)3--15, 14(3)199--214, 16(1)75--80, 16(2)151--163,
16(3)229--234, 17(2)129--143, 18(2)139--145, 19(2)159--169,
20(1)19--36, 20(2)163--167, 20(3)227--235, 21(3)215--228,
21(3)229--244, 22(3)167--177, 25(2)147--170, 25(2)171--184,
26(1)69--76, 26(3)285--292, 28(1)9--18, 28(1)69--75, 28(2)157--167,
31(2)97--108, 31(2)109--124, 31(3)185--196, 32(1)73--82,
32(3)183--184, 35(3)185--197, 36(1)85--97, 37(2)161--173,
38(1)47--59, 38(2)145--154, 39(1)1--2, 40(3)199--210, 40(3)249--262,
41(1)17--32, 41(2)133--143, 42(2)115--123, 42(3)205--225,
43(1)29--44, 43(2)85--91, 43(2)133--160, 44(2)163--168,
44(3)229--240, 45(3)177--195, 48(2)79--89, 49(2)117--123,
49(2)177--192
-
Stuebing, H. G., 3(2)163--171
-
Stuebing:1983:IWS, 3(2)163--171
-
style, 10(4)271--279, 15(3)287--301
-
Stytz, M. R., 19(3)247--259
-
Stytz:1992:DAS, 19(3)247--259
-
subdomain, 6(1)169--173
-
Subgraph, 40(1)17--27
-
subgroup, 2(4)329--336
-
Subject, 1(4)349--349, 2(4)383--383, 4(4)335--335, 5(4)307--307,
6(4)391--391, 7(4)372--372, 8(5)433--433, 9(4)313--313,
10(4)287--288, 13(3)237--238, 16(3)267--268, 19(3)293--294,
23(3)277--278, 27(1)55--61, 27(3)255--256, 31(3)279--280,
35(3)225--226, 39(3)295--299
-
Subjective, 1(3)259--266
-
Subrahmanyam, P., 4(1)13--26
-
Subrahmanyam, P., see Katz, Randy
-
Subramanian, Girish H., 21(2)187--196, 23(1)3--7, 31(2)135--141,
38(3)255--261
-
Subramanian:1993:DRS, 21(2)187--196
-
Subramanian:1993:EES, 23(1)3--7
-
Subramanian:1995:EAS, 31(2)135--141
-
Subramanian:1997:EEF, 38(3)255--261
-
subset, 33(1)81--86, 36(3)313--314
-
subsystem, 9(2)81--94, 36(3)211--231
-
Subway, 21(3)229--244
-
success, 19(2)131--140, 32(2)99--100, 36(1)69--83, 41(1)17--32,
43(1)1--2, 47(2)149--157
-
successash, 43(2)83--84
-
Successful, Less-than-, 19(2)113--122
-
successfully, 21(1)27--39
-
successive, 26(3)257--272
-
such, 19(1)75--83, 21(1)27--39
-
suffer, 19(1)75--83
-
Sufficient, 8(1)3--11
-
Sugiyama, Yuji, 9(2)129--136
-
Sugiyama, Yuji, see Kudo, Hideo
-
Suh, Yongmoo, 23(2)183--197
-
Suh, Yongmoo, see Kim, Won
-
suitable, 42(1)17--28
-
suite, 6(1)11--15, 32(3)251--267, 44(2)155--162, 48(1)75--75
-
Sum, Jr., R. N., 6(3)273--284
-
sum-of-products, 7(2)141--143
-
Sum:1986:AOS, 6(3)273--284
-
summary, 8(2)145--155, 9(2)137--148
-
Summers, Craig, 17(1)91--103
-
Summers:1992:CCC, 17(1)91--103
-
supercomputing, 33(3)239--251
-
superior, 4(4)277--287
-
supplied, user-, 9(2)51--66
-
support, 3(1)63--76, 4(1)27--37, 4(2)175--184, 5(2)91--105, 5(2)107--119,
5(2)155--171, 7(1)37--49, 9(4)287--295, 12(2)125--137, 16(1)69--74,
16(2)85--95, 24(3)267--275, 30(1)127--135, 31(3)215--237,
32(3)183--184, 34(2)85--87, 34(3)191--210, 35(2)151--164,
39(2)165--178, 41(3)147--160, 44(3)171--185, 46(2)107--112,
48(1)43--57
-
supported, 9(2)81--94
-
supported, case-, 24(2)95--113
-
supported, language-, 30(3)271--293
-
Supporting, 21(1)27--39, 44(2)107--120
-
surface, 19(3)247--259
-
surprising, 41(2)75--77
-
survey, 2(4)297--316, 12(3)233--241, 18(1)85--99, 19(1)97--107,
26(1)5--18, 39(1)71--82, 40(1)67--83, 45(2)127--139
-
Swanson, E. Burton, 8(1)63--71
-
Swanson:1988:UCS, 8(1)63--71
-
Swigger, Kathleen M., 8(5)395--399
-
Swigger:1988:DPP, 8(5)395--399
-
Switched, Circuit-, 20(2)189--201
-
symbol, 2(1)71--79
-
symbolic, 3(4)285--294, 5(1)15--35, 14(3)183--198, 44(1)73--83
-
synchronization, 6(1)137--145, 7(2)127--140
-
Synchronizing, 9(3)183--190
-
synchronous, 6(4)361--365
-
syndrome, 8(4)319--330
-
synergies, 40(3)263--273
-
syntactic, 8(1)57--62
-
syntax, 5(3)179--184, 36(2)147--166
-
Syntax-Directed, 23(1)65--79
-
syntax-directed, 5(2)121--144, 9(3)169--182
-
synthesis, 4(1)7--12, 13(1)39--54, 25(1)73--84, 45(3)203--214,
47(1)53--69
-
synthetic, 10(1)3--14
-
system, Operating-, 16(2)85--95
-
System/9000, 6(3)273--284
-
systems, information-, 10(1)3--14
-
systems-centric, 49(2)171--175
-
Szafron, Duane, 19(1)13--25
-
Szafron, Duane, see Lanovaz, Daniel