close
1.

図書

図書
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and Software
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000  xiii, 240 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Organizing Committee
Program Committee
Reviewers
Tutorial
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong
Application of Formal Methods to Railway Systems / Jim Woodcock
Global Information Processing Technology
Opening Address / Kenji Ohmori
Invited Speech
Complexity: Concept, Causes and Control / John A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart
Parallel Sessions
System Modeling / Jeff A. OffuttSession 1:
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey
Special Session: Network Software I / Yasushi WakaharaSession 2:
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze
Systems Development / Paolo Nesi
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen
Using the Right Tool for the Job / W. Howerton
Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin
Closing Address / Yoshiaki Kakuda
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap
Special Session: Formal Engineering Method--SOFL
SOFL Language and Method for Software Development
Reusable Semantics for SOFL / J. Dong
Generating Test Data from SOFL Specifications / J. Offutt
Software Verification, Management, and Business Application Using SOFL / H. Tomioka ; F. Nagoya
Dynamically Detecting Relevant Program Invariants / Alexander D. Stoyen ; David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding
Automated Result Verification with AWK / B. Bakar ; T. Janowski
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama
Communication and Control Systems / Kenji Toda
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe
Cost Models for Electronic Architecture Trade Studies / J. Axelsson
Panel--Software Complexity of the Net
Author Index
Introduction
Organizing Committee
Program Committee
2.

図書

図書
Comp Euro 88, Brussels, April 11-14, 1988, Campus V.U.B. (Vrije Universiteit Brussel) ; sponsored by Computer Society of the IEEE ... [et al.] ; supported by Vrije Universiteit Brussel ... [et al.]
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  ix, 369 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 253 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  ix, 179 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  viii, 151 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
edited by Hesham El-Rewini . edited by Yale N. Patt
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xvii, 766 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 1
所蔵情報: loading…
7.

図書

図書
edited by Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xiii, 720 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 5
所蔵情報: loading…
8.

図書

図書
edited by Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  ix, 275 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 6
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society ... [et al.] ; edited by Don Thomas and Rolf Ernst
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  ix, 141 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
edited by Veljko Milutinovic . edited by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 831 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
11.

図書

図書
edited by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 877 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
12.

図書

図書
edited by Jay F. Nunamaker, Jr
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xii, 670 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 3 . Information systems
所蔵情報: loading…
13.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiii, 729 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 4 . Information systems
所蔵情報: loading…
14.

図書

図書
edited by Veljko Milutinovic, Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 717 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
15.

図書

図書
eidted by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiii, 605 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
16.

図書

図書
edited by Jay F. Nunamaker, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiv, 827 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 3
所蔵情報: loading…
17.

図書

図書
edited by Jay F. Nunamaker, Jr., Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xi, 574 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 4
所蔵情報: loading…
18.

図書

図書
edited by Lee W. Hoevel and Veljko Milutinovic
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Tokyo : Order from, Computer Society of the IEEE, c1989  viii, 492 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
19.

図書

図書
edited by Bruce D. Shriver
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Tokyo : Order from, Computer Society of the IEEE, c1989  xvii, 1106 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
20.

図書

図書
edited by Robert Blanning and David King
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Tokyo : Order from, Computer Society of the IEEE, c1989  xiv, 889 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences ; v. 3
所蔵情報: loading…
21.

図書

図書
edited by Trevor N. Mudge, Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xi, 621 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 1
所蔵情報: loading…
22.

図書

図書
edited by Hesham El-Rewini and Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xv, 681 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 2
所蔵情報: loading…
23.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xvi, 692 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 3
所蔵情報: loading…
24.

図書

図書
edited by Jay F. Nunamaker, Jr., Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xix, 971 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 4
所蔵情報: loading…
25.

図書

図書
edited by Lawrence Hunter
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xi, 423 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 5
所蔵情報: loading…
26.

図書

図書
edited by T. N. Mudge, V. Milutinovic . edited by L. Hunter
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  xvi, 895 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
27.

図書

図書
edited by H. El-Rewini, T. Lewis, B. D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  xiv, 691 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
28.

図書

図書
edited by J. F. Nunamaker, Jr., R. H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  xii, 654 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences ; v. 3
所蔵情報: loading…
29.

図書

図書
edited by J. F. Nunamaker, Jr., R. H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  xv, 889 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences ; v. 4
所蔵情報: loading…
30.

図書

