close
1.

図書

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

図書

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

図書

図書
[edited by George P. Richardson, John D. Sterman]
出版情報: Cambridge, Mass. : The System Dynamics Society, [1996]  2 v. ; 28 cm
所蔵情報: loading…
4.

図書

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

図書

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

図書

図書
Oscar Pastor, João Falcão e Cunha (eds.)
出版情報: Berlin : Springer, c2005  xvi, 584 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3520
所蔵情報: loading…
7.

図書

図書
edited by Luis M. Camarinha-Matos
出版情報: New York : Springer, 2005  xii, 525 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 159
所蔵情報: loading…
目次情報: 続きを見る
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A:
Networked Enterprises / Part B:
Integrated Design and Assembly / Part C:
Machine Learning and Data Mining in Industry / Part D:
Author Index
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A:
8.

図書

図書
Anne H.H. Ngu ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xxi, 771 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3806
所蔵情報: loading…
9.

図書

図書
Mike Dean ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xv, 274 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3807
所蔵情報: loading…
10.

図書

図書
editors, Tiziana Catarci ... [et al.] ; organized by WISE Society, Dipartimento di Informatica e Sistemistica "Antonio Ruberti", Università di Roma "La Sapienza"
出版情報: Los Alamitos, Calf. : IEEE Computer Society, c2003  xvii, 378 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the WISE 2003 Conference Chairs
Welcome from the Program Committee Chairs
Conference Organization
Keynote
Service-Oriented Computing: Concepts, Characteristics and Directions / M. P. Papazoglou
Curated Databases / P. Buneman
WEB Sites Generate Dialogues! (Between Users and the Site) / P. Paolini
Industrial Keynote
Documents as Processes: A Unification of the Entire Web Service Stack / G. Meredith
Full Papers
Web Querying
Efficient Computation of Aggregate Structural Joins / K. Liu ; F. H. Lochovsky
A Graphical Environment to Query XML Data with XQuery / D. Braga ; A. Campi
On the Role of Query Refinement in Searching for Information: The Librarian Agent Query Refinement Process / N. Stojanovic
Web Metrics
MMWA: A Software Sizing Model for Web Applications / L. Mangia ; R. Paiano
ProxyTeller: A Proxy Placement Tool for Content Delivery under Performance Constraints / P. Triantafillou ; I. Aekaterinidis
Estimating Computation Times in Data Intensive E-Services / S. Krishnaswamy ; A. Zaslasvky ; S. W. Loke
XML-Based Languages and Models
A Dynamic Content Integration Language for Video Data and Web Content / T. Yumoto ; Q. Ma ; K. Sumiya ; K. Tanaka
Publishing and Querying the Histories of Archived Relational Databases in XML / F. Wang ; C. Zaniolo
Translating Content-Based Authorizations for XML Documents / S. Chatvichienchai ; M. Iwaihara ; Y. Kambayashi
Web Information Retrieval
Enhancing Text Classification Using Synopses Extraction / L. Ma ; J. Shepherd ; Y. Zhang
Crawling for Domain-Specific Hidden Web Resources / A. Bergholz ; B. Chidlovskii
A Lightweight Tool for Easy Web Site Navigation / S. Flesca ; G. Greco ; S. Greco ; E. Zumpano
Web-Based Cooperation
Flexible Interface Matching for Web-Service Discovery / Y. Wang ; E. Stroulia
Agent Architectures to Support Collaborative Processes / I. T. Hawryszkiewycz
From Task-Oriented to Goal-Oriented Web Requirements Analysis / D. Bolchini ; J. Mylopoulos
WINK: A Web-Based System for Collaborative Project Management in Virtual Enterprises / S. Bergamaschi ; G. Gelati ; F. Guerra ; M. Vincini
Innovative Web Applications
Concurrent Browsing of Bilingual Web Sites by Content-Synchronization and Difference-Detection / A. Nadamoto ; M. Qiang
Traversing the Web: Mobility Heuristics for Visually Impaired Surfers / S. Harper ; C. Goble ; R. Stevens
Switching Over to Paper: A New Web Channel / M. C. Norrie ; B. Signer
Semantic Web
Using a Layered Approach for Interoperability on the Semantic Web / I. F. Cruz ; H. Xiao
Supporting Model-Based Construction of Semantic-Enabled Web Applications / M. Fuchs ; C. Niederee ; M. Hemmje ; E. J. Neuhold
Ontology Generation from Tables / Y. A. Tijerino ; D. W. Embley ; D. W. Lonsdale ; G. Nagy
Industrial Papers
Web Applications and the Semantic Web
Semantic Web Services: Reflections on Web Service Mediation and Composition / C. Bussler
The Many Faces of Mapping and Translation for Semantic Web Services / M. H. Burstein
Search Types and Context of Use in the Semantic Web / M. A. Visciola
Web Services and Utility Computing
Managed Utility Computing / A. van Moorsel
Metadata-Driven Middleware for Web Services / F. Curbera ; N. Mukhi
Short Papers
Web Services and Processes
Performance Issues in Integrating a Capital Market Surveillance System Using Web Services / F. T. Dabous ; F. A. Rabhi ; H. Yu
Efficient Commit Processing of Web Transactions Using Priority Scheduling Mechanism / M. Younas ; I. Awan
A Rule Based Approach to the Service Composition Life-Cycle / J. Yang ; B. Orriens ; W.-J. van Heuvel
TERRA-ACQUA, Adaptable Definition and Execution of Workflows / G. Vargas-Solar ; K. Belhajjame ; E. E. Castillo Contreras ; K. J. Peredo Marquez
MAIS: Multichannel Adaptive Information Systems / The MAIS Team
Web Querying and Access
CodeX: An Approach for Debugging XSLT Transformations / E. Bae ; J. Bailey
Quantifiers in XQuery / N. May ; S. Helmer ; G. Moerkotte
Collaboration and Undo: The Web Workspace Paradigm / G. Swart
Dynamic Virtual Storage Grid for Mobile Web Access / H. Kammanahalli ; S. Gopalan ; V. Sridhar
Association Rules Mining for Name Entity Recognition / I. Budi ; S. Bressan
Enabling Data Quality Notification in Cooperative Information Systems through a Web-Service Based Architecture / C. Marchetti ; M. Mecella ; M. Scannapieco ; A. Virgillito
Data and Knowledge Integration
DIS@DIS: A System for Semantic Data Integration under Integrity Constraints / A. Cali ; S. De Nigris ; D. Lembo ; G. Messineo ; R. Rosati ; M. Ruzzi
D.I.C.E. and Co.In.S.: A Data Integration Cache Engine for a Content Integration System / N. Ntarmos ; J. Yannakopoulos
SymOntoX: A Web-Ontology Tool for eBusiness Domains / M. Missikoff ; F. Taglino
A Reference Architecture for Knowledge Management-Based Web Systems / A. Cuzzocrea ; C. Mastroianni
Demonstrations
ServiceCom: A Tool for Service Composition Reuse and Specialization
The HyperHotel Application Built over D.I.C.E. and Co.In.S.
Web HorizoN--The Design of a 3D GIS Web Solution / P. Branco
Panel
Semantic Web Services: Facts and Fiction / M. E. Orlowska
Tutorials
Conceptual Modelling of Web Applications, Workflows and Web Services / P. Fraternali
Data Stream Query Processing / N. Koudas ; D. Srivastava
Semantic Web Processes: Semantics Enabled Annotation, Discovery, Composition and Orchestration of Web Scale Processes / J. Cardoso ; A. Sheth
Author Index
Message from the WISE 2003 Conference Chairs
Welcome from the Program Committee Chairs
Conference Organization
11.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by Nanotechnology Institute, ASME ; host organization Massachusetts Institute of Technology ; supporting organizations the Laboratory for Energy and the Environmrnt ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2007  viii, 95 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
editors Giuseppe Santucci ... [et al.] ; organized by WISE Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 2004  xv, 269 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface: 3rd International Workshop on Web and Wireless Geographical Information Systems (W2GIS 2003)
W2GIS Organizing Committee
Preface: 1st Web Services Quality Workshop (WQW 2003)
WQW Organizing Committee
Preface: 1st Workshop on Multichannel and Mobile Information Systems (MMIS 2003)
MMIS Organizing Committee
3rd International Workshop on Web and Wireless Geographical Information Systems
Keynote Paper
A Family of Smart Maps / M. J. Egenhofer
Data Management and Retrieval
Optimization of Geographic Area to a Web Page for Two-Dimensional Range Query Processing / R. Lee ; H. Shiina ; H. Takakura ; Y. J. Kwon ; Y. Kambayashi
Trajectory Representation in Location-Based Services: Problems and Solution / N. Meratnia ; R. A. de By
Implementation and Evaluation of an Adaptive Neighborhood Information Retrieval System for Mobile Users / Y. Ishikawa ; Y. Tsukamoto ; H. Kitagawa
Fast Indexing and Updating Method for Moving Objects on Road Networks / K.-S. Kim ; S.-W. Kim ; T.-W. Kim ; K.-J. Li
Novel Platforms and Architectures
Services-Based Data Management in a Global Computing Environment / D. Pfoser ; N. Tryfona ; V. Verykios
Distributed Geo-referenced Information Accessing and Integrating Based on Mobile Agents and GML / J. Guan ; S. Zhou
Web Services for Accuracy-Based Spatial Query Rewriting in a Wrapper-Mediator System / V. Manpuria ; I. Zaslavsky ; C. Baru
Extensible Platform for Location Based Services Provisioning / M. Spanoudakis ; A. Batistakis ; I. Priggouris ; A. Ioannidis ; S. Hadjiefthymiades ; L. Merakos
Mobile Applications
Viewer-Based Directional Querying for Mobile Applications / K. Gardiner ; J. D. Carswell
Management of Multi-resolution Data in a Mobile Spatial Information Visualization System / J.-M. Follin ; A. Bouju ; F. Bertrand ; P. Boursier
Pocket Panorama: 3D GIS on a Handheld Device / P. L. Guth ; O. Oertel ; G. Benard ; R. Thibaud
Modular Neural Networks for Map-Matched GPS Positioning / M. Winter ; G. Taylor
1st Web Services Quality Workshop
Web Services QoS: External SLAs and Internal Policies Or: How Do We Deliver What We Promise? / H. Ludwig
An Approach to Modeling Web Service QoS and Provision Price / D. Gouscos ; M. Kalikakis ; P. Georgiadis
Verity: A QoS Metric for Selecting Web Services and Providers / S. Kalepu ; S. Krishnaswamy ; S. W. Loke
Managing QoS through Prioritization in Web Services / A. Sharma ; H. Adarkar ; S. Sengupta
A Concept for QoS Integration in Web Services / M. Tian ; A. Gramm ; T. Naumowicz ; H. Ritter ; J. Schiller
A Framework for Classifying and Comparing Web Services Procurement Platforms / O. Martin-Diaz ; A. Ruiz-Cortes ; R. Corchuelo ; M. Toro
A Quality Model for e-Service Based Multi-channel Adaptive Information Systems / C. Marchetti ; B. Pernici ; P. Plebani
Assessing Web Services Quality for Call-by-Call Outsourcing / W.-T. Balke ; A. Badii
Usability of Web Services / A. Martens
1st Workshop on Multichannel and Mobile Information Systems
An Advanced Architecture for Push Services / D. Tosi
A Middleware Architecture for Inter Ad-Hoc Networks Communication / M. Patini ; R. Beraldi ; R. Baldoni
Challenges in Designing of Cooperative Mobile Information Systems for the Risk Map of Italian Cultural Heritage / A. Maurino ; S. Modafferi
Designing Adaptable Geographic Objects for Mobile Applications / R. Laurini ; J. Bazzocco ; S. Gordillo ; G. Rossi ; C. Mostaccio
Extending WebML for Modeling Multi-channel Context-Aware Web Applications / S. Ceri ; F. Daniel ; M. Matera
Metatemplate Driven Multi-channel Presentation / M. Grossniklaus ; M. C. Norrie ; P. Buchler
Users' Choice of Channel in Person-to-Person Communication / A. Folstad ; J. Heim ; B. Hestnes ; S. Heiestad
E-Service Classification Techniques to Support Discovery in a Mobile Multichannel Environment / D. Bianchini ; V. De Antonellis ; M. Melchiori
Mobile Adaptive Information Systems on MANET: What We Need as Basic Layer? / F. De Rosa ; V. Di Martino ; L. Paglione ; M. Mecella
Author Index
Foreword
Preface: 3rd International Workshop on Web and Wireless Geographical Information Systems (W2GIS 2003)
W2GIS Organizing Committee
21.

