close
1.

図書

図書
sponsored by Department of Electrical Systems Engineering, Wright State University ; cosponsored by IEEE Aerospace and Electronic Systems Society [and] Dayton Section, IEEE
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Piscataway, NJ : Additional copies from IEEE Service Center, c1987  xiii, 593 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
edited by Abdelkader El Kamel, Khaled Mellouli, Pierre Borne
出版情報: Piscataway, N.J. : IEEE, c2002  7 v. ; 29 cm
所蔵情報: loading…
3.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering ; with incorporate support by Fujitsu, Lucent Technologies, Rational
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2000  xi, 197 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Conference Chairs
Organizing Committee
Steering Committee
Program Committee
Author Index
Keynote 1
Requirements-Related Risks in Critical Systems / P. Neumann
Process and Modeling
Process Modeling for Object Oriented Analysis Using BORM Object Behavioral Analysis / R. Knott ; V. Merunka ; J. Polak
On the Challenges of Business Modeling in Large-Scale Reengineering Projects / J. Gulla ; T. Brasethvik
A Process Framework for Requirements Analysis and Specification / E. Garcia-Alcazar ; A. Monzon
Specifications
A Framework for Multi-Notation Requirements Specification and Analysis / N. Day ; J. Joyce
A Lightweight Approach to Consistency of Scenarios and Class Models / M. Glinz
Poster Session Highlights
Z Specifications Meet Mathematica for Exploratory Prototyping / L. Sherrell ; W. Paulsen
Patterns and Aspects for Use Cases: Reuse Techniques for Use Case Descriptions / M. Saeki
The Requirement Set / P. Ferdinandi
Panel Session 1
Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? / H. Kaindl
Why is it so Easy to Introduce Requirements Engineering Technology Transfer Panels into Mainstream Practice? / S. Greenspan
Transferring Research Results in Requirements to Practice: Obstacles and Incentives / C. Heitmeyer
Is there a Gap between RE Research and RE Practice? / J. Leite
Obstacles and Incentives in Introducing RE Research Results into RE Practice / N. Mead ; J. Siddiqi
Keynote 2
Requirements Documentation: Why a Formal Basis is Essential / D. Parnas
Evolution
Prioritizing Scenario Evolution / F. Moisiadis
Scenario Evolution: A Closer View on Relationships / K. Breitman
Enhancing Requirements and Change Management through Process Modeling and Measurement / L. Lavazza ; G. Valetto
Requirements Analysis and Management
Scalable Mechanisms for Requirements Interaction Management / M. Feather ; S. Cornford ; M. Gibbel
Essential and Incidental Complexity in Requirements Models / L. Nguyen ; P. Swatman
Lightweight Validation of Natural Language Requirements: A Case Study / V. Gervasi ; B. Nuseibeh
Panel Session 2
What Do You Mean I've Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals / A. Anton ; J. Atlee
What Do You Mean I'm Practicing without a License? Certification and Licensing of Requirements Engineering Professionals
Certitude and Rectitude
Two Positions on Licensing
Reuse
Mapping Requirements to Reusable Components Using Design Spaces / L. Baum ; M. Becker ; L. Geyer ; G. Molter
Establishing Reuse Measurement Practices in SAP Requirements Engineering / M. Daneva
An Assessment of the Relative Efficiency of a Facilitator-Driven Requirements Collection Process with Respect to the Conventional Interview Method / R. Hubbard ; C. Schroeder
Best Papers
A Reference Model for Requirements and Specifications--Extended Abstract / C. Gunter ; E. Gunter ; M. Jackson ; P. Zave
Requirements Validation of a Voice Communication System Used in Air Traffic Control / J. Horl ; B. Aichernig
The Effects of Communication Media on Group Performance in Requirements Engineering / D. Damian ; A. Eberlein ; M. Shaw ; B. Gaines
Keynote 3
Requirements Engineering: What Have We Accomplished? Where Are We Now? Where Are We Going? / D. Gause
Message from the Conference Chairs
Organizing Committee
Steering Committee
4.

図書

図書
organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl
出版情報: Dordrecht ; Tokyo : D. Reidel Pub. Co , Hingham, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986  xviii, 926 p. ; 25 cm
所蔵情報: loading…
5.

図書

図書
sponsored by the Petroleum Division, ASME ; edited by A. B. Sabir ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1996  9 v. ; 28 cm
シリーズ名: PD ; vol. 73-81
所蔵情報: loading…
6.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems, the University of Arizona ; edited by Jerzy Rozenblit, Tony Ewing, Stephan Schulz
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xv, 508 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
edited by J.F. LaFay
出版情報: Oxford, Eng. ; New York : Published for the International Federation of Automatic Control by Pergamon, 1998  2 v. (xii, 794 p.) ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Chapter headings and selected papers
Plenary / Volume I:
Time-Delay Systems / Paper I:
Block decoupling with coefficient assignment and stability for linear systems over Noetherian rings / G. Conte et al
Stabilization of Nonlinear Systems / Paper II:
H-Infinity and Robust Synthesis
A more practical formulation for robustness analysis / G. Scorletti
Structure and Control of Linear Systems
On Structural Features of Linear Systems
Interactor extraction for strictly proper transfer matrices / K. Sugimoto
Robustness. Non Integer Differentiation in Modeling Identification and Control I. Diffusive realisations of fractional integrodifferential operators: structural analysis under approximation / D. Heleschewitz ; D. Matignon
Linear Systems I
Nonlinear Systems I
Non Integer Differentiation in Modeling Identification and Control II / Paper III:
Linear Systems II
Nonlinear Systems II
Robust Control and Numerical Methods / Paper IV:
Time-Varying Systems / Volume 2:
Sufficient conditions for robust stability of discrete-time systems subject to time-varying parameters / F. Amato et al
Control of Discrete Event Dynamic Systems
60th Anniversary of the PID Control
Periodic Systems
Periodic balanced realizations / E.I. Verriest ; U. Helmke
Robots / Manipulators and Vehicles
Vibration control of flexible robots - theoretical and experimental results / W. Bernzen
Applications I
Time-Delay Systems I
Max-Plus Linear Systems I
Applications II / Paper V:
Time-Delay Systems II
Max-Plus Algebra / Theory and Applications
Structure Based Algorithms for the Analysis and Synthesis of Linear Control Systems / Paper VI:
Structure and Control of Nonlinear Systems
Control of Chemical and Biological Reactors
From open-loop trajectories to stabilizing state feedback - application to a CSTR / N. Marchand ; M. Alamir
Author index
Chapter headings and selected papers
Plenary / Volume I:
Time-Delay Systems / Paper I:
8.

図書

図書
sponsored by IEEE Systems, Man, and Cybernetics Society(SMC) ... [et al.]
出版情報: Piscataway, N.J. : IEEE, c1999  6 v. ; 30 cm
所蔵情報: loading…
9.

図書