図書
edited by Peter A. Ng ... [et al.] ; sponsored by IEEE Computer Society ... [et al.] in cooperation with ACM SIGSoft
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  xx, 746 p. ; 29 cm
所蔵情報: loading…
31.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ... [et al.] ; edited by Sten F. Andler, Michael G. Hinchey, Jeff Offutt
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xi, 281 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1:
Intelligent Agent-Based Decision-Support Systems for Complex C[superscript 2] Applications / A. Stoyen
Real-Time Issues / Session 2:
Communicating TILCO: A Model for Real-Time System Specification / P. Bellini ; P. Nesi
TILCO-X, an Extension of TILCO Temporal Logic
On-Line Scheduling of Real-Time Distributed Computers with Complex Communication Constraints / P. Richard ; F. Cottet ; M. Richard
A Method for Verifying Real-Time Properties of Ada Programs / T. Gerdsmeier ; R. Cardell-Oliver
Panel: Issues with Web Site Software / Session 3:
Formal Issues / Session 4:
Verification of Hybrid Systems: Formalization and Proof Rules in PVS / E. Abraham-Mumm ; U. Hannemann ; M. Steffen
Action Refinement for True Concurrent Real Time / M. Majster-Cederbaum ; J. Wu
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms / A. Arazo ; Y. Crouzet
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities / A. Puhakka
Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective / F. DahlgrenSession 5:
Industrial Experiences / Session 6:
Quality Attribute Conflicts--Experiences from a Large Telecommunication Application / D. Haggander ; L. Lundberg ; J. Matton
Can We Learn Anything from Hardware Preventive Maintenance? / M. Kajko-Mattsson
Motivating the Corrective Maintenance Maturity Model (CM[superscript 3])
Panel: Dependability in Industrial Systems/Risk Management of Complex Systems / Session 7:
Design Issues / Session 8:
An Object-Oriented Analysis and Design Approach for Safe Object Sharing / K. Izuru
Design Method for Conceptual Design of By-Wire Control: Two Case Studies / K. Ahlstrom ; P. Johannessen ; J. Torin
Designing Distributed Component-Based Systems with DCL / F. Bubl ; A. Leicher
A Framework for Analyzing and Organizing Complex Systems / S. Graupner ; V. Kotov ; H. Trinks
The Problem of Platform Complexity / H. LawsonSession 9:
Architectural Issues / Session 10:
Towards a Framework for Architecting Mechatronics Software Systems / D. Chen ; M. Torngren
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems / M. Katara ; T. Mikkonen
Independent Proprietorship and Competition in Distributed Web Search Architectures / R. Khoussainov ; T. O'Meara ; A. Patel
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty / J. Hicks ; Q. Zhu
Testing Issues / Session 11:
Using a Model Checker to Test Safety Properties / P. Ammann ; W. Ding ; D. Xu
Techniques for Testing Component-Based Software / Y. Wu ; D. Pan ; M. Chen
Module Testing Embedded Software--An Industrial Pilot Project / J. McDonald ; L. Murray ; P. Lindsay ; P. Strooper
Analysis and Modeling / Session 12:
Analysis of Self-Stabilization for Infinite-State Systems / H. Yen
Parallel Machine Translation: Principles and Practice / F. Ren ; H. Shi
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets / Y. Lu ; G. Wei ; T. Cheung
Modelling Free Flight with Collision Avoidance / M. Massink ; N. De Francesco
Authors' Index
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1:
32.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Embedded Systems Week ; Association for Computing Machinery. Special Interest Group on Embedded Systems ; ACM Special Interest Group on Design Automation ; ACM Special Interest Group on Microprogramming ; IEEE Computer Society ; IEEE Circuits and Systems Society ; IEEE Council on Electronic Design Automation ; Dutt, Nikil ; Teich, Jürgen
出版情報: New York : Association for Computing Machinery, c2007  265 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Embedded Systems Week ; Association for Computing Machinery. Special Interest Group on Embedded Systems ; ACM Special Interest Group on Design Automation ; ACM Special Interest Group on Microprogramming ; IEEE Computer Society ; IEEE Circuits and Systems Society ; IEEE Council on Electronic Design Automation
出版情報: New York : Association for Computing Machinery, c2008  276 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Embedded Systems Week ; Association for Computing Machinery. Special Interest Group on Embedded Systems ; ACM Special Interest Group on Design Automation ; ACM Special Interest Group on Microprogramming ; IEEE Circuits and Systems Society ; IEEE Computer Society ; IEEE Council on Electronic Design Automation
出版情報: New York : Association for Computing Machinery, c2009  470 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
edited by Lee W. Hoevel
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, 1988  xii, 336 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
36.

図書

図書
edited by Bruce D. Shriver
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, 1988  xvi, 806 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
37.

図書

図書
edited by Benn R. Konsynski
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, 1988  x, 533 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences ; v. 3
所蔵情報: loading…
38.

図書

図書
edited by Ralph H. Sprague, Jr.
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, 1988  x, 298 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences ; v. 4
所蔵情報: loading…
39.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xv, 716 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 2
所蔵情報: loading…
40.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xvi, 620 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 3
所蔵情報: loading…
41.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xiv, 546 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 4
所蔵情報: loading…
42.

図書

図書
edited by Jay F. Nunamaker, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1998  xiv, 691 p. ; 28 cm
シリーズ名: Proceedings of the Thirty-First Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 1
所蔵情報: loading…
43.

図書

図書
edited by Hugh J. Watson
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1998  xiv, 753 p. ; 28 cm
シリーズ名: Proceedings of the Thirty-First Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 6
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