close
1.

図書

図書
[general chairman, Martin Freeman]
出版情報: Washington, D.C. : Computer Society Press of the IEEE, c1987  x, 205 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society technical committees on architecture ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1983  viii, 227 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
sponsored by IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  v, 114 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
co-sponsored by Chinese Computer Federation, the Computer Society of the IEEE in cooperation with the National Natural Science Foundation of China
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, c1987  xiv, 937 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
Computer Standards Conference ; IEEE Computer Society
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Computer Society of the IEEE [distributor], c1988  x, 111 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
[proceedings editors, Harold G. Ostrow, Kenneth L. Ripley]
出版情報: Long Beach, Calif. : copies available from IEEE Computer Society , New York, NY : Institute of Electrical and Electronics Engineers, c1977  xiii, 625 p. ; 29 cm
所蔵情報: loading…
7.

図書

図書
sponsored by Medical College of Virginia ...[et al.]
出版情報: Long Beach, CA : IEEE Computer Society, c1977  373 p. ; 29 cm
所蔵情報: loading…
8.

図書

図書
sponsored by the American College of Radiology and the IEEE Computer Society, Newport Beach, California, June 18-21, 1979
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Long Beach, CA : additional copies available from IEEE Computer Society, c1979  427 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society
出版情報: New York : Institute of Electrical and Electronics Engineers, c1979  ii, 273 p. ; 28 cm
シリーズ名: IEEE Catalog ; no. 79CH1517-2C
所蔵情報: loading…
10.

図書

図書
editor, Rosalie A. Dunn
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Long Beach, CA : additional copies available from, IEEE Computer Society, c1979  896 p. ; 28 cm
所蔵情報: loading…
11.

図書

図書
Software Engineering Standards Application Workshop ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: New York, NY : Institute of Electrical and Electronics Engineers, c1981  viii, 151 p. ; 29 cm
所蔵情報: loading…
12.

図書

図書
International Symposium on Computer Aided Seismic Analysis and Discrimination ; Institute of Electrical and Electronics Engineers ; IEEE Computer Society
出版情報: New York, NY : Institute of Electrical and Electronics Engineers, c1981  vi, 157 p. ; 29 cm
所蔵情報: loading…
13.

図書

図書
sponsored by IEEE Computer Society and IEEE Philadelphia Section
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Los Angeles, CA : order from IEEE Computer Society, c1981  vii, 91 p. ; 29 cm
所蔵情報: loading…
14.

図書

図書
Southeastern Symposium on System Theory ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  x, 318 p. ; 29 cm
所蔵情報: loading…
15.

図書

図書
sponsored by Institute of Electrical and Electronics Engineers ; in conjunction with IEEE Computer Society, IEEE Communications Society
出版情報: Silver Spring, MD. : IEEE Computer Society Press, c1982  x, 444 p. ; 29 cm
所蔵情報: loading…
16.

図書

図書
Workshop on Time-of-Flight Tomography ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: Silver Spring, MD : IEEE Computer Society Press , Los Angeles, CA : order from IEEE Computer Society, c1982  viii, 175 p. ; 29 cm
所蔵情報: loading…
17.

図書

図書
edited by Patrick P. Fasang and John G. Neuman ; sponsored by IEEE Industrial Electronics Society cooperating with IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press , Los Angeles, CA : order from IEEE Computer Society, c1982  viii, 135 p. ; 29 cm
所蔵情報: loading…
18.

図書

図書
edited by Bruce I. Blum
出版情報: New York, NY. : Institute of Electrical and Electronics Engineers , Los Angeles, CA : order from IEEE Computer Society, c1982  xxv, 1078 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
presented by the Test Technology Committee, the International Test Formation [i.e. Foundation] ; sponsored by IEEE Computer Society, IEEE Philadelphia Section
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  xxiii, 672 p. ; 29 cm
所蔵情報: loading…
20.

図書

図書
sponsors, IEEE Computer Society ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  vii, 221 p. ; 29 cm
所蔵情報: loading…
21.

