close
1.

図書

図書
edited by Bart De Decker ... [et al.]
出版情報: Boston : Kluwer Academic, c2002  xi, 202 p. ; 25 cm
所蔵情報: loading…
2.

図書

図書
edited by Deryn Watson, Jane Andersen
出版情報: Boston : Kluwer Academic Publishers, c2002  xxxiv, 990p. ; 25 cm
所蔵情報: loading…
3.

図書

図書
edited by Rolf Stadler, Mehmet Ulema
出版情報: Piscataway, NJ : IEEE Operations Center, c2002  xvii, 1026 p. ; 25 cm
所蔵情報: loading…
4.

図書

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

図書

図書
edited by Winfried Lamersdorf, Volker Tschammer, Stéphane Amarger
出版情報: Boston ; London : Kluwer Academic Pub., 2004  xii, 489 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 146
所蔵情報: loading…
6.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
出版情報: New York : Association for Computing Machinery, c2005  xx, 336 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
edited by Yves Deswarte ... [et al]
出版情報: Boston : Kluwer Academic Publishers, 2004  xiv, 548 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 147
所蔵情報: loading…
8.

図書

図書
edited by Tom van Weert, Arthur Tatnall
出版情報: New York : Springer, c2005  xii, 285 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 182
所蔵情報: loading…
9.

図書

図書
edited by Elizabeth M. Belding-Royer, Khaldoun Al Agha, Guy Pujolle
出版情報: New York : Springer, 2005  508 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 162
所蔵情報: loading…
10.

図書

図書
edited by Ken-Ichi Kitayama, Francesco Masetti-Placci, Giancarlo Prati
出版情報: New York : Springer, 2005  xx, 610 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 164
所蔵情報: loading…
11.

図書

図書
edited by Dominique Gaïti, Sebastià Galmés, Ramon Puigjaner
出版情報: New York : Springer, c2005  xiv, 348 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 165
所蔵情報: loading…
12.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
出版情報: New York : Association for Computing Machinery, c2004  xiv, 258 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
edited by Manuel J. Mendes, Reima Suomi, Carlos Passos
出版情報: Boston : Kluwer Academic Publishers, c2004  xiv, 456 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 139
所蔵情報: loading…
14.

図書

