close
1.

図書

図書
Janis Putman
出版情報: Upper Saddle River, NJ : Prentice Hall, c2001  xlii, 834 p. ; 24 cm
シリーズ名: Software architecture series
所蔵情報: loading…
目次情報: 続きを見る
Architecting Distributed Processing Systems Primer / I:
Open, Distributed Processing, Architecture, and Architecting / 1:
Open System
Distributed Processing
Architecture and Architecting of Software-Intensive Distributed Processing Systems
Architecture Specification
Reference Model of Open Distributed Processing
Summary
RM-ODP Manager's Primer / 2:
Motivation for RM-ODP. Benefits Achievable from Using RM-ODP. Where RM-ODP Fits in the Lifecycle
How RM-ODP Is Used
How RM-ODP Facilitates Business Specification
RM-ODP Elements for Use
Prerequisite Skill Base
Investment Needed
RM-ODP Architect's Primer / 3:
More About RM-ODP. RM-ODP Concepts and Techniques for Use
Tools, Relationships, and RM-ODP Standard / 4:
Tool Support and Limitations
Maturity of Use
RM-ODP Support
Relationship with OMG. RM-OSI and RM-ODP. Parts of the Standard
RM-ODP Concepts and Rules, and their Uses
RM-ODP Architecture Model / 5:
RM-ODP Architecture Model Overview
RM-ODP Viewpoints Overview
Using RM-ODP from a Domain-Specific Perspective
Use of RM-ODP Viewpoints
Distribution Transparency
ODP Functions
Essentials of the RM-ODP Object Model
Specification Concepts and Rules
Structuring Concepts and Rules
Conformance Concepts and Rules
Separation of Concerns: Using RM-ODP Viewpoints / 6:
Overview of Separation of Concerns
Using the Enterprise Viewpoint
Using the Information Viewpoint
Using the Computational Viewpoint
Using the Engineering Viewpoint
Using the Technology Viewpoint
Architecture Specification and Representation / 7:
Overview
Architecture Model
Specification, Representation, and Differences
RM-ODP Architecture Specification Concepts
Composition and Semantics: Quality Composition Minimizing Architectural Mismatch / 8:
Semantic Behavior
Abstraction and Refinement
Components, Composition, and Decomposition
Architectural Mismatch
Minimizing Mismatch through Behavior Specification
RM-ODP Functions / 9:
Purpose of the RM-ODP Functions
Open Specification: RM-ODP Component Standards
RM-ODP Function Categories and Function Dependencies
Management Functions
Coordination Functions
Repository Functions
Security Functions
Hiding System Complexities: Distribution Transparencies / 10:
Purpose
Examples
Distribution Transparencies
Viewpoint Mechanisms
Architecture Analysis and System Conformance Evaluation / 11:
Purpose of Consistency
What Is Meant by Consistency
Why Consistency Is Important
RM-ODP Consistency Rules
Conformance and Compliance Testing
Patterns for Distributed Processing Concerns / III:
Enterprise Business Specification / 12:
Importance
Using RM-ODP. Process of Specifying a Business
Healthy Hospital Enterprise Business Example Extended
Interaction Framework: Interoperability / 13:
Motivation for the Interaction Framework
Interaction Framework Overview
About Interoperability
About Software Architecture Connectors
Interaction Framework
RM-ODP Definitions
Relationship Framework
Interfacing Framework
Binding Framework
Interception Framework
Behavioral Semantics Framework
Policy Framework / 14:
What Is a Policy
Revisiting RM-ODP Concept of Policy
Examples of Policy Use
Policy Framework for Specifying a Policy
Tools to Represent a Policy
Federation / 15:
What Is Federation
Why Federation Is Important
Considerations for a Federation
RM-ODP Constructs for Use in Specifying a Federation
Where Technology Is Today
RM-ODP Fault Tolerance Fra / 16:
Architecting Distributed Processing Systems Primer / I:
Open, Distributed Processing, Architecture, and Architecting / 1:
Open System
2.

図書

図書
Stefan Wermter, Jim Austin, David Willshaw (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  x, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2036 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書

図書
Marco Bernardo, Alessandro Bogliolo (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  vi, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3465
所蔵情報: loading…
4.

図書

図書
Marco Bernardo, Flavio Corradini (eds.)
出版情報: Berlin : Springer, c2004  vi, 293 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3185
所蔵情報: loading…
目次情報: 続きを見る
Models and Languages / Part I:
Decision Problems for Timed Automata: A Survey / R. Alur ; P. Madhusudan
Timed Petri Nets: Efficiency of Asynchronous Systems / E. Bihler ; W. Vogler
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) / J.C.M. Baeten ; M.A. Reniers
Expressiveness of Timed Events and Timed Languages / D.R. Cacciagrano ; F. Corradini
Real Time and Stochastic Time / M. Bravetti
On the Semantic Foundations of Standard UML 2.0 / B.V. Selic
Tools and Applications / Part II:
A Tutorial on Uppaal / G. Behrmann ; A. David ; K.G. Larsen
The IF Toolset / M. Bozga ; S. Graf ; I. Ober ; J. Sifakis
Embedded Software Analysis with MOTOR / J.-P. Katoen ; H. Bohnenkamp ; R. Klaren ; H. Hermanns
Author Index
Models and Languages / Part I:
Decision Problems for Timed Automata: A Survey / R. Alur ; P. Madhusudan
Timed Petri Nets: Efficiency of Asynchronous Systems / E. Bihler ; W. Vogler
5.

図書

図書
Peter Pirsch
出版情報: New York : John Wiley & Sons, 1998  xi, 419 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Basic CMOS Circuits
Implementation of Fundamental Operations
Measures for Increasing Performance
Array Processor Architectures
Filter Structures
Implementations of the Discrete Fourier Transform
Programmable Digital Signal Processors
Multiprocessor Systems
Implementation Strategies
References
Index
Basic CMOS Circuits
Implementation of Fundamental Operations
Measures for Increasing Performance
6.

図書

図書
Donald E. Knuth
出版情報: Berlin ; Tokyo : Springer, c1999  viii, 550 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1750
所蔵情報: loading…
目次情報: 続きを見る
Readme (a preface)
Contents (a table of contents)
Mmix (a de nition)
Mmix-Arith (a library)
Mmix-Config (a part of MMMIX)
Mmix-Io (a library)
Mmix-Mem (a triviality)
Mmix-Pipe (a part of MMMIX)
Mmix-Sim (a simulator)
Mmixal (an assembler)
Mmmix (a meta-simulator)
Mmotype (a utility program)
Master Index (a table of references)
Readme (a preface)
Contents (a table of contents)
Mmix (a de nition)
7.

図書

図書
Marco Bernardo, Alessandro Cimatti (eds.)
出版情報: Berlin : Springer, c2006  vi, 242 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3965
所蔵情報: loading…
8.

図書

図書
by Oliver Schliebusch, Heinrich Meyr and Rainer Leupers
出版情報: Dordrecht : Springer, c2007  xiv, 193 p. ; 25 cm
所蔵情報: loading…
9.

図書

図書
Harvey G. Cragon
出版情報: New York : Cambridge University Press, 2000  x, 318 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Computer overview / 1:
Performance models and evaluation / 2:
User instruction set design / 3:
Memory systems / 4:
Processor control design / 5:
Pipelined processors / 6:
Input/output / 7:
Extended instruction set architectures / 8:
Preface
Computer overview / 1:
Performance models and evaluation / 2:
10.

図書

図書
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2677
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