図書

図書
sponsored by IEEE Computer Society and IEEE Philadelphia Section
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  vii, 119 p. ; 29 cm
所蔵情報: loading…
22.

図書

図書
IEEE Hong Kong Section, IEEE Region 10, IEEE Computer Society ; proceedings compiled by C.K. Yuen and R.C. Barquin
出版情報: New York, N.Y., USA : Institute of Electrical and Electronics Engineers, c1982  xiv, 166 p. ; 29 cm
所蔵情報: loading…
23.

図書

図書
sponsored by Institute of Electrical and Electronics Engineers ; in conjunction with IEEE Computer Society, IEEE Communications Society
出版情報: Silver Spring, MD. : IEEE Computer Society Press, c1983  ix, 598 p. ; 29 cm
所蔵情報: loading…
24.

図書

図書
Southeastern Symposium on System Theory ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  x, 354 p. ; 29 cm
所蔵情報: loading…
25.

図書

図書
Software Engineering Standards Application Workshop ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  xi, 171 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
sponsors, IEEE Computer Society ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  x, 289 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
[sponsored by the] IEEE Computer Society, the Institute of Electrical and Electronics Engineers, Inc.
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  ix, 622 p. ; 28 cm
所蔵情報: loading…
28.

図書

図書
edited by Gerald S. Cohen
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Los Angeles, CA : order from IEEE Computer Society, c1984  xx, 1032 p. ; 28 cm
所蔵情報: loading…
29.

図書

図書
edited by James R. Wilson ... [et al.] ; sponsored by American Statistical Association ... [et al.]
出版情報: New York, NY : Association for Computing Machinery , Piscataway, NJ : Institute of Electrical and Electronics Engineers, Inc. , San Diego, CA : Society for Computer Simulation, [1987?]  xxv, 890 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
Karen Friedman, managing editor ; Bernard T. O'Lear, technical editor ; sponsored by the IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press, 1988  viii, 153 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
co-sponsored by the IEEE Signal Processing Society and the IEEE Computer Society
出版情報: Piscataway, N.J. : IEEE, c2001, [i.e. 2003]  xxvi, 825 p. ; 30 cm
所蔵情報: loading…
32.

図書

