close
1.

図書
図書
1. Information processing 80 : proceedings of IFIP Congress 80, Tokyo, Japan, October 6-9, 1980, Melbourne, Australia, October 14-17, 1980
edited by Simon Lavington
出版情報: Amsterdam : North-Holland, 1980  xiii, 1070 p. ; 31 cm
シリーズ名: IFIP congress series ; v. 8
所蔵情報: loading…
2.

図書
図書
2. Knowledge intensive computer aided design : IFIP TC5 WG5.2 Third Workshop on Knowledge Intensive CAD December 1-4, 1998, Tokyo, Japan
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.

図書
図書
3. Capacity building for IT in education in developing countries : IFIP TC3 WG3.1, 3.4 & 3.5 Working Conference on Capacity Building for IT in Education in Developing Countries, 19-25 August 1997, Harare, Zimbabwe
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.

図書
図書
4. Product modeling for computer integrated design and manufacture : TC5/WG5.2 International Workshop on Geometric Modeling in Computer Aided Design, 19-23 May, 1996, Airlie, Virginia, USA
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.

図書
図書
5. Experimental learning in production management : IFIP TC5?WG5.7 Third Workshop on Games in Production Management: the effects of games on developing production management 27-29 June 1997, Espoo, Finland
edited by Riitta Smeds and Jens O. Riis
出版情報: London : Chapman & Hall, 1998  xii, 164 p. ; 24cm
所蔵情報: loading…
6.

図書
図書
6. Information systems and qualitative research : proceedings of the IFIP TC8 WG 8.2 International Conference on Information Systems and Qualitative Research, 31st May-3rd June 1997, Philadelphia, Pennsylvania, USA
edited by Allen S. Lee, Jonathan Liebenau and Janice I. DeGross
出版情報: London : Chapman & Hall, 1997  x, 571 p. ; 24cm
所蔵情報: loading…
7.

図書
図書
7. Systems implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, Methods and Tools, 23-26 February 1998, Berlin, Germany
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.

図書
図書
8. Proceedings, the fourth International Symposium on Autonomous Decentralized Systems -integration of heterogeneous systems, March 21-23, 1999, Tokyo, Japan (: case ; : microfiche)
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.

図書
図書
9. Real time programming 1997, (WRTP'97) : a proceedings volume from the IFAC/IFIP workshop, Lyon, France, 15-17 September 1997
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.

図書
図書
10. Information and communication technologies in school mathematics : IFIP TC3 / WG3.1 Working Conference on Secondary School Mathematics in the World of Communication Technology: Learning, Teaching and the Curriculum, 26-31 October 1997, Grenoble, France
edited by David Tinsley and David C. Johnson
出版情報: London : Chapman & Hall, 1998  x, 304p ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