close
1.

図書

図書
Tim Hendtlass, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2002  xiii, 833 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2358 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Neural Networks 1
An Error Back-Propagation Artificial Neural Networks Application in Automatic Car License Plate Recognition / Demetrios Michalopoulos ; Chih-Kang Hu
Use of Artificial Neural Networks for Buffet Loads Prediction / Oleg Levinski
Computational Cost Reduction by Selective Attention for Fast Speaker Adaptation in Multilayer Perceptron / In-Cheol Kim ; Sung-Il Chien
A Comparison of Neural Networks with Time Series Models for Forecasting Returns on a Stock Market Index / Juliana Yim
Image/Speech 1
Automatic Detection of Film Orientation with Support Vector Machines / Dane Walsh ; Christian Omlin
A Generic Approach for the Vietnamese Handwritten and Speech Recognition Problems / Vu Hai Quan ; Pham Nam Trung ; Nguyen Due Hoang Ha ; Lam Tri Tin ; Hoang Kiem ; An H Nguyen
Efficient and Automatic Faces Detection Based on Skin-Tone and Neural Network Model / Bae-Ho Lee ; Kwang-Hee Kim ; Yonggwan Won ; Jiseung Nam
Efficient Image Segmentation Based on Wavelet and Watersheds for Video Objects Extraction / Jong-Bae Kim ; Hang-Joon Kim
Evolutionary and Genetic Algorithms 1
FPGA-Based Implementation of Genetic Algorithm for the Traveling Salesman Problem and Its Industrial Application / Iouliia Skliarova ; António B.Ferrari
Minimal Addition Chain for Efficient Modular Exponentiation Using Genetic Algorithms / Nadia Nedjah ; Luiza de Macedo Mourelle
An Evolutionary Algorithm for the Synthesis of RAM-Based FSMs / Valery Sklyarov
Genetic Algorithms for Design of Liquid Retaining Structure / K. W. Chau ; F. Albermani
Autonomous Agents
Modelling Crew Assistants with Multi-Agent Systems in Fighter Aircraft / Arjen Vollebregt ; Daan Hannessen ; Henk Hesselink ; Jelle Beetstra
Learning from Human Decision-Making Behaviors - An Application to RoboCup Software Agents / Ruck Thawonmas ; Junichiro Hirayama ; Fumiaki Takeda
Distributed Deadlock Detection in Mobile Agent Systems / Bruce Ashfield ; Dwight Deugo ; Franz Oppacher ; Tony White
An Agent-Based Approach for Production Control Incorporating Environmental and Life-Cycle Issues, together with Sensitivity Analysis / Elisabeth Hie Zudor ; László Monostori
Feasibility Restoration for Iterative Meta-heuristics Search Algorithms / Marcus Randall
Best Paper Candidates 1
Optimization of Pulse Pattern for a Multi-robot Sonar System Using Genetic Algorithm / George Nyauma Nyakoe ; Makoto Ohki ; Suichiro Tabuchi ; Masaaki Ohkita
The Suitability of Particle Swarm Optimisation for Training Neural Hardware / David Braendler ; Tim Hendtlass
Evolutionary Multi-objective Integer Programming for the Design of Adaptive Cruise Control Systems / Nando Laumanns ; Marco Laumanns ; Hartmut Kitterer
The Macronet Element: A Substitute for the Conventional Neuron / Gerrard Murray
Genetic Algorithm Optimisation of Mathematical Models Using Distributed Computing / S. Dunn ; S. Peucker
Best Paper Candidates 2
Genetic Algorithm Optimisation of Part Placement Using a Connection-Based Coding Method / Alan Crispin ; Paul Clay ; Gaynor Taylor ; Robert Hackney ; Tom Bayes ; David Reedman
A Fast Evolutionary Algorithm for Image Compression in Hardware / Mehrdad Salami
Automatic Speech Recognition: The New Millennium / Khalid Daoudi
Applying Machine Learning for Ensemble Branch Predictors / Gabriel H. Loh ; Dana S. Henry
A Customizable Configuration Tool for Design of Multi-part Products / Niall Murtagh
Neural Networks 2
Phase-to-Phase Wave Parameters Measurement of Distribution Lines Based on BP Networks / Fengling Han ; Xinghuo Yu ; Yong Feng ; Huifeng Dong
Learning Capability: Classical RBF Network vs. SVM with Gaussian Kernel / Rameswar Debnath ; Haruhisa Takahashi
Trading off between Misclassification, Recognition and Generalization in Data Mining with Continuous Features / Dianhui Wang ; Tharam Dillon ; Elizabeth Chang
Interacting Neural Modules / Garry Briscoe
The Application of Visualization and Neural Network Techniques in a Power Transformer Condition Monitoring System / Zhi-Hua Zhou ; Yuan Jiang ; Xu-Ri Yin ; Shi-Fu Chen
Internet Applications 1
Entrepreneurial Intervention in an Electronic Market Place / John Debenham
Intelligent Auto-downloading of Images / Vikram Natarajan ; Angela Goh
Intelligent Facilitation Agent for Online Web-Based Group Discussion System / Junalux Chalidabhongse ; Wirat Chinnan ; Piehet Weehasaethnon ; Arpakorn Tantisirithanakorn
TWIMC: An Anonymous Recipient E-mail System / Sebon Ku ; Bogju Lee ; Dongman Lee
Mental States of Autonomous Agents in Competitive and Cooperative Settings / Walid S. Saba
Expert Systems
An Expert System Application for Improving Results in a Handwritten Form Recognition System / Silvana Rossetto ; Flávio M. Varejão ; Thomas W. Rauber
A Knowledge-Based System for Construction Site Level Facilities Layout / M. Anson
A Decision-Support System to Improve Damage Survivability of Submarine / D. Lee ; J. Lee ; K. H. Lee
On the Verification of an Expert System: Practical Issues / Jorge Santos ; Zita Vale ; Carlos Ramos
DOWNSIZINGX: A Rule-Based System for Downsizing the Corporation's Computer Systems / J. L. Mitrpanont ; T. Plengpung
Credit Apportionment Scheme for Rule-Based Systems: Implementation and Comparative Study / N. M. Hewahi ; H. Ahmad
Internet Applications 2
An Adaptive Web Cache Access Predictor Using Neural Network / Wen Tian ; Ben Choi ; Vir V. Phoha
A Designated Bid Reverse Auction for Agent-Based Electronic Commerce / Tokuro Matsuo ; Takayuki Ito
Design of a Fuzzy Usage Parameter Controller for Diffserv and MPLS / K. K. Phang ; S. H. Lim ; M. Hj. Yaaeob ; T. C. Ling
A Tool for Extension and Restructuring Natural Language Question Answering Domains / Boris Galitsky
Effective Retrieval of Information in Tables on the Internet / Sung-Won Jung ; Kyung-Hee Sung ; Tae-Won Park ; Hyuk-chul Kwon
Evolutionary and Genetic Algorithms 2
A Fitness Estimation Strategy for Genetic Algorithms
Derivation of L-system Models from Measurements of Biological Branching Structures Using Genetic Algorithms / Bian Runqiang ; Phoebe Chen ; Kevin Burrage ; Jim Hanan ; Peter Room ; John Belward
Evolving a Schedule with Batching, Precedence Constraints, and Sequence-Dependent Setup Times: Crossover Needs Building Blocks / Paul J. Darwen
The Development of the Feature Extraction Algorithms for Thai Handwritten Character Recognition System / S. Kiwprasopsak
Route Planning Wizard: Basic Concept and Its Implementation / Teruaki Ito
AI Applications
The Design and Implementation of Color Matching System Based on Back Propagation / HaiYi Zhang ; JianDong Bi ; Barbro Back
Component-Oriented Programming as an AI-Planning Problem / Debasis Mitra ; Walter P. Bond
Dynamic CSPs for Interval-Based Temporal Reasoning / Malek Mouhoub ; Jonathan Yip
Efficient Pattern Matching of Time Series Data / Sangjun Lee ; Dongseop Kwon ; Sukho Lee
A Multi-attribute Decision-Making Approach toward Space System Design Automation through a Fuzzy Logic-Based Analytic Hierarchical Process / Michelle Lavagna ; Amalia Ercoli Finzi
Best Paper Candidates 3
A Case Based System for Oil and Gas Well Design / Simon Kravis ; Rosemary Irrgang
Ant Colony Optimisation Applied to a Dynamically Changing Problem / Daniel Angus
A GIS-Integrated Intelligent System for Optimization of Asset Management for Maintenance of Roads and Bridges / M. D. Salim ; T. Strauss ; M. Emch
A Unified Approach for Spatial Object Modelling and Map Analysis Based on 2nd Order Many-Sorted Language / Oscar Luiz Monteiro de Farias ; Sueli Bandeira Teixeira Mendes
Training and Application of Artificial Neural Networks with Incomplete Data / Zs. J. Viharos ; L. Monostori ; T. Vincze
Knowledge Processing
Message Analysis for the Recommendation of Contact Persons within Defined Subject Fields / Frank Heeren ; Wilfried Sihn
An Intelligent Knowledge Processing System on Hydrodynamics and Water Quality Modeling / C.Cheng ; Y. S. Li ; C. W. Li ; O. Wai
Uncertainty Management and Informational Relevance / M. Chachoua ; D. Pacholczyk
Potential Governing Relationship and a Korean Grammar Checker Using Partial Parsing / Mi-young Kang ; Su-ho Park ; Ae-sun Yoon
Image/Speech 2
On-Line Handwriting Character Recognition Using Stroke Information / Jungpil Shin
Face Detection by Integrating Multiresolution-Based Watersheds and a Skin-Color Model / Su-Woong Jung
Social Interaction of Humanoid Robot Based on Audio-Visual Tracking / Hiroshi G. Okuno ; Kazuhiro Nakadai ; Hiroaki Kitano
Hybrid Confidence Measure for Domain-Specific Keyword Spotting / Jinyoung Kim ; Joohun Lee ; Seungho Choi
Model Based Reasoning
Model-Based Debugging or How to Diagnose Programs Automatically / Franz Wotawa ; Markus Stumptner ; Wolfgang Mayer
On a Model-Based Design Verification for Combinatorial Boolean Networks / Satoshi Hiratsuka ; Akira Fusaoka
Optimal Adaptive Pattern Matching / Luiza de Maeedo Mourelle
Analysis of Affective Characteristics and Evaluation of Harmonious Feeling of Image Based on 1/f Fluctuation Theory / Mao Xia ; Chen Bin ; Zhu Gang ; Muta Itsuya
Adaptive Control
Collective Intelligence and Priority Routing in Networks / Bernard Pagurek
An Agent-Based Approach to Monitoring and Control of District Heating Systems / Fredrik Wernstedt ; Paul Davidsson
Using Machine Learning to Understand Operator's Skill / Ivan Bratko ; Dorian Šue
Reactive Load Control of Parallel Transformer Operations Using Neural Networks / Fakhrul Islam ; Baikunth Nath ; Joarder Kamruzzaman
Author Index
Neural Networks 1
An Error Back-Propagation Artificial Neural Networks Application in Automatic Car License Plate Recognition / Demetrios Michalopoulos ; Chih-Kang Hu
Use of Artificial Neural Networks for Buffet Loads Prediction / Oleg Levinski
2.