図書
sponsored by IEEE Computer Society, IEEE Communications Society
出版情報: Piscataway, N.J. : IEEE Operations Center, c2004  4 v. ; 28 cm
所蔵情報: loading…
33.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, California ; Tokyo : IEEE Computer Society, c2000  xii, 399 p. ; 28cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Message from the ECBS Technical Committee Chairman
Conference Committee
Steering Committee
Program Committee
Keynote Speaker / Dr Bruce Shriver
Distributed Systems
Integrating CAD and CAM via CORBA / D. Yoon ; F. Shaikh
An Algorithm for Tolerating Crash Failures in Distributed Systems / V. De Florio ; G. Deconinck ; R. Lauwereins
A Choice of SM/DM Parallel ANN Implementation for Embedded Applications / V. Dvorak ; R. Cejka
Architecture 1
Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD) / T. O'Neill ; J. Leaney ; P. Martyn
A Component-Based Architecture for Software Communication Systems / M. Jung ; E. Biersack
SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment / J. van Gurp ; J. Bosch
Invited Paper
Limited Software Warranties / Jeffrey M. Voas
Modeling 1
Modeling and Simulating Functional and Timing Aspects of Real-Time Systems by Delegated Execution / M. Naedele
Java-Prototyping of Hardware/Software CBS Using a Behavioral OO Model / B. Mendelhaum ; R. Gallant ; J-F. Brette ; C. Ducateau
Designing a Model-Based Interaction Planner with Dialogue Analysis / J. Cook ; T. Khan
Components and Reuse 1
A Survey of Software Reuse Repositories / J. Guo ; Luqi
Information Required for the Success Geographically Distributed Software Engineering of Components and Component-Based Systems / P. Taylor ; T. Anderson ; P. Nicholl
On the Design of ORBIT / M. Rangarajan ; N. Abu-Ghazaleh ; I. Mutabanna ; D. Dieckman ; B. Farooqi ; A. Rajkhowa ; S. Doumit ; A. Venkataraman ; C. Kong ; R. Kamath ; P. Alexander
Architecture 2 / Prof Ian Sommerville
A Co-Operative Object-Oriented Architecture for Adaptive Systems / R. de Lemos
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems / R. Stolle ; W. Rossak ; V. Kirova
Enhancing Architectural Mismatch Detection with Assumptions / S. Uchitel ; D. Yankelevich
Instrumentation and Industrial Control 1
Coupling Architectures for Low- Level Fieldbusses / M. Sveda ; R. Vrba ; F. Zezulka
The Virtual Automation Lab -- Web Based Teaching of Automation Engineering Concepts / D. Buhler ; W. Kuchlin ; G. Gruhler ; G. Nusser
Truly Distributed Control Systems Using Fieldbus Technology / A. Scott ; W. Buchanan
Instrumentation and Industrial Control 2
Component-Based Control System / A. Speck
The Use of Architecture Description Languages to Describe a Distributed Measurement System / G. Georg ; S. Seidman
Agents
Integrating the Components of an Intelligent Telecom Design Tool into an Agent-Based Framework / A. Eberlein ; R. Kremer
Monitoring of Distributed Processes with Mobile Agents / R. Kennedy ; F. Kurfess
Software Agents and Computer Network Security / J. Pikoulas ; M. Mannion
Enhancing Network Management Using Mobile Agents / M. Naylor
Components and Reuse 2
A Component Coordination Model for Customization and Composition of Component-Based System Design / M. Olarnsakul ; D. Batanov
PuLSE-I: Deriving Instances from a Product Line Infrastructure / J. Bayer ; C. Gacek ; D. Muthig ; T. Widen
Development Experiences of a Component-Based System / M. Larsson ; I. Crnkovic
Design
Multimedia Systems - On the Ergonomic Design and Evaluation of User Interfaces and System Structures / G. Schade
Formal Parameters Synthesis for Track Segments of a Subway Mesh / A. Bonifacio ; A. Moura ; J. Camargo Jr. ; J. de A. Jr.
Design Tool Integration: An Exercise in Semantic Interoperability / G. Karsai
Ensuring Structure and Behavior Correctness in Design Composition / J. Dong ; P. Alencar ; D. Cowan
Requirements and Specification 1 / Stuart Arnold
Refinement in Requirements Specification and Analysis: A Case Study / E de Jong ; J van de Pol ; J. Hooman
System Specification in Rosetta / D. Barton
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling / S. Schulz ; T. Ewing ; J. Rozenblit
Verification and Validation
Application of Factorial Design to Validation of System Performance / T. Berling ; P. Runeson
Assisting the Definition and Execution of Test Suites for Complex Systems / J. Garbajosa ; M. Alandes ; M-A. Mahillo ; M. Piattini
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements / B. Melhart ; S. White
Modeling 2
Model Checking the Java Meta-Locking Algorithm / S. Basu ; S. Smolka ; O. Ward
Support for Representation of Functional Behavior Specifications in AP-233 / E. Herzog ; A. Torne
Systematic Derivation of Operational Scenarios Using ECSAM / J. Lavi ; J. Kudish
Process Support
A Java-Based CSCW Tool for Supporting Software Processes / Z. Zhiying ; L. Haipeng
Scenario-Based Software Process / K. Breitman ; J. Leite
Working Group Meetings
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems / F. Pichler ; C. Rattray
IEEE ECBS'99 TC Architecture Working Group (AWG) Report / D. Rowe ; H. Simpson ; J. Weiss ; Z. Papp ; T. Bapty ; B. Purves ; G. Horvath ; E. de Jong
Forensic ECBS: A Situational Assessment / D. Dalcher
Smooth Seas - Rough Sailing: The Case of the Lame Ship
ECBS Education and Training Working Group Report
Standards Focus Group / H. Lawson
Author Index
Preface
Message from the ECBS Technical Committee Chairman
Conference Committee
34.

