Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

076950583x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Principles and mechanisms for evolving software systems

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873945 ◽

2005 ◽

Author(s):

T. Katayama

Keyword(s):

Software Systems

Download Full-text

Dynamically detecting relevant program invariants

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873940 ◽

2005 ◽

Author(s):

D. Notkin

Keyword(s):

Program Invariants

Download Full-text

Multiple backup virtual paths reservation problem and its solution

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873935 ◽

2002 ◽

Author(s):

S. Inoue ◽

Y. Kakuda

Keyword(s):

Download Full-text

Distributed development of complex software systems with Object Make

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873930 ◽

2002 ◽

Author(s):

Y. Sugiyama

Keyword(s):

Software Systems ◽

Distributed Development

Download Full-text

Definitions of equivalence for transformational synthesis of embedded systems

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873937 ◽

2002 ◽

Author(s):

L.A. Cortes ◽

P. Eles ◽

Zebo Peng

Keyword(s):

Embedded Systems

Download Full-text

New measure and experimental evaluation for multiagent-based reservation of backup virtual paths in ATM networks

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873948 ◽

2002 ◽

Author(s):

S. Inoue ◽

Y. Kakuda ◽

M. Terabe

Keyword(s):

Experimental Evaluation ◽

Atm Networks ◽

Download Full-text

Concurrent programming made easy

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873939 ◽

2002 ◽

Author(s):

R. Ramirez ◽

A.E. Santosa ◽

R.H.C. Yap

Keyword(s):

Concurrent Programming

Download Full-text

A flexible scheduling for automobile control using imprecise computation and its fundamental evaluation

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873947 ◽

2002 ◽

Author(s):

F. Nakanishi ◽

S. Hiraike ◽

S. Inoue ◽

Y. Kakuda ◽

K. Toda

Keyword(s):

Flexible Scheduling ◽

Imprecise Computation

Download Full-text

Experience using formal methods for specifying a multi-agent system

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873929 ◽

2002 ◽

Author(s):

C. Rouff ◽

J. Rash ◽

M.G. Hinchey

Keyword(s):

Formal Methods ◽

Multi Agent System ◽

Agent System ◽

Download Full-text

Mobile IP route optimization method for a carrier-scale IP network

Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000 ◽

10.1109/iceccs.2000.873934 ◽

2002 ◽

Author(s):

T. Ihara ◽

H. Ohnishi ◽

Y. Takagi

Keyword(s):

Mobile Ip ◽

Optimization Method ◽

Route Optimization ◽

Download Full-text