図書
edited by Carolyn Dowling, Kwok-Wing Lai
出版情報: Boston : Kluwer Academic Publishers, c2003  xiii, 305 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 132
所蔵情報: loading…
目次情報: 続きを見る
Melbourne 2003 Committees
Melbourne 2003 Sponsors
Preface / Carolyn Dowling ; Kwok-Wing Lai
Setting the Scene-The Keynote Addresses / Section 1:
The Teaching Profession: A Networked Profession in New Networked Environments / Bernard Cornu
Designing Learning Experiences: Supporting Teachers in the Process of Technology Change / Barry Harper
The Teacher-A Forgotten Stakeholder? / Deryn Watson
The Teacher of the Future as a Professional / Section 2:
ICT, National Policies, and their Impact on Schools and Teachers' Development / Rosa Maria Bottino
Using an Educational Consensus to Reach Educational Technology Tipping Point / Roger Carlsen
Path to the Future: Generative Evaluation for Simultaneous Renewal of ICT in Teacher Education and K-12 Schools / Niki Davis ; Mari Kemis ; Natalie Johnson
ICT and Future Teachers: Are We Preparing for E-learning? / Anthony Jones
Developing a European Pioneer Teacher Community for School Innovation / Vittorio Midoro ; Stefania Bocconi ; Allan Martin ; Francesca Pozzi ; Luigi Sarti
A New Qualification and Certification for Specialist ICT Teachers / Sigrid Schubert
In Service Teacher Development Using ICT: First Step in Lifelong Learning / Jose Armando Valente
Raising the Standards: ICT and the Teacher of the Future / Ian Webb ; Toni Downes
Professional Development Needs of Teachers Managing Self-Guided Learning / Wolfgang Weber
Reports of Focus Group Discussions
The Teacher as a Professional: Fostering Professionalism / Group A:
The Professional Teacher: Contexts, Capabilities and Competencies / Group B:
Classroom Roles of the Teacher of the Future / Section 3:
Developing ICT Leadership Skills for Teachers of the Future / Dianne Chambers
The Effects of Attitudes, Pedagogical Practices and Teachers' Roles on the Incorporation of ICT into the School Curriculum / Margaret Cox
From Facilitator to Knowledge-Builder: A New Role for the Teacher of the Future / Elizabeth Hartnell-Young
Teacher Empowerment and Minimalist Design / Wing-Wah Ki ; Albert Ling-Sung Chung ; Ho-Cheong Lam
Innovative Classroom Practices and the Teacher of the Future / Nancy Law
From Teacher Education to Professional Development for E-learning in an E-society / Raymond Morel ; Jean-Claude Domenjoz ; Charles Lachat ; Christine Rossi
Technology Matters But Good Teachers Matter More / Geoff Romeo
The Role of the Teacher / Group C:
The Role of Teachers: Lifelong Learners in a Community of Practice / Group D:
Teaching and Learning Environments of the Future / Section 4:
Mathematical Teaching and Learning Environment Mediated by ICT / Giampaolo Chiappini ; Bettina Pedemonte ; Elisabetta Robotti
Distant Actors on a Digital Campus, or Sharing and Crumbling Pedagogical Responsibility / Helene Godinet
ICT and the Quality of Teaching: Some Hungarian Results of the OECD ICT Project / Andrea Karpati
Developing Research Models for ICT-Based Pedagogy / Steve Kennewell
Technology Access: Resources Wasted in Computer Laboratories / Kristian Kiili
Teacher in the Mobile World / Jari Multisilta ; Harri Keiho ; Harri Ketamo
Using Portable Computer Technologies to Support Learning Environments / Paul Newhouse
E-Learning, ICT, and Learning Portals for Schools / Ferran Ruiz Tarrago
Slash 21: A New School and a New Way of Learning / Henk van Dieten
Teaching Environments: Key Influences and Considerations / Group E:
Knowledge Building Communities: Creating New Learning and Teaching Environments / Group F:
Index of Contributors
Melbourne 2003 Committees
Melbourne 2003 Sponsors
Preface / Carolyn Dowling ; Kwok-Wing Lai
15.

図書

図書
edited by Raouf Boutaba, Seong-Beom Kim ; [sponsored by IEEE Communications Society and IFIP WG 6.6]
出版情報: Piscataway, NJ : IEEE Operations Center, c2004  2 v. ; 25 cm
所蔵情報: loading…
16.

図書

図書
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…
17.

図書

図書
edited by Hartmut König, Kurt Geihs and Thomas Preuß
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi,294p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee members and invited speakers
List of references
Invited talk - abstract
Management of distributed applications / Part one:
Agents and internet applications / Part two:
Short paper session I / Part three:
Working session
Invited talk II - Abstract
CORBA 1 / Part four:
CORBA 2 / Part five:
Short paper session II / Part six:
Language support for distributed applications design / Part seven:
Security and reliability aspects / Part eight:
Index of contributors
Keyword index
Preface
Committee members and invited speakers
List of references
18.

図書

図書
edited by Sushil Jajodia ... [et al.]
出版情報: London : Chapman & Hall, 1997  366 p. ; 24 cm
シリーズ名: Integrity and internal control in information systems : IFIP TC-11 WG11.5 First Working Conference on Integrity and Internal Control in Information Systems 4-5 December 1997, Zürich, Switzerland ; vol.1
所蔵情報: loading…
19.

図書

図書
edited by Andrew Campbell and Klara Nahrstedt
出版情報: London : Chapman & Hall, 1997  xli, 406 p. ; 24cm
所蔵情報: loading…
20.

図書

図書
edited by Norio Okino, Hiroyuki Tamura and Susumu Fujii
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1998  viii, 482 p. ; 24 cm
所蔵情報: loading…
21.

図書

図書
edited by David Tinsley and David C. Johnson
出版情報: London : Chapman & Hall, 1998  x, 304p ; 24 cm
所蔵情報: loading…
22.

図書

図書
edited by Fred Mulder and Tom van Weert
出版情報: London : Chapman & Hall, 1998  vi, 251 p. ; 24 cm
所蔵情報: loading…
23.