図書

図書
edited by Vaclav Dvorak, Miroslav Sveda ; sponsored by IEEE Computer Society, Brno University of Technology
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xiv, 558 p. ; 28 cm
所蔵情報: loading…
22.

図書

図書
edited by Matthew H, Jones, Barbara E. Tawney, K. Preston White, Jr.
出版情報: Charlottesvile, Va. : Department of Systems and Information Engineering, University of Virginia, c2003  xiv, 340 p. ; 28 cm
所蔵情報: loading…
23.

図書

図書
edited by Ralph H. Sprague, Jr
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2005  lxxxi, 339 p. ; 28 cm.
所蔵情報: loading…
24.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (TCCX) ; co-sponsored by Shanghai Jiao Tong University
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xvii, 612 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
edited by Jerzy Rozenblit, Tim O'Neill, Jainfeng Peng ; sponsored by IEEE Technical Committee on Engineering of Computer-Based Systems ; in cooperation with NASA Software Engineering Laboratory, NASA Goddard Space Flight Center, The University of Arizona
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xii, 554 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
IEEE
出版情報: Piscataway, N.J. : IEEE, c2005  xxvii, 867, A3 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
Karl Aberer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiv, 563 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4255
所蔵情報: loading…
28.

図書

図書
Ling Feng ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xiv, 320 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4256
所蔵情報: loading…
29.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by Nanotechnology Institute, ASME
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2009  xi, 149p. ; 28 cm
所蔵情報: loading…
38.