図書

図書
Lȧszlo︠ Monostori, Jo︠zsef Vȧncza, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2001  xviii, 951 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2070 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Search
Solving Network Synthesis Problems Using Ant Colony Optimisation / M. Randall ; E. Tonkes
A Combined Swarm Differential Evolution Algorithm for Optimization Problems / T. Hendtlass
An Evolutionary Optimum Searching Tool / Z. Tóth ; G. Kókai
Value Prediction in Engineering Applications / G. Ziegler ; Z. Palotai ; T. Cinkler ; P. Arató ; A. Lörincz
Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems / H. Drias ; M. Khabzaoui
Move Ordering Using Neural Networks / L. Kocsis ; J. Uiterwijk ; J. van den Herik
Knowledge Representation
Why Use a Unified Knowledge Representation? / J. Debenham
Lazy Knowledge Base Update / W. &Lstroke;ukaszewicz ; E. Madalińska-Bugaj
On the Computational Aspect of Rule Based Database Updates / Y. Bai ; Y. Zhang
Building an Information and Knowledge Fusion System / T. Meszdros ; Z. Barczikay ; F. Bodon ; T.P. Dobrowiecki ; G. Strausz
Hierarchical Approach for Engineering Skills Acquisition / M.S. Levin
Dealing with Information in the Different Styles Together - Skill Inheritance and Integration of Information / S. Ohsuga ; N. Ueda
Knowledge Modelling in Support of Knowledge Management / R. Kende
A New Approach in Object-Based Knowledge Representation: The AROM System / M. Page ; J. Gensel ; D. Bardou ; C. Capponi ; C. Bruley ; V. Dupierris ; P. Genoud ; D. Ziébelin
Ontology Integration Tasks in Business-to-Business E-Commerce / B. Omelayenko
Model-Based Reasoning
Using Multiple Models for Debugging VHDL Designs / F. Wotawa
Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models / B. Pulido ; C. Alonso ; F. Acebes
Intelligent Assumption Retrieval from Process Models by Model-Based Reasoning / R. Lakner ; K.M. Hangos
A Knowledge Model for Automatic Configuration of Traffic Messages / M. Molina ; M. Robledo
Machine Learning
Information Extraction from HTML: Combining XML and Standard Techniques for IE from the Web / L. Xiao ; D. Wissmann ; M. Brown ; S. Jablonski
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection / D. Bühler ; W. Küchlin
Where to Position the Precision in Knowledge Extraction from Text
Generation of Similarity Measures from Different Sources / B. Stein ; O. Niggemann
SNN: A Supervised Clustering Algorithm / J.S. Aguilar ; R. Ruiz ; J.C. Riquelme ; R. Giráldez
An Eager Regression Method Based on Best Feature Projections / T. Aydin ; H.A. Güvenir
On the Relationship between Learning Capability and the Boltzmann-Formula / P. Stefán ; L. Monostori
Data Mining
A View Selection Tool for Multidimensional Databases / H.M. Jamil ; G.A. Modica
Inductive Learning of a Knowledge Dictionary for a Text Mining System / S. Sakurai ; Y. Ichimura ; A. Suyama ; R. Orihara
Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis / Y. Toussaint ; J.-C. Lamirel
Soft Computing
Neural Learning from Unbalanced Data Using Noise Modeling / H. Guo ; Y.L. Murphey
Neural Modeling of an Industrial Process with Noisy Data / P. Berényi ; J. Valyon ; G. Horváth
Enhanced Artificial Neurons for Network Applications / G. Murray
Time Delay Neural Networks Designed Using Genetic Algorithms for Short Terms Inter-City Traffic Forecasting / P. Lingras ; P. Mountford
An Efficient Hardware Implementation of Feed-Forward Neural Networks / T. Szabó
MAPS: A Method for Identifying and Predicting Aberrant Behavior in Time Series / E. Kotsakis ; A. Wolski
Comparisons of QP and LP Based Learning from Empirical Data / V. Kecman ; T. Arthanari
A Fuzzy Cognitive Map Based on the Random Neural Model / J. Aguilar
Synthetic Damage Assessment for RC Structure Based on Fuzzy Logic / C.-H. Tsai ; D.-S. Hsu
Genetic Algorithm for Fuzzy Logical Equations Solving in Diagnostic Expert Systems / A. Rotshtein ; H. Rakytyanska
Diagnosis Based on Genetic Algorithms and Fuzzy Logic in NPPs / Y. Zhou ; X. Fang ; B. Zhao
Vagueness in Spatial Data: Rough Set and Egg-Yolk Approaches / T. Beaubouef ; F. Petry
Evolutionary Algorithms
Dynamic Trait Expression for Multiploid Individuals of Evolutionary Algorithms / C. Woodward
A Genetic and Evolutionary Programming Environment with Spatially Structured Populations and Built-In Parallelism / M. Rocha ; F. Pereira ; S. Afonso ; J. Neves
Genetic and Evolutionary Algorithms for Time Series Forecasting / P. Cortez
Layout of Two Dimensional Irregular Shapes Using Genetic Algorithms / R. M'hallah ; A. Bouziri ; W. Jilani
An Application of Genetic Algorithms to Course Scheduling at the United States Army War College / J.J. Donlon
Separation Surfaces through Genetic Programming
Distributed Problem Solving
Distributed Configuration as Distributed Dynamic Constraint Satisfaction / A. Felfernig ; G. Friedrich ; D. Jannach ; M. Zanker|P434
Representation Choice Methods as the Tool for Solving Uncertainty in Distributed Temporal Database Systems with Indeterminate Valid Time / N.T. Nguyen
Checkpoint-Recovery for Mobile Intelligent Networks / Y. Morita ; H. Higaki
Expert Systems
Automotive Product Documentation / A. Kaiser
The Design and Implementation of a Traffic Accident Analysis System / H. Zhang ; B. Back ; W.L. Zhou
Decision Support System for Shadow Mask Development Using Rule and Case / H. Jin ; M. Kim ; S. Jung ; K. Shon ; H. Ha ; B. Ye ; J. Jo
An Expert System for Ironmaking / J. Tuya ; E. Diaz ; M. Hermida ; J.A.L. Brugos ; A. Neira ; A. Alguero ; F. Obeso
Pattern and Speech Recognition, Vision
Short Circuit Detection on Printed Circuit Boards during the Manufacturing Process by Using an Analogic CNN Algorithm / T. Hidvégi ; P. Szolgay
Application of Feature Transformation and Learning Methods in Phoneme Classification / A. Kocsor ; L. Tóth ; L. Felföldi
A Smart Machine Vision System for PCB Inspection / T.Q. Chen ; J. Zhang
Language Processing
Linguistic and Logical Tools for an Advanced Interactive Speech System in Spanish / J. Álvarez ; V. Arranz ; N. Castell ; M. Civit
Selecting a Relevant Set of Examples to Learn IE-Rules / J. Turmo ; H. Rodríguez
An Environment for Formal Specification and Verification of Lingware / B. Gargouri ; M. Jmaiel ; A. Ben Hamadou
Sentence Analysis by Case-Based Reasoning / F. Chakkour
Topic Detection Using Lexical Chains / Y. Chali
Planning and Scheduling
A Mixed Closure-CSP Method to Solve Scheduling Problems / M.I. Alfonso Galipienso ; F. Barber Sanchís
Decentralized Autonomous FMS Control by Hypothetical Reasoning Including Discrete Simulator / H. Yamamoto ; E. Marui
Distributed Learning and Control for Manufacturing Systems Scheduling / J. Hong ; V. Prabhu
An Agent for Providing the Optimum Cycle Length Value in Urban Traffic Areas Constrained by Soft Temporal Deadlines / L.A. García ; F. Toledo
Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem / D. Mitra
Approaches to Increase the Performance of Agent-Based Production Systems / B. Kádár
Scheduling of Production Using the Multi-agent Approach by Hierarchical Structure / B. Frankovic ; T.T. Dang
Optimization of Disassembly Sequences for Recycling of End-of-Life Products by Using a Colony of Ant-Like Agents / F. Failli ; G. Dini
Robotics
Sound and Visual Tracking for Humanoid Robot / H.G. Okuno ; K. Nakadai ; T. Lourens ; H. Kitano
Developing a Mobile Robot Control Application with CommonKADS-RT / M. Henao ; J. Soler ; V. Botti
Intelligent Control of Mobile Robot during Autonomous Inspection of Welding Damage Based on Genetic Algorithm / D.-Y. Ju ; S. Kushida
Machine Learning for Car Navigation / D. Mitrovic
Autonomous Agents
Implementing Agent Management Using Conversation Patterns and Role Theory / C. Stergiou ; G. Arys
An Approach to Coalition Formation Using Argumentation-Based Negotiation in Multi-agent Systems / H. Hattori ; T. Ito ; T. Ozono ; T. Shintani
A Negotiation Model to Support Material Selection in Concurrent Design / R. Barker ; L. Holloway ; A. Meehan
An XML-Based Language for Coordination Protocol Description in Multi-agent System / M. Weiliang ; S. Huanye ; Dingpeng
A Distributed Multi-agent Model for Value Nets / C. Dodd ; S.R.T. Kumara
Norms for DLP Agents Working in a Warehouse Scenario / I.A. Letia ; F. Craciun ; Z. Köpe
Design
A Methodology for Reliable Systems Design / J. Solano-Soto ; L.E. Sucar
Intelligent Support for Interactive Configuration of Mass-Customized Products / M. Zanker
Knowledge Decomposition for Conceptual Product Design: An Approach to Develop Specific Domain Expert Systems for Supporting Concurrent Engineering Projects / R. Hermes de Araúijo ; O. Possamai ; L.D. Valentina
Control
Intelligent Control Synthesis of Manufacturing Systems / F. Čapkovič ; P. Capkovic
A Knowledge Based System for the Maintenance of Chemical Plants and Its Implementation Using OPTRANS / G. Pieri ; M.R. Klein ; M. Milanese
Different Kinds of Neural Networks in Control and Monitoring of Hot Rolling Mill / L. Cser ; J. Gulyáis ; L. Szücs ; A. Horváth ; L. Árvai ; B. Baross
Non-linear Prediction of Vibration Series for Turbogenerator Unit / Z.-H. Ge ; Z.-H. Han ; C.-F. Ding
Autonomous Agents Architecture to Supervise and Control a Wastewater Treatment Plant / D. Riaño ; M. Sànchez-Marrè ; I. R.-Roda
Agent-Based Support for Handling Environmental and Life-Cycle Issues / E. Zudor
Manufacturing Systems
Fractal Businesses in an E-Business World / W. Sihn ; J. Klink
Optimisation of Process Chains and Production Plants by Using a Hybrid-, AI-, and Simulation-Based Approach / Z.J. Viharos
A Multi-agent Fuzzy Cognitive Tool for Reengineering Manufacturing Systems / J. Macedo
Finance and Business
Product Line Design with Customer Preferences / A. Márkus ; J. Váncza
Applying Logic of Information Flow and Situation Theory to Model Agents That Simulate the Stock Market Behaviour / S.B. Teixeira Mendes ; O.L.M. de Farias
GAs and Financial Analysis / M. Leus ; D. Deugo ; F. Oppacher ; R. Cattral
Semi-structured Knowledge Representation for the Automated Financial Advisor / B. Galitsky
Software Engineering
Improving Space, Time, and Termination in Rewriting-Based Programming / N. Nedjah ; L. de Macedo Mourelle
Knowledge Intensive Case-Based Assistance for Framework Reuse / M. Gómez-Albarráin ; P.A. González-Calero
Deciding on a Pattern / J.C. McPhail
Program Modeling for Fault Definition Based Static Analysis / T. Illgen
Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces / F. Belli
Tutoring
Planning Agents in a Multi-agents Intelligent Tutoring System / R. Nkambou ; F. Kabanza
Constraint-Based Tutors: A Success Story / A. Mitrovic ; M. Mayo ; P. Suraweera ; B. Martin
Applying Collision Avoidance Expert System to Navigation Training Systems as an Intelligent Tutor / C. Yang ; S. Phan ; P. Kuo ; F.O. Lin
Author Index
Search
Solving Network Synthesis Problems Using Ant Colony Optimisation / M. Randall ; E. Tonkes
A Combined Swarm Differential Evolution Algorithm for Optimization Problems / T. Hendtlass
3.

