close
1.

図書

図書
edited by Simon Lavington
出版情報: Amsterdam : North-Holland, 1980  xiii, 1070 p. ; 31 cm
シリーズ名: IFIP congress series ; v. 8
所蔵情報: loading…
2.

図書

図書
edited by Susan Finger, Tetsuo Tomiyama, Martti Mäntylä
出版情報: Boston : Kluwer Academic Publishers, c2000  xi, 326 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Report on Workshop / Part 1:
Knowledge Intensive Computer Aided Design: Past, Present and Future / Tomiyama, T. ; Hew, K.P.1.:
Invited Talk / Part 2:
Supporting the Knowledge Life-Cycle / Blessing, L. ; Wallace, K.2.:
Ontology / Part 3:
Ontological Commitments in Knowledge-Based Design Software: A Progress Report / Salustri, F.A.3.:
Classification of Knowledge for Generating Engineering Models -A Case Study of Model Generation in Finite Element Analysis- / Sekiya, T. ; Tsumaya, A.4.:
Design History System: Data Models and Prototype Implementation / Shah, J.J. ; Rangaswamy, S. ; Qureshi, S. ; Urban, S.D.5.:
Knowledge Intensive Cad (Kic) / Part 4:
Modeling of Product Life-cycle Knowledge and Data for an Intelligent Concurrent Design System / Xue, D.6.:
Model Sharing among Agents in a Concurrent Product Development Team / Ozawa, M. ; Cutkosky, M.R. ; Howley, B.J.7.:
Design-to-Manufacture Information Transfer in the Context of Solid Freeform Fabrication Technologies / Rosen, D.W.8.:
An Application of the Knowledge Intensive Engineering Framework to Building Foundation Design / Yoshioka, M. ; Shamoto, Y.9.:
Knowledge Intensive Design (Kid) / Part 5:
Supporting Conceptual Design: A Model for Reflective-Interactive Design / Chan, B. ; Finger, S.10.:
A Knowledge Based Engineering Application to Support Weight Distribution Analysis for IRL Cars / Susca, L. ; Mandorli, F. ; Rizzi, C. ; Cugini, U.11.:
Lens Barrel Design Based On Distributed Knowledge-Base / Bok, K. ; Myung, S. ; Han, S.-H.12.:
Knowledge Representation for Kic / Part 6:
Guiding Agent Learning in Design / Grecu, D.L. ; Brown, D.C.13.:
A KICAD Tool For Pro-Active Exploration Support To 'Design Synthesis For Multi-X' / Borg, J.C. ; Yan, X.-T. ; Juster, N.P.14.:
Author index
Keyword index
Preface
Report on Workshop / Part 1:
Knowledge Intensive Computer Aided Design: Past, Present and Future / Tomiyama, T. ; Hew, K.P.1.:
3.

図書

図書
edited by Gail Marshall and Mikko Ruohonen
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1998  xiii, 359 p. ; 24cm
所蔵情報: loading…
4.

図書

図書
edited by M.J. Pratt, R.D. Sriram and M.J. Wozny
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1997  x, 442 p. ; 25cm
所蔵情報: loading…
5.

図書

図書
edited by Riitta Smeds and Jens O. Riis
出版情報: London : Chapman & Hall, 1998  xii, 164 p. ; 24cm
所蔵情報: loading…
6.

図書

図書
edited by Allen S. Lee, Jonathan Liebenau and Janice I. DeGross
出版情報: London : Chapman & Hall, 1997  x, 571 p. ; 24cm
所蔵情報: loading…
7.

図書

図書
edited by R. N. Horspool
出版情報: London : Published by Chapman & Hall on behalf of the International Federation for Information Processing, 1998  vi, 344 p. ; 24cm
所蔵情報: loading…
8.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan, the Institute of Electronics Information and Communication Engineers Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  xvii, 426 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
edited by M. Maranzana
出版情報: Oxford : Pergamon for the International Federation of Automatic Control, 1998  vi, 131 p. ; 30cm
所蔵情報: loading…
目次情報: 続きを見る
Architecture, Systems
Cache-Based Checkpointing for Preemptive Real-Time Systems / J.V. Busquets-Mataix ; J.J. Serrano ; A. Wellings
On the Application of Fuzzy Logic in the Design of Supervisors for Real-Time Control Systems / A. Fernandez ; M. Marcos ; F. Artaza ; N. Iriondo ; D. Orive
Putting Hardware-Software Codesign into Practice / G. Schrott ; T. Tempelmeier
Real-Time Architecture for Neural Network Applications / A. Crespo ; H. Hassan ; G. Andreu ; J. Simo
Design, Applications
Action Diagrams / C. Dietz
Design of HRT Systems and Their Implementation in C / J.R. Nawrocki ; W. Complak ; A. Czajka
A Multiformalism Specification Framework with Statecharts and VDM / I. Traore ; A.E.K. Sahraoui
Object-Oriented Approach
Object-Oriented Design of Telecontrol Protocol / A. Bobkowska ; G. Cysewski ; T. Gromadzki ; H. L Yskawa
Expressing Real-Time Constraints in an Object-Oriented Approach / J.P. Babau ; J.L. Sourrouille
Object Orientation in the Real-Time System Lifecycle / D. Verber ; M. Colnaric ; A.H. Frigeri ; W.A. Halang
A Modular Approach to Real Time Programming Using Actors and Java / L. Nigro ; F. Pupo
A Formal Approach to Real-Time Object Oriented Software / S.E. Carvalho ; J.L. Fiadeiro ; E.H. Haeusler
Time-Stamped Event Histories: A Real-Time Programming Object / A. Shaw
Real-Time Programming: Extending PEARL with Interfaces and Active Objects / C.E. Pereira ; W. Halang
Timing Analysis, Scheduling
Timing Analysis of a Generic Robot Teleoperation Software Architecture / B. Alvarez ; A. Alonso ; J.A. de la Puente
Measuring the Performance of Real Time Systems / R. Gumzej
Timing Analysis of RL Programs / M. Lin ; J. Malec
A Temporal Analysis of Distributed Hard Real-Time Applications / S. Saad-Bouzefrane ; F. Cottet
Automatic Generation of Cyclic Schedules / J. Zamorano
Forums
Critical Issues in Object-Oriented Real-Time Systems-A Guided Panel Discussion / H.F. Wedde
Real-Time Computing Education: Responding to a Challenge of the Next Century / C. Pereira ; J. de la Puente ; J. Skubich ; J. van Katwijk ; H. Wedde ; J. Zalewski
Invited Paper
The SACRES Approach to Embedded Systems Applied to Aircraft Engine Controllers / P. Baufreton ; H. Granier ; X. Mehaut ; E. Rutten
Author Index
Architecture, Systems
Cache-Based Checkpointing for Preemptive Real-Time Systems / J.V. Busquets-Mataix ; J.J. Serrano ; A. Wellings
On the Application of Fuzzy Logic in the Design of Supervisors for Real-Time Control Systems / A. Fernandez ; M. Marcos ; F. Artaza ; N. Iriondo ; D. Orive
10.

図書

図書
edited by David Tinsley and David C. Johnson
出版情報: London : Chapman & Hall, 1998  x, 304p ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