図書
Benkt Wangler, Lars Bergman (eds.)
出版情報: Berlin : Springer, c2000  xii, 524 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1789
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
BIO/COM*: Mixing Water with Fire / Dennis Tsichritzis
Panel
Web-Based Information Systems and Services / Hermann Kaindl ; John Mylopoulos
Adaptive and Dynamic Service Composition in eFlow / Fabio Casati ; Ski Ilnicki ; LiJie Jin ; Vasudev Krishnamoorthy ; Ming-Chien Shan
Towards Extensible Information Brokers Based on XML / Jianguo Lu ; Jamie Ho
Advertising Database Capabilities for Information Sharing / Suzanne M. Embury ; Jianhua Shao ; W. Alex Gray ; Nigel Fishlock
A Personal Assistant for Web Database Caching / Beat Signer ; Antonia Erni ; Moira C. Norrie
Extending a Conceptual Modelling Approach to Web Application Design / Jaime Gómez ; Cristina Cachero ; Oscar Pastor
Efficient Distributed Workflow Management Based on Variable Server Assignments / Thomas Bauer ; Peter Dadam
Workflow Models and Systems
A Logical Framework for Exception Handling in ADOME Workflow Management System / Dickson Chiu ; Qing Li ; Kamalakar Karlapalem
Controlled Flexibility in Workflow Management / Justus Klingemann
A Formal Model for Business Process Modeling and Design / Manolis Koubarakis ; Dimitris Plexousakis
Patterns and Components
Conceptual Patterns for Reuse in Information Systems Analysis / Petia Wohed
Evaluating a Pattern Approach as an Aid for the Development of Organisational Knowledge: An Empirical Study / Colette Rolland ; Janis Stirna ; Nikos Prekas ; Peri Loucopoulos ; Anne Persson ; Georges Grosz
Specifying Processes with Dynamic Life Cycles / Rick van Rein
Enterprise Application Integration
Design Principles for Application Integration / Paul Johannesson ; Erik Perjons
CHAOS: An Active Security Mediation System / David Liu ; Kincho Law ; Gio Wiederhold
Modeling and Composing Service-Based and Reference Process-Based Multi-enterprise Processes / Hans Schuster ; Dimitrios Georgakopoulos ; Andrzej Cichocki ; Donald Baker
The Information Systems Development Process
Gossip: An Awareness Engine for Increasing Product Awareness in Distributed Development Projects / BabakA. Farshchian
How Culture Might Impact on the Implementation of Enterprise Resource Planning Packages / Marina Krumbholz ; Neil Arthur McDougall Maiden
Capture and Dissemination of Experience about the Construction of Engineering Processes / Christian Rupprecht ; Martin Fünffinger ; Holger Knublauch ; Thomas Rose
Reuse in Information Systems Engineering
Practical Reuse Measurement in ERP Requirements Engineering / Maya Daneva
Building Extensible Workflow Systems Using an Event-Based Infrastructure / Dimitrios Tombros ; Andreas Geppert
Defining Components in a MetaCASE Environment / Zheying Zhang
Information Systems Reengineering
Tracing All Around / Gerald Ebner
A Framework for the Evolution of Temporal Conceptual Schemas of Information Systems / Juan-Ramón López ; Antoni Olivé
Distance Measures for Information System Reengineering / Geert Poels ; Stijn Viaene ; Guido Dedene
Modeling Languages
StateLator - Behavioral Code Generation as an Instance of a Model Transformation / Thomas Behrens ; Simon Richards
An Overview of RoZ: A Tool for Integrating UML and Z Specifications / Sophie Dupuy ; Yves Ledru ; Monique Chabre-Peccoud
On Structured Workflow Modelling / Bartek Kiepuszewski ; Arthur Harry Maria ter Hofstede ; Christoph J. Bussler
Databases and Data Warehousing
A Model for Data Warehouse Operational Processes / Panos Vassiliadis ; Christoph Quix ; Yannis Vassiliou ; Matthias Jarke
Temporally Faithful Execution of Business Transactions / Werner Obermair ; Michael Schrefl
Modelling and Optimisation Issues for Multidimensional Databases / Spiros Skiadopoulos
Investigations into Industrial Processes
Managing the Software Process in the Middle of Rapid Growth: A Metrics Based Experiment Report from Nokia / Tapani Kilpi
The Impacts of Electronic Commerce in the Automobile Industry: An Empirical Study in Western Australia / Peter Marshall ; Roger Sor ; Judy McKay
Author Index
Keynote Speech
BIO/COM*: Mixing Water with Fire / Dennis Tsichritzis
Panel
10.

図書

図書
sponsored by the Dynamic Systems and Control Division, ASME ; edited by Rahmat A. Shoureshi, Milton E. Franke
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c1996  v, 99 p. ; 28 cm
シリーズ名: DSC ; vol. 60
所蔵情報: loading…
11.

図書

図書
edited by V. Ionescu and D. Popescu
出版情報: Oxford, UK : Published for the International Federation of Automatic Control by Pergamon Press, 1998  ix, 506 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Chapter headings: Plenary Papers
Linear Systems - Structures and Control (Invited Papers)
Nonlinear and Variable Structure Systems
System Identification
Robust Control
Discrete Event Systems and Robotics / I:
Predictive Control
Applications I. Algebraic Control Theory / II:
LMIs and Applications (Invited Papers)
Fuzzy Control
Computer Aided Design
Time Delay Systems
PID Control
Biochemical Process Control
Control of Electric Machines (Invited Papers)
Stability of Infinite Dimensional Systems
Applications II
Chapter headings: Plenary Papers
Linear Systems - Structures and Control (Invited Papers)
Nonlinear and Variable Structure Systems
12.

図書

図書
IEEE Systems, Man and Cybernetics Society
出版情報: Piscataway : IEEE Service Center, c1997  5 v. ; 28 cm
所蔵情報: loading…
13.

図書

図書
edited by M. Guglielmi
出版情報: Oxford, UK ; Tarrytown, N.Y., USA : Published for the International Federation of Automatic Control by Pergamon Press, 1996  xi, 604 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Selected chapter headings: Various Engineering Aspects of Implicit Differential Equations
Structured Systems
Nonlinear Systems I
Time-Delay Systems I
Singular Systems
Control of Robots and Manipulators
Robust Control
Multidimensional Systems
Structural Properties of Linear Systems
Selected chapter headings: Various Engineering Aspects of Implicit Differential Equations
Structured Systems
Nonlinear Systems I
14.

図書

図書
Barbara Pernici, Costantino Thanos (eds.)
出版情報: Berlin : Springer-Verlag, c1998  x, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1413
所蔵情報: loading…
15.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998  xiii, 249 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
Manfred Broy, Bernhard Rumpe (eds.)
出版情報: Berlin : Springer, c1998  viii, 355 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1526
所蔵情報: loading…
17.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  ix, 179 p. ; 28 cm
所蔵情報: loading…
18.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  viii, 151 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
International Conference on Systems, Man, and Cybernetics ; IEEE Systems, Man, and Cybernetics Society
出版情報: Piscataway : IEEE Service Center, c1998  5 v. (4945 p.) ; 28 cm
所蔵情報: loading…
20.

図書

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

図書

