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…
51.

図書

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

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1981  xviii, 446 p. ; 28 cm
所蔵情報: loading…
53.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  xix, 692 p. ; 28 cm
所蔵情報: loading…
54.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  550 p. ; 28 cm
所蔵情報: loading…
55.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  xix, 764 p. ; 28 cm
所蔵情報: loading…
56.

図書

図書
sponsored by ACM Special Interest Group on Microprogramming (SIGMICRO) and IEEE Computer Society
出版情報: New York, N.Y. : ACM, 1974  2 v. ; 28 cm
所蔵情報: loading…
57.

図書

図書
sponsored by Institute of Electrical and Electronics Engineers in conjunction with IEEE Computer Society ... [et al.]
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xx, 720 p. ; 28 cm
所蔵情報: loading…
58.

図書

図書
Conference Committee ; [sponsors,] the Computer Society of the IEEE, the Institute of Electrical and Electronic Engineers, IEEE Communications Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1987  xx, 1151 p. ; 28 cm
所蔵情報: loading…
59.

図書

図書
[edited by] Donald J. Reifer
出版情報: [Washington, D.C.] : IEEE Computer Society Press , [Los Angeles, CA] : Order from IEEE Computer Society, c1986  vii, 518 p. ; 28 cm
所蔵情報: loading…
60.

図書

図書
IEEE Computer Society Office Automation Symposium ; IEEE Computer Society
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, c1987  xi, 319 p. ; 28 cm
所蔵情報: loading…
61.

図書

図書
IEEE Computer Society
出版情報: Long Beach, CA. : IEEE Computer Society, c1979  ii, 237 p. ; 28 cm
所蔵情報: loading…
62.

図書

図書
Douglas Degroot, editor ; co-sponsored by Department of Electrical Engineering, Penn State University and the IEEE Computer Society in cooperation with the Association for Computing Machinery
出版情報: Washington, D.C. : IEEE Computer Society Press, c1985  xx, 868 p. ; 28 cm
所蔵情報: loading…
63.

図書

図書
conference committee, general chair, B.W. Stuck
出版情報: Los Angeles : IEEE Computer Society, c1986  xx, 684 p. ; 28 cm
所蔵情報: loading…
64.

図書

図書
International Conference on Entity-Relationship Approach ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press : Los Angeles, CA : Order from IEEE Computer Society, c1985  ix, 327 p. ; 28 cm
所蔵情報: loading…
65.

図書

図書
sponsored by IEEE Computer Society, Fontainebleau Hilton, Miami Beach, Florida, December 11-13, 1985
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1985  xvii, 685 p. ; 28 cm
所蔵情報: loading…
66.

図書

図書
edited by Oris Friesen, Forouzan Golshani ; sponsored by Institite of Electrical and Electronics Engineers ; in conjunction with IEEE Computer Society ... [et al.]
出版情報: Washington, D.C. : IEEE Computer Society Press, c1987  604 p. ; 28 cm
所蔵情報: loading…
67.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1987  xviii, 750 p. ; 28 cm
所蔵情報: loading…
68.

図書

図書
sponsored by the IEEE Computer Society
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Los Alamitos, CA : Available from IEEE Computer Society , Piscataway, NJ : Available from IEEE Service Center, c1982  xvi, 418 p. ; 28 cm
所蔵情報: loading…
69.

図書

図書
Compcon 85, February 25-28, spring, Thirtieth IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California ; sponsored by the IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1985  xv, 434 p. ; 28 cm
所蔵情報: loading…
70.

図書

図書
co-sponsored by CIE Computer Society, IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  xiv, 905 p. ; 28 cm
所蔵情報: loading…
71.

図書

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

図書

図書
sponsored by the University of Hawaii, Department of Electrical Engineering and Department of Information and Computer Sciences ; supported by U.S. Army Research Office, Durham, U.S. National Science Foundation, in cooperation with the IEEE Computer Society ... [et al.]
出版情報: [North Hollywood, Calif.] : Western Periodicals, c1974  248 p. ; 28 cm
所蔵情報: loading…
73.

図書

図書
Compcon ; IEEE Computer Society
出版情報: New York : Institute of Electrical and Electronics Engineers , Long Beach, Calif. : Available from IEEE Computer Society, c1978  xvii, 367 p. ; 28 cm
所蔵情報: loading…
74.

図書

