close
1.

図書
図書
1. 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.：
2.

図書
図書
2. Advanced communications and multimedia security : IFIP TC6/TC11 sixth Joint Working Conference on Communications and Multimedia Security, September 26-27, 2002, Portorož, Slovenia
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…
3.

図書
図書
3. Knowledge and technology integration in production and services : balancing knowledge and technology in product and service life cycle : IFIP TC5/WG5.3 fifth IEEE/IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (BASYS '02), September 25-27, 2002, Cancun, Mexico
edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh
出版情報: Boston, Mass. ; London : Kluwer Academic, c2002  xv, 537 p ; 25 cm
シリーズ名: The International Federation for Information Processing ; 101
所蔵情報: loading…
4.

図書
図書
4. Engineering information systems in the internet context : IFIP TC8/WG8.1 Working Conference on Engineering Information Systems in the Internet Context, September 25-27, 2002, Kanazawa, Japan
edited by Colette Rolland, Sjaak Brinkkemper, Motoshi Saeki
出版情報: Boston ; London : Kluwer Academic Publishers, c2002  xii, 361 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 103
所蔵情報: loading…
目次情報: 続きを見る
Editors' Preface
Officers, Program Committee Members and Additional Referees
Sponsors
Invited talk: Web Services Engineering / M. Aoyama
Using OPEN's Deontic Matrices for E-Business / B. Henderson-Sellers ; D. Lowe ; B. Haire
Specifying and Evaluating Software Architectures Based on 4+1 View Model / K. Fukuzawa ; T. Kobayashi
Extending XML Schema with Derived Elements / F. Ibanez ; O. Diaz ; J. Rodriguez
Generation of Web Applications from Annotation-Based Definitions / K. Asami ; T. Tokuda
A Methodology to Support Web-Services Development Using Legacy Systems / W-J. van den Heuvel ; J. van Hillegersberg ; M. Papazoglou
Active Server for the Management of Structured Documents Link Integrity / A. Alvarez ; Y. Amghar ; R. Chbeir
Tutorial: Web-based Information Systems Development / S. Murugesan
Requirements Definition for the Situational Method Engineering / J. Ralyte
Engineering Methods For Schema Transformation: Application to XML / N. Prakash ; S. Srivastava
An Intelligent Web Service System / S. Suwanapong ; C. Anutariya ; V. Wuwongse
Success Factors of Electronic Markets: Impact of Context and Process on Outcomes / A.O. Nooteboom ; P.M.A. Ribbers ; A.M. Fairchild
Moving Web Services Dependencies at the Front-end / J.. Rodriguez
Duration Histograms for Workflow Systems / J. Eder ; H. Pichler
Security Policy Checker and Generator for Java Mobile Codes / H. Kaiya ; H. Furukawa ; K. Kaijiri
Semi-Automatic Wrapper Generation for Commercial Web Sources / A. Pan ; J. Raposo ; M. Alvarez ; J. Hidalgo ; A. Vina
Optimized Querying of Integrated Data over the Web / A. Cali ; D. Calvanese
An Extensible Framework for Web Sites Integration / N. Lammari ; I. Comyn-Wattiau ; J. Akoka
A Theory of Communication for User Interface Design of Distributed Information Systems / V. Kryssanov ; M. Okabe ; K. Kakusho ; M. Minoh
Panel: Evolution and Changes in Information System Technologies in Industry / S. Uehara
Index of authors
Editors' Preface
Officers, Program Committee Members and Additional Referees
Sponsors
5.

図書
図書
5. Global and organizational discourse about information technology : IFIP TC8/WG8.2 Working Conference on Global and Organizational Discourse about Information Technology, December 12-14, 2002, Barcelona, Spain
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
6.

図書
図書
6. CODES+ISSS 2003 : first IEEE/ACM/IFIP International Conference on Hardware/Software Codesign & System Synthesis, Newport Beach, California, USA, October 1-3, 2003
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…
7.

図書
図書
7. System modelling and optimization : methods, theory and applications : 19th IFIP TC7 Conference on System Modelling and Optimization, July 12-16, 1999, Cambridge, UK
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.
8.

図書
図書
8. Advances in network and distributed systems security : IFIP TC11 WG11.4 first Annual Working Conference on Network Security, November 26-27, 2001, Leuven, Belgium
edited by Bart De Decker ... [et al.]
出版情報: Boston : Kluwer Academic, c2002  xi, 202 p. ; 25 cm
所蔵情報: loading…
9.

図書
図書
9. Advances in networked enterprises : virtual organizations, balanced automation, and systems integration : IFIP TC5/WG5.3 Fourth IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacture and Transportation, September 27-29, 2000, Berlin, Germany
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
10.

図書
図書
10. NOMS 2002 : 2002 IEEE/IFIP Network Operations and Management Symposium : management solutions for the new communications world
edited by Rolf Stadler, Mehmet Ulema
出版情報: Piscataway, NJ : IEEE Operations Center, c2002  xvii, 1026 p. ; 25 cm
所蔵情報: loading…
11.

図書
図書
11. Networking the learner : computers in education : IFIP TC3 Seventh IFIP World Conference on Computers in Education : WCCE 2001, July 29-August 3, 2001, Copenhagen, Denmark
edited by Deryn Watson, Jane Andersen
出版情報: Boston : Kluwer Academic Publishers, c2002  xxxiv, 990p. ; 25 cm
所蔵情報: loading…
12.

図書
図書
12. NOMS 2000 : 2000 IEEE/IFIP Network Operations and Management Symposium : the networked planet, management beyond 2000 (: soft. ; : case.)
edited by James W. Hong, Robert Weihmayer
出版情報: Piscataway, NJ : IEEE Operations Center, c2000  xxvii, 1022 p. ; 25 cm
所蔵情報: loading…
13.

図書
図書
13. Proceedings, 15th Symposium on Computer Architecture and High Performance Computing, November 10-12, 2003, São Paulo, SP, Brazil
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
14.

図書
図書
14. Network control and engineering for QoS, security, and mobility, V : IFIP 19th World Computer Congress, TC6, 5th IFIP International Conference on Network Control and Engineering for QoS, Security, and Mobility, August 20-25, 2006, Santiago, Chile
edited by Dominique Gaïti
出版情報: New York : Springer, c2006  vi, 236 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 213
所蔵情報: loading…
15.

図書
図書
15. Fifth World Conference on Information Security Education : proceedings of the IFIP TC11 WG 11.8, WISE 5, 19 to 21 June 2007, United States Military Academy, West Point, New York, USA
edited by Lynn Futcher, Ronald Dodge
出版情報: New York : Springer, c2007  [11], 148 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 237
所蔵情報: loading…
16.

図書

東工大
目次DB
図書
東工大
目次DB
16. Eighth International Symposium on Autonomous Decentralized Systems : proceedings : March 21-23, 2007, Sedona, Arizona, USA
sponsored by IEEE Computer Society ...[et al.] ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control, OMG
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2007  xv, 573 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message xi
Program Chair's Message xii
ISADS 2007 Committees xiii
AHSP 2007 Committees xv
Keynote Address 1
   OptIPuter-A High Performance SOA LambdaGrid Enabling Scientific Applications / Larry Smarr 3
Keynote Address 2
   A Service-Oriented Approach to Security-Concepts and Issues / Elisa Bertino and Lorenzo Martino 7
Session 1: Service Orientation: Service Composition/Collaboration
   RobustBPEL2: Transparent Autonomization in Business Processes through Dynamic Proxies / Onyeka Ezenwoye and S. Masoud Sadjadi 17
   Towards Distributed Web Service Composition / Snehit Prabhu 25
   Collaboration Policy Generation in Dynamic Collaborative SOA / W.T. Tsai, Qian Huang, Bingnan Xiao, Yinong Chen, and Xinyu Zhou 33
Session 2: Testing and On-line Validation
   Ontology-Based Test Case Generation for Testing Web Services / Yongbo Wang, Xiaoying Bai, Juanzi Li, and Ruobo Huang 43
   Towards Self-Testing in Autonomic Computing Systems / Tarlq King, Djuradj Babich, Jonatan Alava, Ronald Stevens, and Peter Clarke 51
   Global Constraint Checking at Run-time / Christian Hein and Tom Ritter 59
Session 3: Transportation
   Application of Assurance Technology for Railway Signaling System / Masayuki Matsumoto and Keisuke Bekki 69
   Novel Railway Signal Control System Based on the Internet Technology and Its Distributed Control Archtecture / Yamato Fukuta, Gen Kogure, Takashi Kunifuji, Hiroyuki Sugahara, Reiji Ishima, and Masayuki Matsumoto 77
   The Modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets / Tianhua and Tao Tang 83
Keynote Address 3
   Enviroment of Intellect; 7 issues We Need to Think About for the Future / Yoshinobu Tonomura 93
Session 4: Service Orientation: Architecture, Infrastructure
   The Semantic Data Space for Loosely Coupled Service Provisioning / David Linner, Ilja Radusch, Stephan Steglich, and Carsten Jacob 97
   A New SOA Data-Provenance Framework / Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Ray Paul, Yinong Chen, and Jen-Yao Chung 105
   Should the Grid Middleware Look to Self-managing Capabilities? / Ramon Nou, Ferran Julia, and Jordi Torres 113
Session 5: Sensor and Ad Hoc Networks (1)
   Mobility Support for Users in Wireless Sensor Networks / Sang-Sik Kim and Ae-Soon Park 123
   A Hybrid Routing with Location Information for Mobile Ad Hoc Networks / Hiroshi Nakagawa, Tomoyuki Ohta, Kenji Ishida, and Yoshiaki Kakuda 129
   Mobile Phone Based Ad Hoc Network Using Built in Bluetooth for Ubiquitous Life / Hitomi Murakami, Atsushi Ito, Yu Watanabe, and Takao Yabe 137
Session 6: Service Orientation: Discovery, Access, Application
   Functionality-Based Service Matchmaking for Service-Oriented Architecture / Stephan Yau and Junwei Liu 147
   Change Management in Semantic Business Processes Modeling / Uttam Kumar Tripathi and Knut Hinkelmann 155
   Autonomous Correlated Services Access for High Response in Intergrated Faded Information Field Systems / Xiaodong Lu, Kinji Mori, and Yongdong Tan 163
Session7: Sensor and Ad Hoc Networks (2)
   An On-demand Address Allocation Scheme for Query Based Sensor Networks / Weiwei Fang, Yi Liu, Jin Wu, and Depei Qian 173
   An Effcient On-Demand Hierarchical Routing Protocol Based on Autonomous Clustering for Mobile Ad Hoc Networks / Ryotaro Oda, Tomoyuki Ohta, and Yoshiaki Kakuda 180
   Locality-Preserving Distributed Path Reservation Protocol for Asynchronous Cooperative Mobile Robots / Rami Yared, Julien Cartigny, Xavier Defago, and Matthias Wiesmann 188
   Optimizing Query Injection from Mobile Objects to Sensor Networks / Shourui Tian and Sol M. Shatz 196
Session8: Assurance and Fault-Tolerance
   Research of Reliability Technology in Heterogeneous Autonomous Decentralized Assurance Systems / Akio Shiibashi, Takashi Kuroda, Motoharu Yamana, and Kinji Mori 207
   Distribution Algorithm for Newly Allcated Update Allowance (AV) in the Autonomous Decentralized Database System (ADDS) / Isao Kaji 215
   Autonomous Fault Recovery Technology for Continuous Service in Distributed VOD System / Yuta Nakatogawa, Shoichi Murakami, Miho Kanda, Kinji Mori, Ryuji Takanuki, and Yasushi Kuba 221
Session9: Agent Systems and Networking
   Autonomous Real-Time Navigation for Service Level Agreement in Distributed Information Service System / Khalid Mahmood, Satoshi Niki, Yuuki Nakahara, Xiaodong Lu, Ivan Luque, and Kinji Mori 231
   SAGE-LITE: An Architecture and Implementation of Light Weight Multi-agent System / Sana Khalique, Sana Farooq, Hafiz Farooq Ahmad, Hiroki Suguri, and Arshad Ali 239
   An Approach of End-to-End DiffServ/MPLS QoS Context Transfer in HMIPv6 Networks / Chuda Liu, Yi Liu, Depei Qian, and Mingxiu Li 245
Session 10: Resource Abstraction and Management
   Autonomous Decentralized Load Tracking Systems and Evaluation Criteria for Response and Stability / Tetsuya Masuishi, Koichi Shibata, Yasuyuki Oki, and Kinji Mori 255
   Merging CBR and Neural Networks for SLA-Based Radio Resource Management for QoS Sensitive Cellular Networks / Muhammad Umer Hkan, Muhammad Qaisar Ch, Hafiz Farooz Ahmad, Liaqut Ali, Arshad Ali, and Hiroki Suguri 263
   Virtual Device Composition / Mario Schuster, Alexander Domene, Raju Vaidya, Stefan Arbanowski, Su Myeon Kim, Jin Wook Lee, and Hun Lim 270
Session 11: Security, Safety, and Trust
   Mass Mailing Worm Detection by Means of Situation Aware DNS / Nikolaos Chatzis 279
   Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software / Tibor Farkas and Daniel Grund 287
   Trust for Vehicular Applications / Matthias Gerlach 295
Keynote Address 4
   Quality Assurance for Autonomous Systems-A Review of Model-Based Methods / Ina Schieferdecker 305
Session 12: Invited Paper (1)
   Dynamic Clustering Model for High Service Availability / Sung Hocheol, Han Sunyoung, Choi Byounguk, Kim Heemin, Song Jungwook, Ang Chee-Wei, Cheng Wang-Cho, and Wong Kim-Sing 311
   A UDP Based Protocol for Distributed P2P File Sharing / Yao-Nan Lien and Hong-Qi Xu 318
   Context-Based Service Discovery for Enhanced Learning Object in P2P Networks / Qianhui Liang and Zhaohui Wu 325
(Session 13) Special Session: Ad Hoc Networks in Automotive Telematics Applications (1)
   An Approach to Positioning Road-User in a Telematics Network / Mats Rydstrom, Erik Strom, Arne Svensson, and Luca Reggiani 335
   Enforcing Privacy Using Symmetric Random Key-Set in Vehicular Networks / Yong Xi, Kewei Sha, Weisong Shi, Loren Schwiebert, and Tao Zhang 344
   Mobile Service Discovery Protocol (MSDP) for Mobile Ad-Hoc Networks Jui-Chi Liang, Jyh-Cheng Chen, and Tao Zhang 352
Session 14: Invited Paper (2)
   An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language / Michael Medina and Joseph Urban 363
   A TTF-Based Programming Model and a Support Kernel Running on a Communicating Sensor Platform / Kane Kim, Keizo Fujiwara, Moon-Cheol Kim, Liangchen Zheng, Kenichi Watanabe, and Makoto Takizawa 368
   Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems / Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, and Michele Vadursi 377
(Session 15) Special Session: Ad Hoc Networks in Automotive Telematics Applications (2)
   Piggybacked Acknowledgement for Reception Assesment in a Pervasive Broadcasting System / Daniel Jiang, Miro Bogdanovic, and Luca Delgrossi 387
   DiffServ QoS and OLSR MANET Outdoor Demonstration / Isil Sebuktekin, Brandon Yoon, Byungsuk Kim, Ashok Ranade, Taek Jin Kwon, Marcus Pang, William Stephens, Michael Bereschinsky, Charles Graff, Larry Muzzelo, Michael Acriche, Aristedes Staikos, Ben Foresta, and Dennis Chen 394
Session 16: Multimedia Content and Service Provisioning
   Self-Organizing Pervasive Online Communities / Stefan Foell, Philippe Boessling, David Linner, Ilja Radusch, and Stephan Steglich 403
   MCDN; Multimedia Content Discovery and Delivery / Joachim Sokol, and Klaus-Peter Eckert 411
   WebPeer: A Peer-to-Peer Infrastructure for Publishing/Locating/Replicating Web Pages on Internet Heverson Borba Ribeiro, Lau Cheuk Lung, Altair Olivo Santin, and Neander Larsen Brisola 421
   Next Generation IPTV Services for an Extended IMS Architecture / Oliver Friedrich, A. Al-Hezmi, Stefan Arbanowski, and Thomas Magedanz 429
Session17: Community and Context-Awareness
   Autonomous Community Integration and Division Technology for High Response Service / Kotaro Hama, Yuji Horikoshi, Hiroyuki Endo, Benjamin Kloester, and Xiaodong Lu 437
   A Generic Multipurpose Recommender System for Contextual Recommendations / Christian Rack, Stefan Arbanowski, and Stephan Steglich 445
   An Asynchronous Messaging Platform for Development of Context-aware Services Taro Nakao and Shigetoshi Yokoyama 451
   A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications / John Kinnebrew, Ankit Gupta, Nishanth Shankaran, Gautam Biswas, and Douglas Schmidt 461
Session 18: Algorithm and Control
   A Hybrid GA-BP Model for Bankruptcy Prediction / Ying Sai, Chenjian Zhong, and Lehong Qu 473
   Decomposition of Times Petri Nets for Solving Scheduling Problems with Multiple Entities / Tatsushi Nishi 478
   Developing Autonomic Feedback Control for Heterogeneous Systems Using Cascaded Controllers / Wael Hosny Fouad Aly and Hanan Lutfiyya 484
   Quantitive Performance Modeling and Evaluation for Servo Control Systems Based on F-AHP / Wang Shou-kun, Wang Jun-zheng, and Shen Wei 492
Panel Session: Is Service-Oriented Archtecture Appropriate for Autonomous Decentralized Systems?
The Second International Workshop on Ad Hoc, Sensor and P2P Networks (AHSP2007)
AHSP Session 1: Keynote Speech, Topology Control
   Recent Developments in Wide Area Ubiquitous Network Research / Hiroshi Saito and Koichi Takasugi 503
   S-XTC: A Signal-Strength Based Topology Control Algorithm for Sensor Networks / Matthias Dyer, Jan Beutel, and Lothar Thiele 508
AHSP Session 2: Routing
   Unidirectional Ad Hoc Routing Protocol with Area-Controlled Flooding Using Overhead Neighbor Node Information / Hiroaki Morino, Takumi Miyoshi, and Masakatsu Ogawa 519
   An Autonomous Method for Aggregating and Repairing Paths in Sensor Networks / Shinji Inoue, Noriyuki Masuda, and Yoshiaki Kakuda 526
   Improving the Accuracy of Passive Duplicate Address Detection Algorithms over MANET On-demand Routing Protocols / Dongkyun Kim, Hong-Jong Jeong, Sutaek Oh, and Juan-Carlos Cano 534
AHSP Session 3: Security, Survivability, Performance Evaluation
   Preventing Resource Exhaustion Attacks in Ad Hoc Networks / Masao Tanabe and Mmasaki Aida 543
   Longer Network Lifetime when Using Energy Efficient GSP for Wireless Sensor Networks / Debdhanit Yupho, Maria Calle, and Joseph Kabara 549
   Parallel Downloading Method using HTTP over UDP for High Loss Rate and Delay Networks / Junichi Funasaka, Yusuke Takemoto, and Kenji Ishida 555
   A Self-Organizing Communication Mechanism Using Traveling Wave Phenomena for Wireless Sensor Networks / Yoshiaki Taniguchi, Naoki Wakamiya, and Masayuki Murata 562
Author Index 571
General Chair's Message xi
Program Chair's Message xii
ISADS 2007 Committees xiii
17.

図書
図書
17. CODES+ISSS 2005 : International Conference on Hardware/Software Codesign and System Synthesis ; September 18-21, 2005, Jersey City, New Jersey, USA
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…
18.

図書
図書
18. Social inclusion, societal and organizational implications for information systems : IFIP TC8 WG 8.2 International Working Conference, July 12-15, 2006, Limerick, Ireland
edited by Eileen M. Trauth ... [et al.]
出版情報: New York : Springer, 2006  vii, 417 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 208
所蔵情報: loading…
19.

図書
図書
19. Building the E-service society : E-commerce, E-business, and E-government : IFIP 18th World Computer Congress TC6/TC8/TC11 4th International Conference on E-Commerce, E-Business, E-Government (I3E 2004) 22-27 August 2004, Toulouse, France (: cased)
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…
20.

図書
図書
20. Security and protection in information processing systems : IFIP 18th world computer congress : TC11 19th International Information Security Conference, 22-27 August 2004, Toulouse, France
edited by Yves Deswarte ... [et al]
出版情報: Boston : Kluwer Academic Publishers, 2004  xiv, 548 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 147
所蔵情報: loading…
21.

図書
図書
21. Digital communities in a networked society : e-commerce, e-business and e-government : the Third IFIP Conference on E-Commerce, E-Business, and E-Government (I3E 2003), September 21-24, 2003, São Paulo, Brazil
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…
22.

図書
図書
22. Knowledge intensive design technology : IFIP TC5/WG5.2 Fifth Workshop on Knowledge Intensive CAD, July 23-25, 2002, St. Julians, Malta
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
23.

図書
図書
23. Mobile and wireless communication networks : IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France
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…
24.

図書
図書
24. Optical networks and technologies : IFIP TC6/WG6.10 First Optical Networks & Technologies Conference (OpNeTec), October 18-20, 2004, Pisa, Italy
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…
25.

図書
図書
25. Network control and engineering for QoS, security, and mobility, III : IFIP TC6/WG6.2, 6.6, 6.7, and 6.8 Third International Conference on Network Control and Engineering for QoS, Security, and Mobility, NetCon 2004 on November 2-5, 2004, Palma de Mallorca, Spain
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…
26.

図書
図書
26. Information and communication technology and the teacher of the future : IFIP TC3/WG3.1 & WG3.3 Working Conference on ICT and the Teacher of the Future, January 27-31, 2003, Melbourne, Australia
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
27.

図書
図書
27. NOMS 2004 : 2004 IEEE/IFIP Network Operations and Management Symposium : managing next generation convergence networks and services (: application sessions)
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…
28.

図書
図書
28. CODES+ISSS 2004 : International Conference on Hardware/Software Codesign and System Synthesis ; September 8-10, 2004, Stockholm, Sweden
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…
29.

図書
図書
29. Information and communication technologies and real-life learning : new education for the knowledge society
edited by Tom van Weert, Arthur Tatnall
出版情報: New York : Springer, c2005  xii, 285 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 182
所蔵情報: loading…
30.

コンピュータファイル
コンピュータファイル
30. NOMS 2000 : 2000 IEEE/IFIP Network Operations and Management Symposium : the networked planet, management beyond 2000
IEEE Network Operations and Management Symposium ; IEEE Communications Society ; International Federation for Information Processing
出版情報: Piscataway, NJ : IEEE Operations Center, c2000  1 CD-ROM
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