図書
edited by P. D. Roberts and J. E. Ellis
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon, 1995  2 v.(xvii, 943p) ; 29cm
所蔵情報: loading…
目次情報: 続きを見る
Selected headings:Plenary Sessions
Modelling and Model Reduction
Transportation Systems
Decision Support Systems
Chemical and Steel Processes
Power Systems Modelling
Robotics
Robotic Systems
Supervision and Diagnosis
Discrete Event Systems
Selected headings:Plenary Sessions
Modelling and Model Reduction
Transportation Systems
22.

図書

図書
edited by Hesham El-Rewini . edited by Yale N. Patt
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xvii, 766 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 1
所蔵情報: loading…
23.

図書

図書
edited by Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xiii, 720 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 5
所蔵情報: loading…
24.

図書

図書
edited by Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  ix, 275 p. ; 28 cm
シリーズ名: Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences / sponsored by the University of Hawaii College of Business administration ; v. 6
所蔵情報: loading…
25.

図書

図書
Antoni Olivé, Joan Antoni Pastor (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997  xi, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1250
所蔵情報: loading…
26.

図書

図書
edited by Luis M. Camarinha-Matos and Hamideh Afsarmanesh
出版情報: London ; Tokyo : Chapman & Hall, 1996  xiv, 544 p. ; 25 cm
所蔵情報: loading…
27.

図書

図書
IEEE Systems, Man and Cybernetics Society
出版情報: Piscataway : IEEE Service Center, c1996  4 v. ; 28 cm
所蔵情報: loading…
28.

図書

図書
IEEE Systems, Man and Cybernetics Society
出版情報: New York, NY : Institute of Electrical and Electronics Engineers, c1994  3 v. ; 28 cm
所蔵情報: loading…
29.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Software Engineering
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xii, 246 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
Toshiro Shimada, conference chair ; Khalid Saeed, program chair ; The System Dynamics Society, Massachusetts Institute of Technology, The Japanese Chapter of System Dynamics Society, Nippon Seimei Building and Gakushuin University, Toukei Kenkyu Kai
出版情報: Cambridge, Mass. : The System Dynamics Society, c1995  2 v. ; 30 cm
所蔵情報: loading…
31.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Software Engineering
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xvi, 257 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
edited by G. Johannsen
出版情報: [Oxford] : Published for the International Federation of Automatic Control by Pergamon, 1995  x, 440 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Chapter headings:Plenary Paper
Large-Scale Systems / Discussion Session I:
Computer Aided Systems Analysis and Design
Case Study: Applied Multidisciplinary Dynamics Design Experimenting
Design Methodologies
Systems Engineering Approaches
Intelligent Systems
Safety
Decision Support Systems
Natural Systems and Stability
Modelling Dynamic Systems
Man-Machine Systems
Re-Defining the Roles of Human Operators
Manufacturing Systems
Robotics
Planning
Transportation
Automation in Commercial Aviation
Industrial Systems Engineering / Discussion Session II:
Closing Discussion Session
Chapter headings:Plenary Paper
Large-Scale Systems / Discussion Session I:
Computer Aided Systems Analysis and Design
33.

図書

図書
IEEE Systems, Man and Cybernetics Society
出版情報: Piscataway : IEEE Service Center, c1995  5 v. ; 28 cm
所蔵情報: loading…
34.

図書

図書
sponsored by IEEE Computer Society ... [et al.] ; edited by Don Thomas and Rolf Ernst
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  ix, 141 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems in cooperation with Deutsche Forschungsgemeinschaft, DFG ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xi, 465 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
David F. Andersen, conference chair ; George P. Richardson, John D. Sterman, program chairs ; the System Dynamics Society, Massachusetts Institute of Technology and Nelson A. Rockfeller Institute of Government, State University of New York, conference sponsors
出版情報: Cambridge, Mass. : The Society , Albany, N.Y. : The Institute, 1990  3 v.
所蔵情報: loading…
目次情報:
v. 1. Abbas-Henderson
v. 2. Horner-Sedehl
v. 3. Senge-Zhang
v. 1. Abbas-Henderson
v. 2. Horner-Sedehl
v. 3. Senge-Zhang
37.

図書

図書
K. Saeed, conference chair ; D. F. Andersen, J. Machuca, program co-chairs ; the System Dynamics Society, Massachusetts Institute of Technology and Asian Institute of Technology
出版情報: Cambridge, Mass. : The System Dynamics Society, 1991  x, 782 p. ; 29 cm
所蔵情報: loading…
38.

図書

図書
K. Saeed, conference chair ; D. F. Andersen, J. Machuca, program co-chairs ; the System Dynamics Society, Massachusetts Institute of Technology and Asian Institute of Technology
出版情報: Cambridge, Mass. : The System Dynamics Society, 1991  90 p. ; 29 cm
所蔵情報: loading…
39.

図書

図書
sponsored by Department of Electrical Engineering, Wright State University and IEEE Aerospace and Electronic Systems Society ; in cooperation with Dayton Section, IEEE
出版情報: New York : Institute of Electrical Electronics Engineers, c1991  xvi, 460 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
sponsored by Department of Electrical Engineering, Wright State University, IEEE Aerospace and Electronic Systems Society and Pascal Research Institute, Kobe, Japan ; in cooperation with Tokyo Chapter, AES Society, (IEEE)
出版情報: Piscataway : May be obtained from: IEEE Service Center, c1992  xxii, 643 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
IEEE Systems, Man and Cybernetics Society
出版情報: New York, NY : Institute of Electrical and Electronics Engineers, c1992  2 v. ; 28 cm
所蔵情報: loading…
42.

図書

図書
International Conference on Systems, Man, and Cybernetics ; Institute of Electrical and Electronics Engineers
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Piscataway, NJ : IEEE Service Center, c1990  929 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
sponsored by Department of Electrical Engineering, Wright State University and IEEE Aerospace and Electronic Systems Society ; in cooperation with Department of Electrical and Computer Engineering, Carnegie Mellon University
出版情報: New York : Institute of Electrical Electronics Engineers, c1990  xviii, 640 p. ; 28 cm
所蔵情報: loading…
44.

図書

図書
International Conference on Systems, Man, and Cybernetics ; Institute of Electrical and Electronics Engineers
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Piscataway, NJ : IEEE Service Center, c1991  3 v. ; 28 cm
所蔵情報: loading…
45.

図書

図書
edited by Veljko Milutinovic . edited by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 831 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
46.

図書

図書
edited by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 877 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
47.

図書

図書
edited by Jay F. Nunamaker, Jr
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xii, 670 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 3 . Information systems
所蔵情報: loading…
48.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiii, 729 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fifth Hawaii International Conference on System Sciences ; v. 4 . Information systems
所蔵情報: loading…
49.

図書

図書
edited by Veljko Milutinovic, Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xv, 717 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
50.

図書

図書
eidted by Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiii, 605 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
51.

図書

図書
edited by Jay F. Nunamaker, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xiv, 827 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 3
所蔵情報: loading…
52.

図書

図書
edited by Jay F. Nunamaker, Jr., Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1991  xi, 574 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-fourth Annual Hawaii International Conference on System Sciences ; v. 4
所蔵情報: loading…
53.

図書

図書
edited by R.L. Flood, M.C. Jackson, and P. Keys
出版情報: New York : Plenum Press, c1989  xii, 378 p. ; 26 cm
所蔵情報: loading…
54.

図書

図書
edited by K. Reinisch and M. Thoma
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon, 1990  xvii, 557 p. ; 30 cm
シリーズ名: IFAC symposia series ; 1990, no. 9
所蔵情報: loading…
目次情報: 続きを見る
Section headings and selected papers
Preface
Plenary Papers
The relevance of epistemology in the computer age / T Vamos
Modelling, Analysis, Basic Controls
Modelling and Model Reduction
Order reduction of linear large scale systems / K Y Lee
Analysis, Stability, Robustness
Robust stability of uncertain large scale delay-differential systems / Xu Daoyi
Decentralized Control and Estimation
Decentralized design of robust control for singularly perturbed systems / L Bakule
Superordinate Controls and Decisions
Hierarchical Control
Optimal adaptive mechanisms of the organizational systems functioning / V V Tsyganov
Decision-Making, Multi-Criteria Problems
Multi-criteria decision-making problems with bi-livel multiagent / Tang Dahong & Chen Ting
Decision-Support/Expert Systems
Intelligent modelling environment: an approach to decision support systems design / Z Strezova
Demands on Computers
Applications
Manufacturing Systems
Multi-level scheduling in a general job-shop cell / E Toczylowski
Energy Systems
Hierarchical resource allocation in planning the regional energy supply / Th Lux & B Wutke
Traffic Systems
Computer organization and design for urban public security traffic accident analysis systems / M N Cai & J J Shen
Water Systems
An approach for arbitrating a dispute about large reservoirs / Chen Ting
Agricultural Systems
Optimal control of greenhouse climate for tomato production / E Arnold & H Puta
Environmental Systems
Fuzzy modelling and simulation for an environmental system / Y Nakamori & Y Sawaragi
Section headings and selected papers
Preface
Plenary Papers
55.

図書

図書
organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 13-16 April, 1982 ; edited by Robert Trappl ; editorial board, N. Bailey ... [et al.]
出版情報: Amsterdam ; New York : North Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982  xviii, 986 p. ; 28 cm
所蔵情報: loading…
56.

図書

図書
sponsored by Department of Electrical Engineering, Wright State University and IEEE Aerospace and Electronic Systems Society ; in cooperation with Dayton Section, IEEE
出版情報: New York : Institute of Electrical Electronics Engineers, c1989  xvii, 617 p. ; 28 cm
所蔵情報: loading…
57.

図書

図書
edited by Jiang Xinsong
出版情報: Beijing : International Academic Publishers (A Pergamon-CNPIEC Joint Venture), 1988  2 v. (xxxi, 1411 p.) ; 29 cm
所蔵情報: loading…
58.

図書

図書
International Conference on Systems, Man, and Cybernetics ; Institute of Electrical and Electronics Engineers
出版情報: New York, NY : Institute of Electrical and Electronics Engineers , Piscataway, NJ : Copies may be obtained from IEEE Service Center, c1987  3 v. (1164 p.) ; 28 cm
所蔵情報: loading…
59.

図書

図書
International Conference on Systems, Man, and Cybernetics ; Institute of Electrical and Electronics Engineers
出版情報: [New York, NY : Institute of Electrical and Electronics Engineers] , Piscataway, NJ : Copies may be obtained from IEEE Service Center, [1986]  2 v. (1630 p.) ; 28 cm
所蔵情報: loading…
60.

図書

図書
edited by Lee W. Hoevel and Veljko Milutinovic
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Tokyo : Order from, Computer Society of the IEEE, c1989  viii, 492 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
61.

図書

図書
edited by Bruce D. Shriver
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Tokyo : Order from, Computer Society of the IEEE, c1989  xvii, 1106 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
62.

図書

図書
edited by Robert Blanning and David King
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Tokyo : Order from, Computer Society of the IEEE, c1989  xiv, 889 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences ; v. 3
所蔵情報: loading…
63.

図書

図書
European Meeting on Cybernetics and Systems Research, Vienna, 1972 ; Österreichische Studiengesellschaft für Kybernetik
出版情報: London : Transcripta Service and Transcripta Books, 1973  2 v. ; 30 cm
所蔵情報: loading…
64.

図書

図書
hosted by Ecole Centrale de Lille ; with the support of Région Nord Pas de Calais
出版情報: Piscataway : IEEE Service Center, c1993  5 v. ; 28 cm
所蔵情報: loading…
65.

図書

図書
edited by Hinrich E.G. Bonin
出版情報: Amsterdam ; New York : North-Holland, 1993  ix, 163 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 36
所蔵情報: loading…
66.

図書

図書
edited by B. Liu, T. Chen, and Y.P. Zheng
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1993  xiii, 413 p. ; 31 cm
シリーズ名: IFAC symposia series ; 1993, no. 10
所蔵情報: loading…
67.

図書

図書
edited by Trevor N. Mudge, Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xi, 621 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 1
所蔵情報: loading…
68.

図書

図書
edited by Hesham El-Rewini and Bruce D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xv, 681 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 2
所蔵情報: loading…
69.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xvi, 692 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 3
所蔵情報: loading…
70.

図書

図書
edited by Jay F. Nunamaker, Jr., Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xix, 971 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 4
所蔵情報: loading…
71.

図書

図書
edited by Lawrence Hunter
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  xi, 423 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-seventh Hawaii International Conference on System Sciences / sponsored by the University of Hawaii, the University of Hawaii College of Business Administration ; in cooperation with the IEEE Computer Society, Association for Computing Machinery ; v. 5
所蔵情報: loading…
72.

図書

図書
sponsored by the Advanced Energy Systems Division, ASME ; edited by William J. Wepfer, Michael J. Moran
出版情報: New York, N.Y. : The Society, c1988  vii, 64 p. ; 28 cm
シリーズ名: AES ; vol. 7
所蔵情報: loading…
73.

図書

図書
edited by A. Faghri, M.A. Yaghoubi
出版情報: New York : American Society of Mechanical Engineers, c1994  vi, 203 p. ; 28 cm
シリーズ名: PD ; vol. 64 . Proceedings of the 1994 Engineering Systems Design and Analysis Conference : presented at the Second European Joint Conference on Engineering Systems Design and Analysis, London, England, July 4-7, 1994 / sponsored by the Petroleum Division, ASME ; v. 1
所蔵情報: loading…
74.

図書

図書
edited by F. Veniali ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1994  vi, 285 p. ; 28 cm
シリーズ名: PD ; vol. 64 . Proceedings of the 1994 Engineering Systems Design and Analysis Conference : presented at the Second European Joint Conference on Engineering Systems Design and Analysis, London, England, July 4-7, 1994 / sponsored by the Petroleum Division, ASME ; v. 2
所蔵情報: loading…
75.

図書

図書
edited by G. Tsatsaronis
出版情報: New York : American Society of Mechanical Engineers, c1994  v, 123 p. ; 28 cm
シリーズ名: PD ; vol. 64 . Proceedings of the 1994 Engineering Systems Design and Analysis Conference : presented at the Second European Joint Conference on Engineering Systems Design and Analysis, London, England, July 4-7, 1994 / sponsored by the Petroleum Division, ASME ; v. 3
所蔵情報: loading…
76.

図書

図書
edited by A.E. Engin, A. Ertas
出版情報: New York : American Society of Mechanical Engineers, c1994  vi, 219 p. ; 28 cm
シリーズ名: PD ; vol. 64 . Proceedings of the 1994 Engineering Systems Design and Analysis Conference : presented at the Second European Joint Conference on Engineering Systems Design and Analysis, London, England, July 4-7, 1994 / sponsored by the Petroleum Division, ASME ; v. 4
所蔵情報: loading…
77.

図書

図書
edited by M.M. Tanik ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1994  viii, 588 p. ; 28 cm
シリーズ名: PD ; vol. 64 . Proceedings of the 1994 Engineering Systems Design and Analysis Conference : presented at the Second European Joint Conference on Engineering Systems Design and Analysis, London, England, July 4-7, 1994 / sponsored by the Petroleum Division, ASME ; v. 5
所蔵情報: loading…
78.

図書

図書
edited by I.I. Esat ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1994  vi, 199 p. ; 28 cm
シリーズ名: PD ; vol. 64 . Proceedings of the 1994 Engineering Systems Design and Analysis Conference : presented at the Second European Joint Conference on Engineering Systems Design and Analysis, London, England, July 4-7, 1994 / sponsored by the Petroleum Division, ASME ; v. 6
所蔵情報: loading…
79.

図書

図書
edited by B. Ovunc ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1994  vii, 367 p. ; 28 cm
シリーズ名: PD ; vol. 64 . Proceedings of the 1994 Engineering Systems Design and Analysis Conference : presented at the Second European Joint Conference on Engineering Systems Design and Analysis, London, England, July 4-7, 1994 / sponsored by the Petroleum Division, ASME ; v. 7
所蔵情報: loading…
80.

図書

図書
edited by M.R. Eslami ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1994  3 vols. (887 p.) ; 28 cm
シリーズ名: PD ; vol. 64 . Proceedings of the 1994 Engineering Systems Design and Analysis Conference : presented at the Second European Joint Conference on Engineering Systems Design and Analysis, London, England, July 4-7, 1994 / sponsored by the Petroleum Division, ASME ; v. 8
所蔵情報: loading…
81.

図書

図書
edited by T. N. Mudge, V. Milutinovic . edited by L. Hunter
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  xvi, 895 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences ; v. 1
所蔵情報: loading…
82.

図書

図書
edited by H. El-Rewini, T. Lewis, B. D. Shriver
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  xiv, 691 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences ; v. 2
所蔵情報: loading…
83.

図書

図書
edited by J. F. Nunamaker, Jr., R. H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  xii, 654 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences ; v. 3
所蔵情報: loading…
84.

図書

図書
edited by J. F. Nunamaker, Jr., R. H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1993  xv, 889 p. ; 28 cm
シリーズ名: Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences ; v. 4
所蔵情報: loading…
85.

図書

図書
edited by Peter A. Ng ... [et al.] ; sponsored by IEEE Computer Society ... [et al.] in cooperation with ACM SIGSoft
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  xx, 746 p. ; 29 cm
所蔵情報: loading…
86.

図書

図書
sponsored by Swedish Defence Materiel Administration in cooperation with IEEE Computer Society, IEEE Task Force on Computer-Based Systems Engineering ; edited by Harold W. Larson
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  ix, 194 p. ; 28 cm
所蔵情報: loading…
87.

図書

図書
edited by A. Ertas ... [et a.]
出版情報: New York : American Society of Mechanical Engineers, c1992  vii, 466 p. ; 28 cm
シリーズ名: PD ; vol. 47 . Proceedings of the 1992 Engineering Systems Design and Analysis Conference : presented at the First European Joint Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, June 29-July 3, 1992 / sponsored by the Petroleum Division, ASME ; v. 1
所蔵情報: loading…
88.

図書

図書
edited by A.E. Engin, A. Ertas, U. Karakas
出版情報: New York : American Society of Mechanical Engineers, c1992  vi, 199 p. ; 28 cm
シリーズ名: PD ; vol. 47 . Proceedings of the 1992 Engineering Systems Design and Analysis Conference : presented at the First European Joint Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, June 29-July 3, 1992 / sponsored by the Petroleum Division, ASME ; v. 2
所蔵情報: loading…
89.

図書

図書
edited by A. Faghri, T. Derbentli
出版情報: New York : American Society of Mechanical Engineers, c1992  vi, 179 p. ; 28 cm
シリーズ名: PD ; vol. 47 . Proceedings of the 1992 Engineering Systems Design and Analysis Conference : presented at the First European Joint Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, June 29-July 3, 1992 / sponsored by the Petroleum Division, ASME ; v. 3
所蔵情報: loading…
90.

図書

図書
edited by M.M. Tanik ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1992  vi, 291 p. ; 28 cm
シリーズ名: PD ; vol. 47 . Proceedings of the 1992 Engineering Systems Design and Analysis Conference : presented at the First European Joint Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, June 29-July 3, 1992 / sponsored by the Petroleum Division, ASME ; v. 4
所蔵情報: loading…
91.

図書

図書
edited by A. Ertas, B. Ovunc, I. Konuk
出版情報: New York : American Society of Mechanical Engineers, c1992  vi, 215 p. ; 28 cm
シリーズ名: PD ; vol. 47 . Proceedings of the 1992 Engineering Systems Design and Analysis Conference : presented at the First European Joint Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, June 29-July 3, 1992 / sponsored by the Petroleum Division, ASME ; v. 5
所蔵情報: loading…
92.

図書

図書
edited by F. Veniali ... [et al.]
出版情報: New York : American Society of Mechanical Engineers, c1992  v, 165 p. ; 28 cm
シリーズ名: PD ; vol. 47 . Proceedings of the 1992 Engineering Systems Design and Analysis Conference : presented at the First European Joint Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, June 29-July 3, 1992 / sponsored by the Petroleum Division, ASME ; v. 6
所蔵情報: loading…
93.

図書

図書
sponsored by : ACM SIGDA ... [et al.] : with support from: Synopsys
出版情報: New York : ACM, c2002  viii, 217 p. ; 28 cm
所蔵情報: loading…
94.

図書

図書
Christoph Bussler ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 275 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2512
所蔵情報: loading…
目次情報: 続きを見る
Keynote Presentation
Ten-Step Survival Guide for the Emerging Business Web / Aad van Moorsel
Web Service Track
Process Aggregation Using Web Services / Mark Hansen ; Stuart Madnick ; Michael Siegel
The Use of Patterns in Service Composition / Moe Thandar Tut ; David Edmond
Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment / Dickson K.W. Chiu ; Shing-Chi Cheung ; Kamalakar Karlapalem ; Qing Li ; Sven Till
WSOL - Web Service Offerings Language / Vladimir Tosic ; Kruti Patel ; Bernard Pagurek
e-Business Track
On t-, µ-, π-, and ε-Contracting / Paul Grefen ; Samuil Angelov
A Three-Layer Framework for Cross-Organizational e-Contract Enactment
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology / H.M.W. Verbeek ; A. Hirnschall ; W.M.P. van der Aalst
Towards User Centric e-Learning Systems / Witold Abramowicz ; Marek Kowalkiewicz ; Piotr Zawadzki
Data Quality in e-Business Applications / Monica Scannapieco ; Valeria Mirabella ; Massimo Mecella ; Carlo Batini
Personalised Organisation of Dynamic e-Catalogs / Hye-young Paik ; Boualem Benatallah
The World of e-Business: Web-Services, Workflows, and Business Transactions / Michael P. Papazoglou
DAML+OIL: A Reason-Able Web Ontology Language / Ian Horrocks
e-Services and the Semantic Web
A Service Infrastructure for e-Science: The Case of the ARION System / Catherine Houstis ; Spyros Lalis ; Vassilis Christophides ; Dimitris Plexousakis ; Manolis Vavalis ; Marios Pitikakis ; Kyriakos Kritikos ; Antonis Smardas ; Charalampos Gikas
Formal Verification of e-Services and Workflows / Xiang Fu ; Tevfik Bultan ; Jianwen Su
Processing Schedules Using Distributed Ontologies on the Semantic Web / Terry R. Payne ; Rahul Singh ; Katia Sycara
Value-Added Web Services Composition Using Automatic Program Synthesis / Mihhail Matskin ; Jinghai Rao
Importing the Semantic Web in UDDI / Massimo Paolucci ; Takahiro Kawamura
On Requirements for Ontologies in Management of Web Services / Babak Esfandiari
Me-Services: A Framework for Secure & Personalized Discovery, Composition and Management of Services in Pervasive Environments / Anupam Joshi ; Timothy Finin ; Yelena Yesha
Discovering Services: Towards High-Precision Service Retrieval / Abraham Bernstein ; Mark Klein
Author Index
Keynote Presentation
Ten-Step Survival Guide for the Emerging Business Web / Aad van Moorsel
Web Service Track
95.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  x, 277 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committees
Session: Requirements Engineering
On Some Key Requirements of Mobile Application Software / V. De Florio ; G. Deconinck
Towards Recyclable System Requirements / I. Alexander ; F. Kiedaisch
Requirements Engineering for Time-to-Market Projects / C. McPhee ; A. Eberlein
Session: Processes and Tools
VSPEC and Its Integrated Tool Suite / M. Rangarajan ; K. Jambhekar ; A. Rajkhowa ; P. Alexander
Who Does What in a Multiagent System for Emergent Process Management / J. Debenham
Understanding Software Processes through System Dynamics Simulation: A Case Study / C. Andersson ; L. Karlsson ; J. Nedstam ; M. Host ; B. Nilsson
Session: System Properties, Methods
REL: A Fault Tolerance Linguistic Structure for Distributed Applications
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering / M. Popovic ; V. Kovacevic ; I. Velikic
FRAME for Achieving Performance Portability within Heterogeneous Environments / R.-S. Ko ; M. Mutka
Session: System Properties, Method Application
Improving Multiprocessor Performance of a Large Telecommunication System by Replacing Interpretation with Compilation / V. Mejstad ; K.-J. Tangby ; L. Lundberg
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems / S. Donatelli ; G. Dondossola
An Intelligent Agent Security Intrusion System / J. Pikoulas ; W. Buchanan ; M. Mannion ; K. Triantafyllopoulos
Session: Modelling and Analysis
Managing Complex Temporal Requirements in Real-Time Control Systems / K. Sandstrom ; C. Norstrom
On the Relation between Design Contracts and Errors: A Software Development Strategy / E. Nordby ; M. Blom ; A. Brunstrom
An Experimental Evaluation of Programming by Contract
Session: System Architecture
What Is Included in Software Architecture? A Case Study in Three Software Organizations / K. Smolander ; K. Hoikka ; J. Isokallio ; M. Kataiokko ; T. Makela
Architecture-Based Visualisation of Computer Based Systems / M. Denfor ; T. O'Neill ; J. Leaney
Top-Down Composition of Software Architectures / H. de Bruin ; H. van Vliet
Session: Model-Based System Development
Refinement of Model Specifications in Embedded Systems Design / S. Schulz ; J. Rozenblit
Improving Quality Attributes of a Complex System through Architectural Analysis - A Case Study / R. Land
Session: Component-Based Design and Reuse
A Systematic Method of Reusing Objects Extracted from Legacy Systems / J. Guo
Using Category Theory to Model Software Component Dependencies
Session: Embedded Systems, Development and Training
An Integrated Framework for Sensor-Based Embedded Systems / M. Sveda ; R. Vrba
Optimization of a Retargetable Functional Simulator for Embedded Processors / F. Papariello ; G. Luculli
Bridging the Educational Gap in Embedded Systems Curricula: Developing an E-commerce Audio Streaming System / M. Leeman ; F. Barat
Workshop Reports
Workshop on Component-Based Software Engineering: Composing Systems from Components / I. Crnkovic ; S. Larsson ; J. Stafford
Formal Specifications of Computer-Based Systems / C. Rattray
Conference Session and Workshop on Performance, Interoperability, and Applications of Mobile Agent Systems / V. Roth ; P. Braun ; W. Rossak
Workshop Session: Mobile Agents
An Extensible Software Architecture for Mobile Components / D. Johansen ; K. Lauvset ; K. Marzullo
Mobile Agent Interoperability Patterns and Practice / U. Pinsdorf
Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows / S. Ling ; S. Loke
Factoring Mobile Agents
A Comparative Evaluation of Mobile Agent Performance for Network Management / L. Tang ; B. Pagurek
InterMarket - Towards Intelligent Mobile Agent e-Marketplaces / R. Kowalczyk ; B. Franczyk ; A. Speck ; J. Eismann
Author Index
Preface
Committees
Session: Requirements Engineering
96.

図書

図書
Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie (eds.)
出版情報: Berlin : Springer, c2001  xii, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2068
所蔵情報: loading…
97.

図書

図書
sponsored by : ACM SIGDA ... [et al.]
出版情報: New York : ACM, c2001  xi, 271 p. ; 28 cm
所蔵情報: loading…
98.

図書

図書
sponsored by Raytheon
出版情報: Piscataway, NJ : IEEE Service Center, c[2001]  5 v. (3494 p.) ; 28 cm.
所蔵情報: loading…
99.

図書

図書
Anne Banks Pidduck ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xiv, 799 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2348
所蔵情報: loading…
100.

図書

図書
sponsored by the Petroleum Division, ASME ; edited by George K. Wolfe, Ozer Arnas
出版情報: New York : American Society of Mechanical Engineers, c2000  ix, 740 p. ; 28 cm
シリーズ名: PD ; vol. 82
所蔵情報: loading…
目次情報: 続きを見る
Bioengineering
Electroneurophysiological Evidence for lontophoresis of Epinephrine on Human Muscle / S. Talebian ; S. Eslami ; I. Fatollahi ; Gh. R. Olyaei ; S. Hajizadeh
Relative Rigidity of External Fixator During Callus Development / A. Reisi Najafi ; I. Shams ; M. R. Eslami
Simulation of a Generalized Model of Human Postural Dynamics / M. Hoviattalab
Studying of Biomechanical Changes of the Mandible Due to Orthopedic Chin Cup Force: A Three-Dimensional Analytic Approach With the Finite Element Method / Nooshin Bluery ; Mojtaba Vahid ; Bahman Tootiaee
Design Methodology
A Double-Outlet Squirrel-Cage Fan / Nader Montazerin
Collision of Inelastic Frictional Spheres / Mansour Nikkhah Bahrami ; Yahya Modarres Sadeghi
Design and Analysis of a Fluid-Film Journal Bearing With Optimal Geometry / Koichi Matsuda ; Yoichi Kanemitsu ; Shinya Kijimoto
Distributed Cooperative Engineering Design / Bogdan D. Czejdo ; Kenneth Messa ; Mikolaj Baszun
Ecodesign Approach and DFX Tools / Milan L. Kljajin
Evaluation of the Load Carrying Capacity of Circular Plates Under Some General Kind of Loading / Mehrdaad Ghorashi
Forming and Possible Application of Modified Face Toothing / Ryszard Grajdek
Fracture Evaluation of a Cracked Strip in Mode I Under Thermal Shock / P. Hosseini Tehrani ; H. R. Daghyani
Mechanical Properties of Ferrous Shape Memory Alloy / Hisashi Naoi ; Yusuke Ide ; Morito Horikiri ; Kazuyuki Tsukimori
Modification of Face Toothing in a Plane Spiroid Gear / Edward Szmaus
Optimization in Discrete Space Using Simulated Annealing / Mohammad H. Kargarnovin ; Arash Rezai Zarei
Positioning Accuracy Investigation of NC Rotary Table / Roman Staniek
Solution of the Tribology Problem of Viscous, Incompressible Flow Between Two Eccentric Rotating Cylinders Using Perturbation Techniques / Asghar B. Rahimi
The Design of a Robotic Equipment for Deep-Sea Maintenance Operations / L. E. Bruzzone ; E. M. Cavallo ; R. C. Michelini ; R. M. Molfino ; R. P. Razzoli
Thermal Analysis of 3D Inhomogeneous Railgun Using Finite Element / Asgar Keshtkar ; Mohammad Soleimani
Using Enhanced Reality in Fracture Reduction Through External Fixation / G. A. Danieli ; G. Fragomeni ; E. Giuzio
Using Finite Element Analyses to Compute Stress Intensification Factors for Pipe Tees / Edwin P. Russo ; Yvonne M. Traynham
Space Flight Electronic Equipment, Systems Design and Analysis Methodology / Manuel R. Corredera ; Jesus M. Lata
Dynamics and Control
Design of a Prestressed Concrete Trough Section for LR55 Steel Rail Truck System Using Non Linear Optimisation Technique / H. Al Nageim ; F. Mohammad
Vibroacoustic Signal as Diagnostic Parameter of Surface Damage of Machine Parts / Stanislaw Radkowski ; Zbigniew Osinski
Chaotic Behavior of Beam-Pendulum System With Dry Friction / Danuta Sado
Active Controller Design of Vehicle Suspension Systems / Ismail Yuksek ; Nurkan Yagiz ; Faris Kaya
White Noise Response and Vibrations of Damped Flexible Mechanisms With Heavy Masses / Vedat Karadag
Impulse Response and Vibrations of Damped Thick Flexible New Material Composite Mechanisms With Heavy Masses
Optimal Controller Design for Guidance and Attitude Control of a Bicycle
Sliding Mode Control of a Planar Flexible Single-Arm Robot / Tamer Kepceler
Computer Model of Embedded System for Real-Time Estimation of Gas Emissions for Stationary Internal Combustion Engines / Gabriel Cuenca ; Howard Malm ; Martin Mintchev
Free Vibration Analysis of Submerged Stiffened Plates
CEFA: Customized External Fixator for Articulations
Parameter Identification of a Nonlinear Motor Using Neural Networks / Z. M. Akyurek ; O. S. Turkay
Computer Aided Design and Optimization of Geared Transmission Systems / Yusuf Yilmaz ; Ali Unuvar
Optimization of Suspension System Characteristics From Ride Quality and Vehicle Handling Aspects / A. S. Nobari ; Z. Voshgir
Modeling of Turbulent Plane Mixing Layer With a Two Layer Cellular Neural Network / Hassan Basirat Tabrizi ; Ario Shabani ; Mohamad Bagher Menhaj
Vibration Analysis of Ship Hull With Horizontal and Torsional Effects / Mehdi Behzad ; Ahmad Mobasher Amini
Comparison of the Riccati Transfer Matrix and the Transfer Matrix in Vibration Analysis / M. Behzad
The Effect of Attached Mass on the Modal Characteristics of a Steam Turbine Blade / Yau-Pin Chyou
A Numerical Test Room for Developing Low Energy Architectures and Some of Its Applications / Junji Onishi ; Haruo Soeda ; Hideo Kimoto
Shifting of Natural Frequencies by Structural Parameters Modification / M. S. Djoudi ; H. Bahai
The Behaviour of Low Profile Steel Track System, LR55, Under Static Non-Destructive Tests Using Full Scale Model
Evaluation of Analysis Methods for Delay Differential Equations in Case Study of Roll Grinding Dynamics / LiHong Yuan ; Veli-Matti Jarvenpaa ; Erno Keskinen ; Michel Cotsaftis
Vibration Analysis of Elastic Structures Under Rolling Contact Oscillation Source / Matti Martikainen
A Smoother Acceleration of Paper Machine Rolls Over the Resonance Peaks of Roll Nip-System / Juha-Matti Kivinen
Dynamics of Internal and External Resonances in Rolling Contact of Polymer Covered Rotating Beams / Sirpa Launis
Assessment of Neural Networks for Detection and Identification of Gearbox Faults / Jarir Mahfoudh ; Claire Breneur ; Frederic Calderone ; Daniel Play
The Sampling Effect of Fuel Injection on the Discretized Model of a Marine Diesel Engine / M. Mosleh ; A. Al-Ali
Impact Oscillator: Practical Stability of Coexisting Attractors / Krzysztof Czolczynski ; Tomasz Kapitaniak
Nonlinear Vibrations Due to Fan Blade Off and the Presence of "Consumed" Gaps in a Turbomachinery During Stabilized Phase / B. Bernay ; M. Pascal
Non-Linear Harmonic Response of a Bolted Assembly / R. Lavabre ; H. Aziz ; B. Combes
Numerical Simulation: The Basis for Approbation of the Gas Reserves Evaluation Methods / S. V. Kolbikov
Vibration Analysis of Laminated Composite Panels With Clamped Edges / Jianqiao Ye
The Nonlinear Model of a Chatter and Bifurcation / B. Milisavljevi ; M. Zeljkovi ; R. Gatalo
Evidence of Chatter and Its Dependence on Stability of Drillstrings Equipped With PDC Bits / M. A. Elsayed
Dynamics of Two Mechanical Oscillators Coupled by Impacts / Barbara Blazejczyk-Okolewska
Advances of Artificial Vibration Oil Production / Renyuan Sun ; Tingjun Yan ; Huizhong Mao ; Bencheng Gao
Stiffening Effect of Local Damage on Initially Loaded Plates / Giuseppe Catania ; Umberto Meneghetti
The Research Into the Automatic Balancing Process of Rotors With Vertical Axis of Rotation / Vilen Roizman ; Veronika Boeva ; Alecsandre Malygin ; Roman Tholovsky
Finite Element Modeling of Single Point Frictionless Rolling Contact Oscillation for Paper Machine Nip Unit Analyses / Erno K. Keskinen
Elastic Plastic Fracture Mechanics of a LP Last Stage Steam Turbine Blade Root / J. S. Rao ; C. V. Ramakrishnan ; K. Gupta ; A. K. Singh
Debonding of Prestressing Bars Under High Rates of Loading / A. Belhadj
On Assessment of Passive Vibration Damping in Blades Subject to Transient Excitation / Johan F. Bratt
Dynamic Stability of Shaft Line in a Groundwood System / Marko Raitaniemi
Direct Integration of State Equation for Dynamic Response of Structure / Senwen Zhang ; Kaibin Cao ; Quifu Chen
Fluid Mechanics
The Preliminary Design of Axial Pumps and Turbines Based on Analytical Solutions of the Flow Field / Giampaolo Navarro ; Massimo Masi ; Marco Antonello
Turbulent Flow Calculations Using a K-[varepsilon]-v[superscript 2] Near Wall Turbulence Model / Siamak Kazemzadeh Hannani ; Ali Jafari
Cavitation Modeling to Understand the Behavior of Control Systems / Maria Grazia De Giorgi ; Antonio Ficarella ; Domenico Laforgia ; Callisto Genco
Effect of Air Bubbles on the Thermo-Hydrodynamic Performance of Journal Bearings / A. M. A. El-Butch
Specific Speed and Efficiency of Turbomachinery / Takaharu Tanaka
An Advanced Acquisition/Procession System for Centrifugal Compressor Stages Test Stands / L. Cosi ; D. Fiaschi ; G. Manfrida ; M. Menichetti ; S. Ponticelli ; M. Ruggiero
Two-Dimensional Turbulent Jet Impingement Onto a Circular Cylinder and Tube Bank / Reza Imani Raad ; S. P. Alavi Tabrizi ; E. Esmaeilzadeh
Heat Transfer, Thermo and Advanced Energy
Effect of Radial Fins on Turbulent Natural Convection in a Two-Dimensional Horizontal Annulus / Mohammad Rahnama ; Moosa Farhadi
The Interparticle Effect on Heat Transfer in a Gas-Solid Flow / M. Saffar Avval ; H. Basirat Tabrizi ; Z. Mansoori
Thermal Analysis of Attic Radiant Barriers / Carsie A. Hall III ; Dionne DeBose ; Gerald A. Pitalo
Comparison of the Transient Vapor Compression Refrigeration Systems / B. Khastoo ; S. Porkhial
Global Modeling of NOx Formation in Natural Gas-Fired Combustion Systems / Hamid A. Mirzaie
Effect of Variations of Physical Properties on Steady Mixed Convection in a Constant Heat Flux Vertical Channel / Hossein Shokouhmand ; Novid Beheshti
Local Heat Transfer Coefficient During Annular Flow Condensation / Ali Nouri-Borujerdi
Two Dimensional Model of Heat and Mass Transfer in Packed Bed Drying / H. Basirat-Tabrizi ; M. Saffar-Avval ; M. R. Assarie
Solid Mechanics
Anisotropic Finite-Plasticity Model / H. Ishikawa ; K. Sasaki
Application of Corotational Rates in Constitutive Modeling of Rigid Plastic Hardening Materials / Reza Naghdabadi ; Saeed Sohrabpour ; Ali R. Saidi
Mathematical Modeling and Analysis of a Novel Shape Memory Alloy-Elastomer Composite Actuator in Plane Steady Conditions / N. Tabandeh ; A. Ghazavi ; M. M. Ghomshei ; F. Gordaninejad
Performance Study and Fatigue Life Prediction of Thick-Walled Spherical Vessels Under an Internal Time Dependent Loading Condition
Polymer Fibre Ropes: The Effects of Friction / Christopher M. Leech
Solution of Torsion Problem by Boundary Integral Equation and Wavelet Analysis / Sepandarmaz Momeni
Theoretical Investigation of the Performance of Flexible Composite Targets Against Ballistic Impact / Amr Fayed
Thermoelastic Buckling of Isotropic and Orthotropic Plates / Gh. Peydaye Saheli ; A. Mossavarali
Three-Dimensional Solution of Euler Equations on Adaptive Unstructured Grids / Karim Mazaheri ; Shahram Bodaghabadi
Solid Prototyping
A Self-Tuning Approach for End Effector Tracking of Flexible Multilink Robotic Manipulators / Amir Naghashan ; Mohsen Bahrami
A Survey of the Tolerances Allocation Problem for Modular Robotic Connections / Julio C. Guerrero ; Delbert Tesar
Decision Support for Selection and Evaluation of Rapid Tooling Process Chains / Uwe Kaschka
Effects of Cryogenics on Rapid Prototyping Materials / W.-H. Guan ; A. Morrow ; D. Truong ; I. Wong ; K. Golda ; Joe Foyos ; Rafiq Noorani ; Boris Fritz ; Toshihiro Ioi
F.E.M. Tolerance Allocation Method for Mechanical Connections
Generation of Inspection Plans for an Integrated Measurement System / Kwan H. Lee ; Seok-Bae Son ; Hyun-Pung Park
Modular Robot Connection Interface Design HSCC
Rapid Prototyping as an Integrated Part of the Engineering Design Methodology / Karl-H. Grote ; Christian Birke ; Ikuo Kimura
Three-Dimensional Digitizing and the Following Data Preparation as Integrated Part of the Engineering Design Methodology / Alexander Tenbusch ; Christiane Beyer
Time-Optimal Control of Robot Manipulator With Bounded Control Inputs and Jerk Constraint / Abbas Rahi
Author Index
Bioengineering
Electroneurophysiological Evidence for lontophoresis of Epinephrine on Human Muscle / S. Talebian ; S. Eslami ; I. Fatollahi ; Gh. R. Olyaei ; S. Hajizadeh
Relative Rigidity of External Fixator During Callus Development / A. Reisi Najafi ; I. Shams ; M. R. Eslami
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