図書
Compcon ; IEEE Computer Society
出版情報: New York : Institute of Electrical and Electronics Engineers , Long Beach, CA : Available from IEEE Computer Society, c1979  484 p. ; 28 cm
所蔵情報: loading…
75.

図書

図書
Compcon ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  xix, 727 p. ; 28 cm
所蔵情報: loading…
76.

図書

図書
[sponsored by the IEEE Computer Society]
出版情報: New York, NY : IEEE Computer Society, 1983  xxxiv, 527 p. ; 28 cm
所蔵情報: loading…
77.

図書

図書
IEEE Computer Society, the Institute of Electrical and Electronics Engineers, Inc.
出版情報: Silver Spring, MD : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1983  x, 548 p. ; 28 cm
所蔵情報: loading…
78.

図書

図書
sponsored by the IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1984  xxvi, 522 p. ; 28 cm
所蔵情報: loading…
79.

図書

図書
Compcon ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, Calif. : Order from IEEE Computer Society, c1987  xvi, 470 p. ; 28 cm
所蔵情報: loading…
80.

図書

図書
sponsored by IEEE Computer Society and IEEE Circuits and Systems Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1985  xxi, 796 p. ; 28 cm
所蔵情報: loading…
81.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society, c1985  xxi, 528 p. ; 28 cm
所蔵情報: loading…
82.

図書

図書
sponsored by IEEE Computer Society, in cooperation with Association for Computing Machinery (ACM), Information Processing Society of Japan (IPSJ), [and] Institut national de recherche en informatique et en automatique (INRIA)
出版情報: Silver Spring, MD : Computer Society Press, c1985  x, 561 p. ; 28 cm
所蔵情報: loading…
83.

図書

図書
sponsored by IEEE Computer Society, Institute of Electrical and Electronics Engineers, Inc.
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, Calif. : Order from IEEE Computer Society, c1986  x, 630 p. ; 28 cm
所蔵情報: loading…
84.

図書

図書
International Symposium on Multiple-Valued Logic ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1987  x, 356 p. ; 28 cm
所蔵情報: loading…
85.

図書

図書
general chairperson, Richard E. Merwin
出版情報: New York, NY : Institute of Electrical and Electronics Engineers, c1980  xix, 874 p. ; 28 cm
所蔵情報: loading…
86.

図書

図書
Symposium on Logic Programming ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  x, 285 p. ; 28 cm
所蔵情報: loading…
87.

図書

図書
sponsored by the Computer Society of the IEEE
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1987  xii, 530 p. ; 28 cm
所蔵情報: loading…
88.

図書

図書
editors : Mary Jane Irwin, Renato Stefanelli ; sponsored by : The Computer Society of the IEEE ... [et al.]
出版情報: Washington, D.C. : IEEE Computer Society Press, c1987  ix, 277 p. ; 28 cm
所蔵情報: loading…
89.

図書

図書
IEEE Computer Society [and] the Institute of Electrical and Electronics Engineers
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  iv, 141 p. ; 28 cm
所蔵情報: loading…
90.

図書

図書
IEEE Computer Society Workshop on Computer Architecture for Pattern Analysis and Image Database Management ; IEEE Computer Society
出版情報: [Los Angeles, CA] : IEEE Computer Society Press, c1981  ix, 348 p. ; 28 cm
所蔵情報: loading…
91.

図書

図書
IEEE Computer Society Workshop on Computer Architecture for Pattern Analysis and Image Database Management ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1983  viii, 257 p. ; 28 cm
所蔵情報: loading…
92.

図書

図書
sponsored by the Computer Society of the IEEE in cooperation with the International Association for Pattern Recognition
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, c1987  xii, 734 p. ; 28 cm
所蔵情報: loading…
93.

図書

図書
sponsored by the Computer Society of the IEEE, Hyatt Orlando, Kissimmee, Florida, February 23-27, 1987
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1987  xvi, 332 p. ; 28 cm
所蔵情報: loading…
94.

図書