図書

図書
edited by Toshiharu Hasegawa, Hideaki Takagi and Yutaka Takahashi
出版情報: London ; Tokyo : Chapman & Hall, 1998  vi, 392 p. ; 24 cm
所蔵情報: loading…
24.

図書

図書
edited by Richard S. Bird and Lambert Meertens
出版情報: London : Chapman & Hall, 1997  vi, 440 p. ; 24 cm
所蔵情報: loading…
25.

図書

図書
edited by Ronald F. Boisvert
出版情報: London ; Tokyo : Chapman & Hall, 1997  vii, 384 p. ; 24 cm
所蔵情報: loading…
26.

図書

図書
edited by M. Papageorgiou and A. Pouliezos
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon, 1997  3 v. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Selected chapter headings:Plenary
Keynote Address / Paper I:
Air Traffic
Incident Detection / Management I:
Multi-Mode Transportation
Vehicle Control
Dynamic Route Guidance
Freight and Fleet
Urban Traffic Control I
Marine Systems I
Public Transport Planning
Global Optimization Applications
Rail Traffic Modeling
Neural Network Applications I
Motorway Traffic Control
Travel Time Estimation and Prediction
Traffic Assignment
Travel and Traffic Information
Selected chapter headings:Plenary
Keynote Address / Paper I:
Air Traffic
27.

図書

図書
edited by Dina Berkeley ... [et al.]
出版情報: London : Chapman & Hall, 1998  xi, 265 p. ; 24 cm
所蔵情報: loading…
28.

図書

図書
Alistair Sutcliffe, Juergen Ziegler, Peter Johnson
出版情報: Boston : Kluwer Academic Publishers, c1998  ix, 212 p. ; 25 cm
所蔵情報: loading…
29.

図書

図書
edited by Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Vladimir Marik
出版情報: Boston : Kluwer Academic Publishers, c1998  xxii, 632 p. ; 25 cm
所蔵情報: loading…
30.

図書

