close
1.

図書

図書
edited by Mathew A. Diethelm ... [et al.] ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet, IEEE Communications Society,
出版情報: Piscataway, N.J. : IEEE Service Center, c2002  x, 434 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Multiple-Valued Logic, University of Massachusetts, Boston
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  xi, 289 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Committee
Reviewers
Invited Talk
Equations in the Algebra of Logic / S. Rudeanu
Algebra I
Some Results on the Centralizers of Monoids in Clone Theory / H. Machida ; I. Rosenberg ; M. Miyakawa
Partial Hyperclones on a Finite Set / B. Romov
On the Structures of Weak Interlaced Bilattice / M. Kondo
Logical Design I
Improving the Characterization of p-Valued Threshold Functions / C. Moraga
A Conjunctive Canonical Expansion of Multiple-Valued Functions / E. Dubrova ; P. Farm
Sierpinski Gaskets for Logic Functions Representation / D. Popel ; A. Dani
Logic for Static Hazard Detection of Multiple-Valued Logic Circuits with Tsum, Min, and Literals / N. Takagi ; K. Nakashima
Circuits I
Multiple-Valued Data Recovery Techniques for Band-Limited Channels in VLSI / Y. Yuminaka ; T. Morishita ; T. Aoki ; T. Higuchi
An Impact of Introducing Multi-Level Signals to a Bandpass Cascaded Delta-Sigma Modulator / T. Waho ; S. Kobayashi ; K. Matsuura
Voltage Comparator Circuits for Multiple-Valued CMOS Logic / Y. Guo ; K. Current
Logical Design II
Efficient Calculation of Fixed-Polarity Polynomial Expressions for Multiple-Valued Logic Functions / D. Jankovic ; R. Stankovic ; R. Drechsler
Comparison of Different Features of Quaternary Reed-Muller Canonical Forms and Some New Statistical Results / K. Adams ; J. McGregor
Design and Implementation of Error Detection and Correction Circuitry for Multilevel Memory Protection / B. Polianskikh ; Z. Zilic
Parallel Evolutionary Graph Synthesis on a PC Cluster and Its Application to Multiple-Valued Circuit Synthesis / M. Natsui
Consequence and Complexity in Infinite-Valued Logic: A Survey / V. Marra ; D. Mundici
Spectral Techniques
Some Remarks on Linear Transform of Variables in Representation of Adders by Word-Level Expressions and Spectral Transform Decision Diagrams / J. Astola
Chrestenson Spectrum Computation Using Cayley Color Graphs / M. Thornton ; D. Miller ; W. Townsend
The Role of Super-Fast Transforms in Speeding Up Quantum Computations / K. Radecka
Multiple-Valued and Spectral Approach to Lossless Compression of Binary, Gray Scale and Color Biomedical Images / B. Falkowski ; B. Olejnicka
Circuits II
Design of Dynamic Reliability Indices / E. Zaitseva ; V. Levashenko
PODEM Based on Static Testability Measures and Dynamic Testability Measures for Multiple-Valued Logic Circuits / N. Kamiura ; T. Isokawa ; N. Matsui
Design of Ternary Schmitt Triggers Based on Its Sequential Characteristics / X. Wu ; P. Wang ; Y. Xia
Multiple-Valued Logic-in-Memory VLSI Based on Ferroelectric Capacitor Storage and Charge Addition / H. Kimura ; T. Hanyu ; M. Kameyama
Optimization of Multi-Valued Multi-Level Networks / M. Gao ; J. Jiang ; Y. Jiang ; Y. Li ; A. Mishchenko ; S. Sinha ; T. Villa ; R. Brayton
Algebra II
de Morgan Bisemilattice of Fuzzy Truth Value / H. Kikuchi
Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra / T. Ninomiya ; M. Mukaidono
On Functions Defined on Free Boolean Algebras / D. Simovici ; S. Jaroszewicz
Logical Design III
The Word-Level Models for Efficient Computation of Multiple-Valued Functions. Part 1: LAR Based Model / S. Yanushkevich ; P. Dziurzanski ; V. Shmerko
The Word-Level Models for Efficient Computation of Multiple-Valued Functions. Part 2: LWL Based Model / A. Tomaszewska
Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics / I. Polian ; P. Engelke ; B. Becker
Multiple-Valued-Digit Number Representations in Arithmetic Circuit Algorithms
Decision Diagrams
Variable Selection Heuristics and Optimum Decision Trees--An Experimental Study / N. Otsu
On the Construction of Multiple-Valued Decision Diagrams
Evaluation of Static Variable Ordering Heuristics for MDD Construction
Representations of Logic Functions Using QRMDDs / S. Nagayama ; T. Sasao ; Y. Iguchi ; M. Matsuura
Circuits III
Fully Source-Coupled Logic Based Multiple-Valued VLSI / T. Ike
A Current-Mode Folding/Interpolating CMOS Analog to Quaternary Converter Using Binary to Quaternary Encoding Block / S. Han ; S. Park ; H. Seong ; H. Kim
Multi-Valued Flip-Flop with Neuron-CMOS NMIN Circuits / M. Inaba ; K. Tanno ; O. Ishizuka
Author Index
Message from the General Chair
Message from the Program Committee
Reviewers
3.