図書

図書
sponsored by IEEE Circuits and Systems Society, ACM/SIGDA, VIUF
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  viii, 119 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Steering Committee
Program Committee
Keynote Address / Session 1:
Mixed-Singal Modeling / Session 2:
Modeling and Simulation of a Sigma-Delta Digital to Analog Converter Using VHDL-AMS / M. Vogels ; B. De Smedt ; G. Gielen
Event-Driven Electrothermal Modeling of Mixed-Signal Circuits / X. Huang ; H. Mantooth
High-Level Design Case of a Switched-Capacitor Low-Pass Filter Using Verilog-A / E. Lauwers ; K. Lampaert ; P. Miliozzi
Modeling and Simulating Semiconductor Devices Using VHDL-AMS / V. Kasulasrinivas ; H. Carter
Mixed-Technology Modeling / Session 3:
Integration of Mechanical CAD and Behavioral Modeling / R. Sinha ; C. Paredis ; P. Khosla
A Table-Based Time-Domain Simulation Method for Oversampled Microelectromechanical Systems / J. Wu ; L. Carley
Combining Models of Physical Effects for Describing Complex Electromechanical Devices / L. Vossamper ; R. Schmid ; G. Pelz
Panel: Analog Synthesis: Is It for Real? / Jim BarbySession 4:
Mixed-Level Simulation/Mixed-Domain Modelings / Session 5:
Mixed-Domain and Reduced-Order Modeling of Electroosmotic Transport in Bio-MEMS / R. Qiao ; N. Aluru
Characterization, Simulation and Modeling of PLL under Irradiation Using HDL-A / I. Martinez ; P. Delatte ; D. Flandre
Design and Optimization of Optical Links Based on VHDL-AMS Modeling / P. Bontoux ; F. Mieyeville ; I. O'Connor ; F. Gaffiot ; G. Jacquemod
Simulation Techniques / Session 6:
VHDL Based Simulation of a Sigma-Delta A/D Converter / M. Schubert
On Accommodating Particular Analog System Models with VHDL / G. Popescu
Dynamic Time Step Control Algorithm Enhancements / J. Bach
An Open VHDL-AMS Simulation Framework / T. Schneider ; J. Mades ; M. Glesner ; A. Windisch ; W. Ecker
Modeling and Simulation / Session 7:
Neural Network Design for Behavioral Model Generation with Shape Preserving Properties / O. Mikulchenko ; K. Mayaram
Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules / P. Frey ; D. O'Riordan
Towards a Specification Notation for High-Level Synthesis of Mixed-Signal and Analog Systems / A. Doboli ; R. Vemuri
Tutorial on Verilog-A/MS / Session 8:
Author Index
Steering Committee
Program Committee
Keynote Address / Session 1:
35.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1999  x, 155 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conference Organization
Opening Remarks / Phillip Sheu ; Luiz Bacellar
Software Engineering / Paper Session 1:
On the Coordination of Autonomous Systems / M. Mock ; E. Nett
Steering of Real-Time Systems based on Monitoring and Checking / O. Sokolsky ; M. Viswanathan ; I. Lee ; M. Kim ; S. Kannan
A Database Approach to Testing and Evaluating of Object-Oriented Programs / S. Ohara ; L. Hu ; M. Hui ; T. Wang ; P. Sheu ; F. Tsunoda
Run-Time Support / Paper Session 2:
Batching Earliest Deadline First Scheduling / M. Moghaddas ; B. Hamidzadeh
Protocol for Groups of Pseudo-Active Replicated Objects / H. Higaki ; N. Nemoto ; K. Tanaka ; M. Takizawa
Transparent Object Replication: A Formal Model / P. Dechering ; E. Jong
Software Testing of the Behavioral Aspects of Objects / S. Wong ; T. Dillon ; A. Hanish ; E. Chang
Newly Emerging Issues / Paper Session 3:
Towards a Real-Time Agent Architecture--A Whitepaper / L. DiPippo ; E. Hodys ; B. Thuraisingham
Do Current Technology Trends Enforce a Paradigm Shift in the Industrial Automation Market? / H. Kopetz
Vertically Distributed Real-Time Computer Systems: Integrating the Enterprise / E. Jensen
Real-Time Distributed Computing Tools / Paper Session 4:
Real-Time and Object-Oriented Issues for an Inspection Workstation Application / J. Horst
Applying a Scalable CORBA Event Service to Large-scale Distributed Interactive Simulations / C. O'Ryan ; D. Levine ; D. Schmidt ; J. Noseworthy
A Preliminary Assessment of the Real-Time Properties of Windows CE 3.0 / C. Netter ; L. Bacellar
Dependable Objects for Databases, Middleware and Methodologies: A Position Paper / M. Ceruti
QoS / Paper Session 5:
On Framing Object Relationships to Improve QoS in Distributed Systems / M. Mortazavi
High-level Integrated Design Environment for Dependability (HIDE) / A. Bondavalli ; M. Dal Cin ; D. Latella ; A. Pataricza
Towards Automatic Synthesis of QoS Preserving Implementations from Object-Oriented Design Models / M. Saksena
A CORBA Service Enabling Programmer-Friendly Object-Oriented Real-Time Distributed Computing / K. Kim ; D. Beck ; J. Liu ; H. Miyazaki ; E. Shokri
Fault-Tolerance and Other Works in Progress / Paper Session 6:
General Framework for Fault Tolerance from ISO/ITU Reference Model for Open Distributed Processing (RM-ODP) / J. Putman
An Experiment with Adaptive Fault Tolerance in Highly-Constraint Systems / P. Beltas
Towards Language Support for Component-Oriented Real-Time Programming / M. Franz ; P. Frohlich ; T. Kistler
Process Algebraic Approach to the Parametric Analysis of Object Scheduling in Real-time Systems / H. Kwak
Protocols / Paper Session 7:
Object-based Precedency of Messages in Object-based Systems / Y. Timura
Requirements Specification of an Automotive System with Hybrid Sequence Charts / R. Grosu ; I. Kruger ; T. Stauner
Panel Discussion: Summary of Progress and New Issues
Index of Authors
Preface
Conference Organization
Opening Remarks / Phillip Sheu ; Luiz Bacellar
36.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Design Automation(DATC), IEEE Circuits & Systems Society, VHDL International
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  ix, 127 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Steering Committee
Program Committee
The System View / Session 1:
Requirements Modeling Technology: A Vision for Better, Faster, and Cheapter Systems / D. Barker
On Upgrading Legacy Electronics Systems: Methodology, Enabling Technologies and Tools / V. Madisetti ; Y.-K. Jung ; M. Khan ; J. Kim ; T. Finnessy
System Design Approaches / Session 2:
Predicting the Performance of SoC Verification Technologies / G. Peterson
Another Approach to System Level Design / Y. Veller
Objects for Modeling Embedded Systems / J. Benzakki
Language Extensions / Session 3:
Automated Test Vector Generation from Rosetta Requirements / K. Ranganathan ; M. Rangarajan ; P. Alexander ; T. Regan
Gated Clocks in RT-Synthesis and Simulation / W. Ecker ; A. Windisch ; J. Mades ; T. Schneider ; K. Yang
Panel: Setting the Context for VHDL 200X / Stephen BaileySession 4:
XML in the VHDL Environment / Session 5:
HDML: Compiled VHDL in XML / M. Reshadi ; B. Gorji-Ara ; Z. Navabi
An XML-Based Meta-Model for Design of Multiprocessor Embedded Systems / W. Cesario ; L. Gauthier ; D. Lyonnard ; G. Nicolescu ; A. Jerraya
Using XML for Representation and Visualization of Elaborated VHDL-AMS Models / T. Karayiannis
A Procedural Interface for VHDL / Session 6:
Testing a Procedural Interface for Conformance to a Standard / U. Parvathy ; F. Martinolle ; S. Subramanian
Mixed Language Design Data Access: Procedural Interface Design Considerations
Modeling Foreign Architectures with VHPI / J. Shields
Panel: Object Methodologies for System Design / Judith BenzakkiSession 7:
Novel VHDL Application / Session 8:
Induction Motor Drive System Modeled in VHDL / M. Cirstea ; A. Aounis ; M. McCormick ; P. Urwin ; L. Haydock
A VHDL Success Story: Electric Drive System Using Neural Controller / A. Dinu ; D. Nicula
High-Level Test Generation from VHDL Behavioral Descriptions / A. Gharebaghi
Author Index
Message from the General Chair
Steering Committee
Program Committee
37.