図書
editors Liria M. Sato ... [et al.] ; sponsored by Brazilian Computer Society (SBC) ; co-sponsored by IFIP, International Federation for Information Processing ; in cooperation with IEEE Computer Society ; organization Universidade São Paulo
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 2003  xiii, 269 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Conference Organizers
Program Committee
Reviewers
Brazilian Computer Society (SBC)
Cache and Memory Architectures / Session 1:
Exploring Memory Hierarchy with ArchC / P. Viana ; E. Barros ; S. Rigo ; R. Azevedo ; G. Araujo
Adaptive Compressed Caching: Design and Implementation / R. de Castro ; A. Pereira do Lago ; D. Menezes da Silva
Enabling Dual-Core Mode in BlueGene/L: Challenges and Solutions / G. Almasi ; L. Bachega ; S. Chatterjee ; M. Gupta ; D. Lieber ; X. Martorell ; J. Moreira
Processor Architectures / Session 2:
Complex Branch Profiling for Dynamic Conditional Execution / R. dos Santos ; T. dos Santos ; M. Pilla ; P. Navaux ; S. Bampi ; M. Nemirovsky
The Limits of Speculative Trace Reuse on Deeply Pipelined Processors / A. da Costa ; F. Franca ; B. Childers ; M.L. Soffa
Languages and Tools for Parallel and Distributed Programming / Session 3:
JRastro: A Trace Agent for Debugging Multithreaded and Distributed Java Programs / G. Jacques da Silva ; L. Mello Schnorr ; B. de Oliveira Stein
On the Implementation of SPMD Applications Using Haskell# / F. Heron de Carvalho Jr. ; R. Dueire Lins ; N. Cruz Quental
Performance Analysis of DECK Collective Communication Service / R. Silva ; D. Picinin ; M. Barreto ; R. Avila ; T. Diverio
A Modeling Methodology and Pre-Runtime Scheduling for Embedded Real-Time Software / R. Barreto ; P. Maciel ; S. Cavalcante
Grid, Cluster and Pervasive Computing / Session 4:
Performance Issues of Bandwidth Reservations for Grid Computing / L.-O. Burchard ; H.-U. Heiss ; C. De Rose
An Evaluation of cJava System Architecture / A. Faustino da Silva ; M. Lobosco ; C. Luis de Amorim
ProGrid: A Proxy-Based Architecture for Grid Operation and Management / P. Capellotto Costa ; S. Donizetti Zorzo ; H. Crestana Guardia
High Performance Applications I / Session 5:
Optimizing Packet Capture on Symmetric Multiprocessing Machines / G. Varenni ; M. Baldi ; L. Degioanni ; F. Risso
A Parallel Implementation of the LTSn Method for a Radiative Transfer Problem / R. Souto ; H. de Campos Velho ; S. Stephany ; A. Preto ; C. Segatto ; M. Vilhena
Parallel Implementation of a Lattice-Gauge-Theory Code: Studying Quark Confinement on PC Clusters / A. Cucchieri ; T. Mendes ; G. Travieso ; A. Taurines
High Performance Applications II / Session 6:
Applying Scheduling by Edge Reversal to Constraint Partitioning / M. Rodriguez Pereira ; P. Kayser Vargas ; M. Clicia Stelling de Castro ; I. De Castro Dutra
Comparison of Genomes Using High-Performance Parallel Computing / N. Almeida Jr. ; C. Alves ; E. Caceres ; S. Song
Finite Difference Simulations of the Navier-Stokes Equations Using Parallel Distributed Computing / J. Paulo de Angeli ; A. Valli ; N. Reis Jr. ; A. De Souza
Parallel and Distributed Algorithms / Session 7:
New Parallel Algorithms for Frequent Itemset Mining in Very Large Databases / A. Veloso ; W. Meira Jr. ; S. Parthasarathy
BSP/CGM Algorithm for Maximum Matching in Convex Bipartite Graphs / J. Soares ; M. Stefanes
A BSP/CGM Algorithm for Computing Euler Tours in Graphs / C. Nasu
Performance Analysis Issues for Parallel Implementations of Propagation Algorithm / L. Brenner ; L. Gustavo Fernandes ; P. Fernandes ; A. Sales
Load Balancing and Scheduling / Session 8:
Dynamic Load Balancing in PC Clusters: An Application to a Multi-Physics Model / R. Vargas Dorneles ; R. Luis Rizzi
Hybrid Task Scheduling: Integrating Static and Dynamic Heuristics / C. Boeres ; A. Lima ; V. Rebello
Load Balancing on Stateful Clustered Web Servers / G. Teodoro ; T. Tavares ; B. Coutinho ; D. Guedes
Benchmarking, Performance Measurements and Analysis / Session 9:
PM2P: A Tool for Performance Monitoring of Message Passing Applications in COTS PC Clusters / M. Haridasan ; G. Pfitcher
Profiling and Optimization of Software-Based Network-Analysis Applications
Boosting Performance for I/O-Intensive Workload by Preemptive Job Migrations in a Cluster System / X. Qin ; H. Jiang ; Y. Zhu ; D. Swanson
Reconfigurable Systems / Session 10:
Three Hardware Implementations for the Binary Modular Exponentiation: Sequential, Parallel and Systolic / N. Nedjah ; L. de Macedo Mourelle
Fast Parallel FFT on a Reconfigurable Computation Platform / A. Kamalizad ; C. Pan ; N. Bagherzadeh
X4CP32: A New Hybrid Parallel/Reconfigurable General-Purpose Processor / R. Soares ; A. Azevedo ; I. Saraiva Silva
Author Index
Message from the General Chair
Message from the Program Chair
Conference Organizers
31.

図書

図書
edited by Dominique Gaïti
出版情報: New York : Springer, c2006  vi, 236 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 213
所蔵情報: loading…
32.

図書

図書
edited by Eileen M. Trauth ... [et al.]
出版情報: New York : Springer, 2006  vii, 417 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 208
所蔵情報: loading…
33.

図書

図書
edited by Lynn Futcher, Ronald Dodge
出版情報: New York : Springer, c2007  [11], 148 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 237
所蔵情報: loading…
34.

図書

