close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
edited by Rolf Stadler, Mehmet Ulema
出版情報: Piscataway, NJ : IEEE Operations Center, c2002  xvii, 1026 p. ; 25 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