図書

図書
International Conference on Software Engineering ; IEEE Computer Society. Technical Council on Software Engineering ; ACM Sigsoft ; ACM Special Interest Group in Programming Languages
出版情報: Los Alamitos, Cailf. : IEEE Computer Society, c2001  xxix, 844 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Sponsors and Supporters
Technical Papers
Design and Specification of Distributed Systems
Composition Patterns: An Approach to Designing Reusable Aspects / S. Clarke ; R. J. Walker
MAS--An Interactive Synthesizer to Support Behavioral Modeling in UML / E. Makinen ; T. Systa
Analysis and Testing of Web Applications / F. Ricca ; P. Tonella
Static Analysis
The Right Algorithm at the Right Time: Comparing Data Flow
Analysis Algorithms for Finite State Verification / J. M. Cobleigh ; L. A. Clarke ; L. J. Osterweil
Static Checking of Interrupt-Driven Software / D. Brylow ; N. Damgaard ; J. Palsberg
Lightweight Analysis of Operational Specifications Using Inference Graphs / L. K. Dillon ; R. E. K. Stirewalt
Process Improvement for Multi-Site Environments
Commitment Development in Software Process Improvement: Critical Misconceptions / P. Abrahamsson
An Empirical Study of Global Software Development: Distance and Speed / J. D. Herbsleb ; A. Mockus ; T. A. Finholt ; R. E. Grinter
Software Product Lines: Organizational Alternatives / J. Bosch
Design Recovery and Program Understanding
Supporting Program Comprehension Using Semantic and Structural Information / J. I. Maletic ; A. Marcus
On the Syllogistic Structure of Object-Oriented Programming / D. Rayside ; K. Kontogiannis
A Scenario-Driven Approach to Traceability / A. Egyed
Effective Uses of Inspections
Systematic Object-Oriented Inspection--An Empirical Study / A. Dunsmore ; M. Roper ; M. Wood
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles / S. Biffl ; W. Grossmann
Investigating the Cost-Effectiveness of Reinspections in Software Development / B. Freimut ; O. Laitenberger
Building Formal Analysis Tools
A Component-Based Approach to Building Formal Analysis Tools
Tool-Supported Program Abstraction for Finite-State Verification / M. B. Dwyer ; J. Hatcliff ; R. Joehanes ; S. Laubach ; C. S. Pasareanu ; Robby ; H. Zheng ; W. Visser
A Workbench for Synthesising Behaviour Models from Scenarios / S. Uchitel ; J. Kramer
Dynamic Analysis and Testing
The Specification and Testing of Quantified Progress Properties in Distributed Systems / P. Krishnamurthy ; P. A. G. Sivilotti
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution / A. Bertolino ; P. Inverardi ; H. Muccini
Encoding Program Executions / S. P. Reiss ; M. Renieris
Construction of Component-Based Systems
Dynamic and Selective Combination of Extensions in Component-Based Applications / E. Truyen ; B. Vanhaute ; W. Joosen ; P. Verbaeten ; B. Norregaard Jorgensen
Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project / E. Wohlstadter ; S. Jackson ; P. Devanbu
Designing Components versus Objects: A Transformational Approach / D. H. Lorenz ; J. Vlissides
Reengineering and Software Evolution
Exploiting the Map Metaphor in a Tool for Software Evolution / W. G. Griswold ; J. J. Yuan ; Y. Kato
Separating Features in Source Code: An Exploratory Study / G. C. Murphy ; A. Lai ; M. P. Robillard
Comparing Frameworks and Layered Refinement / R. Cardone ; C. Lin
Analysis of Architectures
Quantifying the Costs and Benefits of Architectural Decisions / R. Kazman ; J. Asundi ; M. Klein
Survivability Analysis of Networked Systems / S. Jha ; J. M. Wing
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks / P. H. Feiler ; J. J. Walker
Improving the Testing Process
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization / S. Elbaum ; A. Malishevsky ; G. Rothermel
Finding Failures by Cluster Analysis of Execution Profiles / W. Dickinson ; D. Leon ; A. Podgurski
Understanding IV and V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program / M. V. Zelkowitz ; I. Rus
Reliability and Mobile Agents
Theory of Software Reliability Based on Components / D. Hamlet ; D. Mason ; D. Woit
Engineering Mobile-Agent Applications via Context-Dependent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli
Consistent Group Membership in Ad Hoc Networks / G.-C. Roman ; Q. Huang ; A. Hazemi
Analysis of Requirements
Fast Formal Analysis of Requirements via "Topoi Diagrams" / T. Menzies ; J. Powell ; M. E. Houle
Conceptual Modeling through Linguistic Analysis Using LIDA / S. P. Overmyer ; B. Lavoie ; O. Rambow
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints / S. Easterbrook ; M. Chechik
Functional Paleontology: System Evolution as the User Sees It / A. I. Anton ; C. Potts
Formal Frameworks
A General Framework for Formalizing UML with Formal Languages / W. E. McUmber ; B. H. C. Cheng
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams / A. Campailla ; S. Chaki ; E. Clarke ; H. Veith
A Scalable Formal Method for Design and Automatic Checking of User Interfaces / J. Berstel ; S. Crespi Reghizzi ; G. Roussel ; P. San Pietro
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering / A. M. Haeberer ; T. S. E. Maibaum
Architectures for Emerging Applications
An Architecture for Heterogeneous Groupware Applications / I. Marsic
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry / K. Sullivan ; A. Saxena
XAS: A System for Accessing Componentized, Virtual XML Documents / M.-L. Lo ; S.-K. Chen ; S. Padmanabhan ; J.-Y. Chung
Case Study Papers
Infrastructure Support
Using the Web for Document Versioning: An Implementation Report for Delta V / J. J. Hunt ; J. Reuter
Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study / S. Tilley ; S. Huang
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library / A. Aoki ; K. Hayashi ; K. Kishida ; K. Nakakoji ; Y. Nishinaka ; B. Reeves ; A. Takashima ; Y. Yamamoto
Applications of New Paradigms in Software Development
Case Study: Extreme Programming in a University Environment / M. M. Muller ; W. F. Tichy
Improving Validation Activities in a Global Software Development / C. Ebert ; C. H. Parro ; R. Suttels ; H. Kolarczyk
Applying WinWin to Quality Requirements: A Case Study / H. In ; B. Boehm ; T. Rodgers ; M. Deutsch
Software Evolution
Tigra--An Architectural Style for Enterprise Application Integration / W. Emmerich ; E. Ellmer ; H. Fieglein
Reengineering Analysis of Object-Oriented Systems via Duplication Analysis / F. Fioravanti ; G. Migliarese ; P. Nesi
Education Papers
Practical Software Engineering Education
Educating Software Engineering Students to Manage Risk / D. Port
A Formal Approach to Component-Based Software Engineering: Education and Evaluation / M. Sitaraman ; T. J. Long ; B. W. Weide ; E. J. Harner ; L. Wang
Corrective Maintenance Maturity Model (CM[superscript 3]): Maintainer's Education and Training / M. Kajko-Mattsson ; S. Forssander ; U. Olsson
Degree Programs for Software Engineering Education
An Efficient Set of Software Degree Programs for One Domain / T. Shepard
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education / J. D. Tvedt ; R. Tesoriero ; K. A. Gary
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs / K. L. Modesitt ; D. Bagert ; L. Werth
Plenary Sessions
Software Engineering and the Internet / D. Sabbah
The Coming-of-Age of Software Architecture Research / M. Shaw
"Tolerating Inconsistency" Revisited / R. Balzer
Software Engineering Challenges: A CIO's Perspective / B. Voigt
Reuse That Pays / L. M. Northrop
Challenges and Achievements in Software Engineering / G. Engels ; W. Schafer
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives / V. Gruhn
Specification and Modeling: An Academic Perspective / M. Broy
Specification and Modeling: An Industrial Perspective / B. Selic
Invited Industry Presentations / F. Coallier ; D. Perry
Global Software Development: The Bell Labs Collaboratory / D. Atkins ; M. Handel ; J. Herbsleb ; G. Wills
Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck / M. Cheng
Software Engineering in a Startup / A. Ricciardi
Technology Drivers and Research Challenges of Future e-Business / S. Feldman
Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems / Y. Hanai ; M. Aoyama
Web Services and Software Engineering: Challenges and Opportunities / S. Weerawarana
Enterprise Methodology =/= Software Development Methdology / J. Q. Ning
Mining Selected Components: The Options Analysis for Reengineering (OAR) / D. Smith ; L. O'Brien ; J. Bergey
Achieving Usability through Software Architecture / L. Bass ; B. E. John
Frontiers of Software Practice / H. Muller
Enabling Technologies for the Future of Voice-Based Web Access / S. Woods
Jini Network Technology: Devices, Desires, and Designs
Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET / J. Hamilton
Collaborative Software Engineering / A. Brown
AntiPatterns in Software Architecture / T. Mobray
Dependability of Embedded Systems / J. Knight
Simple Object Access Protocol (SOAP) and Web Services / A. Ryman
Auditing Legacy Systems for Security and Survivability / T. Longstaff
Panels
Software Engineering Body of Knowledge (Swebok)
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Panel: Perspectives on Software Engineering
Tutorials
UML for Software Engineers / R. France ; C. Kobryn
The Intertwining between Risk and Project Management / K. Fruhauf
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience / K. Wallnau
From Use Cases to Code--Rigorous Software Development with UML / A. Zundorf
OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition / H. Younessi ; B. Henderson-Sellers
Describing Software Architecture with UML / P. Kruchten ; W. Kozazynski
Software Product Lines and Software Architecture Design
How to Do Inspections When There is No Time / D. Kelly
EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation / P. Grunbacher ; R. O. Briggs
Tutorial on Fundamental Concepts for Practical Software Architecture / A. Ran
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things / J. White
Improving Software Inspections by Using Reading Techniques / F. Shull ; I. Russ ; V. Basili
Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method
Hyper/J: Multi-Dimensional Separation of Concerns for Java / P. Tarr ; H. Ossher
Enterprise JavaBean Architecture and Design Issues
State, Event, Time and Diagram in System Modeling / J. S. Dong
From UML to Java, Building a 3-Tier Architecture: Case Study / T. Korson
Designing Concurrent, Distributed, and Real-Time Applications with UML / H. Gomaa
Using Transformation Systems for Software Maintenance and Reengineering / I. D. Baxter
Effective Software Architecture Design: From Global Analysis to UML Descriptions / R. L. Nord ; D. J. Paulish ; D. Soni ; C. Hofmeister
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) / D. Amyot ; G. Mussbacher
Introduction to the Attribute Driven Design Method / F. Bachmann
Workshops
2nd International Workshop on Living with Inconsistency
4th ICSE Workshop on "Software Engineering over the Internet" / F. Maurer
Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications / P. Knauber ; G. Succi
The Second International Workshop on Automated Program Analysis, Testing and Verification / N. Tracey ; J. Penix ; W. C. Visser
Workshop on Software Engineering and Mobility / G. P. Picco
ICSE Workshop on Software Visualization / W. De Pauw ; J. T. Stasko
Generative Techniques for Product Lines / G. Butler ; D. Batory ; K. Czarnecki ; U. Eisenecker
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms / M. Harman ; B. Jones
From Software Requirements to Architectures / J. Castro
3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web / J. Jahnke ; E. Stroulia ; K. Wong
Workshop to Consider Global Aspects of Software Engineering Professionalism / J. B. Thompson ; H. M. Edwards
Third International Workshop on Economics-Driven Software Engineering Research / D. Notkin ; W. Harrison
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction / I. Crnkovic ; H. Schmidt ; J. Stafford
SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries / A. van der Hoek
XML Technologies and Software Engineering / C. Mascolo ; A. Finkelstein
Workshop on Advanced Separation of Concerns in Software Engineering / W. Kozaczynski ; G. Larsen
1st Workshop on Open Source Software Engineering / J. Feller ; B. Fitzgerald
Doctoral Symposium
Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams / L. A. Campbell
Modeling and Controlling the Software Test Process / J. W. Cangussu
Using Software Component Generators to Construct a Meta-Weaver Framework / J. Gray
Supporting the Deployment of Object-Oriented Frameworks / D. Hou
Model Checking Distributed Objects Design / N. Kaveh
Web Engineering Device Independent Web Services / E. Kirda
Evolving Legacy Systems using Feature Engineering and CBSE / A. Mehta
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management / D. Smolko
Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process / R. P. Diaz Redondo ; J. J. Pazos Arias
Traceability for System Families / D. Streitferdt
David L. Parnas Symposium / D. Hoffman ; D. Weiss
New Software Engineering Faculty Symposium / L. Osterweil ; G. Silberman
Formal Research Demonstrations
Software Architecture
Model Processing Tools in UML / J. Koskinen ; J. Peltonen ; P. Selonen ; K. Koskimies
Architecture-Oriented Programming Using FRED / M. Hakala ; J. Hautamaki ; J. Paakki ; A. Viljamaa ; J. Viljamaa
Reuse and Integration
CodeWeb: Data Mining Library Reuse Patterns / A. Michail
Holmes: An Intelligent System to Support Software Product Line Development / J. Yip ; W. Pedrycz
Babel: Representing Business Rules in XML for Application Integration / H. Zhang
Verification and Maintenance
Jmocha: A Model Checking Tool that Exploits Design Structure / R. Alur ; L. de Alfaro ; R. Grosu ; T. A. Henzinger ; M. Kang ; C. M. Kirsch ; R. Majumdar ; F. Mang ; B. Y. Wang
Maintenance Support Tools for Java programs: CCFinder and JAAT / T. Kamiya ; F. Ohata ; K. Kondou ; S. Kusumoto ; K. Inoue
Using OCL-Queries for Debugging C++ / C. Hobatr ; B. A. Malloy
Author Index
Message from the Chairs
Conference Organization
Sponsors and Supporters
4.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture ; [edited by Jeffrey Arnold and Kenneth L. Pocek]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xi, 338 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by IEEE Computer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, Cadence, Intel
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xix, 720 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by Science Council of Japan ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1998  2 v. ; 28 cm
所蔵情報: loading…
7.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  x, 250 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
edited by Hon F. Li and David K. Probst
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi,310 p ; 24cm
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture ; edited by Kenneth L. Pocek and Jeffrey Arnold
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  x, 344 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Computer Society and the Technical Committee on Computer Architecture
出版情報: Piscataway, N. J. : IEEE, c2003  vi, 130 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