図書
edited by M.J.D. Powell, S. Scholtes
出版情報: London : Kluwer Academic, c2000  viii, 347 p. ; 25cm
シリーズ名: The International Federation for Information Processing ; 46
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Topology Design of Structures, Materials and Mechanisms - Status and Perspectives / M.P. Bendoe
MIP: Theory and Practice - Closing the Gap / R.E. Bixby, et al.
On the Role of Natural Level Functions to Achieve Global Convergence for Damped Newton Methods / H.G. Bock, et al.
Computational Experience with a Parallel Implementations of an Interior-Point Algorithm for Multicommodity Network Flows / J. Castro
Modelling the Behavior of Systems: Basic Concepts and Algorithms / T. Cotroneo ; J.C. Willems
Lipschitzian Stability of Newton's Method for Variational Inclusions / A.L. Dontchev
SQP Methods for Large-Scale Nonlinear Programming / N.I.M. Gould ; P.L. Toint
Algorithmic Implications of Duality in Stochastic Programs / J.L. Higle ; S. Sen
A Model which Integrates Strategic and Tactical Aspects of Forest Harvesting / A. McNaughton, et al.
Optimization of Chemical Processes Under Uncertainty / G.M. Ostrovsky, et al.
Numerical Solution to the Acoustic Homicidal Chauffeur Game / V.S. Patsko ; V.L. Turova
Application of a Micro-Genetic Algorithm in Optimal Design of a Diffractive Optical Element / S. Rudnaya ; F. Santosa
Semidefinite and Lagrangian Relaxations for Hard Combinatorial Problems / H. Wolkowicz
Recent Developments in Interior-Point Methods / S.J. Wright
Other Papers that were Presented at the Conference
Foreword
Topology Design of Structures, Materials and Mechanisms - Status and Perspectives / M.P. Bendoe
MIP: Theory and Practice - Closing the Gap / R.E. Bixby, et al.
35.

図書