図書

図書
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
38.

図書

図書
sponsored by IEEE Computer Society, University of Washinton
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  xii, 240 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
sponsored by ACM and Computer Society of the IEEE ; Harold S. Stone, proceedings editor and program chairman ; Stanley Winkler, conference chairman
出版情報: Washington, D.C. : IEEE Computer Society Press, 1986  xxvi, 1248 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
Compcon ; IEEE Computer Society
出版情報: Silver Spring, Md. : IEEE Computer Society Press , Los Angeles, Calif. : Order from IEEE Computer Society, c1984  xv, 488 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
sponsored by UCLA Extension in participation with the IEEE Computer Society and in cooperation with the ACM Special Interest Group on Computer Graphics
出版情報: Long Beech, Calif. : IEEE, c1975  ix, 390 p. ; 28 cm
所蔵情報: loading…
42.

図書

図書
Compcon ; IEEE Computer Society
出版情報: New York, N.Y. : Institute of Electrical and Electronics Engineers, c1980  xi, 746 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
sponsored by the IEEE Computer Society
出版情報: New York, N.Y. : Institute of Electrical and Electronics Engineers, c1981  xvi, 481 p. ; 28 cm
所蔵情報: loading…
44.

図書

図書
Compcon ; IEEE Computer Society
出版情報: New York, N.Y. : Institute of Electrical and Electronics Engineers, c1981  xi, 362 p. ; 28 cm
所蔵情報: loading…
45.

