loading...
  • I
  • ICECCS
  • 1995
  • First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)
Advanced Search 
First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)
Ft. Lauderdale, Florida
November 06-November 10
ISBN: 0-8186-7123-8
Table of Contents
Reviewers (PDF)
pp. xviii
Keynote Speech
Common Session I (Deliberate Potpourri), Chair: B. Kraemer
J. Jehuda, Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
G. Koren, Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
D.M. Berry, Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 9
Common Session II (Deliberate Potpourri), Chair: K. Nilson
Jin Song Dong, Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
G. Rose, Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
R. Duke, Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
pp. 31
W.A. Halang, Dept. of Electr. Eng., Fern Univ., Hagen, Germany
K.F. Man, Dept. of Electr. Eng., Fern Univ., Hagen, Germany
M. Colnaric, Dept. of Electr. Eng., Fern Univ., Hagen, Germany
pp. 39
L. Baresi, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
A. Orso, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
M. Pezze, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
pp. 43
Common Session III (Deliberate Potpourri), Chair: T. Bihari
A. Rendon, ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
J.C. Duenas, ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
M.A. de Miguel, ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
J. Leskela, ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
J.A. de la Puente, ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
G. Leon, ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
A. Alonso, ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
pp. 47
M. Lee, Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
N. Prywes, Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
I. Lee, Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
pp. 55
P. Curzon, Comput. Lab., Cambridge Univ., UK
I.M. Leslie, Comput. Lab., Cambridge Univ., UK
pp. 59
W.M. Elseaidy, Alphatronix Inc., Research Triangle Park, NC, USA
R. Cleaveland, Alphatronix Inc., Research Triangle Park, NC, USA
pp. 70
Common Session IV
Panel
Parallel Session V.a (Design Methods), Chiar: J.-J. Schwarz
D.A. Menasce, Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
H. Gomaa, Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
L. Kerschberg, Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 72
V. Kirova, Software Eng. Lab., New Jersey Inst. of Technol., Newark, NJ, USA
W. Rossak, Software Eng. Lab., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 80
Shiu-Kai Chin, Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
J. Faust, Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
J. Giordano, Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 88
Parallel Session V.b (Real Time), Chair: L. Motus
A. Raha, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
N. Malcolm, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Wei Zhao, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 96
A Visual Data Flow Language Used for a Multi Tasking Programming of Real Time Applications with a Rate-Monotonic Scheduling
Formal Verification of Transformation Rules for Speculative Execution in a Real-Time System
Evaluation of Real-Time Requirements by Simulation Based Analysis
Towards a Scalable Real-Time Kernel for Function-Distributed Multiprocessors
Parallel Session V.c (Software and Systems Engineering), Chair: J. Lavi
J.R. Newman, Florida Inst. of Technol., Melbourne, FL, USA
S.L. Rohde, Florida Inst. of Technol., Melbourne, FL, USA
pp. 112
F. Boufares, LIPN, Univ. de Paris-Nord, Villetaneuse, France
F. Gargouri, LIPN, Univ. de Paris-Nord, Villetaneuse, France
N. Kraiem, LIPN, Univ. de Paris-Nord, Villetaneuse, France
pp. 116
M.J. Diepstraten, TNO Phys. & Electron. Lab., Netherlands Organization for Applied Sci. Res., The Hague, Netherlands
pp. 121
P. Henderson, Dept. of Electron. & Comput. Sci., Southampton Univ., UK
G.D. Pratten, Dept. of Electron. & Comput. Sci., Southampton Univ., UK
pp. 125
Parallel Session V1.a (Formal Methods), Chair: J. Bowen
K. Lano, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
S. Goldsack, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 129
Shaoying Liu, Fac. of Inf. Sci., Hiroshima Univ., Japan
Yong Sun, Fac. of Inf. Sci., Hiroshima Univ., Japan
pp. 137
K. Brink, Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
L. Bun, Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
J. Van Katwijk, Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
W.J. Toetenel, Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
pp. 149
Parallel Session V1.b (Real Time), Chair: J. Huang
E. Bensley, Mitre Corp., Bedford, MA, USA
L. Fisher, Mitre Corp., Bedford, MA, USA
M. Gates, Mitre Corp., Bedford, MA, USA
J. Houchens, Mitre Corp., Bedford, MA, USA
A. Kanevsky, Mitre Corp., Bedford, MA, USA
S. Kim, Mitre Corp., Bedford, MA, USA
P. Krupp, Mitre Corp., Bedford, MA, USA
A. Schafer, Mitre Corp., Bedford, MA, USA
B. Thuraisingham, Mitre Corp., Bedford, MA, USA
pp. 153
Combining Real-Time Features of Local Area Networks: FIP and CAN
Constructing an Interval Temporal Logic for Real-Time Systems
Parallel Session V1.c (Software and Systems Engineering), Chair: S. Howell
Haifeng Qian, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
E.B. Fernandez, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
Jie Wu, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 167
R.H. Cofer, Florida Inst. of Technol., Melbourne, FL, USA
T.J. Sanders, Florida Inst. of Technol., Melbourne, FL, USA
pp. 175
T.C. Choinski, Naval Underwater Syst. Center, New London, CT, USA
D.J. Organ, Naval Underwater Syst. Center, New London, CT, USA
N.D. Patel, Naval Underwater Syst. Center, New London, CT, USA
J.J. McGahan, Naval Underwater Syst. Center, New London, CT, USA
pp. 179
T.J. Redling, Guidance & Control Syst., Allied-Signal Aerosp. Co., Columbia, MD, USA
pp. 187
Common Session VIII
Panel
Parallel Session 1X.a (Databases and Integration Frameworks), Chair: E. Bertino
Jen-Yao Chwng, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
D. Ferguson, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
G. Wang, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
C. Nikolaou, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J. Teng, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 191
C. Landauer, National Systems Group, Aerosp. Corp., Herndon, VA, USA
K.L. Bellman, National Systems Group, Aerosp. Corp., Herndon, VA, USA
pp. 199
E. Argante, Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
P. van der Stok, Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
I. Willers, Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 207
Parallel Session 1X.b (Real-Time Schedulability and Scheduling Issues), Chair: W. Zhao
R. Yerraballi, Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
R. Mukkamala, Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 215
R.T. Goettge, Adv. Syst. Technol. Inc., Englewood, CO, USA
E. Brehm, Adv. Syst. Technol. Inc., Englewood, CO, USA
C. Palczak, Adv. Syst. Technol. Inc., Englewood, CO, USA
J.A. Stankovic, Adv. Syst. Technol. Inc., Englewood, CO, USA
M. Humphrey, Adv. Syst. Technol. Inc., Englewood, CO, USA
pp. 223
Periodic Messages Scheduling within Fieldbus Networks: A Centralised Approach
Practical Issues in the Implementation of Fixed Priority Real-Time Systems
A Reactive Scheduler for Real-Time Systems
Parallel Session 1X.c (Tools and Environments), Chair: J. de la Puente
G. Karsai, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
J. Sztipanovits, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
H. Franke, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
S. Padalkar, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
F. DeCaria, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
pp. 227
E.M. Osman, Mitre Corp., Eatontown, NJ, USA
G. Baratta-Perez, Mitre Corp., Eatontown, NJ, USA
T.J. Walsh, Mitre Corp., Eatontown, NJ, USA
K.J. Fowler, Mitre Corp., Eatontown, NJ, USA
pp. 234
A Design System for Automatic Generation of Hard Real-Time Control Code
An Off-line Scheduler and System Simulator for the BASEMENT Distributed Real-Time System
Parallel Session X.a (Specification and Reasoning), Chair: M. Pezze
B. Moszkowski, Dept. of Electr. & Electron. Eng., Newcastle upon Tyne Univ., UK
pp. 238
M. Barjaktarovic, Dept. of Electr. & Comput. Eng., Wilkes Univ., PA, USA
Shiu-Kai Chin, Dept. of Electr. & Comput. Eng., Wilkes Univ., PA, USA
K. Jabbour, Dept. of Electr. & Comput. Eng., Wilkes Univ., PA, USA
pp. 246
K. Lano, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 254
Parallel Session X.b (Imaging & Artificial Intelligence), Chair: H. Lee
Estimation and Tracking of Object 3-d Motion Parameters from Stereo Noisy Images
M.S. Moore, Dept. of ECE, Vanderbilt Univ., Nashville, TN, USA
J. Nichols, Dept. of ECE, Vanderbilt Univ., Nashville, TN, USA
pp. 262
D.M. Wu, Dept. of Electr. Eng., Sydney Univ., NSW, Australia
L. Guan, Dept. of Electr. Eng., Sydney Univ., NSW, Australia
G. Lau, Dept. of Electr. Eng., Sydney Univ., NSW, Australia
D. Rahija, Dept. of Electr. Eng., Sydney Univ., NSW, Australia
pp. 266
L.E. Grossman, Foard Syst. Design Inc., Durham, NC, USA
W.W. Foard, Foard Syst. Design Inc., Durham, NC, USA
E.C. Burdette, Foard Syst. Design Inc., Durham, NC, USA
P.L. Neubauer, Foard Syst. Design Inc., Durham, NC, USA
G.K. Svensson, Foard Syst. Design Inc., Durham, NC, USA
pp. 270
Parallel Session X.c (Software and Systems Engineering), Chair: M. Wilson
The Engineering Baseline: A New Paradigm in Text-based System Definition, Assessment, and Control
M.L. Edwards, Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
M. Flanzer, Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
M. Terry, Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
J. Landa, Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
pp. 278
F. de Paoli, Dipartimento di Sci. dell'Inf., Milan Univ., Italy
F. Tisato, Dipartimento di Sci. dell'Inf., Milan Univ., Italy
pp. 282
Traceability in Model Life Cycle Management
M.S. Harelick, Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
T.J. Marlowe, Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
A.D. Stoyenko, Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
P. Sinha, Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 286
Parallel Session X1.a (Object Orientation and Modeling), Chair: T. Ae
G. Krasovec, Adv. Syst. Technol., Englewood, CO, USA
M. Baker, Adv. Syst. Technol., Englewood, CO, USA
S. Gheorghe, Adv. Syst. Technol., Englewood, CO, USA
pp. 290
L. Motus, Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
R. Kinksaar, Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
T. Naks, Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
M. Pall, Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
pp. 298
P. Darscht, Inst. for Autom. & Software Eng., Stuttgart, Germany
C.E. Pereira, Inst. for Autom. & Software Eng., Stuttgart, Germany
pp. 302
L. Ziegler, NOKIA Res. Center, Helsinki, Finland
M. Awad, NOKIA Res. Center, Helsinki, Finland
J. Kuusela, NOKIA Res. Center, Helsinki, Finland
pp. 306
R. Achuthan, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
V.S. Alagar, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
T. Radhakrishnan, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 310
Parallel Session X1.b (Networking and Communications), Chair: P. Gopinath
S. Acharya, Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
R. Alonso, Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
pp. 314
R.D. Fellman, Dept. of Electr. & Comput. Eng., California Univ., San Diego, La Jolla, CA, USA
R. Grygiel, Dept. of Electr. & Comput. Eng., California Univ., San Diego, La Jolla, CA, USA
I. Chu, Dept. of Electr. & Comput. Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 322
Adaptive Video Transmission: A Real-Tiome Feedback Control Protocol
Performance Studies of Real-Time Communications in ATM Networks
Parallel Session XI1.a (Heterogeneous Computing), Chair: M. Eshaghian
J.B. Armstrong, Sarnoff Real Time Corp., Princeton, NJ, USA
H.J. Siegel, Sarnoff Real Time Corp., Princeton, NJ, USA
pp. 326
SPRINGPLAY - A New Class of Compile-Time Scheduling Algorithm for Heterogeneous Target Architectures
T.A. Budd, Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
T.P. Justice, Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
R.K. Pandey, Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 334
P.K. Linos, Dept. of Comput. Sci., Tennessee Technol. Univ., Cookeville, TN, USA
pp. 338
Parallel Session XII.b (Dependable and Fault-Tolerant Real-Time Systems), Chair: Y. Yamaguchi
E.B. Fernandez, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
R.B. France, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 342
M.F. Younis, Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
G. Tsai, Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
T.J. Marlowe, Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
A.D. Stoyenko, Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 349
P. Binns, Honeywell Technol. Cente, Minneapolis, MN, USA
S. Vestal, Honeywell Technol. Cente, Minneapolis, MN, USA
pp. 357
Parallel Session XII.c (Software and Systems Engineering), Chair: F. Cottet
J. Sztipanovits, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
G. Karsai, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
C. Biegl, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
T. Bapty, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
A. Ledeczi, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
A. Misra, Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
pp. 361
A Top Layer design Approach to Dynamic Real-Time Software
Models of Replication for Safety Critical Hard Real-Time Systems
S. White, Adv. Technol. & Dev. Center, Northrop Grumman, Bethpage, NY, USA
M. Edwards, Adv. Technol. & Dev. Center, Northrop Grumman, Bethpage, NY, USA
pp. 373
Parallel Session XIII.a (High Performance Architectures), Chair: J. Vasell
F. Bonfatti, Dipartimento di Sci. dell'Ingegneria, Modena Univ., Italy
P.D. Monari, Dipartimento di Sci. dell'Ingegneria, Modena Univ., Italy
G. Gadda, Dipartimento di Sci. dell'Ingegneria, Modena Univ., Italy
pp. 377
B. Magnussen, Inst. for Real-Time Comput. Syst. & Robotics, Karlsruhe Univ., Germany
pp. 385
Techniques to Support the Use of Cache Memory in Hard Real-Time Systems
Measuring the Influence of Real-Time Operating Systems on Performance and Determinism
Parallel Session XIII.b (Testing and Assessment), Chair: T. Marlowe
T.M. Khoshgoftaar, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
E.B. Allen, Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 389
G. Tsai, Dept. of Math. & Comput. Sci., Fairleigh Dickinson Univ., Teaneck, NJ, USA
M. Insall, Dept. of Math. & Comput. Sci., Fairleigh Dickinson Univ., Teaneck, NJ, USA
B. McMillin, Dept. of Math. & Comput. Sci., Fairleigh Dickinson Univ., Teaneck, NJ, USA
pp. 397
Common Session XIV (Deliberate Potpourri), Chair: P. Laplante
R.M. McGraw, Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
M. Meyassed, Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
R.H. Klenke, Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
J.H. Aylor, Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
R.D. Williams, Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
pp. 409
C. Gaspar, Eur. Org. for Nucl. Res., CERN, Geneva, Switzerland
J.J. Schwarz, Eur. Org. for Nucl. Res., CERN, Geneva, Switzerland
pp. 417
M. Kawada, Dept. of Electron. Eng., Hiroshima Univ., Japan
Xu Wu, Dept. of Electron. Eng., Hiroshima Univ., Japan
T. Ae, Dept. of Electron. Eng., Hiroshima Univ., Japan
pp. 424
Usage of this product signifies your acceptance of the Terms of Use.