図書
edited by Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Heinz-H. Erbe
出版情報: Boston, MA : Kluwer Academic, c2000  ix, 484 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 53
所蔵情報: loading…
目次情報: 続きを見る
Technical Co-Sponsors
Program Committee
Preface: Towards Networked Enterprising
Integration in Virtual Enterprises / Part 1:
Supporting Business Process Management and Coordination in a Virtual Enterprise / L. M. Camarinha-Matos ; C. Pantoja-Lima1.:
Towards Focused Markets of Resources for Agile Virtual Enterprise Integration / M. M. Cunha ; G. D. Putnik ; P. Avila2.:
System Architectures for Manufacturing Co-Ordination in Complex Supply Networks / H. Loh ; T. M. Rupp ; M. Ristic3.:
Information Management in Virtual Enterprises / Part 2:
Federated Query Processing for Distributed Process Coordination in Virtual Enterprises / C. Garita ; H. Afsarmanesh ; Y. Ugur ; L. O. Hertzberger4.:
An Internet Solution for Virtual Enterprises Based on an Object-Oriented Real-Time Database / G. Schaub5.:
Enterprise Engineering and Intergration in the Global Environment / K. Kosanke ; F. B. Vernadat ; M. Zelm6.:
Distributed Production in Virtual Enterprises / Part 3:
Enacting Dynamic Distribution Networks--the Damascos Project / T. Goletz ; J. J. Pinto Ferreira7.:
For a Smart Coordination of Distributed Business Processes / R. J. Rabelo ; A. P. Klen ; A. C. Ferreira8.:
Distributed Production with Specification-Generated Processes / T. Janowski9.:
Creation of Virtual Enterprises / Part 4:
Virtual Production Network Configuration: Acs-Approach and Tools / F. Golm ; A. V. Smirnov10.:
Virtual Industry Clusters: Foundation to Create Virtual Enterprises / M. Flores ; A. Molina11.:
A Method for Identifying and Evaluating Core Competencies' Constituent Skills for Virtual Industry Clusters / J. E. M. Siqueira ; C. F. Bremer12.:
Cooperative Work / Part 5:
Using Multiversion Web Servers for Data-Based Synchronization of Cooperative Work / J. Rykowski13.:
Evaluation of Workflow Management Technology for the Co-Ordination of Telework / P. Araujo ; J. J. P. Ferreira ; D. Forster ; J. Goletz ; F. Heller ; E. Mendes ; E. Stoilas14.:
Learning Processes in Networked Enterprises / H.-H. Erbe15.:
Multi-Agent Systems / Part 6:
Adaptive Mobile Agents: Enhanced Flexibility in Internet-Based Remote Operation / W. Vieira16.:
Acquaintance Model in Re-Planning and Re-Configuration / V. Marik ; M. Pechoucek ; O. Stepankova17.:
Multi-Agent Based Supply Chain Management with Market Emergence Phenomenon / T. Kaihara18.:
Economic Aspects of New Infrastructures / Part 7:
The Delta Model: A Framework for the Effective Implementation of it to Enable Organizational Change / H. Boekhoff19.:
Economic Evaluation of Delays Reduction: A Global Approach / A. Dumolard ; M. Pouly ; R. Glardon20.:
E-Commerce: The Virtual Battlefield / T. Litzinger ; J. A. Wise21.:
Human and Social Aspects / Part 8:
Implementation Methodology of Complex Manufacturing Environment in a Brownfield Site / A. B. Moniz ; P. Urze22.:
Complex Objects and Anthropocentric Systems Design / F. W. Bruns23.:
Balancing Automation and Human Work in Environment Oriented Student Projects / D. Brandt ; A. Blum ; A. Woyke24.:
Human Interfaces / Part 9:
Concept Sharing Between Human and Interface Agent Under Time Criticality / T. Sawaragi ; T. Ogura25.:
Virtual Reality User Interface for Autonomous Production / C. Schlick ; R. Reuth ; H. Luczak26.:
Design of Deadlock Avoidance Compensators for Anthropocentric Production Systems / P. E. Miyagi ; D. J. Santos Filho ; W. M. Arata27.:
Production Scheduling / Part 10:
Integration of Maintenance Constraints in Scheduling: Fuzzy Modelling and Multi-Agent Approach / T. Coudert ; B. Grabot ; B. Archimede28.:
Autonomous Multi-Agents Architecture for Control of Manufacturing Systems / B. Bouzouia ; Y. Hafri ; T. Boudellal29.:
A Genetic Algorithm for the Dynamic Single Machine Scheduling Problem / A. Madureira ; C. Ramos ; S. C. Silva30.:
Knowledge and Information Management / Part 11:
Multi-Agent Systems and Enterprise Modeling / G. Pepiot31.:
Knowledge Management in a Distributed Organisation / M. Dzbor ; J. Paralic ; M. Paralic32.:
Integrated Product Data Management Based on a Uniform User Interface / W. Woss33.:
Information Technology in Transportation / Part 12:
Evaluating Visual Display Designs in Vehicles: Advantages and Disadvantages of the Occlusion Technique / J. F. Krems ; A. Keinath ; M. Baumann ; C. Gelau ; K. Bengler34.:
Objective Evaluation of the Complexity of Usage for Car Infotainment Systems / R. M. Jung ; H.-P. Willumeit35.:
Human Interface for Heart Rate Control During Bicycle Ergometer Exercise / K. Yokoyama ; H. Hidaka ; Y. Miura ; Y. Mizuno36.:
Automation and Control / Part 13:
Modeling and Control of an Omnidirectional Mobile Robot / S.G. Tzafestas ; T. Krikochoritis ; A. Melfi37.:
CNC Machine Ruled Surface Interpolation: A Neural Network Approach for Cheap Processing / L. R. Canali ; M. R. Modesti ; E. A. Destefanis38.:
Various Approaches in Classification of Technical Processes / P. Becvar ; L. Muller39.:
Sensors and Automation / Part 14:
A Simple Hand-Eye Calibration Method for a 3D Laser Range Sensor / M. Sallinen ; T. Heikkila40.:
Advanced Microwave Sensor Based Control Concept for Concrete Production / J. Kickstein ; J. Held ; U. Kirchhoff41.:
Electrical Energy Conservation in a Commercial Building with systems Automation / J. R. Pinto ; C. C. Moraes ; A. F. Brandao Jr.42.:
Simulation / Part 15:
Integrating Manufacturing Simulation Tools Using Distributed Object Technology / N. Senin ; R. Groppetti ; A. Rossi ; D. R. Wallace43.:
Simulation of Agent-Based Controlled Production Networks by Distributed Simulation Models / G. Seliger ; M. Ciupek44.:
Multimodelling and Simulation: The First Step in the Implementation of an Automation Project in a SME / H. P. Moruzzi ; G. D. Tripodi45.:
Author Index
Technical Co-Sponsors
Program Committee
Preface: Towards Networked Enterprising
36.