図書
sponsored by the Computer Society of the IEEE, in cooperation with the American Association of Artificial Intelligence, Sheraton Harbor Island Hotel, San Diego, California, March 14-18, 1988
出版情報: Washington, D.C. : Computer Society of the IEEE , Los Angeles, CA : Order from IEEE Computer Society, c1988  xvii, 440 p. ; 28 cm
所蔵情報: loading…
95.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  xx, 478 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Program Overview
Committees
Reviewers
Why Is Software Integration So Hard? / Richard M. Soley
Legacy System
Architectural Evolution of Legacy Systems / G.T. Heineman ; A. Mehta
Some Insights into the Maintenance of Legacy Systems within Small Manufacturing and Distribution Organisations in the UK / H.M. Edwards ; G.M. Mallalieu ; J.B. Thompson
Extracting Ontologies from Legacy Systems for Understanding and Re-Engineering / H. Yang ; Z. Cui ; P. O'Brien
Database Systems
The Clustering Property of Corner Transformation for Spatial Database Applications / J.-W. Song ; K.-Y. Whang ; Y.-K. Lee ; S.-W. Kim
Object-Oriented Database Access via Reflection / R.K. Ege
ORR: Object-Relational Rapprochement / J.B. Crigler ; A. Orooji
Network Security
Protecting Information in the Web - Position Paper / E. Bertino
Formal Verification
An Industrial Application of an Integrated UML and SDL Modeling Technique / R.B. Trance ; M. Boughdadi ; R. Busser
Dynamic Software Architecture Slicing / T. Kim ; Y.-T. Song ; L. Chung ; D.T. Huynh
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs / X. Jia ; S. Skevoulis
A Protocol and Simulation for Distributed Communicating Firewalls / R.N. Smith ; S. Bhattacharya
Mobile Agents Protection in the Internet Environment / A. Corradi ; R. Montanari ; C. Stefanelli
Computer Network Intrusion Detection, Assessment and Prevention Based on Security Dependency Relation / S.S. Yau ; X. Zhang
Can Generic Software Be Assured?
Ensuring the Capability of COTS Products / J. Voas ; J.C. Dean
Establishing Guidelines for Suitability of COTS for a Mission Critical Application / R.J. Kohl
Cost Framework for COTS Evaluation / N.F. Schneidewind
Software Testing
Validating Software Specifications Against User Claims / C.-C. Chiang ; J.E. Urban
Generating Goal-oriented Test Cases / A. von Mayrhauser ; M. Scheetz ; E. Dahlman
CORBA Components Testing with Perception-based State Behavior / H.W. Sohn ; D.C. Kung ; P. Hsia
An Object-Oriented Architecture Supporting Web Application Testing / J.-T. Yang ; J.-L. Huang ; F.-J. Wang ; W.C. Chu
Reliable Distributed Computing
Distributed Object-Oriented Real-Time Simulation of Ground Transportation Networks with the TMO Structuring Scheme / K.H. Kim ; J. Liu ; M. Ishida ; I. Kim
Response Time Behavior of Voting Schemes for Managing Replicated Data / I.-R. Chen ; D.-C. Wang ; C.-P. Chu
Autonomous Coordination for Atomicity of Transaction in Heterogeneous Systems / Y. Tan ; I. Kaji ; K. Mori
Toward More Reliable Telecom Systems / A.M. da Silva Filho
E-Commerce
Software Design and Development
A Pattern-Based Approach to Structural Design Composition / P. Alencar ; D. Cowan ; J. Dong ; C. Lucena
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates / W.-T. Tsai ; Y. Tu ; W. Shao ; E. Ebner
A Design Pattern for Autonomous Vehicle Software Control Architectures / M.L. Nelson
Information Systems and Information Retrieval
System Scaling for Large-scale Internet-based Online Services / D. Ni ; J. Martinez ; J. Wang
A Method for Controlling Errors in Two-Class Classification / G. Felici ; F. Sun ; K. Truemper
Hierarchically Organized Neural Net Agents for Distributed Web Information Retrieval / Y.S. Choi ; S.I. Yoo ; J. Lee
Software Engineering Licensing
Licensing Software Engineers: the Computer Society Must Continue to Lead / D.J. Bagert
It's Different on the Other Side of the Pond. But Should It Be That Way?
Software Process and Management
Implementation and Evaluation of an Automatic Personal Workflow Extraction Method / A. Abeta ; K. Kakizaki
Using System Dynamics Modeling to Manage Projects / D. Sycamore ; J.S. Collofello
Cooperating Process Components / K.A. Gary ; T.E. Lindquist
Network and Mobile Systems
Multimedia Tools and Applications in the Development of a Large Complex Network System / S. Palangala ; S.P. Tolety
Supporting Preemption in Wormhole Networks / K. Knauber ; B. Chen
Performance Analysis of a Graph Model for Channel Assignment in a Cellular Network / H.C. Cankaya ; M. Iridon ; D.W. Matula
Here, There and Everywhere: The Future of Software Engineering Education
Software Engineering Education from a UK Academic's Perspective
Here, There and Everywhere: The Future of Software Engineering Education: Corporate View / B.J. Nigro
One System, Two Ideologies: Integrating the Two Worlds of Software Engineering Education / T.H. Tse
Software Architecture
Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard / K. Wreder ; Y. Deng
Object-Oriented Architectural Support for Developing Complex Systems / R. Agarwal ; G. Bruno ; M. Torchiano
Software Architecture Analysis--A Case Study / W.-L. Wang ; M.-H. Tang ; M.-H. Chen
Storage System and Caching
Merging Interval Caching with Adaptive Viewers' Bias Based Caching Strategy / B. Sonah ; M.R. Ito
A Proxy Server Structure and its Cache Consistency Mechanism at the Network Bottleneck / J.-Y. Kim ; K.-W. Cho ; K. Koh
A New Flash Memory Management for Flash Storage System / H.-J. Kim ; S.-G. Lee
Panel -- Silver-Bullet-Itis
Application of Special Interests
The Design of Agent-Based Tools for Bio-Informatics / C.-S. Liu ; W. Kuo ; L.-Y. Ch'ang ; W.-C. Lin
Validation of a Patient Headache Care Education System (PHCES) Developed from a Unified Modeling Language (UML) Domain Model / A. Khatri
Steps Toward a Theory of Coordination for Intelligent Agent Societies / P.S. Heck
A WWW Based Software Metrics Environment for Software Process Management and Software Product Quality Improvement / X. Liu ; R. Viswanathan
Distributed Shared Memory with Log Based Consistency for Scalable Data Mining / H. Hirayama ; H. Honda ; T. Yuba
Mining Weak Rules / H. Liu ; H. Lu
Software Development
Looking Beyond Software to Understand Software Design Patterns / M. Duell
Patterns in Postmortems / L. Rising
The Unique Reference Ncsloc Metric / S.D. Crouch ; D.B. Simmons
Initial Design of the "Plug-n-Analyze" Framework for Architecture Tradeoff Analysis / H. In ; A.E. Flores-Mendoza
A Useful Approach to Developing Reverse Engineering Metrics / S. Zhou ; P. Luker ; X. He
A Framework for Top-down Cost Estimation of Software Development / T. Yamaura ; T. Kikuno
Software Frameworks and Systems Engineering
Venice - a Toolkit/Framework for Integration and Component-based Computing / S. Lubenec
CataLogger: A Framework for Building Asset Management Solutions / G. Hamilton
The MEA Framework: A New Perspective for the Development of Situation-Specific Methods / C.J. Hardy
Dynamic Client-Side Scheduling in a Real-Time CORBA System / W. Feng
Failure Planning in STESCA / G. Flores, Jr.
Effect of Complementary Processing on Navy Command and Control Software / M.G. Ceruti ; R.C. Trout ; T. Lee
Software Metrics: What Have We Learned?
Supply and Demands of Information Technology Workers
Software Reuse
Software Reuse through a Novel Representation that Supports Factorization / H.B.K. Tan ; H.K. Tan
Processing Queries with Expensive Predicates by Filtering / H. Chen ; N. Ohbo ; T. Ohno
Reusing CAD Tools in Object Oriented Based Framework / H.C. Jiau ; K.-F. Ssu ; J.-M. Lin ; Y.-P. Ko
Project Management
Tracking Personal Processes in Group Projects / L.D. Sauer ; J. Cairney
Brooks' Law Revisited: A System Dynamics Approach / C.-T. Hsu
A Decision Support System for Software Reliability Engineering Strategy Selection / I. Rus
Computers as Partners: A Technology Forecast for Decision-Making in the 21st Century
Computers as Partners: A Technology Forecast for Decision-making in the 21st Century / J.P. Cavano
Developing Dynamic Decision Support: Opportunities, Issues and Approaches / E. Coupey ; M.T. Jones
Talking with Computers about the Future We Shall Share / J. De Oliveira
NLP-Supported Decision-Making / E.D. Liddy
Mobile Information Agents for Processing under Information Overload: A Position Statement / D. Rus
Software System Development
I[superscript 3]: A Petri-net Based Specification Method for Architectural Components / C.K. Chang ; S. Kim
An Active Database Approach to Integrating Black-box Software Components / A. Sundermier ; S.W. Dietrich ; V. Shah
Role-based Decomposition for Improving Concurrency in Distributed Object-Oriented Software Development Environments / T.-H. Kim ; Y.G. Shin
Lessons Learned Applying Software Engineering Principles to Visual Programming Language Application Development / T.G. Sparkman
E-Business and Application Systems
Signature Management in Workflow Systems / K.R.P.H. Leung ; L.C.K. Hui
Digiket: Decentralized Architecture for Worldwide Electronic Market / K. Kuramitsu ; K. Sakamura
Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models / C. Jin
Building Java Applets by Using DJ -- A Java-based Constraint Language / N.-F. Zhou
Software Verification and Analysis
OBL: A Formal Deduction Method for Object-Oriented Systems / K. Chang ; D. Kung
Detecting Null Pointer Violations in Java Programs / S. Sawant ; J. Zhou
A New Approach to Verify Rule-Based Systems Using Petri Nets / S.J.H. Yang
Optimal Software Release Policy Based on Cost and Reliability with Testing Efficiency / C.-Y. Huang ; S.-Y. Kuo ; M.R. Lyu
Foreword
Preface
Program Overview
96.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Computer Society
出版情報: New York : Association for Computing Machinery, c1999  xxiv, 613 p. ; 28 cm
所蔵情報: loading…
97.

