• I
  • ICECCS
  • 2000
  • Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00)
Advanced Search 
Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00)
Tokyo, Japan
September 11-September 15
ISBN: 0-7695-0583-X
Table of Contents
Invited Speech
Reactive Systems
V.S. Alagar, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
O. Ormandjieva, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
M. Zheng, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 0012
P. Bellini, Dept. of Syst. & Inf., Firenze Univ., Italy
M.A. Bruno, Dept. of Syst. & Inf., Firenze Univ., Italy
P. Nesi, Dept. of Syst. & Inf., Firenze Univ., Italy
pp. 0025
M. Kaaniche, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-C. Laprie, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-P. Blanquart, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 0036
Session 1 - System Modeling
H. Gomaa, George Mason Univ., Fairfax, VA, USA
L. Kerschberg, George Mason Univ., Fairfax, VA, USA
G.A. Farrukh, George Mason Univ., Fairfax, VA, USA
pp. 0050
H. Gomaa, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
Shaoying Liu, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
M.E. Shin, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0061
C. Rouff, NASA Goddard Space Flight Center, Greenbelt, MD, USA
J. Rash, NASA Goddard Space Flight Center, Greenbelt, MD, USA
M.G. Hinchey, NASA Goddard Space Flight Center, Greenbelt, MD, USA
pp. 0072
Session 1 - Systems Development
W.G. Howerton, Air Force Weather Agency, Offutt Air Force Base, NE, USA
M.G. Hinchey, Air Force Weather Agency, Offutt Air Force Base, NE, USA
pp. 0105
Session 2 - Special Session: Network Software II
R. Takeuchi, Inf. Sharing Platform Labs., NTT, Tokyo, Japan
A. Miura, Inf. Sharing Platform Labs., NTT, Tokyo, Japan
M. Yoshimi, Inf. Sharing Platform Labs., NTT, Tokyo, Japan
pp. 0118
T. Ihara, NTT Network Service Syst. Labs., Tokyo, Japan
H. Ohnishi, NTT Network Service Syst. Labs., Tokyo, Japan
Y. Takagi, NTT Network Service Syst. Labs., Tokyo, Japan
pp. 0120
S. Inoue, Fac. of Inf. Sci., Hiroshima City Univ., Japan
Y. Kakuda, Fac. of Inf. Sci., Hiroshima City Univ., Japan
pp. 0122
PNNI Data Management for Dynamic Routing in ATM Network
T.L. Kunii, Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan
M. Hisada, Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan
pp. 0126
Session 1 - Embedded, Concurrent, and Distributed Systems
L.A. Cortes, Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
P. Eles, Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
Zebo Peng, Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 0134
H. Hirayama, Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
H. Honda, Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
T. Yuba, Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
pp. 0143
R. Ramirez, Sch. of Comput., Nat. Univ. of Singapore, Singapore
A.E. Santosa, Sch. of Comput., Nat. Univ. of Singapore, Singapore
R.H.C. Yap, Sch. of Comput., Nat. Univ. of Singapore, Singapore
pp. 0151
Session 2 - Special Session: Formal Engineering Method - SOFL
Software Verification, Management, and Business Application Using SOFL
Testing and Verification
Miao Huaikou, Sch. of Comput. Eng. & Sci., Shanghai Univ., China
Liu Ling, Sch. of Comput. Eng. & Sci., Shanghai Univ., China
pp. 0164
A.J. Offutt, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
A. Abdurazik, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
R.T. Alexander, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0172
A. Abdurazik, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
P. Ammann, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
Wei Ding, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
J. Offutt, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0179
B.A. Bakar, Int. Inst. for Software Technol., United Nations Univ., Macau
T. Janowski, Int. Inst. for Software Technol., United Nations Univ., Macau
pp. 0188
Communication and Control Systems
F. Nakanishi, Dept. of Comput. Eng., Hiroshima City Univ., Japan
S. Hiraike, Dept. of Comput. Eng., Hiroshima City Univ., Japan
S. Inoue, Dept. of Comput. Eng., Hiroshima City Univ., Japan
Y. Kakuda, Dept. of Comput. Eng., Hiroshima City Univ., Japan
K. Toda, Dept. of Comput. Eng., Hiroshima City Univ., Japan
pp. 0210
S. Inoue, Fac. of Inf. Sci., Hiroshima City Univ., Japan
Y. Kakuda, Fac. of Inf. Sci., Hiroshima City Univ., Japan
M. Terabe, Fac. of Inf. Sci., Hiroshima City Univ., Japan
pp. 218
Jakob Axelsson, Volvo Technological Development Corp., G?teborg, SWEDEN
pp. 0229
Panel - Software Complexity of the Net
Usage of this product signifies your acceptance of the Terms of Use.