図書

図書
sponsoring organizations, Multiple-Valued Logic Technical Committe ... [et al.]
出版情報: Silver Spring, Md. : IEEE Computer Society Press, c1985.  xvi, 407 p. ; 28 cm
所蔵情報: loading…
46.

図書

図書
sponsored by the IEEE Computer Society and the Association for Computing Machinery
出版情報: New York : Institute of Electrical and Electronics Engineers, c1983  438 p. ; 28 cm
シリーズ名: SIGARCH newsletter ; v. 11, no. 3
所蔵情報: loading…
47.

図書

図書
sponsored by the IEEE Computer Society, the Association for Computing Machinery
出版情報: New York : Institute of Electrical and Electronics Engineers, c1984  ix, 373 p. ; 28 cm
シリーズ名: SIGARCH newsletter ; v. 12, no. 3
所蔵情報: loading…
48.

図書

図書
sponsored by the IEEE Computer Society and the Association for Computing Machinery
出版情報: New York : Institute of Electrical and Electronics Engineers, c1977  210 p. ; 28 cm
所蔵情報: loading…
49.

図書

図書
sponsored by the IEEE Computer Society and the Association for Computing Machinery
出版情報: New York : Institute of Electrical and Electronics Engineers, c1978  256 p. ; 28 cm
所蔵情報: loading…
50.

図書

図書
sponsored by the IEEE Computer Society and the Association for Computing Machinery
出版情報: New York : Institute of Electrical and Electronics Engineers, c1979  243 p. ; 28 cm
シリーズ名: SIGARCH newsletter ; v. 7, no. 6
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