図書

図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IEEE Computer Society Test Technology Technical Council
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society, c1998  xiii, 405 p. ; 23 cm
所蔵情報: loading…
98.

図書

図書
4th Symposium on Small Computers in the Arts, October 25-28, 1984, Philadelphia, Pennsylvania ; sponsored by IEEE Computer Society [and] Delaware Valley Chapter ACM/SIGGRAGH [and] Small Computers in the Arts Network and in cooperation with ACM/SIGGRAPH
出版情報: Washington, D.C. : IEEE Computer Society Press, c1984  135 p. ; 28 cm
所蔵情報: loading…
99.

図書

図書
sponsor, IEEE Computer Society TC Real-Time Systems
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  x, 301 p. ; 28 cm
所蔵情報: loading…
100.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Security and Privacy
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  viii, 239 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Workshop Committee
Welcome
Formal Models
A Formal Framework and Evaluation Method for Network Denial of Service / C. Meadows
I/O Automaton Models and Proofs for Shared-Key Communication Systems / N. Lynch
Security Protocol Analysis: Notation, Transformation, and Simplification
Safe Simplifying Transformations for Security Protocols / M. Hui ; G. Lowe
Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief / D. Monniaux
A Meta-Notation for Protocol Analysis / I. Cervesato ; N. Durgin ; P. Lincoln ; J. Mitchell ; A. Scedrov
Strand Spaces
Mixed Strand Spaces / F. Thayer ; J. Herzog ; J. Guttman
Honest Functions and their Application to the Analysis of Cryptographic Protocols / A. Maneki
Panel: Formalization and Proof of Secrecy Properties / D. Volpano ; M. Abadi ; R. Focardi ; J. Millen
Formalization and Proof of Secrecy Properties
Local Names
Authentication via Localized Names / C. Bodei ; P. Degano ; C. Priami
A Logic for SDSI's Linked Local Name Spaces / J. Halpern ; R. van der Meyden
Interaction and Composition
Trusted System Construction / C. O'Halloran
Secure Composition of Insecure Components / P. Sewell ; J. Vitek
Security Function Interactions / P. Bieber
Logics for Authorization and Access Control
A Logic-based Knowledge Representation for Authorization with Delegation / N. Li ; J. Feigenbaum ; B. Grosof
A Logical Framework for Reasoning on Data Access Control Policies / E. Bertino ; F. Buccafurri ; E. Ferrari ; P. Rullo
Advances in Automated Security Protocol Analysis
Athena: A New Efficient Automatic Checker for Security Protocol Analysis / D. Song
CVS: A Compiler for the Analysis of Cryptographic Protocols / A. Durante ; R. Gorrieri
Noninterference Using Process Algebras
Process Algebra and Non-Interference / P. Ryan ; S. Schneider
What Is Intransitive Noninterference? / A. Roscoe ; M. Goldsmith
Index of Authors
Preface
Workshop Committee
Welcome
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