図書

図書
sponsored by IEEE Computer Society
出版情報: Piscataway, N.J. : IEEE Service Center, c2002  xi, 259 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conference Organizers
Program Committee
Additional Acknowledgements
Keynotes
Software Project Prediction
An Empirical Validation of the Relationship between the Magnitude of Relative Error and Project Size / E. Stensrud ; T. Foss ; B. Kitchenham ; I. Myrtveit
On the Sensitivity of the COCOMO II Software Cost Estimation Model / P. Musilek ; W. Pedrycz ; N. Sun ; G. Succi
Estimating Software Project Effort by Analogy Based on Linguistic Values / A. Idri ; A. Abran ; T. M. Khoshgoftaar
Measurement for Object-Oriented Systems
Dynamic Coupling Measures for Object-Oriented Software / E. Arisholm
Architectural Tradeoffs at the Object Level / W.M. Evanco
Testability Analysis of a UML Class Diagram / B. Baudry ; Y. Le Traon ; G. Sunye
Maintenance and Evolution
Gemini: Maintenance Support Environment Based on Code Clone Analysis / Y. Ueda ; T. Kamiya ; S. Kusumoto ; K. Inoue
Avoiding Architectural Degeneration: An Evaluation Process for Software Architecture / M. Lindvall ; R. Tesoriero ; P. Costa
Software Quality Analysis Code Clones in Industrial Legacy Software / A. Monden ; D. Nakae ; S-I. Sato ; K-I. Matsumoto
Software Inspections
An Industrial Case Study to Examine a Non-Traditional Inspection Implementation for Requirements Specifications / O. Laitenberger ; T. Beil ; T. Schwinn
Investigating the Influence of Inspector Capability Factors with Four Inspection Techniques on Inspection Performance / S. Biffl ; M. Halling
Software Inspection Benchmarking--A Qualitative and Quantitative Comparative Opportunity / C. Wohlin ; A. Aurum ; H. Petersson ; F. Shull ; M. Ciolkowski
Web and Network Technology
A Comparison of Development Effort Estimation Techniques for Web Hypermedia Applications / E. Mendes ; I. Watson ; C. Triggs ; N. Mosley ; S. Counsell
A Generic Model and Tool Support for Assessing and Improving Web Processes / D. Rodriguez ; R. Harrison ; M. Satpathy
A Metric to Predict Software Scalability / E.J. Weyuker ; A. Avritzer
Models and Abstractions
An Empirical Study of the Impact of Count Models Predictions on Module-Order Models / T.M. Khoshgoftaar ; E. Geleyn ; K. Gao
Entropy-Metric for Systems with COTS Software / N. Chapin
Measuring Graph Abstractions of Software: An Information-Theory Approach / E.B. Allen
Fault Prediction
Program Risk Definition via Linear Programming Techniques / M. Pighin ; V. Podgorelec ; P. Kokol
Tree-Based Software Quality Estimation Models for Fault Prediction / N. Seliya
Methodological Issues
Experience from Replicating Empirical Studies on Prediction Models / M.C. Ohlsson ; P. Runeson
A New Approach to Factorization--Introducing Metrics / M. Dao ; M. Huchard ; T. Libourel ; C. Roume ; H. Leblanc
How Valuable is Company-Specific Data Compared to Multi-Company Data for Software Cost Estimation? / I. Wieczorek ; M. Ruhe
Workshop
What We Have Learned About Fighting Defects / V. Basili ; B. Boehm ; A. Winsor Brown ; D. Port ; I. Rus ; M. Zelkowitz
Author Index
Preface
Conference Organizers
Program Committee
4.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002  xxiii, 1185 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
[sponsored by the IEEE Computer Society Test Technology Technical Council, the IEEE Computer Society Technical Committee on Fault-Tolerant Computing]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  xiii, 441 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chairs
Organizing Committee
Program Committee
Yield I / Session 1:
Manufacturability Analysis of Analog CMOS ICs Through Examination of Multiple Layout Solutions / P. Khademsameni ; M. Syrzycki
Effect of Static Power Dissipation in Burn-In Environment on Yield of VLSI / A. Vassighi ; O. Semenov ; M. Sachdev ; A. Keshavarzi
Yield Estimates for the TESH Multicomputer Network / B. M. Maziarz ; V. K. Jain
Crosstalk Faults / Session 2:
A Simplified Gate-Level Fault Model for Crosstalk Effects Analysis / P. Civera ; L. Macchiarulo ; M. Violante
A Test-Vector Generation Methodology for Crosstalk Noise Faults / H. Hashempour ; Y.-B. Kim ; N. Park
Self-Checking and ABFT / Session 3:
A Parity Code Based Fault Detection for an Implementation of the Advanced Encryption Standard / G. Bertoni ; L. Breveglieri ; I. Koren ; P. Maistri ; V. Piuri
Designing Self-Checking FPGAs Through Error Detection Codes / C. Bolchini ; F. Salice ; D. Sciuto
Self-Checking 1-out-of-n CMOS Current-Mode Checker / J. Mathew ; E. Dubrova
Partially Duplicated Code-Disjoint Carry-Skip Adder / D. Marienfeld ; V. Ocheretnij ; M. Gossel ; E. S. Sogomonyan
Input Ordering in Concurrent Checkers to Reduce Power Consumption / K. Mohanram ; N. A. Touba
Fault Simulation and Injection I / Session 4:
New Methods for Evaluating the Impact of Single Event Transients in VDSM ICs / D. Alexandrescu ; L. Anghel ; M. Nicolaidis
Injecting Bit Flip Faults by Means of a Purely Software Approach: A Case Studied / R. Velazco ; A. Corominas ; P. Ferreyra
Gate-Delay Fault Diagnosis Using the Inject-and-Evaluate Paradigm / H.-B. Wang ; S.-Y. Huang ; J.-R. Huang
Scan Design / Session 5:
Scan Architecture for Shift and Capture Cycle Power Reduction / P. M. Rosinger ; B. M. Al-Hashimi ; N. Nicolici
Inserting Test Points to Control Peak Power During Scan Testing / R. Sankaralingam
Adaptable Voltage Scan Testing of Charge-Sharing Faults for Domino Circuits / C.-H. Cheng
Test Application / Session 6:
Matrix-Based Test Vector Decompression Using an Embedded Processor / K. J. Balakrishnan
Data Compression for System-on-Chip Testing Using ATE / F. Karimi ; W. Meleis ; Z. Navabi ; F. Lombardi
Test Generation / Session 7:
Fortuitous Detection and Its Impact on Test Set Sizes Using Stuck-At and Transition Faults / J. Dworak ; J. Wingfield ; B. Cobb ; S. Lee ; L.-C. Wang ; M. R. Mercer
Test Time Reduction in a Manufacturing Environment by Combining BIST and ATE / F. J. Meyer
Testing Digital Circuits with Constraints / A. A. Al-Yamani ; S. Mitra ; E. J. McCluskey
Concurrent Error Detection / Session 8:
On-Line Testing of Transient Faults Affecting Functional Blocks of FCMOS, Domino and FPGA-Implemented Self-Checking Circuits / C. Metra ; S. Di Francescantonio ; G. Marrale
Self-Checking and Fault Tolerance Quality Assessment Using Fault Sampling / F. M. Goncalves ; M. B. Santos ; I. C. Teixeira ; J. P. Teixeira
A Memory Overhead Evaluation of the Interleaved Signature Instruction Stream / F. Rodriguez ; J. C. Campelo ; J. J. Serrano
Fault-Tolerant CAM Architectures: A Design Framework / M. G. Sami ; R. Stefanelli
Fault Simulation and Injection II / Session 9:
Using Run-Time Reconfiguration for Fault Injection in Hardware Prototypes / L. Antoni ; R. Leveugle ; B. Feher
A Fault Hypothesis Study on the TTP/C Using VHDL-Based and Pin-Level Fault Injection Techniques / S. Blanc ; J. Gracia ; P. J. Gil
Fault List Compaction Through Static Timing Analysis for Efficient Fault Injection Experiments / M. Sonza Reorda
Interconnect / Session 10:
Performance of Deadlock-Free Adaptive Routing for Hierarchical Interconnection Network TESH / S. Horiguchi ; Y. Miura
Modeling of FPGA Local/Global Interconnect Resources and Derivation of Minimal Test Configurations / X. Sun ; A. Alimohammad ; P. Trouborst
Testing Layered Interconnection Networks
Yield II / Session 11:
Repair Yield Simulation with Iterative Critical Area Analysis for Different Types of Failure / Y. Hamamura ; K. Nemoto ; T. Kumazawa ; H. Iwata ; K. Okuyama ; S. Kamohara ; A. Sugimoto
Yield Modeling of a WSI Telcom Router Architecture / B. Qiu ; Y. Savaria ; M. Lu ; C. Wang ; C. Thibeault
System-on-Chip Test / Session 12:
Fast and Energy-Frugal Deterministic Test Through Test Vector Correlation Exploitation / O. Sinanoglu ; A. Orailoglu
Adaptive Test Scheduling in SoC's by Dynamic Partitioning / D. Zhao ; S. Upadhyaya
Feasibility of CED / Session 13:
Duplication-Based Concurrent Error Detection in Asynchronous Circuits: Shortcomings and Remedies / T. Verdel ; Y. Makris
Feasibility Study of Designing TSC Sequential Circuits with 100% Fault Coverage / S. J. Piestrak
Test / Session 14:
Emulation-Based Design Errors Identification / A. CasteInuovo ; A. Fin ; F. Fummi ; F. Sforza
A New Functional Fault Model for FPGA Application-Oriented Testing / M. Rebaudengo
Neighbor Current Ratio (NCR): A New Metric for I[subscript DDQ] Data Analysis / S. S. Sabade ; D. M. H. Walker
CMOS Standard Cells Characterization for I[subscript DDQ] Testing / W. A. Pleskacz ; T. Borejko ; W. Kuzmicz
On-Chip Jitter Measurement for Phase Locked Loops / T. Xia ; J.-C. Lo
Neural Networks-Based Parametric Testing of Analog IC / V. Stopjakova ; D. Micusik ; L. Benuskova ; M. Margala
Reliable and Repairable Memories / Session 15:
Balanced Redundancy Utilization in Embedded Memory Cores for Dependable Systems / M. Choi ; Y. B. Kim
Repairability Evaluation of Embedded Multiple Region DRAMs / Y. Chang
Author Index
TTTC Information
Message from the Symposium Chairs
Organizing Committee
Program Committee
6.