図書

図書
edited by Colette Rolland, Yu Chen and MeiQi Fang
出版情報: London : Chapman & Hall, 1998  vi, 376 p. ; 24 cm
所蔵情報: loading…
37.

図書

図書
edited by James W. Hong, Robert Weihmayer
出版情報: Piscataway, NJ : IEEE Operations Center, c2000  xxvii, 1022 p. ; 25 cm
所蔵情報: loading…
38.

コンピュータファイル

コンピュータファイル
IEEE Network Operations and Management Symposium ; IEEE Communications Society ; International Federation for Information Processing
出版情報: Piscataway, NJ : IEEE Operations Center, c2000  1 CD-ROM
所蔵情報: loading…
39.

図書

図書
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…
40.

図書

図書
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…
41.

図書

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

図書

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

図書

図書
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…
44.

図書

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

図書

図書
edited by Pierre Ladet and François Vernadat
出版情報: London : Chapman & Hall, 1995  vi, 300 p. ; 24 cm
所蔵情報: loading…
46.

図書

図書
edited by Jaroslav Doležal and Jiří Fidler
出版情報: London : Chapman & Hall, 1996  ix, 613 p. ; 24cm
所蔵情報: loading…
47.

図書

図書
International Conference on Hardware/Software Codesign & System Synthesis ; Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; International Federation for Information Processing
出版情報: New York, N.Y. : ACM, c2003  xiv, 234 p. ; 28 cm
所蔵情報: loading…
48.

図書