図書

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

図書

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

図書

図書
Martin Wirsing, Alexander Knapp, Simonetta Balsamo, (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 357 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2941
所蔵情報: loading…
目次情報: 続きを見る
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case) / Egidio Astesiano ; Maura Cerioli ; Gianna Reggio
Tight Structuring for Precise UML-Based Requirement Specifications
Integrating Performance Modeling in the Software Development Process / Simonetta Balsamo ; Marta Simeoni
The Inevitable Pain of Software Development: Why There Is No Silver Bullet / Daniel M. Berry
Toward Component-Oriented Formal Software Development: An Algebraic Approach / Michel Bidoit ; Donald Sannella ; Andrzej Tarlecki
Higher Order Applicative XML Documents / Peter T. Breuer ; Carlos Delgado Kloos ; Vicente Luque Centeno ; Luis Fernández Sánchez
A New Paradigm for Requirements Specification and Analysis of System-of-Systems / Dale S. Caffall ; James B. Michael
Towards Ontology Driven Software Design / Paolo Ciancarini ; Valentina Presutti
A Model Based Development Approach for Distributed Embedded Systems / Frédéric Gilliers ; Fabrice Kordon ; Dan Regep
Pervasive Challenges for Software Components / Thomas Gschwind ; Mehdi Jazayeri ; Johann Oberleitner
Model Generation for Legacy Systems / Hardi Hungar ; Tiziana Margaria ; Bernhard Steffen
Automatic Failures-Free Connector Synthesis: An Example / Paola Inverardi ; Massimo Tivoli
Module Dependences in Software Design / Daniel Jackson
Towards Fully Automatic Execution Monitoring / Clinton Jeffery ; Mikhail Auguston ; Scott Underwood
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar / Beum-Seuk Lee ; Barrett R. Bryant
A General Resource Framework for Real-Time Systems / Insup Lee ; Anna Philippou ; Oleg Sokolsky
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems / Bruce Lewis
A Computational Model for Complex Systems of Embedded Systems / Luqi ; Ying Qiao ; Lin Zhang
Software Evolution as the Key to Productivity / Oscar Nierstrasz
Model-Checking Complex Software - A Memory Perspective / Murali Rangarajan ; Darren Cofer
Agile Modeling with the UML / Bernhard Rumpe
Predictable Component Architectures Using Dependent Finite State Machines / Heinz W. Schmidt ; Bernd J. Krämer ; Iman Poernomo ; Ralf Reussner
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering / Axel van Lamsweerde ; Emmanuel Letier
View Consistency in Software Development / Martin Wirsing ; Alexander Knapp
Author Index
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case) / Egidio Astesiano ; Maura Cerioli ; Gianna Reggio
Tight Structuring for Precise UML-Based Requirement Specifications
Integrating Performance Modeling in the Software Development Process / Simonetta Balsamo ; Marta Simeoni
41.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xv, 716 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. 2
所蔵情報: loading…
47.

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xvi, 620 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. 3
所蔵情報: loading…
48.

図書

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

図書

図書
edited by Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xiv, 546 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. 4
所蔵情報: loading…
50.

図書

図書
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