図書

図書
sponsored by IEEE Computer Society, IEEE CS Virtual Intelligence Task Force ; in cooperation with The Information Technology Research Institute, Wright State University, AIIS Inc
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiv, 375 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Committees
Conference Schedule
Multi-Agents and Distributed AI / Session 1:
Towards Ontological Reconciliation for Agents / L. Sterling ; K. Lister
Transaction Oriented Computational Models for Multi-Agent Systems / K. Ramamohanarao ; J. Bailey ; P. Busetta
Resource Coordination in Single Agent and Multiagent Systems / G. Edwin ; M. T. Cox
Smart Cars as Autonomous Intelligent Agents / N. Bourbakis ; M. Findler
Interleaved Backtracking in Distributed Constraint Networks / Y. Hamadi
A Multi-Agent System to the Common Management of a Renewable Resource: Application to Water Sharing / M. Le Bars ; J. M. Attonaty
Using Software Agents to Avoid Collisions Among Multiple Robots / M. Jager
Reasoning / Session 2:
RaBeCa: A Hybrid Case-Based Reasoning Development Environment / R. B. Sovat ; S. M. Aluisio ; A. C. P. L. F. de Carvalho
Automatic Knowledge Acquisition from Subject Matter Experts / M. Boicu ; G. Tecuci ; B. Stanescu ; D. Marcu ; C. Cascaval
Inconsistent Requirements: An Argumentation View / L. Perrussel ; P.-J. Charrel
Perfect Sequences for Belief Networks Representation / R. Jirousek ; J. Vejnarova
A Decentralized Model-Based Diagnostic Tool for Complex Systems / Y. Pencole ; M.-O. Cordier ; L. Roze
Alma/Carne: Implementation of a Time-Situated Meta-Reasoner / K. Purang
Towards a General Theory for Qualitative Space / B. A. El-Geresy ; A. I. Abdelmonty
Genetic Algorithms / Session 3:
Dynamic Load-Balancing via a Genetic Algorithm / W. A. Greene
Parallel Genetic Programming for Decision Tree Induction / G. Folino ; C. Pizzuti ; G. Spezzano
New Hybrid Genetic Algorithms for the Frequency Assignment Problem / M. Alabau ; L. Idoumghar ; R. Schott
Planning / Session 4:
Fast Suboptimal Planning with Nexus States / W. Briggs ; B. Dawson
An Architecture for Planning in Uncertain Domains / M. E. Agueda ; P. H. Ibarguengoytia
A Metaheuristic for the Pickup and Delivery Problem with Time Windows / H. Li ; A. Lim
Machine Learning and Data Mining / Session 5:
An Effective Method for Generating Multiple Linear Regression Rules from Artificial Neural Networks / R. Setiono ; A. Azcarraga
Data Flow Coherence Criteria in ILP Tools / S. Muresan ; T. Muresan ; R. Potolea
Comparing Keyword Extraction Techniques for WEBSOM Text Archives / A. P. Azcarraga ; T. N. Yap, Jr.
Developing Collaborative Golog Agents by Reinforcement Learning / I. A. Letia ; D. Precup
Combinatorial Optimization through Statistical Instance-Based Learning / O. Telelis ; P. Stamatopoulos
Empirical Study of a Stacking State-Space / A. Ledezma ; R. Aler ; D. Borrajo
Mining First-Order Knowledge Bases for Association Rules / H. M. Jamil
Visualization Support for User-Centered Model Selection in Knowledge Discovery in Databases / T. B. Ho ; T. D. Nguyen
Generation of Propagation Rules for Intentionally Defined Constraints / S. Abdennadher ; C. Rigotti
Natural Language Processing and Information Retrieval / Session 6:
B-Course: A Web Service for Bayesian Data Analysis / P. Myllymaki ; T. Silander ; H. Tirri ; P. Uronen
An Expert Recommendation System Using Concept-Based Relevance Discernment / T. Yukawa ; K. Kasahara ; T. Kato ; T. Kita
A Robust Model for Intelligent Text Classification / R. Basili ; A. Moschitti
Corefdraw--A Tool for Annotation and Visualization of Coreference Data / S. M. Harabagiu ; R. C. Bunescu ; S. Trausan-Matu
Word Semantics for Information Retrieval: Moving One Step Closer to the Semantic Web / R. F. Mihalcea ; S. I. Mihalcea
High Precision Logic Form Transformation / V. Rus
Software Engineering / Session 7:
Loop--A Language for LP-Based AI Applications / A. Suciu ; K. Pusztai ; Z. Simon
Shamash: An AI Tool for Modeling and Optimizing Business Processes / D. Camacho ; A. Sierra-Alonso
An On-Line Repository for Embedded Software / I.-L. Yen ; L. Khan ; B. Prabhakaran ; F. B. Bastani ; J. Linn
Constraint Satisfaction / Session 8:
A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts / S. Loudni ; P. Boizumault
Pickup and Delivery with Time Windows: Algorithms and Test Case Generation / H. C. Lau ; Z. Liang
Successive Search Method for Valued Constraint Satisfaction and Optimization Problems / M. Tounsi ; P. David
Applications / Session 9:
Maintaining Credible Dialogs in a VideoBot System with Special Audio Techniques / D. DeGroot
Maximizing Paper Spread in Examination Timetabling Using a Vehicle Routing Method / W.-K. Ho ; W.-C. Oon
Artificial Neural Networks in Hydrological Watershed Modeling: Surface Flow Contribution from the Ungauged Parts of a Catchment / R. Chibanga ; J. Berlamont ; J. Vandewalle
Author Index
Message from the General Chair
Message from the Program Chair
Committees
7.