図書
edited by Jonathan C. Borg, Philip J. Farrugia, Kenneth P. Camilleri
出版情報: Boston : Kluwer Academic, 2004  viii, 188 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 136
所蔵情報: loading…
目次情報: 続きを見る
Preface
KIC Development Approaches / Part One:
Towards Agent-Based Product Modelling / J.S. Gero ; U. Kannengiesser
On a Grammar-Based Design Language That Supports Automated Design Generation and Creativity / R. Alber ; S. Rudolph
Preliminary Design Support for Mechanical Products Based on Functional Requirements and Modular Concepts Using Genetic Algorithms / M. Matsuda ; Y. Naoda ; F. Kimura
Knowledge Systemisation / Part Two:
Features in Knowledge Intensive CAD: Roles & Types / D.C. Brown
A Methodology to Acquire and Formalise Process Knowledge for Technology Innovation: An Industrial Application / C. Rizzi ; D. Ruozi ; N. Gherri
LCA Related Interactive Knowledge Visualisation for Product Design / H.E. Otto ; K.G. Mueller
Engineering Index / R.M. Dolin ; J.M. Booker ; C.L. Faust ; M.S. Hamada ; B.J. Reardon
Prototype KIC Systems / Part Three:
Knowledge Intensive `Paper-based' Form Sketching / P.J. Farrugia ; J.C. Borg ; K.P. Camilleri ; D. Scicluna ; Xiu T.Yan ; J. Muscat
Design Knowledge Management Based on a Model of Synthesis / Y. Nomaguchi ; T. Tomiyama
Use of Knowledge Intensive CAD (KIC) in Virtual Product Validation / D.C.Y. Yip ; H.M.C. Law ; K.K.P. Cheng ; F.K.H. Lau
Design Context Knowledge Based Proactive Support for Component Design / Xiu-Tian Yan ; F. Rehman
Author index
Keyword index
Preface
KIC Development Approaches / Part One:
Towards Agent-Based Product Modelling / J.S. Gero ; U. Kannengiesser
49.

図書

図書
edited by Eleanor H. Wynn ... [et al.]
出版情報: Boston : Kluwer Academic, c2003  viii, 545 p ; 25 cm
シリーズ名: The International Federation for Information Processing ; 237
所蔵情報: loading…
目次情報: 続きを見る
Acknowledgements
Conference Chairs
Program Committee
Additional Reviewers
Placing Language in the Foreground: Themes and Methods in Information Technology Discourse / Eleanor H. Wynn ; Edgar A. Whitley ; Michael D. Myers1:
Keynotes / Part 1:
Talking the IS Innovation Walk / E. Burton Swanson2:
Figuring Service in Discourses of ICT: The Case of Software Agents / Lucy Suchman3:
Analytical Frameworks / Part 2:
Transitioning Toward an Internet Culture: An Interorganizational Analysis of Identity Construction from Online Services to Intranets / Roberta Lamb ; Mark Poster4:
Discourse on E-Mail in Use / Mats Edenius5:
When Does a Computer Speak the Truth? The Problem of IT and Validity Claims / Bernd Carsten Stahl6:
Conceptualizing Information Technology in the Study of Information Systems: Trends and Issues / Steve Sawyer ; Tina T. Chen7:
A Research Note on Capturing Technology: Toward Moments of Interest / Ian Hosein8:
The Phenomenology of Information Systems Evaluation: Overcoming the Subject/Object Dualism / Lucas D. Introna ; Louise Whittaker9:
Critical Research / Part 3:
Organizational Discourse as a Social Defense: Taming the Tiger of Electronic Government / David G. Wastell10:
The Discourse of Learning Technology in Canada: Understanding Communication Distortions and Their Implications for Decision Making / Wendy Cukier ; Catherine Middleton ; Robert Bauer11:
Mobilization of Power / Part 4:
Rhetoric of Enrollment and Acts of Resistance: Information Technology as Text / Melanie Wilson12:
The Discourse of a Large Scale Organizational Transformation: The Reengineering of IBM, 1989-1994 / Emmanuel Monod ; Duane Truex ; Richard Baskerville13:
The Digital Divide at Work and Home: The Discourse about Power and Underrepresented Groups in the Information Society / Lynette Kvasny ; Eileen M. Trauth14:
IS Planning and Projects / Part 5:
Arguing for Information Systems Project Definition / Mike Metcalfe ; Maureen Lynch15:
The Nature and Role of Generative Systemic Metaphor Within Information Systems Planning and Development / C. J. Atkinson16:
Globalization, Development, and Space / Part 6:
ICT, Power, and Developmental Discourse: A Critical Analysis / Mark Thompson17:
The Importance of Being Nearest: Nearshore Software Outsourcing and Globalization Discourse / Pamela Abbott ; Matthew Jones18:
Enterprise Resource Planning / Part 7:
Discourse, Management Fashions, and ERP Systems / Chris Westrup19:
Interconnecting Information Systems Narrative Research: An End-to-End Approach for Process-Oriented Field Studies / Erica L. Wagner20:
Dominant Technological Discourses in Action: Paradigmatic Shifts in Sense Making in the Implementation of an ERP System / Jeremy Rose ; Pernille Kroemmergaard21:
Public Institutions / Part 8:
Knowledge Work in Hospitals / Gunnar Ellingsen22:
In a Mood to Make Sense of Technology: A Longitudinal Study of Discursive Practices at the London Ambulance Service / Kathy McGrath23:
ERP Adoption: Selling the System / Dave Oliver ; Lyn Oliver24:
Panels / Part 9:
Visual Elements in the Discourse on Information Technology / Mark Ackerman ; Brian T. Pentland ; Sajda Qureshi ; Elaine K. Yakura25:
Discourse and Organizational Transformation in Information Systems Research / Michael Barrett ; Loizos Heracleous ; Wanda Orlikowski ; Niki Panteli26:
New Words and Old Books: Challenging Conventional Discourses About Domain and Theory in Information Systems Research / Bonnie Kaplan27:
Index of Contributors
Acknowledgements
Conference Chairs
Program Committee
50.

図書

図書
edited by Borka Jerman-Blažič, Tomaž Klobučar
出版情報: Boston, Mass. ; London : Kluwer Academic, c2002  x, 307 p ; 24 cm
シリーズ名: The International Federation for Information Processing ; 100
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