図書

図書
edited by Rakesh Agrawal, Klaus Dittrich and Anne H.H. Ngu ; sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  xix, 735 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Procesing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2001  xi, 269 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Program Co-Chairs' Message
Workshop Organizers
Program Committee
Referees
Emerging Standards
The Emerging Real-Time Standard / B. Selic
Strong Replica Consistency for Fault-Tolerant CORBA Applications / P. Narasimhan ; L. Moser ; P. Melliar-Smith
Distributed Systems
Time vs. Space in Fault-Tolerant Distributed Systems / B. Charron-Bost ; X. Defago ; A. Schiper
Fault Management in ECLIPSE / G. Bond ; C. Fetzer
COPE: Consistent 0-Administration Personal Environment / P. Yalagandula ; L. Alvisi ; M. Dahlin ; H. Vin
Performance
A Middleware Implementation and Performance Evaluation of the SNS Scheme for Network Surveillance / K. Kim ; J. Liu
Modeling and Analysis of the Behaviour of GPRS Systems / F. Tataranni ; S. Porcarelli ; F. Di Giandomenico ; A. Bondavalli ; L. Simoncini
Measuring the Cost of Scalability and Reliability for Internet-Based, Server-Centered Applications / P. Ezhilchelvan ; M. Khayyambashi ; G. Morgan ; D. Palmer
Component-Based Systems
The Use of Automata in Modelling and Building a Real-Time Component Based System / T. Jones ; L. Blair
An Implementation of Electronic Shopping Cart on the Web System Using Component-Object Technology / S. Uehara ; O. Mizuno ; T. Kikuno
Framework for Component-Based Development of Distributed Real-Time Systems / C. Villela ; L. Becker ; C. Pereira
Component Based Software Engineering for Resource-Constraint Systems / D. Hammer ; M. Chaudron
Panel Session
What are the Most Urgent Research Problems of Component-Based Software Engineering for Resource-Constraint Systems? / A. Schurr ; C. Becchetti
Dependable Systems
Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version / P. Townend ; J. Xu ; M. Munro
Role-Based Security for Configurable Distributed Control Systems / M. Hauf ; J. Schwarz ; A. Polze
Composing Dependable Real Time Software of Function Blocks / W. Halang ; S. Mostert
Real-Time System Models
Architectural Significant Package (ASP): The Fundamentals of Object-Oriented Architecture Modeling for Real-Time Embedded Applications / D. Zhang ; J. Brown
Automatic Implementation of Real-Time Object-Oriented Models and Schedulability Issues / S. Kim ; S. Cho ; S. Hong
Super Actors for Real Time / G. Fortino ; L. Nigro ; F. Pupo ; D. Spezzano
Distributed Objects
Using Semantic Knowledge of Distributed Objects to Increase Reliability and Availability / P. Felber ; B. Jai ; R. Rastogi ; M. Smith
Real-Time Based Strong Consistency for Distributed Objects / F. Torres-Rojas ; M. Ahamad ; M. Raynal
Adaptive Protocols for Survivability of Transactions Operating on Replicated Objects / H. Wedde ; S. Bohm ; W. Freund
CORBA
Client-Side Enhancements Using Portable Interceptors / R. Friedman ; E. Hadad
Failure Management for FT-CORBA Applications / R. Baldoni ; C. Marchetti ; A. Virgillito ; F. Zito
Real-Time Systems
Open Multithreaded Transactions: Keeping Threads and Exceptions under Control / J. Kienzle ; A. Romanovsky ; A. Strohmeier
Towards Universal Software Substrate for Distributed Embedded Systems / T. Nakajima
Dealing with Tasking Overload in Object-Oriented Real-Time Applications Design / M. Colnaric ; D. Verber
Middleware for Real-Time Distributed Objects: Needs and Requirements from Different Application Domains / R. Tuner ; R. Van den Berg ; C. Batini ; G. Bolella ; L. Bacellar ; S. Razdan
Visualization
Multimedia Presentation: Generic and Implementation Model / I. Uros ; S. Starcevic ; T. Uros
An Environment for Generating Visual Applications Involving Real-Time Remote Procedure Calls / R. Villela ; R. Mello ; C. Moron
A Generic Visualization Framework to Help Debug Mobile-Object-Based Distributed Programs Running on Large Networks / A. Wong ; T. Dillon ; M. Ip ; W. Lin
Communication
Ordered Delivery of Messages for Various Types of Invocations in Object-Based Systems / Y. Timura ; K. Tanaka ; M. Takizawa
Issues in Message Passing for a Tele-Immersive Experience / R. Prakash
The Design of RT-Appia / J. Rodrigues ; H. Miranda ; J. Ventura ; L. Rodrigues
Author Index
Program Co-Chairs' Message
Workshop Organizers
Program Committee
9.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001  xx, 647 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Program Overview
Conference Organizers
Program Committee
Reviewers
Opening Session / Terry Heng
Plenary Session 1 / Raymond A. Paul
Plenary Session 2
Keynote Address 1
The Wireless On-Ramp: Always On, Anywhere Computing / Mary Chan
Requirements Engineering / Paper Session 1A:
Business Rules Specification, Enforcement and Distribution for Heterogeneous Environments / D. Rosca ; J. D'Attilio
Visualization Issues for Software Requirements Negotiation / H. In ; S. Roy
Component-Based Development / Paper Session 1B:
Component-Based Design of Large-Scale Distributed Systems / F. Barbier
A Configuration Management System Supporting Component-Based Software Development / L. Zhang ; H. Mei ; H. Zhu
Converting Web Applications to Data Components: Design Methodology / J. Pazdziora
Protocols and Harmonization / Albert K. HawkesPaper Session 1C:
A Long and Winding Road (Progress on the Road to a Software Engineering Profession) / J.B. Thompson
Harmonized Conformance Testing for Product Data Managers / D. Flater ; K.C. Morris
Exploiting Automatic Analysis of E-Commerce Protocols / J. Wei ; S-C. Cheung ; X. Wang
Large Scale Software Development: What Have We Learned? / Panel 1D:
Reverse Engineering and Re-Engineering / Paper Session 2A:
ELKAR: A Component Based Re-engineering Methodology to Provide Cooperation / P. Roose
JBOORET: An Automated Tool to Recover OO Design and Source Models / T. Xie ; F. Yang
MOOSE--A Task-Driven Program Comprehension Environment / J. Rilling ; A. Seffah
Quality Management / Paper Session 2B:
Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates / S. Biffl ; M. Halling
A Memory-Based Reasoning Approach for Assessing Software Quality / R.A. Paul ; V.U.B. Challagulla ; F.B. Bastani ; I-L. Yen
Quality Planning for Software Development / T. Walton
Software Architecture: Impact on Software Development / Panel 2C:
From Software Architectue to Implementation with UML / C. Hofmeister ; R. Nord
The Costs of Open Source/Experiences / Panel 2D:
Workflow Systems / Hongji YangPaper Session 3A:
Designing Role Hierarchies for Access Control in Workflow Systems / R.A. Botha ; J.H.P. Eloff
Retrofitting Workflows for B2B Assembly / A.P. Barros ; A.H.M. ter Hofstede ; C. Szyperski
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing / J. Cao ; C. Chan ; K. Chan
Software Architecture / Brian Henderson-SellersPaper Session 3B:
An Architectural Model for Service-Based Flexible Software / K. Bennett ; J. Xu ; M. Munro ; Z. Hong ; P. Layzell ; N. Gold ; D. Budgen ; P. Brereton
Formal Design of Real-Time Components on a Shared Data Space Architecture / U. Hannemann ; J. Hooman
Information Theoretic Metrics for Software Architectures / M. Shereshevsky ; H. Ammari ; N. Gradetsky ; A. Mili ; H.H. Ammar
Does SEI Level 5 Lead to High Quality Software? / Panel 3C:
Telecommunications Software: Age before Beauty? / Panel 3D:
Keynote Address 2
Design and Anti-Design in the Birth of the World-Wide Web: Stories of Software Engineering for the Web before Standards / Tim Krauskopf
Software Testing 1 / Paper Session 4A:
Automatic Generation of Database Instances for White-Box Testing / J. Zhang ; C. Xu
End-To-End Integration Testing Design / W-T. Tsai ; X. Bai ; W. Shao ; V. Agarwal
Fault-Based Testing in the Absence of an Oracle / T.Y. Chen ; T.H. Tse ; Z. Zhou
Distributed Systems 1 / Paper Session 4B:
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message Triggered Objects / G. Gimenez ; K.H. Kim
Certificate Based Authorization Simulation System / J. Dai ; J. Alves-Foss
An Election Based Approach to Fault-Tolerant Group Membership in Collaborative Environments / J.S. Pascoe ; R.J. Loader ; V.S. Sunderam
Unified Modeling Language (UML) / Paper Session 4C:
Automated Generation of Statistical Test Cases from UML State Diagrams / P. Chevalley ; P. Thevenod-Fosse
Formal and Use-Case Driven Requirement Analysis in UML / X. Li ; Z. Liu ; J. He
Model Driven Process Engineering / E. Breton ; J. Bezivin
Designing Process: Taming the Web Development Cycle / Panel 4D:
Safety and Security / A. Steele ; R. CarterPaper Session 5A:
Back-End Software for Highly Dependable Real-Time Control Systems / Y. Domaratsky ; M. Perevozchikov ; A. Ingulets ; A. Alkhovik
EC-SignGate: Electronic Contract Signing Gateway / M-C. Pong
A Novel Intrusion Detection System Model for Securing Web-Based Database Systems / W. Shu ; D.T.H. Tan
Distributed Systems 2 / Paper Session 5B:
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems / L-S. Cheung ; Y-K. Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments / S.S. Yau ; F. Karim
QAME: QoS-Aware Management Environment / L.Z. Granville ; L.M.R. Tarouco
Formalizing UML Semantics / Panel 5C:
A Metamodel-Based Approach to Formalizing UML / X. He ; B.H.C. Cheng
End-to-End Integration Testing / Panel 5D:
End-to-End Integration Testing in CBSD
Commercial Off-The-Shelf Components / Paper Session 6A:
DSIAS: A Software Architectural Style for Distributed Software Integration Systems / Z-W. Hong ; J-M. Lin ; H.C. Jiau ; D-S. Chen
Empirical Software Simulation for COTS Glue Code Development and Integration / J. Baik ; N. Eickelmann ; C. Abts
Metrics-Guided Quality Management for Component-Based Software Systems / S. Sedigh-Ali ; A. Ghafoor
Process Case Studies / Paper Session 6B:
E-Adome: Enacting Composite E-Services in an Advanced Workflow Environment / D.K.W. Chiu ; K. Karlapalem ; Q. Li
An Empirical Study of Software Productivity / S. Morasca ; G. Russo
Test Operation-Driven Approach on Building Regression Testing Environment / H. Suganuma ; K. Nakamura ; T. Syomura
Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture / S. Baranov ; V. Kotlyarov
An Editing System for Working Processes / Y-S. Chen ; F-J. Wang
The Position of E-Learning Application Software / Panel 6C:
The Position of E-Learning Systems in 2001 / E. Cloete ; M. van der Merwe
Debunking some Common Misconceptions on E-Learning / U. Buy
Building the Infrastructure of E-University / T.Y. Lin ; Y. Liu ; W. Luo ; X. Sun ; H. Zhou
E-Learning in 2001 / P.K. Wiesner
3G and Wireless Infrastructure: Impacts on Developers and Users / Panel 6D:
Keynote Address 3
Information Technology Research Agenda: New Developments and Ambitions / Ruzena Bajcsy
Software Testing 2 / Paper Session 7A:
Formalization of Software Testing Criteria Using the Z Notation / S. Vilkomir ; J. Bowen
Integrating White- and Black-Box Techniques for Class-Level Regression Testing / S. Beydeda ; V. Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development
Web-Based Systems / Paper Session 7B:
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security, E-Commerce, and Software Provisioning / D. Mennie ; B. Pagurek
A Rough Set Based Self-Adaptive Web Search Engine / B. Xu ; W. Zhang ; H. Yang ; W.C. Chu
Supporting Web Development in the OPEN Process: Additional Tasks / B. Haire ; B. Henderson-Sellers ; D. Lowe
What are the Missing Elements in SE Research and What Next? / Panel 7C:
Object-Oriented Development / Paper Session 8A:
The Exu Approach to Safe, Transparent and Lightweight Interoperability / J.F. Bubba ; A. Kaplan ; J.C. Wileden
Task and Team Management in the Distributed Software Project Management Tool / H.E. Lam ; P. Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments / D. Turgut ; N. Aydin ; R. Elmasri ; B. Turgut
Embedded Systems / Paper Session 8B:
Algebraic Transformations in Regular Array Design / T.P. Plaks
A Case Study on Formal Design of Hybrid Control Systems / H.K. Thae ; D.V. Hung
Reducing Matching Time for OPS5 Production Systems / J.A. Kang ; A.M.K. Cheng
Agent Technology and Frameworks / Paper Session 9A:
Accomplishing Adaptability in Simulation Frameworks: The Bubble Approach / J.A.D. Pace ; F.U. Trilnik ; M.R. Campo ; M.E. Fayad
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures / S. Karnouskos
Implementing an Agent System Using N-Tier Pattern-Based Framework / J-N. Chen ; C-Y. Lee
Industry Application Case Studies / Paper Session 9B:
An Application of Data Warehouse Technology to the Measurement System for UML-Based Artifacts / T. Fujii ; Y. Kambayashi
Availability Requirement for Fault Management Server / J.J. Han ; H. Sun ; H. Levendel
InfoSleuth: Agent-Based System for Data Integration and Analysis / T. Ksiezyk ; G. Martin ; Q. Jia
Java in Industrial Automation--A Virtual PLC / M. Grabner ; G. Leonhartsberger ; A. Leutgeb ; J. Altmann
Plenary Panel Session: Trends of Software Technology to Meet Changing Environments
Software Testing 3 / Paper Session 10A:
PePPeR: A New Model to Bridge the Gap between User and Designer Perceptions / B.M. Subraya ; S.V. Subrahmanya ; J.K. Suresh ; C. Ravi
Requirement-Based Automated Black-Box Test Generation / L.H. Tahat ; B. Vaysburg ; B. Korel ; A.J. Bader
Scenario-Based Functional Regression Testing / L. Yu
Data Mining / Paper Session 10B:
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios / C-H. Yun ; K-T. Chuang ; M-S. Chen
An Efficient Hash-Based Method for Discovering the Maximal Frequent Set / D-L. Yang ; C-T. Pan ; Y-C. Chung
Mining Market Value Functions for Targeted Marketing / Y.Y. Yao ; N. Zhong
Metrics and Measurement / Paper Session 11A:
An Assessment Approach to Analyzing Benefits and Risks of Product Lines / K. Schmid
CLPKIDS: A Program Analysis System for Concurrent Logic Programs / J. Zhao ; J. Cheng ; K. Ushijima
Measuring the Intensity of Object Coupling in C++ Programs / C-S. Ma ; C.K. Chang ; J. Cleland-Huang
Extensible Markup Language (XML) / Paper Session 11B:
Building and Managing XML/XSL-Powered Web Sites: An Experience Report / C. Kerer ; E. Kirda ; M. Jazayeri ; R. Kurmanowytsch
Using SOAP to Clean up Configuration Management / P. O'Connell ; R. McCrindle
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking / B. Zhang ; K. Ding ; J. Li
Design Patterns and Frameworks / Paper Session 12A:
An Unsupervised Segmentation Framework for Texture Image Queries / S-C. Chen ; M-L. Shyu ; C. Zhang
Coupling of Design Patterns: Common Practices and Their Benefits / W.B. McNatt ; J.M. Bieman
Exception Handling in Component-Based System Development / A. Romanovsky
E-Commerce / Paper Session 12B:
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business / C.P. Leguizamo ; S. Kato ; K. Hirai ; K. Mori
Multi-Criteria Transaction for E-Commerce Applications / P. Li ; J. Goluguri ; A. Tai
Tailoring E-Commerce Sites to Ease Recovery after Disruptions / K. Renaud ; T. van Dyk
Data Mining and E-Organizations / Workshop 1:
Index Miner: A Data Mining System / I-J. Chiang
Melanoma Prediction Using Data Mining System LERS / J.P. Grzymala-Busse ; J.W. Grzymala-Busse ; Z.S. Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets / S. Hirano
Category-Based Web Personalization System / C.C. Lee ; W. Xu
Decision Logics for Knowledge Representation in Data Mining / T-F. Fan ; W-C. Hu ; C-J. Liau
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents: Coordination of Action Rules to Increase Global Profit / Z. Ras
Security and Privacy in Virtual Organization / B. Thuraisingham
On Modeling Data Mining with Granular Computing / S. Tsumoto
Integration of Component-Based Systems: Issues and Solutions / Workshop 2:
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
Architectural Support for Integration in Distributed Reactive Systems / M. Boasson
Case Study of Wireless Integration Project / A. Sampath
Author Index
Foreword
Preface
Program Overview
10.

図書

図書
sponsored by IEEE Computer Society : co-sponsored by IPS of Japan, IEICE Communications Society of Japan ; in cooperation with Osaka University ; supported by the Telecommunications Advancement Foundation of Japan, International Communications Foundation of Japan
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000  xiii, 338 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