Message from the ECBS Technical Committee Chairman
Conference Committee
Steering Committee
Program Committee
Keynote Speaker / Dr Bruce Shriver
Distributed Systems
Integrating CAD and CAM via CORBA / D. Yoon ; F. Shaikh
An Algorithm for Tolerating Crash Failures in Distributed Systems / V. De Florio ; G. Deconinck ; R. Lauwereins
A Choice of SM/DM Parallel ANN Implementation for Embedded Applications / V. Dvorak ; R. Cejka
Architecture 1
Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD) / T. O'Neill ; J. Leaney ; P. Martyn
A Component-Based Architecture for Software Communication Systems / M. Jung ; E. Biersack
SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment / J. van Gurp ; J. Bosch
Invited Paper
Limited Software Warranties / Jeffrey M. Voas
Modeling 1
Modeling and Simulating Functional and Timing Aspects of Real-Time Systems by Delegated Execution / M. Naedele
Java-Prototyping of Hardware/Software CBS Using a Behavioral OO Model / B. Mendelhaum ; R. Gallant ; J-F. Brette ; C. Ducateau
Designing a Model-Based Interaction Planner with Dialogue Analysis / J. Cook ; T. Khan
Components and Reuse 1
A Survey of Software Reuse Repositories / J. Guo ; Luqi
Information Required for the Success Geographically Distributed Software Engineering of Components and Component-Based Systems / P. Taylor ; T. Anderson ; P. Nicholl
On the Design of ORBIT / M. Rangarajan ; N. Abu-Ghazaleh ; I. Mutabanna ; D. Dieckman ; B. Farooqi ; A. Rajkhowa ; S. Doumit ; A. Venkataraman ; C. Kong ; R. Kamath ; P. Alexander
Architecture 2 / Prof Ian Sommerville
A Co-Operative Object-Oriented Architecture for Adaptive Systems / R. de Lemos
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems / R. Stolle ; W. Rossak ; V. Kirova
Enhancing Architectural Mismatch Detection with Assumptions / S. Uchitel ; D. Yankelevich
Instrumentation and Industrial Control 1
Coupling Architectures for Low- Level Fieldbusses / M. Sveda ; R. Vrba ; F. Zezulka
The Virtual Automation Lab -- Web Based Teaching of Automation Engineering Concepts / D. Buhler ; W. Kuchlin ; G. Gruhler ; G. Nusser
Truly Distributed Control Systems Using Fieldbus Technology / A. Scott ; W. Buchanan
Instrumentation and Industrial Control 2
Component-Based Control System / A. Speck
The Use of Architecture Description Languages to Describe a Distributed Measurement System / G. Georg ; S. Seidman
Agents
Integrating the Components of an Intelligent Telecom Design Tool into an Agent-Based Framework / A. Eberlein ; R. Kremer
Monitoring of Distributed Processes with Mobile Agents / R. Kennedy ; F. Kurfess
Software Agents and Computer Network Security / J. Pikoulas ; M. Mannion
Enhancing Network Management Using Mobile Agents / M. Naylor
Components and Reuse 2
A Component Coordination Model for Customization and Composition of Component-Based System Design / M. Olarnsakul ; D. Batanov
PuLSE-I: Deriving Instances from a Product Line Infrastructure / J. Bayer ; C. Gacek ; D. Muthig ; T. Widen
Development Experiences of a Component-Based System / M. Larsson ; I. Crnkovic
Design
Multimedia Systems - On the Ergonomic Design and Evaluation of User Interfaces and System Structures / G. Schade
Formal Parameters Synthesis for Track Segments of a Subway Mesh / A. Bonifacio ; A. Moura ; J. Camargo Jr. ; J. de A. Jr.
Design Tool Integration: An Exercise in Semantic Interoperability / G. Karsai
Ensuring Structure and Behavior Correctness in Design Composition / J. Dong ; P. Alencar ; D. Cowan
Requirements and Specification 1 / Stuart Arnold
Refinement in Requirements Specification and Analysis: A Case Study / E de Jong ; J van de Pol ; J. Hooman
System Specification in Rosetta / D. Barton
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling / S. Schulz ; T. Ewing ; J. Rozenblit
Verification and Validation
Application of Factorial Design to Validation of System Performance / T. Berling ; P. Runeson
Assisting the Definition and Execution of Test Suites for Complex Systems / J. Garbajosa ; M. Alandes ; M-A. Mahillo ; M. Piattini
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements / B. Melhart ; S. White
Modeling 2
Model Checking the Java Meta-Locking Algorithm / S. Basu ; S. Smolka ; O. Ward
Support for Representation of Functional Behavior Specifications in AP-233 / E. Herzog ; A. Torne
Systematic Derivation of Operational Scenarios Using ECSAM / J. Lavi ; J. Kudish
Process Support
A Java-Based CSCW Tool for Supporting Software Processes / Z. Zhiying ; L. Haipeng
Scenario-Based Software Process / K. Breitman ; J. Leite
Working Group Meetings
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems / F. Pichler ; C. Rattray
IEEE ECBS'99 TC Architecture Working Group (AWG) Report / D. Rowe ; H. Simpson ; J. Weiss ; Z. Papp ; T. Bapty ; B. Purves ; G. Horvath ; E. de Jong
Forensic ECBS: A Situational Assessment / D. Dalcher
Smooth Seas - Rough Sailing: The Case of the Lame Ship
ECBS Education and Training Working Group Report
Standards Focus Group / H. Lawson
Author Index
Preface
Message from the ECBS Technical Committee Chairman
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and Software
出版情報:
Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000 xiii, 240 p. ; 28 cm
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong
Application of Formal Methods to Railway Systems / Jim Woodcock
Global Information Processing Technology
Opening Address / Kenji Ohmori
Invited Speech
Complexity: Concept, Causes and Control / John A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart
Parallel Sessions
System Modeling / Jeff A. OffuttSession 1：
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey
Special Session: Network Software I / Yasushi WakaharaSession 2：
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze
Systems Development / Paolo Nesi
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen
Using the Right Tool for the Job / W. Howerton
Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin
Closing Address / Yoshiaki Kakuda
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap
Special Session: Formal Engineering Method--SOFL
SOFL Language and Method for Software Development
Reusable Semantics for SOFL / J. Dong
Generating Test Data from SOFL Specifications / J. Offutt
Software Verification, Management, and Business Application Using SOFL / H. Tomioka ; F. Nagoya
Dynamically Detecting Relevant Program Invariants / Alexander D. Stoyen ; David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding
Automated Result Verification with AWK / B. Bakar ; T. Janowski
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama
Communication and Control Systems / Kenji Toda
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe
Cost Models for Electronic Architecture Trade Studies / J. Axelsson
sponsored by Oregon Center for Advanced Technology Education ...[et al.] ; supported by School of Engineering and Applied Science, Portland State University ...[et al.]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society Press, c2000 xiv, 468 p. ; 28 cm
Computational Neurobiology Meets Semiconductor Engineering / D. Hammerstrom
Neural and Threshold Nets / Session 2a：
Multi-Valued Logic Pass Gate Network Using Neuron-MOS Transistors / J. Shen ; M. Inaba ; K. Tanno ; O. Ishizuka
The Synthesis of Multiple-Valued Logic Circuits Using Local-Excitation-Type Neuron Models / M. Matsumoto ; Y. Ueda ; I. Nomoto
Multi-Input Variable-Threshold Circuits for Multi-Valued Logic Functions / M. Syuto
The Computing Capacity of Three-Input Multiple-Valued One-Threshold Perceptrons / A. Ngom ; I. Stojmenovic ; R. Tosic
Spectral Methods / Session 2b：
MDD-Based Synthesis of Multi-Valued Logic Networks / R. Drechsler ; M. Thornton ; D. Wessels
Fast Transforms for Multiple-Valued Input Binary Output PLI Logic / B. Falkowski ; S. Rahardja
Computation of Spectral Information from Logic Netlists
Fault Analysis of the Multiple Valued Logic Using Spectral Method / J. Kim ; P. Lala ; Y. Kim ; H. Kim
Neural Networks: Binary Monotonic and Multiple-Valued / J. ZuradaSession 3：
Decomposition and Data Mining / Session 4a：
Data Mining of Weak Functional Decompositions / S. Jaroszewicz ; D. Simovici
Multi-Valued Sub-Function Encoding in Functional Decomposition Based on Information Relationships Measures / A. Chojnacki ; L. Jozwiak
On the Number of Dependent Variables for Incompletely Specified Multiple-Valued Functions / T. Sasao
Algebra I / Session 4b：
Some Properties of Discrete Interval Truth Valued Logic / N. Takagi ; K. Nakashima
Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic / T. Ninomiya ; M. Mukaidono
On Urquhart's C Logic / A. Ciabattoni
Fuzzy Logic / Session 5a：
A New Class of Fuzzy Modifiers / M. De Cock ; E. Kerre
Fuzzy Decision Diagrams for the Representation, Analysis and Optimization of Rule Bases / K. Strehl ; C. Moraga ; K.-H. Temme ; R. Stankovic
On Algebraic Foundations of Information Granulation III Investigating the HATA-MUKAIDONO Approach / H. Thiele
Reed-Muller Logic and Its Extensions / Session 5b：
Experiments on FPRM Expressions for Partially Symmetric Logic Functions / S. Yanushkevich ; J. Butler ; G. Dueck ; V. Shmerko
Representations of Multiple-Output Switching Functions Using Multiple-Valued Pseudo-Kronecker Decision Diagrams / H. Babu
A New Algorithm to Compute Quaternary Reed-Muller Expansions
Evolvable Hardware: From On-Chip Circuit Synthesis to Evolvable Space Systems / A. StoicaSession 6：
Logic and Algebra / Session 7a：
De Morgan Bisemilattices / J. Brzozowski
Finite-Valued Approximations of Product Logic / S. Aguzzoli ; B. Gerla
Integration of Information in Four-Valued Logics under Non-Uniform Assumptions / Y. Loyer ; N. Spyratos ; D. Stamate
Decision Diagrams / Session 7b：
Lower Bound Sifting for MDDs / D. Jankovic ; W. Gunther
Implementation of Multiple-Output Functions Using PQMDDs / Y. Iguchi ; M. Matsuura
Fibonacci Decision Diagrams and Spectral Fibonacci Decision Diagrams / M. Stankovic ; J. Astola ; K. Egiazarian
Circuits I / Session 8a：
Cost-Analysis of 4-Valued Unary Functions Implemented Using Current-Mode CMOS Circuits / M. Abd-El-Barr ; A. Al-Mutawa
Implementation of Multiple-Valued Multiplier on GF(3[subscript m]) Using Current Mode CMOS / H. Seong ; J. Choi ; B. Shin
Novel II-Type Resistor Network in D/A Converter Based on Multiple-Valued Logic / X. Wu ; X. Zhou
Decision Diagrams and Test / Session 8b：
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions / H. Sack ; E. Dubrova ; C. Meinel
Dynamic Re-Encoding During MDD Minimization / F. Schmiedle
Controllability/Observability Measures for Multiple-Valued Test Generation Based on D-Algorithm / N. Kamiura ; Y. Hata ; N. Matsui
Evolutionary and Information Theory Approaches / Session 9a：
Evolutionary Multi-Level Network Synthesis in Given Design Style / T. Luba ; M. Opoka
An Evolutionary Computing Approach to Multilevel Logic Synthesis Using Various Logic Operations / T. Hozumi ; O. Kakusho ; K. Yamato
Information Theoretic Approach to Minimization of Polynomial Expressions over GF(4) / D. Popel ; V. Cheushev
Image and Language Processing / Session 9b：
On an Architecture of Medical Image Registration System Based on Multiple-Valued Logic / S. Kobashi ; Y. Kitamura ; T. Yanagida
Gray Scale Image Compression Based on Multiple-Valued Input Binary Functions, Walsh and Reed-Muller Spectra / L.-S. Lim
A Four-Valued Logic B(4) of E(9) for Modeling Human Communication / D. Rine ; R. Alnakari
Structures with Many-Valued Information and Their Relational Proof Theory / I. Duntsch ; W. MacCaull ; E. OrlowskaSession 10：
Circuits II / Session 11a：
Demonstration of a Novel Multiple-Valued T-Gate Using Multiple-Junction Surface Tunnel Transistors and Its Application to Three-Valued Data Flip-Flop / T. Uemura ; T. Baba
A Study on the Ternary Parallel Circuit Design with DCG Properties Based on the Matrix Equation / G.-N. Byun ; C.-U. Lee ; S.-Y. Park ; H.-S. Kim
Novel Resonant-Tunneling Multiple-Threshold Logic Circuit Based on Switching Sequence Detection / T. Waho ; K. Hattori ; K. Honda
Standard CMOS Implementation of a Multiple-Valued Logic Signed-Digit Adder Based on Negative Differential-Resistance Devices / A. Gonzalez ; M. Bhattacharya ; S. Kulkarni ; P. Mazumder
Theorem-Proving and Applications / Session 11b：
The 2-SAT Problem of Regular Signed CNF Formulas / B. Beckert ; R. Hahnle ; F. Manya
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics / H. Ganzinger ; V. Sofronie-Stokkermans
High-Radix Parallel VLSI Dividers without Using Quotient Digit Selection Tables / T. Aoki ; K. Nakazawa ; T. Higuchi
Properties of Independent Components of Self-Motion Optical Flow / M. Jabri ; K.-Y. Park ; S.-Y. Lee ; T. SejnowskiSession 12：
Panel Discussion / Session 13：
Multiple-Valued Logic: Provocative Questions / D. Hammerstrom M. Kameyama ; R. Baltar ; Y. Takahashi
A Multilevel-Cell 32MB Flash Memory / M. Bauer ; R. Alexis ; G. Atwood ; B. Baltar ; A. Fazio ; K. Frary ; M. Hensel ; M. Ishac ; J. Javanifard ; M. Landgraf ; D. Leak ; K. Loe ; D. Mills ; P. Ruby ; R. Rozman ; S. Sweha ; S. Talreja ; K. WojciechowskiSession 14：
Circuits III / Session 15a：
Hardware Implementation of "Supplementary Symmetrical Logic Circuit Structure" Concepts / D. Olson ; K. Current
Design of a Quaternary Latch Circuit Using a Binary CMOS RS Latch
Low-Power Dual-Rail Multiple-Valued Current-Mode Logic Circuit Using Multiple Input-Signal Levels / T. Hanyu ; T. Ike ; M. Kameyama
Clones and Asynchronous Machines / Session 15b：
Rigidity Problem of Autodual Clones / M. Miyakawa ; I. Rosenberg
On the Intersection of Maximal Partial Clones and the Join of Minimal Partial Clones / L. Haddad ; H. Machida
Logic Synthesis of Controllers for B-Ternary Asynchronous Systems / Y. Nagata ; D. Miller
Silicon Single-Electron Devices and Their Applications / A. Fujiwara ; Y. Ono ; K. MuraseSession 16：
Arithmetics and Systems / Session 17a：
DRAM-Cell-Based Multiple-Valued Logic-in-Memory VLSI with Charge Addition and Charge Storage / H. Kimura
An Efficient Data Transmission Technique for VLSI Systems Based on Multiple-Valued Code-Division Multiple Access / Y. Yuminaka ; O. Katoh ; Y. Sasaki
Arithmetic-Oriented Multiple-Valued Logic-in-Memory VLSI Based on Current-Mode Logic / S. Kaeriyama
Verification and Power Estimation / Session 17b：
A Method for Approximate Equivalence Checking
Propagation Algorithm of Behavior Probability in Power Estimation Based on Multiple-Valued Logic / M. Pedram
Probabilistic Verification of Multiple-Valued Functions
edited by Jagan Agrawal, Abdelsalam Helas, and Linda F. Wilson ; sponsored by IEEE Communications Society, IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet
出版情報:
Piscataway, NJ : IEEE Service Center, c2000 xvi, 603 p. ; 28 cm
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments / G. Blair ; G. Coulson ; A. Andersen ; L. Blair ; M. Clarke ; F. Costa ; H. Duran ; N. Parlavantzas ; K. Saikoski
A Skeleton-Based Approach for the Design and Implementation of Distributed Virtual Environments / F. Rabhi ; H. Cai ; B. Tompsett
Specifying and Verifying Reconfigurable Software Architectures / V. de Paula ; G. Justo ; P. Cunha
Dynamic Reconfiguration of Component-Based Applications / T. Batista ; N. Rodriguez
Applying Distributed Object Technology to Network Planning / T. Wessels ; J. Bishop
Dynamic Workflow Management in CORBA Distributed Object Systems / Z. Tari ; V. Pande
Design of a Virtual Store Using Distributed Object Technology / D. Chambers ; G. Lyons ; J. Duggan
A CORBA-Based Architecture for Adding Dependability to Legacy Servers / D. Cotroneo ; L. Romano ; S. Russo ; N. Mazzocca
Filtering and Scalability in the ECO Distributed Event Model / M. Haahr ; R. Meier ; P. Nixon ; V. Cahill ; E. Jul
Scalability Issues in CORBA / P. Rani ; A. Srinivas ; D. Ram
Formalization and Verification of Coherence Protocols with the Gamma Framework / D. Mentre ; D. Le Metayer ; T. Priol
A CSP Model for Java Multihreading / P. Welch ; J. Martin
A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming / M. Aleksy ; A. Korthaus
Performance Debugging of Parallel and Distributed Embedded Systems / F. Suarez ; D. Garcia ; J. Garcia
Early Evaluation of Design Options for Distributed Systems / H. Giese ; G. Wirtz
Implementation of an Intrusion Detection System Based on Mobile Agents / M. Bernares ; E. dos Santos Moreira
A Formalism for Hierarchical Mobile Agents / I. Satoh
Component Location and the Role of Trading in Large Scale Distributed Systems / S. Terzis
HERCULE: Monitoring Component-Based Application Activity and Enabling Post-Implementation Tailoring of Feedback / K. Renaud
Exploratory Visualization of Distributed Computations: A Case Study / N. Gupta ; E. Kraemer ; D. Hart ; M. Chinwala ; D. Miller
An Approach to Higher Reliability Using Software Components / H. Jin ; P. Santhanam
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems / H. Singh ; V. Cortellessa ; B. Cukic ; E. Gunel ; V. Bharadwaj
Comparison of Architecture-Based Software Reliability Models / K. Goseva-Popstojanova ; A. Mathur ; K. Trivedi
Testing GUI Software / Session 1B.：
Finite-State Testing and Analysis of Graphical User Interfaces / F. Belli
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System / D. Donovan ; C. Dislis ; R. Murphy ; S. Unger ; C. Kenneally ; J. Young ; L. Sheehan
User-Based Testing of GUI Sequences and Their Interactions / L. White ; H. Almezen ; N. Alzeidi
Software Fault Models and Prediction / Session 2A.：
An Application of Zero-Inflated Poisson Regression for Software Fault Prediction / T. Khoshgoftaar ; K. Gao ; R. Szabo
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications / A. Ibrahim ; H. Ammar ; S. Yacoub
A Fault Model for Subtype Inheritance and Polymorphism / J. Offutt ; R. Alexander ; Y. Wu ; Q. Xiao ; C. Hutchinson
Reliable Wireless and Mobile Systems / Session 2B.：
Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability / S.-J. Chang ; P. Kapauan
Modeling and Verifying Strong Cache Consistency for Mobile Data Access / J. Wei ; S.-C. Cheung ; H. Zhou ; X. Wang ; J. Li ; Y.-l. Feng
Recovery Proxy for Wireless Applications / B. Yao ; W. Fuchs
Fault Tolerant Distributed Software Systems / Session 3A.：
Estimation of Software Diversity by Fault Simulation and Failure Searching / L. Chen ; J. May ; G. Hughes
Fault Tolerant Distributed Information Systems / J. Knight ; M. Elder
Increasing the Reliability of Three-Tier Applications / W. Zhao ; L. Moser ; P. Melliar-Smith
Low-Cost Flexible Software Fault Tolerance for Distributed Computing / A. Tai ; K. Tso ; W. Sanders ; L. Alkalai ; S. Chau
A Simulation Based Trainer for Software Reliability Modeling / E. Jones ; A. Rembert
Analysis of Hypergeometric Distribution Software Reliability Model / T. Dohi ; N. Wakana ; S. Osaki
Discrete Equations and Software Reliability Growth Models / D. Satoh ; S. Yamada
Modelling the Fault Correction Process / N. Schneidewind
Testing Internet and Multimedia Systems / Session 4A.：
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP / B. Choi ; S. Yeum ; T. Gwak ; B. Min
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis / S. Lee
Toward Generic Timing Tests for Distributed Multimedia Software Systems / S. Cheung ; S. Chanson ; Z. Xu
Formal Approaches / Session 4B.：
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication / J. Zhou ; K.-c. Tai
Feedback Control of the Software Test Process Through Measurements of Software Reliability / J. Cangussu ; R. DeCarlo
Tool Support for Production Use of Formal Techniques / K. Hanks ; S. Travis
Software Testing Experiments / Session 5A.：
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study / P. Chevalley ; P. Thevenod-Fosse
Evaluating the Software Test Strategy for the 2000 Sydney Olympics / K. Bassin ; S. Biyani
Coverage and Testing Strategies / Session 5B.：
Coverage Analysis for Message Flows / N. Aizenbud-Reshef
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles / L. Briand ; Y. Labiche ; Y. Wang
Software Architecture / Session 6A.：
Automated and Portable Native Code Isolation / G. Czajkowski ; L. Daynes ; M. Wolczko
Deriving Tests From Software Architectures / Z. Jin
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs / F. Bastani ; I.-L. Yen ; K. Sung ; J. Linn ; K. Rao
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability / B. Baudry ; Y. Sunye ; J.-M. Jezequel
Measurement Field Data and Experience / Session 6B.：
Accounting for Realities When Estimating the Field Failure Rate of Software / D. Jeske ; X. Zhang ; L. Pham
Defect Content Estimation for Two Reviewers / C. Wohlin ; H. Petersson ; M. Host ; P. Runeson
Measurement-Based Availability of Unix Systems in a Distributed Environment / C. Simache ; M. Kaaniche
Quantitative Evaluation and Operative Usage of Interactive Systems / A. Pasquini ; A. Rizzo ; L. Save ; M. Sujan
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
The WHaT: A Wireless Haptic Texture Sensor / D. K. Pai ; P. Rizun
Haptic Displays Based on Magnetorheological Fluids: Design, Realization and Psychophysical Validation / E. P. Scilingo ; N. Sgambelluri ; D. De Rossi ; A. Bicchi
Multi-Fingered Tactile Feedback from Virtual and Remote Environments / A. Kron ; G. Schmidt
Designing the Haptic Turntable for Musical Control / T. Beamish ; K. MacLean ; S. Fels
Development of a Non-Grounded Haptic Interface Using the Gyro Effect / H. Yano ; M. Yoshie ; H. Iwata
SmartTouch--Augmentation of Skin Sensation with Electrocutaneous Display / H. Kajimoto ; M. Inami ; N. Kawakami ; S. Tachi
Performance Analysis of a 2-Link Haptic Device with Electric Brakes / C. Cho ; M. Kim ; J.-B. Song
Device Evaluation and Performance / Session II：
Spatial Low Pass Filters for Pin Actuated Tactile Displays / J. M. Lee ; C. R. Wagner ; S. J. Lederman ; R. D. Howe
Motion Guidance Experiments with Scooter Cobot / E. S. Boy ; E. Burdet ; C. L. Teo ; J. E. Colgate
Human Motor Performance While Using a Single-DOF Visual-Haptic Interface / C. M. Hendrix ; W. K. Durfee
Guideline for Designing Haptic Master Hands Based on Dynamic Multi-Fingered Manipulability / M. Fujiwara ; Y. Yokokohji ; T. Yoshikawa
Preliminary Two Dimensional Haptic Thresholds and Task Performance Enhancements / G. S. Lee ; B. Hannaford
Simulating Side Slopes on Locomotion Interfaces Using Torso Forces / J. M. Hollerbach ; D. Checcacci ; H. Noma ; Y. Yanagida ; N. Tetsutani
Control and Modeling / Session III：
Path-Following Control for Dissipative Passive Haptic Displays / D. K. Swanson ; W. J. Book
Dynamic Local Models for Stable Multi-Contact Haptic Interaction with Deformable Objects / F. Barbagli ; K. Salisbury ; D. Prattichizzo
The Haptic Probe: Mechanized Haptic Exploration and Automated Modeling / V. Patoglu ; R. B. Gillespie
Recognition of Operator Motions for Real-Time Assistance Using Virtual Fixtures / M. Li ; A. M. Okamura
Toward Robust Passivity: A Passive Control Implementation Structure for Mechanical Teleoperators / D. Lee ; P. Y. Li
The Effect of Sensor/Actuator Asymmetries in Haptic Interfaces
Psychophysics / Session IV：
Relative Performance Using Haptic and/or Touch-Produced Auditory Cues in a Remote Absolute Texture Identification Task / S.J. Lederman ; A. Martin ; C. Tong ; R.L. Klatzky
Feedback Distortion for Rehabilitation: Gauging Perceived Physical Effort / M. Fagan ; Y. Matsuoka ; R. Klatzky
Validity of Haptic Cues and Its Effect on Priming Visual Spatial Attention / J. J. Young ; H. Z. Tan ; R. Gray
Material Discrimination and Thermal Perception / L. A. Jones ; M. Berris
How Well Can We Encode Spatial Layout from Sparse Kinesthetic Contact? / R. L. Klatzky
The Role of Multisensory Feedback in Haptic Surface Perception / G. L. Poling ; J. M. Weisenberger ; T. Kerwin
Rendering / Session V：
An Experimental Study of Perceived Instability During Haptic Texture Rendering: Effects of Collision Detection Algorithm / S. Choi
Levels of Detail in Reducing Cost of Haptic Rendering: A Preliminary User Study / J. Zhang ; S. Payandeh ; J. Dill
Haptic Editing of Decoration and Material Properties / L. Kim ; G. S. Sukhatme ; M. Desbrun
An Integral Equation Based Multiresolution Modeling Scheme for Multimodal Medical Simulations / J. Kim ; S. De ; M. A. Srinivasan
Six Degree-of-Freedom Haptic Rendering of Complex Polygonal Models / D. E. Johnson ; P. Willemsen
Fuzzy Vector Median Based Surface Smoothing in a Haptic Environment / Y. Shen ; K. E. Barner
Applications / Session VI：
Haptic Effects for Virtual Reality-Based Post-Stroke Rehabilitation / R. F. Boian ; J. E. Deutsch ; C. S. Lee ; G. C. Burdea ; J. Lewis
Haptic Aided Design: A Case Study
Electro-Rheological Fluidic Actuators for Haptic Vehicular Instrument Controls / J. Melli-Huber ; B. Weinberg ; A. Fisch ; J. Nikitczuk ; C. Mavroidis ; C. Wampler
Haptic Task Constraints for 3D Interaction / R. Komerska ; C. Ware
Implementation of a Haptic Interface for a Virtual Reality Simulator for Flexible Endoscopy / O. Korner ; R. Manner
Performance and Co-Presence in Heterogeneous Haptic Collaboration / M. McLaughlin ; G. Sukhatme ; W. Peng ; W. Zhu ; J. Parks
Poster and Demonstration Papers / Session VII：
Sensors Assisted Telemanipulation for Maximizing Manipulation Capabilities of Persons with Disabilities / W. Yu ; B. E. Fritz ; N. Pernalete ; M. Jurczyk ; R. V. Dubey
The Role of Torque in Haptic Perception of Object Location in Virtual Environments / S. Wang
Design of a Uniactuated Bimanual Haptic Interface / N. L. Bernstein ; D. A. Lawrence ; L. Y. Pao
Web-Based Haptic Applications for Blind People to Create Virtual Graphs / K. Kangas ; S. Brewster
Real-Time Rigid Body Simulation Based on Volumetric Penalty Method / S. Hasegawa ; N. Fujii ; Y. Koike ; M. Sato
An Actuator for the Tactile Vest--A Torso-Based Haptic Device / M. Nakamura ; L. Jones
A Framework for the Haptic Rendering of the Human Hand / P. Stergiopoulos ; G. Moreau ; M. Ammi ; P. Fuchs
Passive and Active Assistance for Human Performance of a Simulated Underactuated Dynamic Task / M. K. O'Malley ; A. Gupta
The Hapticon Editor: A Tool in Support of Haptic Communication Research / M. J. Enriquez ; K. E. MacLean
Role of Haptics in Teaching Structural Molecular Biology / G. Sankaranarayanan ; S. Weghorst ; M. Sanner ; A. Gillet ; A. Olson
Omni-Directional Treadmill System / Z. Wang ; K. Bauernfeind ; T. G. Sugar
Design and Analysis of a Novel Virtual Walking Machine / J. Yoon ; J. Ryu ; G. Burdea
Transparency and Stability Analysis of a Surgical Teleoperator System / H. Flemmer ; J. Wikander
A Haptic Based Virtual Grinding Tool / A. Balijepalli ; T. Kesavadas
Controller Design for a Wearable, Near-Field Haptic Display / R. W. Lindeman ; J. R. Cutler
Activation Cues and Force Scaling Methods for Virtual Fixtures / J. T. Nolin ; P. M. Stemniski
Haptic Interface for Hands-On Instruction in System Dynamics and Embedded Control / M. B. Hoffman ; J. Freudenberg
Haptic Feedback Using Local Models of Interaction / D. Constantinescu ; S. E. Salcudean ; E. A. Croft
Design of Data Glove and Arm Type Haptic Interface / C. Wusheng ; W. Tianmiao ; H. Lei
Simplified Authoring of 3D Haptic Content for the World Wide Web / M. O'Malley ; S. Hughes
Observations on and Modifications to the Rutgers Master to Support a Mixture of Passive Haptics and Active Haptic Feedback / C. W. Borst ; R. A. Volz
Author Index
Preface
Device Design / Session I：
The WHaT: A Wireless Haptic Texture Sensor / D. K. Pai ; P. Rizun
Modeling as Craft / Paul Fishwick ; Gainesville ; USA
Simulation-Based Performance Analysis I / Session 1：
A Simulation Study of the Proactive Server Roaming for Mitigating Denial of Service Attacks / C. Sangpachatanaruk ; S. M. Khattab ; T. F. Znati ; R. Melhem ; D. Mosse
Priorities Among Multiple Queues for Processor Co-Allocation in Multicluster Systems / A. I. D. Bucur ; D. H. J. Epema
Network Modeling and Simulation I / Session 2：
An Efficient Scheme for Chaining with Client-Centric Buffer Reservation for Multimedia Streaming / J. J. Schultz
Asymptotically Optimal Worksharing in HNOWs: How Long Is "Sufficiently Long"? / M. Adler ; Y. Gong ; A. L. Rosenberg
Location-Based Taxi Service in Wireless Communication Environment / A. P. Silva ; G. R. Mateus
Network Modeling and Simulation II / Session 3：
Performance Modeling and Simulation of Dynamic and Rapid Auto-Configuration Protocols for Ad-Hoc Wireless Networks / R. Vaidyanathan ; L. Kant ; A. McAuley ; M. Bereschinsky
Simulation Study of a Class of Autonomous Host-Centric Mobility Prediction Algorithms for Cellular and Ad Hoc Networks / I.-R. Chen ; N. Verma
A Preemptive On-Demand Distance Vector Routing Protocol for Mobile and Wireless Ad Hoc Networks / A. Boukerche ; L. Zhang
Approximate Connectivity Graph Generation in Mobile Ad Hoc Radio Networks / C. L. Barrett ; M. V. Marathe ; D. C. Engelhart ; A. Sivasubramaniam
Dynamic Reconfiguration of an Optical Interconnect / P. Krishnamurthy ; M. Franklin ; R. Chamberlain
Simulation-Based Performance Analysis II / Session 4：
Simulating Highly Dependable Applications in a Distributed Computing Environment / Y. Chen ; Z. He
Performance Analysis of Parallel Job Scheduling in Distributed Systems / H. D. Karatza ; R. C. Hilzer
A Supernet: Engineering Traffic Across Network Boundaries / S. Lincke-Salecker ; C. S. Hood
Network and Distributed Systems Modeling and Simulation / Session 5：
One-to-All Broadcasting Scheme for Hypercubes with Background Traffic / D. Kouvatsos ; I.-H. Mkwawa ; I. Awan
Security Issues in the ABELS System for Linking Distributed Simulations / G. A. Mills-Tettey ; L. F. Wilson
An ns-based Bluetooth Topology Construction Simulation Environment / C.-J. Hsu ; Y.-J. Joung
AI and Simulation-Based Techniques for the Assessment of Supply Chain Logistic Performance / A. Bruzzone ; A. Orsoni
Web-Based Modeling and Simulation--Multimedia Systems Simulation / Session 6：
Integrating Web Service and Grid Enabling Technologies to Provide Desktop Access to High-Performance Cluster-Based Components for Large-Scale Data Services / V. P. Holmes ; W. R. Johnson ; D. J. Miller
Enhancing Multimedia Caching Algorithm Performance Through New Definition Strategies / J. Fernandez ; J. Carretero ; F. Garcia ; J. M. Perez ; A. Calderon
A Simulation-Based Analysis of Scheduling Policies for Multimedia Servers / N. J. Sarhan ; C. R. Das
Parallel and Distributed Simulation / Session 7：
Design and Development of a Cluster Gateway for Cluster-Based HLA Distributed Virtual Simulation Environment / D. Chen ; B.-S. Lee ; W. Cai ; S. J. Turner
Evaluating Alternative Solutions for Cloning in Distributed Simulation / B. P. Gan ; N. Julka ; J. Wei
Improving Data Filtering Accuracy in Hierarchical Federations / L. Liu ; G. Li
Redesigning the WARPED Simulation Kernel for Analysis and Application Development / D. E. Martin ; P. A. Wilsey ; R. J. Hoekstra ; E. R. Keiter ; S. A. Hutchinson ; T. V. Russo ; L. J. Waters
Parallelizing Black Oil Reservoir Simulation Systems for SMP Machines / F. A. B. Silva ; E. P. Lopes ; E. P. L. Aude ; F. Mendes ; H. Serdeira ; J. Silveira
VLSI Circuit Simulation / Session 8：
Efficient Microprocessor Design Space Exploration Through Statistical Simulation / L. Eeckhout ; D. Stroobandt ; K. De Bosschere
Internode: Internal Node Logic Computational Model / A. Millan ; M. J. Bellido ; J. Juan ; D. Guerrero ; P. Ruiz-de-Clavijo ; E. Ostua
Modeling the Power Consumption of Audio Signal Processing Computations Using Customized Numerical Representations / E. Hemmeter ; R. Morley ; J. White
Advances in Simulation Methodology and Practices / Session 9：
Sojourn Times and Rare Events / N. T. Muller ; F. Brenner
Assessing and Improving Testing of Real-Time Software Using Simulation / J. Henry ; J. C. Stiff ; A. J. Shirar
Implementing Parallel Cell-DEVS / A. Troccoli ; G. Wainer
Adapting MASCOT Methodology to Software Performance Engineering Using Object-Oriented Simulation / O. Munar ; C. Juiz
Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading / A. Muzy ; E. Innocenti ; J.-F. Santucci ; D. R. C. Hill
Network Modeling and Simulation III / Session 10：
Wireless Fading Vector Channel Model for Multi-Antenna System at Mobile Terminals / Y. Yuan
Tunable Fiber Bragg Gratings Modeling and Simulation / M. Mahmoud ; Z. Ghassemlooy
Dissemination Scenarios in Peer-to-Peer Networks / K. G. Zerfiridis
Simulation Languages, Tools, and Environments / Session 11：
An Event-Driven Approach to Crosstalk Noise Analysis / P. Bazargan-Sabet ; P. Renault
Multicast Routing Simulator over MPLS Networks / A. Boudani ; B. Cousin ; C. Jawhar ; M. Doughan
A Simulation Tool for Evaluating Shared Memory Systems / J. Tao ; M. Schulz ; W. Karl
XACDML--Extensible ACD Markup Language / J. N. Gil ; C. M. Hirata
Hyperpresence--An Application Environment for Control of Multi-User Agents in Mixed Reality Spaces / D. Tavares ; A. Burlamaqui ; A. Dias ; M. Monteiro ; V. Antunes ; G. Tho ; T. Tavares ; C. Lima ; L. Goncalves ; G. Lemos ; P. Alsina ; A. Medeiros
Smart Dust--Hardware Limits to Wireless Sensor Networks / K. Pister
Self-Stabilizing Systems / Session 2A：
Self-Stabilizing Smoothing and Counting / M. Herlihy ; S. Tirthapura
Enabling Snap-Stabilization / A. Cournier ; A. Datta ; F. Petit ; V. Villain
Efficient Self-Stabilizing Algorithms for Tree Networks / J. Blair ; F. Manne
Sensor Networks and Energy Management / Session 2B：
PEAS: A Robust Energy Conserving Protocol for Long-Lived Sensor Networks / F. Ye ; G. Zhong ; J. Cheng ; S. Lu ; L. Zhang
On Energy Efficiency and Network Connectivity of Mobile Ad Hoc Networks / W. Yuen ; C. Sung
SPEED: A Stateless Protocol for Real-Time Communication in Sensor Networks / T. He ; J. Stankovic ; C. Lu ; T. Abdelzaher
Peer-to-Peer Services / Session 2C：
Partial Lookup Services / Q. Sun ; H. Garcia-Molina
Mutual Anonymity Protocols for Hybrid Peer-to-Peer Systems / L. Xiao ; Z. Xu ; X. Zhang
Updates in Highly Unreliable, Replicated Peer-to-Peer Systems / M. Hauswirth ; K. Aberer
Distributed Algorithms / Session 3A：
A Generic Framework for Indulgent Consensus / R. Guerraoui ; M. Raynal
Weakly-Connected Dominating Sets and Sparse Spanners in Wireless Ad Hoc Networks / K. Alzoubi ; P.-J. Wan ; O. Frieder
Software Fault Tolerance of Distributed Programs Using Computation Slicing / N. Mittal ; V. Garg
Multimedia Streaming / Session 3B：
Optimal Distribution Tree for Internet Streaming Media / M. Kim ; S. Lam ; D.-Y. Lee
Deliver Multimedia Streams with Flexible QoS via a Multicast DAG / J. Yang
An Integrated Resource Sharing Policy for Multimedia Storage Servers Based on Network-Attached Disks / N. Sarhan ; C. Das
Secure Data Sharing / Session 3C：
Responsive Security for Stored Data / S. Lakshmanan ; M. Ahamad ; H. Venkateswaran
A Graph-Theoretical Analysis of Multicast Authentication / A. Chan
Performance Optimizations for Group Key Management Schemes / S. Zhu ; S. Setia ; S. Jajodia
Quality of Service / Session 4A：
Scalable Resource Allocation for Multi-Processor QoS Optimization / S. Ghosh ; R. Rajkumar ; J. Hansen ; J. Lehoczky
Scalable Service Differentiation in a Shared Storage Cache / B.-J. Ko ; K.-W. Lee ; K. Amiri ; S. Calo
QoS-Assured Service Composition in Managed Service Overlay Networks / X. Gu ; K. Nahrstedt ; R. Chang ; C. Ward
Internet Protocols / Session 4B：
Experiences with Monitoring OSPF on a Regional Service Provider Network / D. Watson ; F. Jahanian ; C. Labovitz
VirtualWire: A Fault Injection and Analysis Tool for Network Protocols / P. De ; A. Neogi ; T. Chiueh
TCP-PR: TCP for Persistent Packet Reordering / S. Bohacek ; J. Hespanha ; J. Lee ; C. Lim ; K. Obraczka
Middleware Communication Services / Session 4C：
Efficient Content-Based Event Dispatching in the Presence of Topological Reconfiguration / G. Picco ; G. Cugola ; A. Murphy
Improving Application Throughput with Enterprise JavaBeans Caching / A. Leff ; J. Rayfield
NRMI: Natural and Efficient Middleware / E. Tilevich ; Y. Smaragdakis
Human Design: Wearable Computers for Human Networking / A. PentlandSession 5：
Fault-Tolerant Systems / Session 6A：
Evaluating Distributed Checkpointing Protocols / A. Agbaria ; A. Freund ; R. Friedman
Synchronous Consensus for Dependent Process Failures / F. Junqueira ; K. Marzullo
Elastic Vector Time / C. Fetzer
Ubiquitous Computing / Session 6B：
A Context-Aware Data Management System for Ubiquitous Computing Applications / C. Hess ; R. Campbell
Impact of Data Compression on Energy Consumption of Wireless-Networked Handheld Devices / R. Xu ; Z. Li ; C. Wang ; P. Ni
PARM: Power Aware Reconfigurable Middleware / S. Mohapatra ; N. Venkatasubramanian
Network Security / Session 6C：
Protecting BGP Routes to Top Level DNS Servers / L. Wang ; X. Zhao ; D. Pei ; R. Bush ; D. Massey ; A. Mankin ; S. Wu
A Path Information Caching and Aggregation Approach to Traffic Source Identification / F.-H. Hsu
On Effectiveness of Link Padding for Statistical Traffic Analysis Attacks / X. Fu ; B. Graham ; R. Bettati ; W. Zhao
Real-Time Systems / Session 7A：
An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Nets / Z. Gu ; K. Shin
Rate-Monotonic Scheduling on Uniform Multiprocessors / S. Baruah ; J. Goossens
Effective Delay Control for High Rate Heterogeneous Real-Time Flows / W. Jia ; H. Wang ; M. Tang
Web Servers / Session 7B：
Performance Guarantees for Cluster-Based Internet Services / C. Li ; G. Peng ; K. Gopalan
Decision-Support Workload Characteristics on a Clustered Database Server from the OS Perspective / Y. Zhang ; J. Zhang ; A. Sivasubramaniam ; C. Liu ; H. Franke
Integrated Access Control and Intrusion Detection for Web Servers / T. Ryutov ; C. Neuman ; D. Kim ; L. Zhou
Middleware and Interoperability / Session 7C：
Pragmatic Type Interoperability / S. Baehni ; P. Eugster ; P. Altherr
Efficiently Distributing Component-Based Applications across Wide-Area Environments / D. Llambiri ; A. Totok ; V. Karamcheti
Monitoring and Characterization of Component-Based Systems with Global Causality Capture / J. Li
Formal Methods / Session 8A：
Remote Belief: Preserving Volition for Loosely Coupled Processes / N. Aydin ; P. Sivilotti
Enhancing the Fault-Tolerance of Nonmasking Programs / S. Kulkarni ; A. Ebnenasir
Modular Composition and Verification of Transaction Processing Protocols / V. Janarthanan ; P. Sinha
Ad Hoc Network Protocols / Session 8B：
A Generic Distributed Broadcast Scheme in Ad Hoc Wireless Networks / J. Wu ; F. Dai
Fragmentation Based D-MAC Protocol in Wireless Ad Hoc Networks / P. Zhou ; J. Hou
Cross-Feature Analysis for Detecting Ad-Hoc Routing Anomalies / Y. Huang ; W. Fan ; W. Lee ; P. Yu
Peer-to-Peer Infrastructure / Session 8C：
PeerCQ: A Decentralized and Self-Configuring Peer-to-Peer Information Monitoring System / B. Gedik ; L. Liu
Building Topology-Aware Overlays Using Global Soft-State / C. Tang ; Z. Zhang
Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network / H. Liu
The Conundrum of Distributed Computing / A. SpectorSession 9：
Synchronization / Session 10A：
Obstruction-Free Synchronization: Double-Ended Queues as an Example / V. Luchangco ; M. Moir
Scalable Distributed Concurrency Services for Hierarchical Locking / N. Desai ; F. Mueller
Local-Spin Mutual Exclusion Using Fetch-and-O Primitives / J. Anderson ; Y.-J. Kim
Wide Area Distributed Computing / Session 10B：
A Case for Grid Computing on Virtual Machines / R. Figueiredo ; P. Dinda ; J. Fortes
Efficient Distributed Shared State for Heterogeneous Machine Architectures / D. Chen ; S. Dwarkadas ; M. Scott
Group Membership and Wide-Area Master-Worker Computations / K. Jacobsen
Mobile Agents / Session 10C：
Monotonicity and Partial Results Protection for Mobile Agents / B. Yee
Mobile Agent Rendezvous in a Ring / E. Kranaks ; N. Santoro ; C. Sawchuk ; D. Krizanc
Compiler Scheduling of Mobile Agents for Minimizing Overheads / X. Zhuang ; S. Pande
Program/Software Analysis / Session 11A：
Method Partitioning--Runtime Customization of Pervasive Programs without Design-Time Application Knowledge / D. Zhou ; K. Schwan
Dynamic Module Replacement in Distributed Protocols / N. Sridhar ; S. Pike ; B. Weide
Analysis of Task Assignment with Cycle Stealing under Central Queue / M. Harchol-Balter ; T. Osogami ; A. Scheller-Wolf ; M. Squillante
Wireless Access Control / Session 11B：
Collision Avoidance in Single-Channel Ad Hoc Networks Using Directional Antennas / Y. Wang ; J. Garcia-Luna-Aceves
SmartNode: Achieving 802.11 MAC Interoperability in Power-Efficient Ad Hoc Networks with Dynamic Range Adjustments / E. Poon ; B. Li
Energy-Efficient Real-Time Scheduling in IEEE 802.11 Wireless LANs / Y. Ge
Scalable Data Services / Session 11C：
The Hash History Approach for Reconciling Mutual Inconsistency / B. Kang ; R. Wilensky ; J. Kubiatowicz
New Algorithms for Content-Based Publication-Subscription Systems / A. Riabov ; Z. Liu ; J. Wolf
Trading Replication Consistency for Performance and Availability: An Adaptive Approach / C. Zhang
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
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
edited by , Teresa A. Dahlberg, Michela Meo, Albert Y. Zomaya ; sponsored by ACM Computer Society. ACM SIGMOBILE in conjuction with the eighth Annual International Conference on Mobile Computing and Networking ; supported by ACM SIGSIM, IEEE Computer Society
出版情報:
New York, N.Y. : Association for Computing Machinery, c2002 viii, 128 p. ; 28 cm
editors, Tatsuo Nakajima, Moon Hae Kim ; Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing and Communications Research Laboratory, Japan
出版情報:
Los Alamitos, Carif. ; Tokyo : IEEE Computer Society, c2003 vii, 105 p. ; 28 cm
Fuzzy Logic as a Basis for a Theory of Hierarchical Definability (THD) / L. Zadeh
Logic Design I / Session 2A：
Implementation of Multiple-Valued Functions Using Literal-Splitting Technique / E. Dubrova
Hyperoperations on {0, 1, 2} Based on Min, Max, and Universal Literal Operations / N. Takagi ; K. Nakashima
An Extension of Ternary Majority Function and Its Application to Evolvable System / Y. Yamamoto
A New Construction of the Irreducible Polynomial for Parallel Multiplier over GF(2[superscript m]) / J.-H. Hwang ; K.-J. Moon ; S.-Y. Park ; H.-S. Kim
Functional Expressions / Session 2B：
New Information on the Effectiveness of Different Reed-Muller Algebras on the Representation of Quaternary Functions / K. Adams ; J. McGregor
Polynomial Expansions over GF(3) Based on Fastest Transformation / B. Falkowski ; C. Fu
The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3) / C. Lee ; G.-Y. Byun ; B.-S. Shin ; J.-H. Sim
Optimization of GF(4) Expressions Using the Extended Dual Polarity Property / D. Jankovic ; R. Stankovic ; C. Moraga
Fuzzy Logic / Session 3A：
Normal Forms for Fuzzy Logic Functions / I. Perfilieva
Towards Fuzzy Type Theory / V. Novak
Universes of Fuzzy Sets--A Short Survey / S. Gottwald
Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining Syllogism / K. Soleimani ; M. Mashinchi ; H. Maleki
Automated Finding of the Willis Ring in MR Angiography Images Using Fuzzy Knowledge Base / S. Kobashi ; K. Kondo ; Y. Hata
LSI Design / Session 3B：
Counter Tree Diagrams for Design and Analysis of Fast Addition Algorithms / J. Sakiyama ; T. Aoki ; T. Higuchi
Bidirectional Data Transfer Based Asynchronous VLSI System Using Multiple-Valued Current Mode Logic / T. Hanyu ; T. Takahashi ; M. Kameyama
MVL Circuit Design and Characterization at the Transistor Level Using SUS-LOC / E. Kinvi-Boh ; M. Aline ; O. Sentieys ; E. Olson
A Technique for Logic Design of Voltage-Mode Pass Transistor Based Multi-valued Multiple-Output Logic Circuits / H. Babu ; Md. R. Islam ; A. Ali ; Md. M. Akon ; Md. A. Rahaman ; Md. F. Islam
Recursive Evaluation of the Generalized Reed-Muller Coefficients / G. Na ; S. Kim ; J. Choi ; H. Kim
Logic Design II / Session 4A：
Cascade Realizations of Two-Valued Input Multiple-Valued Output Functions Using Decomposition of Group Functions / T. Sasao
A Novel Technology Mapping Method for AND/XOR Expressions / S.-B. Ko ; J.-C. Lo
Iterative Symmetry Indices Decomposition for Ternary Logic Synthesis in Three-Dimensional Space / A. Al-Rabadi
Multi-output Galois Field Sum of Products Synthesis with New Quantum Cascades / M. Khan ; M. Perkowski ; P. Kerntopf
Relationship between UCHT and FFT / S. Xie ; S. Rahardja ; Z. Gu
Logics and Algebras / Session 4B：
Several Remarks on Non-Boolean Functions over Boolean Algebras / D. Simovici
Complete and Independent Sets of Axioms of Boolean Algebra / T. Ninomiya ; M. Mukaidono
Characterization of the Axiomatizable Prenex Fragments of First-Order Godel Logics / M. Baaz ; N. Preining ; R. Zach
New Logical and Complexity Results for Signed-SAT / C. Ansotegui ; F. Manya
From Intuitionistic Logic to Godel-Dummett Logic via Parallel Dialogue Games / C. Fermuller ; A. Ciabattoni
Biomorphic Analog Devices Based on Reaction-Diffusion Systems / T. Asai ; Y. AmemiyaSession 5：
LSI Circuits / Session 6A：
Multiple-Valued Dynamic Source-Coupled Logic / A. Mochizuki
A Field-Programmable Digital Filter Chip Using Multiple-Valued Current-Mode Logic / K. Degawa
A Study on the Design of Flash Analog to Quaternary Converter Using DLC Comparator / S. Han ; Y. Choi ; H. Seong
A Novel Multiple-Input Multiple-Valued Semi-floating-gate Latch / O. Mirmotahari ; Y. Berg
Decision Diagrams I / Session 6B：
On the Size of Multiple-Valued Decision Diagrams / D. Miller ; G. Dueck
Efficient Minimization of Multiple-Valued Decision Diagrams for Incompletely Specified Functions / D. Popel ; R. Drechsler
Compact Representations of Logic Functions Using Heterogeneous MDDs / S. Nagayama
Complexity of Decision Trees for Boolean Functions / R. Freivalds ; M. Miyakawa ; I. Rosenberg
Nano Technology / Session 7A：
Experimental and Simulation Studies of Single-Electron-Transistor-Based Multiple-Valued Logic / H. Inokawa ; Y. Takahashi
Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-valued Logic / K.-W. Song ; S. Lee ; D. Kim ; K. Kim ; J. Kyung ; G. Baek ; C.-A. Lee ; J. Lee ; B.-G. Park
Proposal of Four-Valued MRAM Based on MTJ/RTD Structure / T. Uemura ; M. Yamamoto
Modeling and Simulation / Session 7B：
Modeling Multi-valued Circuits in SystemC / D. Grosse ; G. Fey
Dynamic Reliability Indices for Multi-state System / E. Zaitseva
CTL Model-Checking over Logics with Non-classical Negations / M. Chechik ; W. MacCaull
Clone Theory / Session 8A：
On the Centralizers of Monoids in Clone Theory / H. Machida
Generation of the Post Lattice by Irreducible Clones / G. Pogosyan
On Intervals of Partial Clones of Boolean Partial Functions / L. Haddad ; G. Simons
Spectral Techniques / Session 8B：
Family of Fast Transforms over GF(3) Logic
Spectral Transforms of Mixed-Radix MVL Functions / M. Thornton
Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation / R. Krenz ; A. Kuehlmann
Functions of Multiple-Valued Logic and the Complexity of Constraint Satisfaction: A Short Survey / A. Krokhin ; A. Bulatov ; P. JeavonsSession 9：
Applications / Session 10A：
Learning Subjective Probabilities from a Small Data Set / C. Huang
Using Games for Benchmarking and Representing the Complete Solution Space Using Symbolic Techniques / S. Kinder
From Continuous to Multiple-Valued Data
Decision Diagrams II / Session 10B：
Augmented Sifting of Multiple-Valued Decision Diagrams
On the Average Path Length in Decision Diagrams of Multiple-Valued Functions / J. Butler
Generalized Complex Spectral Decision Diagrams Using Unified Complex Hadamard Transform
sponsored by IEEE Computer Society ; in cooperation with the Information Technology Research Institute Wright at State University and the IEEE Neural Networks Society
出版情報:
Los Alamitos, California : IEEE Computer Society, c2003 xii, 442 p. ; 28 cm
A Computational Pipeline for Protein Structure Prediction and Analysis at Genome Scale / M. Shah ; S. Passovets ; D. Kim ; K. Ellrott ; L. Wang ; I. Vokler ; P. LoCascio ; D. Xu ; Y. Xu
A Fast Algorithm for RNA Secondary Structure Prediction Including Pseudoknots / F. Tahi ; S. Engelen ; M. Regnier
Towards Automated Derivation of Biological Pathways Using High-Throughput Biological Data / Y. Chen ; T. Joshi
Prediction of Contact Maps Using Support Vector Machines / Y. Zhao ; G. Karypis
Biomedical Data Engineering / Bioeng-1：
Performance Comparison of Generalized PSSM in Signal Peptide Cleavage Site and Disulfide Bond Recognition / P. Clote
Analysis of Atlantic Salmon Skin Mucus: COPS--A Computer-Based System for Protein Pattern Analysis of 1D SDS-PAGE Gels / R. Eibrand ; P. Kennedy ; D. Cotter ; U. MacEvilly ; B. Wu
An Open Multiple Instance Learning Framework and Its Application in Drug Activity Prediction Problems / X. Huang ; S.-C. Chen ; M.-L. Shyu
Analysis of Spontaneous Activity in Cultured Brain Tissue Using the Discrete Wavelet Transform / J. D. Johnson ; D. Plenz ; J. Beggs ; W. Li ; M. Mieier ; N. Miltner ; K. Owen
Phylogenetic Tress / Bioinfo-2：
An Empirical Comparison of Tools for Phylogenetic Footprinting / M. Blanchette ; S. Kwong ; M. Tompa
An Investigation of Phylogenetic Likelihood Methods / T. L. Williams ; B. M. E. Moret
Nodal Distance Algorithm: Calculating a Phylogenetic Tree Comparison Metric / J. Bluis ; D.-G. Shin
A Collapsing Method for the Efficient Recovery of Optimal Edges in Phylogenetic Trees / M. Hu ; P. Kearney ; J. Badger
Medical Image Processing I / Bioeng-2：
Comparison of Bicubic and Bezier Polynomials for Surface Parameterization in Volumetric Images / F. Quek ; V. Kulkarni ; C. Kirbas
Evolving Bubbles for Prostate Surface Detection from TRUS Images / F. Shao ; L. V. Ling ; W. S. Ng
Structure-Trageting Fast Magnetic Resonance Imaging Angiography with Partial Collection of the Inverse Space (k-Space) Based on the Orientation of the Vessel in Real Space / D. Gui ; N. V. Tsekos
Respiratory Gating for MRI and MRS in Rodents (Short Paper) / J. R. Garbow ; J. P. Dugas ; M. S. Conradi
Bio-Databases I / Bioinfo-3：
A Novel Laboratory Version Management System for Tracking Complex Biological Experiments / W. M. Shui ; N. Lam ; R. K. Wong
Requirements of Phylogenetic Databases / L. Nakhleh ; D. Miranker ; F. Barbancon ; W. H. Piel ; M. Donoghue
Filtration of String Proximity Search via Transformation / S. A. Aghili ; D. Agrawal ; A. El Abbabi
GenoMosaic: On-Demand Multiple Genome Comparison and Comparative Annotation / C. Gibas ; D. Sturgill ; J. Weller
Biomedical Imaging, Signaling, and Computation / Bioeng-3：
Automatic Detection of Premature Ventricular Contraction Using Quantum Neural Networks / J. Zhou
Vessel Extraction in Medical Images by 3D Wave Propagation and Traceback / F. K. H. Quek
A New Approach to Detect Similar Proteins from 2D Gel Electrophoresis Images / N. Khan ; S. Rahman
A Robotic Device for Minimally Invasive Breast Interventions with Real-Time MRI Guidance / B. T. Larson ; A. G. Erdman
Sequences and Searching / Bioinfo-4：
An Algorithm to Reconstruct a Target DNA Sequence from Its Spectrum Connected at a Given Level / F.-X. Wu ; W.-J. Zhang ; A. J. Kusalik
A Model of Random Sequences for de novo Peptide Sequencing / K. D. Jarman ; W. R. Cannon ; K. H. Jarman ; A. Heredia-Langner
Performance Comparison of Algorithms for Finding Transcription Factor Binding Sites / S. Sinha
Medical Image Processing II / Bioeng-4：
Determining the Asymmetries of Skin Lesions with Fuzzy Borders / V. T. Y. Ng ; T. Lee ; B. Y. M. Fung
Unsupervised Iterative Segmentation and Recognition of Anatomic Structures in Medical Imagery Using Second-Order B-Spline Descriptors and Geometric Quasi-Invariants / T. A. El Doker
Vessel Extraction Techniques and Algorithms: A Survey
Prostate Gland and Extra-Capsular Tissue 3D Reconstruction and Measurement (Short Paper) / F. McKenzie ; R. Hussein ; J. Seevinck ; P. Schellhammer ; J. Diaz
Bio-Databases II / Bioinfo-5：
Empirical Evaluation of Ensemble Feature Subset Selection Methods for Learning from a High-Dimensional Database in Drug Design (Short Paper) / H. Mamitsuka
Streamlining Biological Data Analysis Using BioFlow (Short Paper) / Z. Guan ; H. M. Jamil
BioSeek: Exploiting Source-Capability Information for Integrated Access to Multiple Bioinformatics Data Sources (Short Paper) / L. Liu ; D. Buttler ; T. Critchlow ; W. Han ; H. Paques ; C. Pu ; D. Rocco
Biological Systems and Models / Bioeng-5：
A Computational Model of the Role of Deficit-Related Drives in Sequential Movement Learning in a T-Maze Environment (Abstract)
A Biological Mapping of a Learned Avoidance Behavior Model to the Basal Ganglia (Short Paper) / K. M. Biddell ; J. Li
Influence of the Thermal Treatment Applied to PAN Gel on Its Length Change and Generated Force (Short Paper) / H. Tamagawa ; F. Nogata ; T. Watanabe ; A. Abe ; S. Popovic
Panel
Bioinformatics and Biotechnology Research Issues
Gene Expressions / Bioinfo-6：
Analyzing the Escherichia coli Gene Expression Data by a Multilayer Adjusted Tree Organizing Map / N. Wei ; L. Gruenwald ; T. Conway
A Data Mining Method to Predict Transcriptional Regulatory Sites Based on Differentially Expressed Genes in Human Genome / H. Huang ; H. Chang ; T. Tsou ; B. Liu ; C.-Y. Kao ; J. Horng
Time Series Analysis of Gene Expression and Location Data / C.-H. Yeang ; T. Jaakkola
Regulating Gene Expression Using Optimal Control Theory / Y. Liu ; H. B. Sun ; H. Yokota
Clustering Algorithms and Molecular Structures / Bioinfo-7：
Enhanced Biclustering on Expression Data / J. Yang ; H. Wang ; W. Wang ; P. Yu
Hierarchical Clustering of Gene Expression Data / F. Luo ; K. Tang ; L. Khan
MotifMiner: A General Toolkit for Efficiently Identifying Common Substructures in Molecules / M. Coatney ; S. Parthasarathy
Augmenting SSEs with Structural Properties for Rapid Protein Structure Comparison / C.-H. Chionh ; Z. Huang ; K.-L. Tan ; Z. Yao
Bio-Databases III / Bioinfo-8：
Load Balancing: A Case Study of a Pharmaceutical Drug Candidate Database / Z. Ben Miled ; S. Li ; J. Martin ; C. Balagoplakrishna ; O. Bukhres ; R. J. Oppelt
Effective Indexing and Filtering for Similarity Search in Large Biosequence Databases / O. Ozturk ; H. Ferhatosmanoglu
Application of XML Schema and Active Rules System in Management and Integration of Heterogeneous Biological Data
An Assessment of a Metric Space Database Index to Support Sequence Homology / R. Mao ; W. Xu ; N. Singh ; D. P. Miranker
Clustering Algorithms / Bioinfo-9：
Detecting Experimental Noises in Protein-Protein Interactions with Iterative Sampling and Model-Based Clustering
DHC: A Density-Based Hierarchical Clustering Method for Time Series Gene Expression Data / D. Jiang ; J. Pei ; A. Zhang
Determination of the Minimum Sample Size in Microarray Experiments to Cluster Genes Using K-Means Clustering
A Repulsive Clustering Algorithm for Gene Expression Data (Short Paper) / C.-S. Cheng ; S.-S. Wang
Prediction, Simulation and Mining Models / Bioinfo-10：
Combining Few Neural Networks for Effective Secondary Structure Prediction / K. S. Guimaraes ; J. C. B. Melo ; G. D. C. Cavalcanti
Uses of Multiagents Systems for Simulation of MAPK Pathway (Short Paper) / G. Querrec ; V. Rodin ; J. F. Abgrall ; S. Kerdelo ; J. Tisseau
A Framework for Cancer-Related Genes Mining over the Internet / J. J. P. Tsai ; J. G. Chang ; S. H. Shih ; R. M. Chen ; H. W. Hsiao ; R. M. Hu ; S. N. Chen ; M. M. Lee ; F. M. Liu ; W. L. Chan
Predictive Model for Yeast Protein Functions Using Modular Neural Approach (Short Paper) / D. Hwang ; F. Fotouhi ; R. L. Filey, Jr. ; W. I. Grosky
edited by Alan D. George ... [et al.] ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet, IEEE Communications Society,
出版情報:
Piscataway, N.J. : IEEE Service Center, c2003 xiii, 556 p. ; 28 cm
Application-Bypass Broadcast in MPICH over GM / D. Buntinas ; D. Panda ; R. Brighwell
Evaluation of MPI Implementations on Grid-Connected Clusters Using an Emulated WAN Environment / M. Matsuda ; T. Kudoh ; Y. Ishikawa
Grid Enabled MPI Solutions for Clusters / M. Muller ; M. Hess ; E. Gabriel
MPICH/MADII: A Cluster of Clusters Enabled MPI Implementation / O. Aumage ; G. Mercier
Multimedia
Image Processing for the Grid: A Toolkit for Building Grid-Enabled Image Processing Applications / S. Hastings ; T. Kurc ; S. Langella ; U. Catalyurek ; J. Saltz ; T. Pan
A Row-Permutated Data Reorganization Algorithm for Growing Server-less Video-on-Demand Systems / T. Ho ; J. Lee
Building a Performance Model of Streaming Media Applications in Utility Data Center Environment / L. Cherkasova ; L. Staley
Algorithms & Applications
A Method to Find Unique Sequences on Distributed Genomic Databases / K.-i. Kurata ; V. Breton ; H. Nakamura
A Parallel FPT Application for Clusters / J. Cheetham ; F. Dehne ; A. Rau-Chaplin ; U. Stege ; P. Taillon
A Synthesis of Parallel Out-of-Core Sorting Programs on Heterogeneous Clusters / C. Cerin ; H. Fkaier ; M. Jemni
Parallel Multi-Dimensional ROLAP Indexing / T. Eavis
Parallel I/O
Discretionary Caching for I/O on Clusters / M. Vilayannur ; A. Sivasubramaniam ; M. Kandemir ; R. Thakur ; R. Ross
Noncontiguous I/O Accesses through MPI-IO / A. Ching ; A. Choudhary ; K. Coloma ; W.-k. Liao ; W. Gropp
CARDs: Cluster Aware Remote Disks / V. Olaru ; W. Tichy
Leveraging Non-Uniform Resources for Parallel Query Processing / T. Mayr ; P. Bonnet ; J. Gehrke ; P. Seshadri
Scheduling and Resource Management
A Performance Oriented Migration Framework for The Grid / S. Vadhiyar ; J. Dongarra
Scheduling Distributed Applications: the SimGrid Simulation Framework / A. Legrand ; L. Marchal ; H. Casanova
Fair Share on High Performance Computing Systems: What Does Fair Really Mean? / S. Kleban ; S. Clearwater
Programming on the Grid
Distributed Computing with Hierarchical Master-Worker Paradigm for Parallel Branch and Bound Algorithm / K. Aida ; W. Natsume ; Y. Futakata
Programming for Dependability in a Service-Based Grid / W. Bausch ; C. Pautasso ; G. Alonso
Improving Access to Multi-Dimensional Self-Describing Scientific Datasets / B. Nam ; A. Sussman
Grid Tools
Merging the CCA Component Model with the OGSI Framework / M. Govindaraju ; S. Krishnan ; K. Chiu ; A. Slominski ; D. Gannon ; R. Bramley
PortalLab: A Web Services Toolkit for Building Semantic Grid Portals / M. Li ; P. van Santen ; D. Walker ; O. Rana ; M. Baker
GridFlow: Workflow Management for Grid Computing / J. Cao ; S. Jarvis ; S. Saini ; G. Nudd
OmniRPC: A Grid RPC System for Parallel Programming in Cluster and Grid Environment / M. Sato ; T. Boku ; D. Takahashi
Peer-to-Peer
A Scalable Infrastructure for Peer-to-Peer Networks Using Web Service Registries and Intelligent Peer Locators / V. Prasad ; Y. Lee
Creating Services with Hard Guarantees from Cycle-Harvesting Systems / C. Kenyon ; G. Cheliotis
Explore the "Small World Phenomena" in a Pure P2P Information Sharing Systems / Y. Ren ; C. Sha ; W. Qian ; A. Zhou ; B. Ooi ; K.-L. Tan
Combining Task- and Data Parallelism to Speed up Protein Folding on a Desktop Grid Platform--Is Efficient Protein Folding Possible with CHARMM on the United Devices MetaProcessor? / B. Uk ; M. Taufer ; T. Stricker ; G. Settanni ; A. Cavalli ; A. Caflisch
Data Grid
A Slacker Coherence Protocol for Pull-Based Monitoring of On-Line Data Sources / R. Sundaresan ; M. Lauria ; S. Parthasarathy
Chameleon: A Resource Scheduler in a Data Grid Environment / S.-M. Park ; J.-H. Kim
Fault-Tolerant Distributed Mass Storage for LHC Computing / A. Wiebalck ; P. Breuer ; V. Lindenstruth ; T. Steinbeck
QoS & SLA
Performance Guarantees for Cluster-Based Internet Services / C. Li ; G. Peng ; K. Gopalan ; T.-c. Chiueh
Network QoS Management Framework for Server Clusters--An End-Host Retrofitting Event-Handler Approach Using Netnice / T. Okumura ; D. Mosse ; M. Minami ; O. Nakamura
Specifying and Monitoring Guarantees in Commercial Grids through SLA / A. Sahai ; S. Graupner ; V. Machiraju ; A. van Moorsel
Cluster Tools
The Performance of Processor Co-Allocation in Multicluster Systems / A. Bucur ; D. Epema
MAGNET: A Tool for Debugging, Analyzing and Adapting Computing Systems / M. Gardner ; W.-c. Feng ; M. Broxton ; A. Engelhart ; G. Hurwitz
Performance Evaluation of RHiNET-2/NI: A Network Interface for Distributed Parallel Computing Systems / K. Watanabe ; T. Otsuka ; J.-i. Tsuchiya ; H. Amano ; H. Harada ; J. Yamamoto ; H. Nishi
PM/Ethernet-kRMA: A High Performance Remote Memory Access Facility Using Multiple Gigabit Ethernet Cards / S. Sumimoto ; K. Kumon
Workshops
Global and Peer-to-Peer Computing on Large Scale Distributed Systems
A Tree Model for Structured Peer-to-Peer Protocols / H.-C. Hsiao ; C.-T. King
DKS(N,k,f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications / L. Alima ; S. El-Ansary ; P. Brand ; S. Haridi
Criticality-Based Analysis and Design of Unstructured Peer-to-Peer Networks as "Complex Systems" / F. Banaei-Kashani ; C. Shahabi
Peer-to-Peer Keyword Search Using Keyword Relationship / K. Nakauchi ; H. Morikawa ; T. Aoyama
Clustering Hosts in P2P and Global Computing Platforms / A. Agrawal
Evaluation of the Inter-Cluster Data Transfer on Grid Environment / S. Ogura ; S. Matsuoka ; H. Nakada
Xtrem Web & Condor: Sharing Resources between Internet Connected Condor Pools / O. Lodygensky ; G. Fedak ; F. Cappello ; V. Neri ; M. Livny ; D. Thain
Supporting Peer-to-Peer Computing with FlexiNet / T. Fuhrmann
A Transport Layer Abstraction for Peer-to-Peer Networks / R. Ferreira ; C. Grothoff ; P. Ruth
P2P-RPC: Programming Scientific Applications on Peer-to-Peer Systems with Remote Procedure Call / S. Djilali
Secure Communication in a Distributed System Using Identity Based Encryption / T. Stading
Large Scale Dissemination Using a Peer-to-Peer Network / K. Zerfiridis ; H. Karatza
Towards a Framework for Collaborative Peer Groups / V. Sunderam ; J. Pascoe ; R. Loader
RelayCast: A Middleware for Application-Level Multicast Services / N. Mimura
Improving Performance via Computational Replication on a Large-Scale Computational Grid / Y. Li ; M. Mascagni
DSM2003: Distributed Shared Memory on Clusters
Performance of Cluster-Enabled OpenMP for the SCASH Software Distributed Shared Memory System / Y. Ojima
Distributed Shared Memory Using the .NET Framework / T. Seidmann
Preliminary Evaluation of Dynamic Load Balancing Using Loop Re-Partitioning on Omni/SCASH / Y. Sakae
Checkpointing and Recovery of Shared Memory Parallel Applications in a Cluster / R. Badrinath ; C. Morin ; G. Vallee
Implementation of Page Management in Mome, a User-Level DSM / Y. Jegou
Kernel Level Speculative DSM / C. Tapus ; J. Smith ; J. Hickey
The Performance Model of SilkRoad--A Multithreaded DSM System for Clusters / L. Peng ; W.-F. Wong ; C.-K. Yuen
A Gaming Framework for a Transactional DSM System / M. Schoettner ; M. Wende ; R. Goeckelmann ; T. Bindhammer ; U. Schmid ; P. Schulthess
An Extended Home-Based Coherence Protocol for Causally Consistent Replicated Read-Write Objects / J. Brzezinski ; M. Szychowiak
Making a DSM Consistency Protocol Hierarchy-Aware: An Efficient Synchronization Scheme / G. Antoniu ; L. Bouge ; S. Lacour
Grids and Advanced Networks (GAN'03)
An Exposed Approach to Reliable Multicast in Heterogeneous Logistical Networks / M. Beck ; Y. Ding ; E. Fuentes ; S. Kancherla
Using Topology Aware Communications Services in Grid Environments / C. Lee ; E. Coe ; B. Michel ; J. Stepanek ; I. Solis ; J. Clark ; B. Davis
Recovering Internet Symmetry in Distributed Computing / S. Son
Multi-Class Applications for Parallel Usage of a Guaranteed Rate and a Scavenger Service / M. Fidler ; V. Sander
HMCS-G: Grid-Enabled Hybrid Computing System for Computational Astrophysics / K. Onuma ; J. Makino ; H. Susa ; M. Umemura ; A. Ukawa
BioGrid '03
Grid-Based Nonequilibrium Multiple-Time Scale Molecular Dynamics/Brownian Dynamics Simulations of Ligand-Receptor Interactions in Structured Protein Systems / M. Peters
Cluster Infrastructure for Biological and Health Related Research / S. Corsava ; V. Getov
Magnetic Resonance Imaging (MRI) Simulation on a Grid Computing Architecture / H. Benoit-Cattin ; F. Bellet ; J. Montagnat ; C. Odet
Using Grid Technologies to Face Medical Image Analysis Challenges / I. Magnin
Can the Grid Help to Solve the Data Integration Problems in Molecular Biology? / B. Sturgeon ; D. McCourt ; J. Cowper ; F. Palmer ; S. McClean ; W. Dubitzky
An Overlay-Network Approach for Distributed Access to SRS / A. Schafferhans ; T. Etzold
DM[superscript 2]: A Distributed Medical Data Manager for Grids / H. Duque ; J.-M. Pierson ; L. Brunie
Agent Based Cluster and Grid Computing
A-peer: An Agent Platform Integrating Peer-to-Peer Network / T.-Y. Li ; Z.-G. Zhao ; S.-Z. You
Agile Computing: Bridging the Gap between Grid Computing and Ad-hoc Peer-to-Peer Resource Sharing / N. Suri ; J. Bradshaw ; M. Carvalho ; T. Cowin ; M. Breedy ; P. Groth ; R. Saavedra
An Ontology for Scientific Information in a Grid Environment: The Earth System Grid / L. Pouchard ; L. Cinquini ; B. Drach ; D. Middleton ; D. Bernholdt ; K. Chanchio ; I. Foster ; V. Nefedova ; D. Brown ; P. Fox ; J. Garcia ; G. Strand ; D. Williams ; A. Chervenak ; C. Kesselman ; A. Shoshani ; A. Sim
Agent-Based Service Management in Large Datacentres and Grids
An Agent Version of a Cluster Server / A. Bezek ; M. Gams
Decentralized Resource Allocation in Application Layer Networks / T. Eymann ; M. Reinicke ; O. Ardaiz ; P. Artigas ; F. Freitag ; L. Navarro
Towards Data-Parallel Skeletons for Grid Computing: An Itinerant Mobile Agent Approach / S. Loke
On the Use of Agents in a BioInformatics Grid / L. Moreau ; S. Miles ; C. Goble ; M. Greenwood ; V. Dialani ; M. Addis ; N. Alpdemir ; R. Cawley ; D. De Roure ; J. Ferris ; R. Gaizauskas ; K. Glover ; C. Greenhalgh ; P. Li ; X. Liu ; P. Lord ; M. Luck ; D. Marvin ; T. Oinn ; N. Paton ; S. Pettifer ; M. Radenkovic ; A. Roberts ; A. Robinson ; T. Rodden ; M. Senger ; N. Sharman ; R. Stevens ; B. Warboys ; A. Wipat ; C. Wroe
Evaluation of an Economy-Based File Replication Strategy for a Data Grid / W. Bell ; D. Cameron ; R. Carvajal-Schiaffino ; A. Millar ; K. Stockinger ; F. Zini
Communication Paradigm for Mobile Grid Users / D. Bruneo ; M. Scarpa ; A. Zaia ; A. Puliafito
Invited
MONET: Service Discovery and Composition for Mathematical Problems / M.-L. Aird ; W. Medina ; J. Padget
Fault Tolerance in Scalable Agent Support Systems: Integrating DARX in the AgentScape Framework / B. Overeinder ; F. Brazier ; O. Marin
Parallel I/O in Cluster Computing and Computational Grids
READ[superscript 2]: Put Disks at Network Level / O. Cozette ; C. Randriamaro ; G. Utard
Design and Implementation of PVFS-PM: A Cluster File System on SCore / K. Segawa ; O. Tatebe ; Y. Kodama ; T. Shimizu
A Greedy I/O Scheduling Method in the Storage System of Clusters / W. Zhou ; T. Wei
Data Allocation and Load Balancing for Heterogenenous Cluster Storage Systems / J. Perez ; F. Garcia ; J. Carretero ; A. Calderon ; L. Sanchez
Performance Analysis of Parallel I/O Scheduling Approaches on Cluster Computing Systems / J. Abawajy
Improved Read Performance in a Cost Efficient, Fault-Tolerant Parallel Virtual File System (CEFT-PVFS) / Y. Zhu ; H. Jiang ; X. Qin ; D. Feng ; D. Swanson
Performability Evaluation of Networked Storage Systems Using N-SPEK / M. Zhang ; Q. Yang ; X. He
The Ruthless Pursuit of Frameworks and Patterns for Web-Based Applications / Louis Blazy
Pervasive and Ubiquitous Systems / Session 1：
Mining Sequential Patterns Using Graph Search Techniques / Y.-F. Huang ; S.-Y. Lin
A Middleware Service for Secure Group Communication in Mobile Ad Hoc Networks / S. Yau ; X. Zhang
Device State Recovery in Non-volatile Main Memory Systems / R. Ohmura ; N. Yamasaki ; Y. Anzai
Panel / Session 2：
Homeland Security's Cyber Component: A Survey of Legal Issues
Software and System Testing (1) / Session 3：
BINTEST--Binary Search-Based Test Case Generation / S. Beydeda ; V. Gruhn
Automated Metamorphic Testing / A. Gotlieb ; B. Botella
Smart Debugging Software Architectural Design in SDL / W. Wong ; T. Sugeta ; Y. Qi ; J. Maldonado
Software Reuse and Management / Session 4：
Lessons Learned from Software Engineering Multi-Agent Systems / D. Kung ; H. Bhambhani ; S. Nwokoro ; W. Okasha ; R. Kambalakatta ; P. Sankuratri
Application of Tightly Coupled Engineering Team for Development of Test Automation Software--A Real World Experience / A. Pandey ; N. Kameli ; A. Eapen ; C. Miklos ; F. Boudigou ; I. Sutedjo ; M. Paul ; V. Vijay ; W. McDermott
A Cooperative Framework for Inter-Organizational Workflow System / S.-B. Yan ; F.-J. Wang
Middleware Systems / Session 5：
Context Aware Deployment for Mobile Users / C. Taconet ; E. Putrycz ; G. Bernard
Policy-Based Separation of Concerns for Dynamic Code Mobility Management / R. Montanari ; G. Tonti ; C. Stefanelli
Semantic-Based Approach to Streaming XML Contents Using Xstream / E. Wong ; A. Chan ; H.-V. Leong
Trustworthy Software Systems / Session 6：
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language / R. Walters
Techniques and Tools for Automated Safety Analysis and Decision Support for Redundancy Allocation in Automotive Systems / Y. Papadopoulos ; C. Grante
Design and Implementation of a Cache-Conscious Index Manager for the Tachyon, a Main Memory DBMS / K.-T. Lee ; I. Jung ; C.-Y. Choi ; W. Choi ; S.-W. Kim
Software Testing / Session 7：
Software Process Management / Session 8：
Towards Dynamic Process with Variable Structure by Reflection / S. Liu ; J. Wei ; W. Xu
Current Trends in the Adoption of the CMMI Product Suite / D. Zubrow
A CC-Based Security Engineering Process Evaluation Model / J. Lee ; S. Lee ; B. Choi
Mobile and High Performance Systems / Session 9：
An Object-Passing Model for Parallel Programming / J. Al-Jaroodi ; N. Mohamed
Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing between Mobile and Stationary Subsystems / P. Ahlbrecht ; S. Eckstein ; K. Neumann
Data Placement and Query Processing Based on RPE Parallelisms / Y. Yu ; G. Wang ; G. Yu ; G. Wu ; J. Hu ; N. Tang
Information Security / Session 10：
A Protection Environment for Administrators of Windows 2000/XP Against Malicious Program Attacks / A. Spalka ; M. Winandy
A Security Characterisation Framework for Trustworthy Component Based Software Systems / K. Khan ; J. Han
Exploiting Self-Modification Mechanism for Program Protection / Y. Kanzaki ; A. Monden ; M. Nakamura ; K.-i. Matsumoto
Software and System Testing (2) / Session 11：
Tolerance of Control-Flow Testing Criteria / S. Vilkomir ; K. Kapoor ; J. Bowen
Data Flow-Based Unit Testing of Aspect-Oriented Programs / J. Zhao
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software / H. Chen ; Y. Sun ; T. Tse
Global Trends in SPI / Session 12：
Plenary Panel Session
Challenges and Recent Advances in Developing Trustworthy Software-Based Systems
Collaborative Systems / Session 13：
A Multi-Agent Software Environment for Testing Web-Based Applications / Q. Huo ; H. Zhu ; S. Greenwood
Mediating Electronic Meetings / J. Zhang ; C. Chang ; J.-Y. Chung
Scalable Multilateral Communication Technique for Large-Scale Information Systems / K. Ragab ; N. Kaji ; K. Mori
Software Architecture and Framework / Session 14：
Runtime Software Architecture Based Software Online Evolution / Q. Wang ; G. Huang ; J. Shen ; H. Mei ; F. Yang
The XIS Generative Programming Techniques / A. da Silva ; G. Lemos ; T. Matias ; M. Costa
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution / T. Ng ; S. Cheung
Requirements Engineering / Session 15：
A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines / W. Zhang ; F. Gu
A Synergistic Interweaving of Formal and Informal Methods / W. Yeung ; K. Leung
Mockup-Driven Fast-Prototyping Methodology for Web Requirements Engineering
Case Studies in Systems/Software Engineering / Session 16：
Internet and Web-Based Systems / Session 17：
Integrating Heterogeneous Web Services with WebXcript / D. Chiu ; D. Kok ; A. Lee
A Probabilistic Model for Intelligent Web Crawlers / K. Hu
Autonomous Decentralized Database System Reconstruction Technology through Mobile Agent Monitoring and Coordination / C. Leguizamo ; D. Wang
Software Reengineering (1) / Session 18：
Incremental Transformation of Procedural Systems to Object Oriented Platforms / Y. Zou ; K. Kontogiannis
Migrating Web Frameworks Using Water Transformations / A. Hassan ; R. Holt
Bridging Legacy Systems to Model Driven Architecture / B. Qiao ; H. Yang ; W. Chu ; B. Xu
Quality Management / Session 19：
Transforming Quantities into Qualities in Assessment of Software Systems / G. Canfora ; L. Cerulo ; L. Troiano
Information Quality Assessment of a Yellow-Pages Location-Based Service / A. Katasonov ; M. Sakkinen
VDM over PSP: A Pilot Course for VDM Beginners to Confirm Its Suitability for Their Development / H. Suzumori ; H. Kaiya ; K. Kaijiri
Software Reengineering (2) / Paper Session 20：
A Reengineering Process for Migrating from an Object-Oriented Legacy System to a Component-Based System / E. Lee ; B. Lee ; W. Shin ; C. Wu
Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System / R. Millham ; M. Ward
Recovering a Business Object Model from Web Applications / G. Di Lucca ; A. Fasolino ; P. Tramontana ; U. De Carlini
Measurement and Metrics / Session 21：
Testing the Suitability of Markov Chains as Web Usage Models / Z. Li ; J. Tian
Integrating Practical Software Measurement and the Balanced Scorecard / D. Card
A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD / Y.-R. Chang ; H.-Y. Lin ; S.-Y. Kuo
Keynote Address 2
The Pursuit of Trust: Finding a Way Through the High Assurance Landscape / Robin Bloomfield
Distributed Systems / Session 22：
IBHIS: Integration Broker for Heterogeneous Information Sources / I. Kotsiopoulos ; J. Keane ; M. Turner ; P. Layzell ; F. Zhu
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes / A. Tai ; K. Tso ; W. Sanders
Implementation of Nonstop Software Update for Client-Server Applications / W.-K. Wei ; K.-F. Ssu ; H. Jiau
Component Based Software Engineering / Session 23：
A Test-Driven Component Development Framework Based on the CORBA Component Model / E. Teiniker ; S. Mitterdorfer ; L. Johnson ; C. Kreiner ; Z. Kovacs ; R. Weiss
Information Use in CBSE Design / S. Owen ; D. Budgen ; P. Brereton
Variable Strength Interaction Testing of Components / M. Cohen ; P. Gibbons ; W. Mugridge ; C. Colbourn ; J. Collofello
Network Systems / Session 24：
An Integrated Approach to Scatternet Traffic Management in Bluetooth Ad Hoc Networks / L. Shek ; Y.-K. Kwok
Distributed Garbage Collection by Timeouts and Backward Inquiry / S.-W. Ryu ; E. Im ; B. Neuman
Facilitating Secure Ad hoc Service Discovery in Public Environments / M. Mutka ; L. Ni
Object-Oriented Development (1) / Session 25：
Precise Specification to Compound Patterns with ExLePUS / J. Mak ; C. Choy ; D. Lun
Scenario Architecture--A Methodology to Build a Global View of OO Software System / Y. Tsai
A Role-Based Metamodeling Approach to Specifying Design Patterns / D.-K. Kim ; R. France ; S. Ghosh ; E. Song
Enterprise Systems / Session 26：
A Toolkit for Developing Web-Based Information Systems: Case Studies / T. Bodhuin ; M. Tortorella
Rapid Verification of Embedded Systems Using Patterns / W. Tsai ; L. Yu ; R. Paul
Software Documentation-Driven Manufacturing / Luqi ; X. Liang ; L. Zhang ; V. Berzins
Object Oriented Development (2) / Session 27：
Meta Model Approach for Mediation / M. Shiroiwa ; T. Miura ; I. Shioya
A Flexible Framework for Replication in Distributed Systems
A Graph Grammar Approach to Software Architecture Verification and Transformation / J. Kong ; K. Zhang ; J. Dong ; G. Song
System Reliability / Paper Session 28：
Sensitivity Analysis of Software Reliability for Component-Based Software Applications / J.-H. Lo ; C.-Y. Huang ; M. Lyu
Effects of Introducing Survival Behaviours into Automated Negotiators / P. Henderson ; S. Crouch ; Q. Ni
System Reliability (2) / F. Liu ; J. Li ; X. Shan ; W. ChouSession 29：
Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification / P. Bailes ; C. Kemp
Deductive Schedulability Verification Methodology of Real-Time Software Using Both Refinement Verification and Hybrid Automata / S. Yamane
An Efficient Defect Estimation Method for Software Defect Curves / C. Bai ; K.-Y. Cai ; T. Chen
Compsac 2003 Workshops
Workshop on Architectures for Complex Application Integration (WACAI2003) / Workshop 1：
Just What Could Possibly Go Wrong in B2B Integration? / D. Kuo ; A. Fekete ; P. Greenfield ; J. Jang ; D. Palmer
An Experience of Applying Architecture-Based Approach to Build a Component-Based Requirements Management Toolset / M. Babar
Enterprise Application Integration Using a Component-Based Architecture / P. Maheshwari
Flexible Fault Tolerance in Configurable Middleware for Embedded Systems / K. Dorow
Ad Hoc Software Interfacing Enterprise Application Integration (EAI) When Middleware Is Overkill / A. Reyes ; J. Espino ; V. Mohan ; M. Nadkar
Next Generation Application Integration/Challenges and New Approaches / I. Gorton ; D. Thurman ; J. Thomson
Web and Security Informatics Workshop / Workshop 2：
Intelligent Web Topics Search Using Early Detection and Data Analysis / C.-C. Lee ; Y. Yang
Discovering Cyber Communities from the WWW / X. Hu ; N. Cercone
Internet-Based Decision Support: Toward E-Hospital / S. Tsumoto ; S. Hirano ; E. Hanada
A Framework for Web-Based Research Support Systems / Y. Yao
Intelligent Mobile Agents for Efficient and Inexpensive e-Shopping / L. Lu ; Y.-Q. Zhang
Managing Security Policy in Large Distributed Web Services Environment / S. Chang ; Q. Chen ; M. Hsu
Information Flows in E-Government / T. Lin
Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System / J. Michael ; T. Wingfield ; D. Wijesekera
A Methodology for Hiding Knowledge in XML Document Collections / T. Johnsten ; R. Sweeney ; V. Raghavan
Security for the Semantic Web / B. Thuraisingham
Situation-Aware Personalized Information Retrieval for Mobile Internet / H. Liu ; D. Huang
Web Based Systems and Applications (WEBSA2003) / Workshop 3：
A Multiple-Tier Model Manipulation Architecture for Enterprise Decision Making / Z. Liang ; S. Li ; H. Liao ; H. Kang ; Q. Duan ; H. Zhou
Regression Testing for Web Applications Based On Slicing / L. Xu ; Z. Chen ; J. Jiang
A Supervised Visual Wrapper Generator for Web-Data Extraction / X. Meng ; H. Wang ; D. Hu ; C. Li
A Dynamic Information Retrieval System for the Web / X. Gao ; S. Murugesan ; B. Lo
A Pattern Language Model for Framework Development / L. Wu-dong ; H. Ke-qing ; Yingshi ; X. Hui ; J. Yixing
Some Domain Patterns in Web Application Framework / L. Chao ; H. Keqing ; L. Jie ; Y. Shi
Web-Based Support for Managing Large Collections of Software Artefacts / C. Boldyreff ; J. Brittle ; C. Korhonen ; P. Kyaw ; J. Lavery ; D. Nutter ; S. Rank
MDA-Based Development of E-Learning System / D. Zhang ; J. Zhou
PeAgen--A Mobile Agent System to Support Secure Internet and Web Applications / Q. Ma ; W. Hao ; W. Li ; M. Tu ; I.-L. Yen
Toward an Easy Programming Environment for Implementing Mobile Applications: A Fleet Application Case Study Using SyD Middleware / S. Prasad ; M. Weeks ; Y. Zhang ; A. Zelikovsky ; S. Belkasim ; R. Sunderraman ; V. Madisetti
A Hierarchical Strategy for Testing Web-Based Applications and Ensuring Their Reliability / L. Ma ; A. Koru
edited by A. Boukerche, S. K. Das, and S. Majumdar ; sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Simulation ; in cooperation with ACM SIGSIM, ACM SIGARCH ; supported by University of North Texas, University of Texas at Arlington
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2002 xvi, 521 p. ; 28 cm
Hardware Assisted Multichannel Volume Rendering / A. Ghosh ; P. Prabhu ; A. Kaufman ; K. Mueller
Interactive Transfer Function Modification for Volume Rendering Using Compressed Sample Runs / V. Srivastava ; U. Chebrolu
Design and Implementation of Panoramic Movie System by Using Commodity 3D Graphics Hardware / T. Yamamoto ; M. Doi
CG Modeling / Session 2：
Interpolatory Subdivision Curves via Diffusion of Normals / Y. Ohtake ; A. Belyaev ; H. Seidel
Mesh Denoising via Iterative Alpha-Trimming and Nonlinear Diffusion of Normals with Automatic Thresholding / H. Yagou
An Efficient Mesh Simplification Method with Feature Detection for Unstructured Meshes and Web Graphics / B. Chen ; T. Nishita
Invited Talk
Clinical Application of Augmented Reality in Neurosurgical Field / H. Iseki ; Y. Muragaki ; K. Naemura ; M. Hayashi ; T. Hori ; K. Takakura
Natural Scene Modeling / Session 3：
@l/f[superscript beta] Noise-Based Real-Time Animation of Trees Swaying in Wind Fields / S. Ota ; M. Tamura ; K. Fujita ; T. Fujimoto ; K. Muraoka ; N. Chiba
Modeling Lobed Leaves / L. Mundermann ; P. MacMurchy ; J. Pivovarov ; P. Prusinkiewicz
Rendering / Session 4：
Data Compression for a Massive Image Data Set in IBMR / C. Leung ; P. Lam ; T. Wong
Fast Volumetric Display of Natural Gaseous Phenomena / S. Roettger ; T. Ertl
Virtual Reality / Session 5：
Flexible Materials in Avango Virtual Environment Framework / L. Nikitina ; I. Nikitin ; S. Klimenko
Immersive Vehicle Simulators for Prototyping, Training and Ergonomics / M. Kallmann ; P. Lemoine ; D. Thalmann ; F. Cordier ; N. Magnenat-Thalmann ; C. Ruspa ; S. Quattrocolo
VHD++Development Framework: Towards Extendible, Component Based VR/AR Simulation Engine Featuring Advanced Virtual Character Technologies / M. Ponder ; G. Papagiannakis ; T. Molet
Real Time Detection Interface for Walking on CAVE / S. Barrera ; P. Romanos ; S. Saito ; H. Takahashi ; M. Nakajima
Texture / Session 6：
Textile and Tile Pattern Design Automatic Cataloguing Using Detection of the Plane Symmetry Group / M. Valor ; F. Albert ; J. Gomis ; M. Contero
Image Restoration Using Multiresolution Texture Synthesis and Image Inpainting / H. Yamauchi ; J. Haber
Compressing Texture Coordinates with Selective Linear Predictions / M. Isenburg ; J. Snoeyink
Virtualizing Real-World Objects / H. Lensch ; J. Kautz ; M. Goesele ; J. Lang
Non-Photo / Session 7：
Rendering Artistic and Believable Trees for Cartoon Animation / F. Di Fiore ; W. Van Haevre ; F. Van Reeth
"Nijimi" Rendering Algorithm for Creating Quality Black Ink Paintings / Q. Guo ; T. Kunii
Application CG / Session 8：
Visualization of Distributed Processes Using "Data Jewelry Box" Algorithm / Y. Yamaguchi ; T. Itoh
Automatic Tracking of Face Sequences in MPEG Video / Y. Zhao ; T. Chua
A Framework for Transfer Colors Based on the Basic Color Categories / Y. Chang
Real Time Rendering / Session 9：
Real-Time Visualization of Japanese Artcraft / R. urikovi ; R. Kimura ; K. Kolchin
A Real-Time Refraction Renderer for Volume Objects Using a Polygon-Rendering Scheme / E. Ohbuchi
Fast Depth of Field Rendering with Surface Splatting / J. K ivanek ; J. Zara ; K. Bouatouch
Ray Tracing Height Fields / H. Qu ; F. Qiu ; N. Zhang ; A. Kauman ; M. Wan
Volume Rendering for Curvilinear and Unstructured Grids / N. Max ; P. Williams ; C. Silva ; R. Cook
Short Paper Session
Interactive Editing of Arbitrary Sub-Meshes / F. Silva ; A. Gomes
Cut-and-Paste Editing Based on Constrained B-spline Volume Fitting / Y. Furukawa ; H. Masuda ; K. Miura ; H. Yamato
Sphairahedral Approach to Parameterize Visible Three Dimensional Quasi-Fuchsian Fractals / K. Ahara ; Y. Araki
A Method of Rendering Scenes Including Volumetric Objects Using Ray-Volume Buffers--Expanding to Render Scenes Including Overlapped Volumetric Objects / K. Kajihara
Time-Sequence Dynamic Virtual Images / Z. Li ; J. Sun ; J. Zhang
Using Virtual Reality to bring Singaporean Heritage to Life / M. Song ; T. Elias ; W. Muller-Wittig ; T. Chan
Modeling Rocky Scenery Taking into Account Joints / T. Ito
Consistent Visualization and Querying of GIS Databases by a Location-Aware Mobile Agent / S. Lodha ; N. Faaland ; G. Wong ; A. Charaniya ; S. Ramalingam ; A. Keller
Robust Watermarking of 3D Polygonal Models Based on Vertice Scrambling / Y. Zhi-qiang ; H. Ip ; L. Kwok
A Framework to Customize a Face Model for Reusing Animation / K. Zhang ; Z. Huang
Camera Self-Calibration Using the Geometric Structure in Real Scenes / P. Liu ; J. Shi ; J. Zhou ; L. Jiang
An Inverse Kinematics Method for 3D Figures with Motion Data / T. Komura ; A. Kuroda ; S. Kudoh ; T. Lan ; Y. Shinagawa
Natural Human Animation via Learning with Dynamic Manipulability / T. Mukai ; S. Kuriyama ; T. Kaneko
Cartoon Blur: Non-Photorealistic Motion Blur / Y. Kawagishi ; K. Hatsuyama ; K. Kondo
A Production Method of Reusing Existing 2D Animation Sequences / F. Sumi
An Educational Tool for Basic Techniques in Beginner's Pencil Drawing / S. Takagi ; N. Matsuda ; M. Soga ; H. Taki ; T. Shima ; F. Yoshimoto
Generation of Varing Line Thickness / A. Kani
Visualization of Musical Pitch / P. McLeod ; G. Wyvill
Animation / Session 10：
Extraction of Motion Individuality in Sports and its Application to Motion of Characters with Different Figures / R. Kawasaki ; Y. Kitamura ; F. Kishino
Creating Various Styles of Animations Using Example-Based Filtering / R. Hashimoto ; H. Johan
Diorama Engine--A 3D Directing Tool for 3D Computer Animation Production / K. Mikami ; T. Tokuhara
Reaching Volumes Generated by Means of Octal Trees and Cartesian Constraints / I. Rodriguez ; M. Peinado ; R. Boulic ; D. Meziat
Color Plates
Author Index
Preface
CG Hardware / Session 1：
Hardware Assisted Multichannel Volume Rendering / A. Ghosh ; P. Prabhu ; A. Kaufman ; K. Mueller
sponsored by IEEE Computer Society Technical Committee on Data Engineering, The Concurrent Engineering Research Center(CERC), West Virginia University,USA ; supported by the City of Linz, the Government of Upper Austria, the Linzer Hochschulfonds
出版情報:
Los Alamitos, Calif. : IEEE Computer Society Press, c2003 xviii, 408p. ; 28 cm
Message from the WET ICE Organizer / Sumitra Mitra Reddy
WET ICE Organizing Committees
Workshop Organizing Committees
WET ICE Participants
Plenary Talks
Coordination in Pervasive Computing Environments / A. Ferscha
Network Threat Modeling / J. M. Johansson
Instructional Design for Collaborative E-Learning / W. Gerteis ; J. Schaper
DEVISE: A Methodology for Building Web Services Based Infrastructure for Collaborative Enterprises / N. Dhyanesh ; G. C. Vineel ; S. V. Raghavan
Workshop: Agent-Based Computing for Enterprise Collaboration (ACEC)
ACEC Workshop Report: Agent-Based Computing for Enterprise Collaboration--What Can Agents Learn from Human Collaboration? / M. B. Blake ; G. Cabri
Integrated Multi-Agent-Based Supply Chain Management / D. Frey ; T. Stockheim ; P.-O. Woelk ; R. Zimmermann
Mapping Abstractions of Norms in Electronic Institutions / I. K. Ibrahim ; G. Kotsis ; W. Schwinger
Agent.Hospital--Agent-Based Open Framework for Clinical Applications / S. Kirn ; C. Heine ; R. Herrler ; K.-H. Krempels
A Case Study in Role-Based Agent Interactions / L. Ferrari ; L. Leonardi
Short Paper--An Agent-Based Approach to Specify a Web Service-Oriented Environment / Z. Maamar ; F. Akhter ; M. Lahkim
Workshop: Distributed and Mobile Collaboration (DMC)
DMC Workshop Report: DMC--Distributed and Mobile Collaboration Workshop Report / S. Dustdar ; H. Gall
Session: DMC--Collaboration and Coordination
WebDAVA: An Administrator-Free Approach to Web File-Sharing / A. Levine ; V. Prevelakis ; J. Ioannidis ; S. Ioannidis ; A. D. Keromytis
A Logical Model for Coordination Rule Classes in Collaborative Sessions / J. M. Molina Espinosa ; J. Fanchon ; K. Drira
Using UML to Design Distributed Collaborative Workflows: From UML to XPDL / P. Jiang ; Q. Mair ; J. Newman
Short Paper--Mobile Collaboration Tool for University Education / S. Berger ; R. Mohr ; H. Nosekabel ; K. J. Schafer
Session: DMC--Frameworks
Yet Another Framework for Supporting Mobile and Collaborative Work / M. Caporuscio ; P. Inverardi
Supporting Collaboration in the Development of Tools and Dies in Manufacturing Networks / Z. Yalniz ; E. Kirda
Session: Issues in Peer-to-Peer Systems
Supporting Rich Queries in DHT-Based Peer-to-Peer Systems / M. Zhang ; K.-L. Tan
On Optimal Update Policies and Cluster Sizes for 2-Tier Distributed Systems / P. Dey ; A. Datta
Introducing Domain Specific Ad-Hoc Collaboration: The Peer-to-Peer Tool iK[superscript now] / C. Eikemeier ; U. Lechner
Short Paper--A Provision-Centric Model for Electronic Services / C. Gryce ; G. Piccinelli ; C. Zirpins
Session: Designing DMC Systems
Designing Coordination Systems for Distributed Teamwork / N. D. Mehandjiev ; A. A. Karageorgos ; G. H. Tsang
Automatic Synthesis of Coordinators for COTS Group-Ware Applications: An Example / M. Tivoli ; A. Bucchiarone
Workshop: Evaluating Collaborative Information Systems and Support for Virtual Enterprises (ECE)
ECE Workshop Report: WETICE 2003 Evaluating Collaborative Enterprises Workshop Report / E. M. Raybourn ; J. P. H. Huang
The Virtual Environment: The "How-To" of Studying Collaboration and Performance of Geographically Dispersed Teams / L. M. L. Peters
Assessing Collaborative Tools from an Information-Processing Perspective: Identification of Value-Added Processes / F. Bouthillier ; K. Shearer
Use of Scenario Evaluation in Preparation for Deployment of a Collaborative System for Knowledge Transfer--The Case of KiMERA / L. M. S. Lau ; C. A. Adams ; P. M. Dew ; C. M. Leigh
E-Magine: The Development of an Evaluation Method to Assess Groupware Applications / M. A. A. Huis in 't Veld ; J. H. E. Andriessen ; R. M. Verburg
An Agent-Based Evaluation Framework for Supporting Virtual Enterprise Formation / S. A. Petersen
Modeling Contribution for Virtual Enterprise Support / S. Tata ; I. Boughzala
Historical Awareness Support and Its Evaluation in Collaborative Software Engineering / D. Nutter ; C. Boldyreff
Workshop: Enterprise Security (ES)
ES Workshop Report: WETICE 2003 Eighth Enterprise Security (ES) Workshop Report / D. Gilliam
Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets / K. Juszczyszyn
Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System / G. Kolaczek
Policy Storage for Role-Based Access Control Systems / A. Belokosztolszki ; D. M. Eyers ; W. Wang ; K. Moody
Specification and Classification of Role-Based Authorization Policies / G.-J. Ahn
A Hybrid Key Tree Scheme for Multicast to Balance Security and Efficiency Requirements / C. Duma ; N. Shahmehri ; P. Lambrix
Secured Advanced Federated Environment (SAFE): A NASA Solution for Secure Cross-Organization Collaboration / E. Chow ; M. C. Spence ; B. Pell ; H. Stewart ; D. Korsmeyer ; J. Liu ; H.-P. Chang ; C. Viernes ; A. Goforth
A Network Worm Vaccine Architecture / S. Sidiroglou
Indra: A Peer-to-Peer Approach to Network Intrusion Detection and Prevention / R. Janakiraman ; M. Waldvogel ; Q. Zhang
Verification of Access Control Coherence in Information System during Modifications / G. Goncalves ; F. Hemery ; A. Poniszewska
Supporting Digital Signatures in Mobile Environments / S. Campbell
Software Security Checklist for the Software Life Cycle / D. P. Gilliam ; T. L. Wolfe ; J. S. Sherif ; M. Bishop
Key Exchange (KX)--A Next Generation Protocol to Synchronise PGP Keyservers / A. von Bidder ; N. Weiler
Practical Anonymity for the Masses with Mix-Networks / M. Rennhard ; B. Plattner
Session: Trust Management
Cooperating through a Belief-Based Trust Computation / C. Castelfranchi ; R. Falcone ; G. Pezzulo
Design and Implementation of Virtual Private Services / S. M. Bellovin ; J. M. Smith
Attack-Resistance of Computational Trust Models / A. Twigg ; N. Dimmock
Short Paper--How Much Is "Enough"? Risk in Trust-Based Access Control
Trust Dynamics for Collaborative Global Computing / C. English ; S. Terzis ; W. Wagealla ; H. Lowe ; P. Nixon ; A. McGettrick
Workshop: Knowledge Management for Distributed Agile Processes (KMDAP)
KMDAP Workshop Report: Knowledge Management for Distributed Agile Processes: Models, Techniques, and Infrastructure / H. Holz ; G. Melnik ; M. Schaaf
Ontology-Based Information in Dynamic Environments / H. Stuckenschmidt
WebRat: Supporting Agile Knowledge Retrieval through Dynamic, Incremental Clustering and Automatic Labelling of Web Search Result Sets / M. Granitzer ; W. Kienreich ; V. Sabol ; G. Dosinger
Knowledge Sharing: Agile Methods vs. Tayloristic Methods / T. Chau ; F. Maurer
Requirements Engineering and Agile Software Development / F. Paetsch ; A. Eberlein
Lessons Learned about Distributed Pair Programming: What Are the Knowledge Needs to Address? / G. Canfora ; A. Cimitile ; C. A. Visaggio
Collaborative, Task-Specific Information Delivery for Agile Processes / J. Schafer
Using Design Rationales for Agile Documentation / T. Sauer
The PROGEMM Approach for Managing Clinical Processes / K. Maximini
Short Paper--Proactive Knowledge Distribution for Agile Processes / R. Weber
Weakly-Structured Workflows for Knowledge-Intensive Tasks: An Experimental Evaluation / L. van Elst ; F.-R. Aschoff ; A. Bernardi ; H. Maus ; S. Schwarz
KEPT: A Knowledge Elicitation Tool to Support Communities of Practice / E. Colombo ; F. Sartori
Workshop: Theory and Practice of Open Computational Systems (TAPOCS)
TAPOCS Workshop Report: First International Workshop on Theory and Practice of Open Computational Systems / M. Fredriksson ; R. Gustavsson ; A. Omicini ; A. Ricci
Quality of Service in Network-Centric Warfare and Challenges in Open Computational Systems Engineering
Supporting Coordination in Open Computational Systems with TuCSoN
Modeling Indirect Interaction in Open Computational Systems / D. Keil ; D. Goldin
An Agent-Based Computational Model for the Battle of Trafalgar: A Comparison between Analytical and Simulative Methods of Research / G. Trautteur ; R. Virgilio
The AMAS Theory for Complex Problem Solving Based on Self-Organizing Cooperative Agents / D. Capera ; J.-P. George ; M.-P. Gleizes ; P. Glize
Living Design for Open Computational Systems / G. Picard
Designing New Agent Based Applications Architectures with the AGP Methodology / E. Sanchis
Developing Adaptive and Context-Aware Applications in Dynamic Networks / M. Mamei ; F. Zambonelli
Author Index
Message from the General Chair / Gabriele Kotsis
Message from the WET ICE Organizer / Sumitra Mitra Reddy
Challenges in the Design of Security-Aware Processors / R. Lee
Models, Methods and Tools / Session 1：
Context-Aware Process Networks / H. van Dijk ; H. Sips ; E. Deprettere
Multi-Dimensional Incremental Loop Fusion for Data Locality / S. Verdoolaege ; M. Bruynooghe ; G. Janssens ; F. Catthoor
Switched Memory Architectures--Moving Beyond Systolic Arrays / R. Lakshminarayanan ; S. Rajopadhye
Hardware Synthesis for Multi-Dimensional Time / A.-C. Guillou ; P. Quinton ; T. Risset
Using Group Theory to Specify Application Specific Interconnection Networks for SIMD DSPs / T. Drager ; G. Fettweis
Design Methodology / Session 2：
Systematic Register Bypass Customization for Application-Specific Processors / K. Fan ; N. Clark ; M. Chu ; K. Manjunath ; R. Ravindran ; M. Smelyanskiy ; S. Mahlke
Storage Management in Process Networks Using the Lexicographically Maximal Preimage / A. Turjan ; B. Kienhuis
Energy Aware Register File Implementation through Instruction Predecode / J. Ayala ; M. Lopez-Vallejo ; A. Veidenbaum ; C. Lopez
Physical Planning for On-Chip Multiprocessor Networks and Switch Fabrics / T. Ye ; G. De Micheli
Automatic Instruction Set Extension and Utilization for Embedded Processors / A. Peymandoust ; L. Pozzi ; P. Ienne
Invited Session--Nanocomputing Technology and Systems / Session 3：
Nanotechnology in the Development of Future Computing Systems / T. Yamada ; M. Meyyappan
Circuit Characteristics of Molecular Electronic Components / D. Janes ; S. Ghosh ; J. Choi ; S. Lodha ; S. Bhattacharya
Reconfigurable Computing and Electronic Nanotechnology / S. Goldstein ; M. Budiu ; M. Mishra ; G. Venkataramani
Processors / Session 4：
Using Media Processors for Low-Memory AES Implementation / J. Irwin ; D. Page
Variable-Length Instruction Compression for Area Minimization / P. Simonen ; I. Saastamoinen ; J. Nurmi
A Generic Tool-Set for SoC Multiprocessor Debugging and Synchronization / A. Wieferink ; T. Kogel ; R. Leupers ; H. Meyr ; A. Nohl ; A. Hoffmann
Evaluating Memory Architectures for Media Applications on Coarse-Grained Reconfigurable Architectures / J.-e. Lee ; K. Choi ; N. Dutt
Application-Specific Computing with Adaptive Register File Architectures / R. Sangireddy ; A. Somani
Numeric Co-Processors / Session 5：
A Floating-Point CORDIC Based SVD Processor / Z. Liu ; K. Dickson ; J. McCanny
Combined Multiplication and Sum-of-Squares Units / M. Schulte ; L. Marquette ; S. Krithivasan ; E. Walters III ; J. Glossner
Comparison of Branching CORDIC Implementations / A. Singh ; D. Phatak ; T. Goff ; M. Riggs ; J. Plusquellic ; C. Patel
Unified Radix-4 Multiplier for GF(p) and GF(2[superscript n]) / L.-S. Au ; N. Burgess
Arbitrary Bit Permutations in One or Two Cycles / Z. Shi ; X. Yang
Multimedia Architectures / Session 6：
Color Space Conversion for MPEG Decoding on FPGA-Augmented TriMedia Processor / M. Sima ; S. Vassiliadis ; S. Cotofana ; J. van Eijndhoven
Reducing Dynamic Power Consumption in Next Generation DS-CDMA Mobile Communication Receivers / V. Chandrasekhar ; F. Livingston ; J. Cavallaro
An Efficient Disk-Array-Based Server Design for a Multicast Video Streaming System / P. Chan ; J. Lee
An Efficient PIM (Processor-In-Memory) Architecture for Motion Estimation / J.-Y. Kang ; S. Gupta ; S. Shah ; J.-L. Gaudiot
A VLSI Architecture for Advanced Video Coding Motion Estimation / S. Yap
Computer Arithmetic / Session 7：
Complex Division with Prescaling of Operands / M. Ercegovac ; J.-M. Muller
Iterative Methods for Logarithmic Subtraction / M. Arnold
A Family of Parallel-Prefix Modulo 2[superscript n] - 1 Adders / G. Dimitrakopoulos ; H. Vergos ; D. Nikolos ; C. Efstathiou
Performance-Improved Computation of Very Large Word-Length LNS Addition/Subtraction Using Signed-Digit Arithmetic / C. Chen ; R.-L. Chen
Decimal Multiplication Via Carry-Save Addition / M. Erle
Signal Processing Architectures / Session 8：
Reconfigurable Viterbi Decoding Using a New ACS Pipelining Technique / Y. Zhu ; M. Benaissa
Application-Specific DSP Architecture for Fast Fourier Transform / K. Heo ; S. Cho ; M. Sunwoo
An Architecture for a Radix-4 Modular Pipeline Fast Fourier Transform / A. El-Khashab ; E. Swartzlander, Jr
GFS: An Efficient Implementation of Fair Scheduling for Multi-Gigabit Packet Networks / G. Kornaros ; T. Orphanoudakis ; I. Papaefstathiou
Area and Time Efficient Modular Multiplication of Large Integers / V. Bunimov ; M. Schimmler
Cryptography / Session 9：
Modular Multiplication for FPGA Implementation of the IDEA Block Cipher / J.-L. Beuchat
Concurrent Fault Detection in a Hardware Implementation of the RC5 Encryption Algorithm / G. Bertoni ; L. Breveglieri ; I. Koren ; P. Maistri ; V. Piuri
Hardware Implementation of an Elliptic Curve Processor over GF(p) / S. Ors ; L. Batina ; B. Preneel ; J. Vandewalle
A Cryptographic Processor for Arbitrary Elliptic Curves over GF(2[superscript m]) / H. Eberle ; N. Gura ; S. Chang-Shantz
Instruction Set Extension for Fast Elliptic Curve Cryptography over Binary Finite Fields GF(2[superscript m]) / J. Grossschadl ; G.-A. Kamendje
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on VLSI, IEEE Computer Society Technical Council on Test Technology ; in cooperation with IEEE Solid State Circuits Society ; [edited by Tom Wik, Adit Singh, and Rochit Rajsuman]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 ix, 95 p. ; 28 cm
Designing Next Generation Clusters with Infiniband: Opportunities and Challenges / D. Panda
Using MPI-2: Advanced Features of the Message Passing Interface / W. Gropp ; E. Lusk ; R. Ross ; R. Thakur
The Gridbus Toolkit for Grid and Utility Computing / R. Buyya
Building and Managing Clusters with NPACI Rocks / G. Bruno ; M. Katz ; P. Papadopoulos ; F. Sacerdoti ; L. Liew ; N. Ninaba
Technical Session
Grid Demo--Live Demonstrations of Grid Technologies and Applications
Scheduling I
Dynamic Scheduling of Parallel Real-time Jobs by Modelling Spare Capabilities in Heterogeneous Clusters / L. He ; S. Jarvis ; G. Nudd ; D. Spooner
Parallel Job Scheduling on Multicluster Computing Systems / J. Abawajy ; S. Dandamudi
Interstitial Computing: Utilizing Spare Cycles on Supercomputers / S. Kleban ; S. Clearwater
Applications
A Cluster-Based Solution for High Performance Hmmpfam Using EARTH Execution Model / W. Zhu ; Y. Niu ; J. Lu ; C. Shen ; G. Gao
Computing Large-scale Alignments on a Multi-cluster / C. Chen ; B. Schmidt
Auto-CFD: Efficiently Parallelizing CFD Applications on Clusters / L. Xiao ; X. Zhang ; Z. Kuang ; B. Feng ; J. Kang
Performance Analysis
Performance Analysis of a Large-Scale Cosmology Application on Three Cluster Systems / Z. Lan ; P. Deshikachar
A Performance Monitor Based on Virtual Global Time for Clusters of PCs / M. Taufer ; T. Stricker
A Distributed Performance Analysis Architecture for Clusters / H. Brunst ; W. Nagel ; A. Malony
Scheduling II
Co-ordinated Coscheduling in Time-Sharing Clusters through a Generic Framework / S. Agarwal ; G. Choi ; C. Das ; A. Yoo ; S. Nagar
A Robust Scheduling Strategy for Moldable Scheduling of Parallel Jobs / S. Srinivasan ; S. Krishnamoorthy ; P. Sadayappan
Towards Load Balancing Support for I/O-Intensive Parallel Jobs in a Cluster of Workstations / X. Qin ; H. Jiang ; Y. Zhu ; D. Swanson
Java
JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogeneous Collections of Commodity Workstations / M. Factor ; A. Schuster ; K. Shagin
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters / G. Taboada ; J. Tourino ; R. Doallo
Compiler Optimized Remote Method Invocation / R. Veldema ; M. Philippsen
Communication I
Optimizing Mechanisms for Latency Tolerance in Remote Memory Access Communication on Clusters / J. Nieplocha ; V. Tipparaju ; M. Krishnan ; G. Santhanaraman
Impact of Computational Resource Reservation to the Communication Performance in the Hypercluster Environment / K. Tse ; P. Lun
Kernel Implementations of Locality-Aware Dispatching Techniques for Web Server Clusters / M. Di Santo ; N. Ranaldo ; E. Zimeo
Middleware
OptimalGrid: Middleware for Automatic Deployment of Distributed FEM Problems on an Internet-Based Computing Grid / T. Lehman ; J. Kaufman
Adaptive Grid Resource Brokering / A. Othman ; P. Dew ; K. Djemame ; I. Gourlay
HPCM: A Pre-compiler Aided Middleware for the Mobility of Legacy Code / C. Du ; X. Sun ; K. Chanchio
Cluster/Job Management I
The Process Management Component of a Scalable Systems Software Environment / R. Butler ; N. Desai ; A. Lusk
Load Distribution for Heterogeneous and Non-Dedicated Clusters Based on Dynamic Monitoring and Differentiated Services / L. Sato ; H. Senger
GridRM: An Extensible Resource Monitoring System / M. Baker ; G. Smith
I/O I
A High Performance Redundancy Scheme for Cluster File Systems / M. Pillai ; M. Lauria
VegaFS: A Prototype for File-Sharing Crossing Multiple Administrative Domains / W. Li ; J. Liang ; Z. Xu
Design and Performance of the Dawning Cluster File System / J. Xiong ; S. Wu ; D. Meng ; N. Sun ; G. Li
Novel Systems
Coordinated Checkpoint versus Message Log for Fault Tolerant MPI / A. Bouteiller ; P. Lemarinier ; G. Krawezik ; F. Cappello
A Performance Comparison of Linux and a Lightweight Kernel / R. Brightwell ; R. Riesen ; K. Underwood ; T. Hudson ; P. Bridges ; A. Maccabe
Implications of a PIM Architectural Model for MPI / A. Rodrigues ; R. Murphy ; P. Kogge ; J. Brockman
Cluster/Job Management II
Reusable Mobile Agents for Cluster Computing / I. Satoh
High Service Reliability for Cluster Server Systems / M. Deris ; M. Rabiei ; A. Noraziah ; H. Suzuri
Wide Area Cluster Monitoring with Ganglia / M. Massie ; D. Culler
Novel Software
Efficient Parallel Out-of-core Matrix Transposition / G. Baumgartner ; D. Cociorva ; C. Lam
A Case Study of Parallel I/O for Biological Sequence Search on Linux Clusters
CTFS: A New Light-weight, Cooperative Temporary File System for Cluster-Based Web Servers / J. Wang
I/O II
Efficient Structured Data Access in Parallel File Systems / A. Ching ; A. Choudhary ; W. Liao
View I/O: Improving the Performance of Non-contiguous I/O / F. Isaila ; W. Tichy
Supporting Efficient Noncontiguous Access in PVFS over InfiniBand / J. Wu ; P. Wyckoff
Scheduling III
A General Self-adaptive Task Scheduling System for Non-dedicated Heterogeneous Computing / M. Wu
Adding Memory Resource Consideration into Workload Distribution for Software DSM Systems / Y. Liu ; C. Shieh ; T. Liang
An Energy-Based Implicit Co-scheduling Model for Beowulf Cluster / S. Sriprayoonsakul ; P. Uthayopas
High Availability
Availability Prediction and Modeling of High Availability OSCAR Cluster / L. Shen ; C. Leangsuksun ; T. Liu ; H. Song ; S. Scott
A System Recovery Benchmark for Clusters / I. Pramanick ; J. Mauro ; J. Zhu
Performance Evaluation of Routing Algorithms in RHiNET-2 Cluster / M. Koibuchi ; K. Watanabe ; K. Kono ; A. Jouraku ; H. Amano
Communications II
Application-Bypass Reduction for Large-Scale Clusters / A. Wagner ; D. Buntias
Improving the Performance of MPI Derived Datatypes by Optimizing Memory-Access Cost / S. Byna
Shared Memory Mirroring for Reducing Communication Overhead on Commodity Networks / B. Palmer ; E. Apra
Poster Session/Short Papers
"Plug-and-Play" Cluster Computing Using Mac OS X / D. Dauger ; V. Decyk
Improving Performance of a Dynamic Load Balancing System by Using Number of Effective Tasks / M. Choi ; J. Yu ; H. Kim ; S. Maeng
Dynamic Self-Adaptive Replica Location Method in Data Grids / D. Li ; N. Xiao ; X. Lu ; K. Lu ; Y. Wang
Efficient Distributed Disk Caching in Data Grid Management / S. Jiang
Optimized Implementation of Extendible Hashing to Support Large File System Directory / R. Tang
Parallel Design Pattern for Computational Biology and Scientific Computing Applications / W. Liu
FJM: A High Performance Java Message Library / T. Hsiao ; M. Cheng ; H. Chiao ; S. Yuan
Cluster Architecture with Lightweighted Redundant TCP Stacks / H. Jin ; Z. Shao
From Clusters to the Fabric: The Job Management Perspective / T. Roblitz ; F. Schintke ; A. Reinefeld
Towards an Efficient Cluster-Based E-Commerce Server / V. Ungureanu ; B. Melamed ; M. Katehakis
A Kernel Running in a DSM--Design Aspects of a Distributed Operating System / R. Goeckelmann ; M. Schoettner ; S. Frenz ; P. Schulthess
Distributed Recursive Sets: Programmability and Effectiveness for Data Intensive Applications / R. Diaconescu ; R. Conradi
Run-Time Prediction of Parallel Applications on Shared Environments / B. Lee ; J. Schopf
An Instance-Oriented Security Mechanism in Grid-Based Mobile Agent System / T. Ma ; S. Li
A Hierarchical and Distributed Approach for Mapping Large Applications to Heterogeneous Grids Using Genetic Algorithms / S. Sanyal ; A. Jain ; S. Das ; R. Biswas
BCFG: A Configuration Management Tool for Heterogeneous Clusters / R. Bradshaw ; R. Evard
Communication Middleware Systems for Heterogenous Clusters: A Comparative Study / D. Balkanski ; M. Trams ; W. Rehm
QoS-Aware Adaptive Resource Management in Distributed Multimedia System Using Server Clusters / M. Moghal ; M. Mian
On the InfiniBand Subnet Discovery Process / A. Bermudez ; R. Casado ; F. Quiles ; T. Pinkston ; J. Duato
Euromicro Conference on Parallel, Distributed and Network-Based Processing ; IEEE Computer Society ; Clematis, Andrea ; IMATI-CNR Genova ; European Comission Information Society Technologies Programme
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xiv, 553 p. ; 28 cm
[sponsored by IEEE Computer Society, Information Processing Society of Japan, Society of Instrument and Control Engineers of Japan, Institute of Electronics, Information, and Communication Engineers, Japan, AICA]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xvi, 336 p. ; 28 cm
Distributed Systems: Lessons Learned and Challenges Remaining / Alfred Z. Spector
Kanai Award 2002
Software Development Support for Next-Generation Distributed Embedded Systems / Stephen S. Yau
Keynote Address 1
Autonomic Computing / David L. Cohn
Group Coordination and Management / Session 1：
Managing Dynamic Groups of Mobile Systems / S. Schemmer ; E. Nett
Assuring Interoperability in Heterogeneous, Autonomous and Decentralized Multi-Agent Systems / H. Suguri ; E. Kodama ; M. Miyazaki
Dynamic Information Allocation through Mobile Agents to Achieve Load Balancing in Evolving Environment / H. F. Ahmad
Architectures 1 / Session 2：
The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture / G. Bauer ; H. Kopetz ; W. Steiner
An Adaptable Architecture for Secure Delivery of Converged Services / J. Li ; W. Chou ; X. Shan ; F. Liu ; W. E. Wong
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software / K. H. Kim ; S.-J. Kang
Application Based on Agents and Mobility / Session 3：
Distributed Motion Coordination with Co-Fields: A Case Study in Urban Traffic Management / M. Mamei ; F. Zambonelli ; L. Leonardi
Proposal of an Autonomous Group-Management Model and Its Application to Intelligent Transport System / A. Shimura ; T. Sakaibara ; M. Hiraiwa ; T. Aizono
Hand-OLAP: A System for Delivering OLAP Services on Handheld Devices / A. Cuzzocrea ; F. Furfaro ; D. Sacca
Keynote Address 2
Strategic Railway Systems Using ADS Technologies in Japan / Yoshio Ishida
Fault Tolerance / Session 4：
Structuring Integrated Web Applications for Fault Tolerance / A. Romanovsky ; P. Periorellis ; A. F. Zorzo
Message Logging and Recovery in Wireless CORBA Using Access Bridge / X. Chen ; M. R. Lyu
Mobile Agent Fault Tolerance for Information Retrieval Applications: An Exception Handling Approach / S. Pears ; J. Xu ; C. Boldyreff
Real-Time / Session 5：
Predicting Timeliness of Reactive Systems under Flexible Scheduling / G. Bucci ; A. Fedeli ; E. Vicario
Dynamic Three-Value Logic in Decentralized Time-Critical Domains / M. G. Ceruti ; S. H. Rubin
Fault Containment and Error Detection in the Time-Triggered Architecture
Security and QoS / Session 6：
Specification of Secure Distributed Collaboration Systems / A. R. Tripathi ; T. Ahmed ; R. Kumar
Managing eBusiness on Demand SLA Contracts in Business Terms Using the Cross-SLA Execution Manager SAM / M. Buco ; R. Chang ; L. Luan ; C. Ward ; J. Wolf ; P. Yu
Panel Session
Uncertain, Dynamic, Out of Control? Coordination and Cooperation in Next Generation Systems
Keynote Address 3
The Modest Software Engineer / Martyn Thomas
Verification and Testing / Session 7：
TTCN-3 Based Online Test and Validation Platform for Internet Services / P. H. Deussen ; G. Din ; I. Schieferdecker
Software Testing for Mobile and Ubiquitous Computing / I. Satoh
A Rigorous Approach to Modeling Autonomous Traffic Control Systems / V. S. Alagar ; D. Muthiayen
Special Session Research and Development of Autonomous Decentralized Systems in East Asia I / Session I-1：
A Train Control System for Low-Density Lines Based on Intelligent Autonomous Decentralized System (IADS) / T. Tao ; B. Cai
Autonomous Coordination in Sensor Networks: Heterogeneous ADS / Y. Tan ; Q. Li ; Q. Qian ; K. Mori
Study on Essential Characteristics of RITS / J. Limin ; J. Qiuhua
Information Dissemination / Session 8：
Autonomous Integration and Provision of Heterogeneous Information Services in Distributed Information System / X. Lu ; Y. Zhou ; H. Arfaoui
I-Centric Services Based on Super Distributed Objects / S. Steglich ; R. N. Vaidya ; O. Gimpeliovskaja ; S. Arbanovski ; R. Popescu-Zeletin ; S. Sameshima ; K. Kawano
An Approach to Developing Information Dissemination Service for Ubiquitous Computing Applications / S. S. Yau ; S. I. Ahamed
Special Session Research and Development of Autonomous Decentralized Systems in East Asia II / Session I-2：
Flexible Autonomous Decentralized Technology for Heterogeneous Requirements from Reusable Launch Vehicle / T. Morito ; M. Ohno ; M. Wakamiya
Assurance Technology for Coexisting Test and Operation Subsystems and Its Application to Train Control System / M. Matsumoto
Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System / K. Kera ; K. Bekki ; H. Osumi
Networks / Session 9：
Implementation and Evaluation of Autonomous Decentralized System Based Mobile Communications Platform for ITS Services
A Distributed Network Connectivity Algorithm / E. P. Duarte Jr. ; A. Weber
An Adaptive Multihop Clustering Scheme for Highly Mobile Ad Hoc Networks / T. Ohta ; S. Inoue ; Y. Kakuda
Architecture 2 / Session 10：
Patia: Adaptive Distributed Webserver (A Position Paper) / J. A. McCann ; G. Jawaheer ; L. Sun
Stability and Adaptability of Autonomous Decentralized Flow Control in High-Speed Networks / C. Takano ; M. Aida
An Experience on CORBA Component Deployment / M. C. B. Barros ; E. R. M. Madeira ; I. Sotoma
Panel Session: The Future of Autonomous Decentralized Systems
The Future of Autonomous Decentralized Systems
Autonomy and Community
Supporting Future ADS Applications in Ubiquitous Computing Environments Using Adaptive, Context-Sensitive Middleware
Dependable Computing for National Security: A Position Paper / B. Thuraisingham
New Horizons for Mobile Computing / R. Want ; T. Pering
Middleware Services / Session PC-1：
Portability, Extensibility and Robustness in iROS / S. Ponnekanti ; B. Johanson ; E. Kiciman ; A. Fox
Touch-and-Connect: A Connection Request Framework for Ad-hoc Networks and the Pervasive Computing Environment / Y. Iwasaki ; N. Kawaguchi ; Y. Inagaki
Application-Service Interoperation without Standardized Service Interfaces
Sensor Networks / Session PC-2：
Node-Level Energy Management for Sensor Networks in the Presence of Multiple Applications / A. Boulis ; M. Srivastava
Energy-Optimal and Energy-Balanced Sorting in a Single-Hop Sensor Network / M. Singh ; V. Prasanna
Energy-Aware Target Localization in Wireless Sensor Networks / Y. Zou ; K. Chakrabarty
Ubiquitous Services / Session MA-1：
Seamless Service Platform for Following a User's Movement in a Dynamic Network Environment / K. Takasugi ; M. Nakamura ; S. Tanaka ; M. Kubota
WiFi Bridge: Wireless Mobility Framework Supporting Session Continuity / A. Calvagna ; G. Morabito ; A. La Corte
Self-Routing in Pervasive Computing Environments Using Smart Messages / C. Borcea ; C. Intanagonwiwat ; A. Saxena ; L. Iftode
Pervasive Computing Environments / Session PC-3：
Movement Awareness for a Sentient Environment / R. Headon
Adaptive Offloading Inference for Delivering Applications in Pervasive Computing Environments / X. Gu ; K. Nahrstedt ; A. Messer ; I. Greenberg ; D. Milojicic
An Architecture that Treats Everyday Objects as Communicating Tangible Components / A. Kameas ; S. Bellis ; I. Mavrommati ; K. Delaney ; M. Colley ; A. Pounds-Cornish
Pervasive Environments / Session PC-4：
Using Personnel Movements for in-Door Autonomous Environment Discovery / R. Harle ; A. Hopper
Providing Contextual Information to Pervasive Computing Applications / G. Judd ; P. Steenkiste
WLAN Location Determination via Clustering and Probability Distributions / M. Youssef ; A. Agrawala ; U. Shankar
Context Aware Computing / Session MA-2：
Trust for Ubiquitous, Transparent Collaboration / B. Shand ; N. Dimmock ; J. Bacon
Collaborative Context Recognition for Handheld Devices / J. Mantyjarvi ; J. Himberg ; P. Huuskonen
Dynamic Application Composition: Customizing the Behaviour of an Active Space / M. Roman ; B. Ziebart ; R. Campbell
Ad Hoc Networks / Session PC-5：
On Security Study of Two Distance Vector Routing Protocols for Mobile Ad Hoc Networks / W. Wang ; Y. Lu ; B. Bhargava
Study of Distance Vector Routing Protocols for Mobile Ad Hoc Networks / Y. Zhong
Dynamic Bandwidth Management for Single-Hop Ad Hoc Wireless Networks / S. Shah ; K. Chen
Location-Aware Systems / Session PC-6：
Location-Based E-Campus Web Services: From Design to Deployment / S. Koo ; C. Rosenberg ; H.-H. Chan ; Y. Lee
A High Performance Privacy-Oriented Location System / M. Hazas ; A. Ward
Indirect Routing Using Distributed Location Information / A. Viana ; M. de Amorim ; S. Fdida ; J. de Rezende
Resource Identification and Naming / Session MA-3：
Splendor: A Secure, Private, and Location-Aware Service Discovery Protocol Supporting Mobile Services / F. Zhu ; M. Mutka ; L. Ni
Context-Sensitive Resource Discovery / G. Chen ; D. Kotz
Smart Identification Frameworks for Ubiquitous Computing Applications / K. Romer ; T. Schoch ; F. Mattern ; T. Dubendorfer
Location-Based Services / Session PC-7：
PILGRIM: A Location Broker and Mobility-Aware Recommendation System / M. Brunato ; R. Battiti
Location-Detection Strategies in Pervasive Computing Environments / S. Fischmeister ; G. Menkhaus ; A. Stumpfl
Dealing with Continuous Location-Dependent Queries: Just-in-Time Data Refreshment / S. Ilarri ; E. Mena ; A. Illarramendi
Networking Issues / Session PC-8：
Evaluation of Kalman Filtering for Network Time Keeping / A. Bletsas
Spatial Index On Air / B. Zheng ; W.-C. Lee ; D. Lee
Using Peer-to-Peer Data Routing for Infrastructure-Based Wireless Networks / S. Kodeswaran ; O. Ratsimor ; A. Joshi ; T. Finin ; Y. Yesha
Philosophy of Intelligent Environments / Session IE-1：
Steerable Interfaces for Pervasive Computing Spaces / G. Pingali ; C. Pinhanez ; A. Levas ; R. Kjeldsen ; M. Podlaseck ; H. Chen ; N. Sukaviriya
Using Semantic Networks for Knowledge Representation in an Intelligent Environment / S. Peters ; H. Shrobe
Managing Behaviour of Intelligent Environments / S. Yoshihama ; P. Chou ; D. Wong
Mobile Services / Session PC-9：
A Performance Comparison of Scatternet Formation Protocols for Networks of Bluetooth Devices / S. Basagni ; R. Bruno ; C. Petrioli
Sharing Presence Information and Message Notification in an Ad Hoc Network / D. Zhu
Mobile Link Services with MQSeries Everyplace / S. Vivek ; K. Tso ; D. De Roure
Devices for Pervasive Computing / Session PC-10：
A System of Card Type Battery-less Information Terminal: CardBIT for Situated Interaction / Y. Nakamura ; T. Nishimura ; H. Itoh ; H. Nakashima
Interaction in Pervasive Computing Settings Using Bluetooth-Enabled Active Tags and Passive RFID Technology Together with Mobile Phones / F. Siegemund ; C. Florkemeier
A Pervasive Keyboard--Separating Input from Display / C. Magerkurth ; R. Stenzel
Activity Recognition / Session IE-2：
Object Labelling from Human Action Recognition / P. Peursum ; S. Venkatesh ; G. West ; H. Bui
LANDMARC: Indoor Location Sensing Using Active RFID / Y. Liu ; Y. Lau ; A. Patil
Recognition of Human Activity through Hierarchical Stochastic Learning / S. Luhr
Resource Management / Session PC-11：
ReCalendar: Calendaring and Scheduling Applications with CPU and Energy Resource Guarantees for Mobile Devices / W. Yuan
Adaptation of Web Contents and Services to Terminals Capabilities: The @Terminals Approach / E. Di Nitto ; G. Sassaroli ; M. Zuccala
System Level Design Issues / Session MA-4：
BASE--A Micro-Broken-Based Middleware for Pervasive Computing / C. Becker ; G. Schiele ; H. Gubbels ; K. Rothermel
Synthesizing Distributed Controllers for the Safe Operation of Connected Spaces / B. Sridharan ; A. Mathur ; K.-Y. Cai
Mobile Agent Based Evacuation System When the Battery Runs Out: EASTER / H. Kaneko ; Y. Fukazawa ; F. Kumeno ; N. Yoshioka ; S. Honiden
Location Detection / Session IE-3：
System Design of Smart Table / P. Steurer
Location Aware Resource Management in Smart Homes / A. Roy ; S. Das ; A. Bhattacharya ; K. Basu ; D. Cook
Cerberus: A Context-Aware Security Scheme for Smart Spaces / J. Al-Muhtadi ; A. Ranganathan ; M. Mickunas
Session PC-S: Short Papers
Pervasive Messaging / J.-M. Wams ; M. van Steen
MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks / A. Acharya ; A. Misra ; S. Bansal
LABAR: Location Area Based Ad Hoc Routing for GPS Scarce Wide-Area Ad Hoc Networks / G. Zaruba ; V. Chaluvadi ; A. Suleman
Bio-Inspired Mobility in Environment Aware Wireless Sensor Networks / S. Doumit ; D. Agrawal
Session: IE-S: Short Papers
MavHome: An Agent-Based Smart Home / M. Youngblood ; E. Heierman ; K. Gopalratnam ; S. Rao ; A. Litvin ; F. Khawaja
A New in-Door Location Detection Method Adopting Learning Algorithms / T. Ogawa ; S. Yoshino ; M. Shimizu ; H. Suda
Enabling Location-Aware Pervasive Computing Applications for the Elderly / S. Helal ; B. Winkler ; C. Lee ; Y. Kaddoura ; l. Ran ; C. Giraldo ; S. Kuchibhotla ; W. Mann
Self-Adaptive Leasing for Jini / K. Bowers ; K. Mills ; S. Rose
Scalable Home Network Interaction Model Based on Mobile Agents / J.-J. Yoo ; D.-I. Lee
Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests / M. Hattori ; K. Cho ; A. Ohsuga ; M. Isshiki
Making Java-Enabled Mobile Phone as Ubiquitous Terminal by Lightweight FIPA Compliant Agent Platform / G. Hattori ; S. Nishiyama ; C. Ono ; H. Horiuchi
edited by Hyeong-Seok Ko, organized by Graphics & Media Lab., Collage of Engineering at Seoul National University ; sponsored by Korea Computer Graphics Society ... [et al.]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2001 x, 261 p. ; 28 cm
sponsored by IEEE Computer Society...[et al.] ; in cooperation with ACM Sigsoft, IFIP Working Group 2.9, International Council on Systems Engineering (INCOSE)
出版情報:
Los Alamitos, California : IEEE Computer Society, c2003 xv, 378 p. ; 28 cm
The Journey toward Secure Systems: Achieving Assurance / Steve Lipner
Modern Systems Engineering: A Driving Force for Industrial Competitivity! / Heinz Stoewer
Technical Papers
Requirements Evolution / Session P1：
In Situ Requirements Analysis: A Deeper Examination of the Relationship between Requirements Determination and Project Selection / M. Bergman ; G. Mark
Requirements Stability Assessment Using Scenarios / D. Bush ; A. Finkelstein
Resolving Requirements Discovery in Testing and Operations / R. Lutz ; I. Mikulski
Requirements for Business Systems / Session P2：
Lessons Learnt from Five Years of Experience in ERP Requirements Engineering / M. Daneva
Requirements Engineering for a Pervasive Health Care System / J. Jorgensen ; C. Bossen
Monitoring Web Service Requirements / W. Robinson
DWARF: An Approach for Requirements Definition and Management of Data Warehouse Systems / F. Paim ; J. de Castro
Combining Formal and Informal Techniques / Session P3：
Acquiring and Incorporating State-Dependent Timing Requirements / C.-S. Shih ; J. Liu
Refinement-Based Requirements Modeling Using Triggered Message Sequence Charts / B. Sengupta ; R. Cleaveland
Specifying and Analyzing Early Requirements: Some Experimental Results / A. Fuxman ; L. Liu ; M. Pistore ; M. Roveri ; J. Mylopoulos
Goal-Driven Requirements / Session P4：
Requirements Analysis for Customizable Software: A Goals-Skills-Preferences Framework / B. Hui ; S. Liaskos
Adding Hypermedia Requirements to Goal-Driven Analysis / D. Bolchini ; P. Paolini ; G. Randazzo
Improving Requirements Tracing via Information Retrieval / J. Hayes ; A. Dekhtyar ; J. Osborne
Requirements Elicitation / Session P5：
Security and Privacy Requirements Analysis within a Social Setting / E. Yu
Formal Structure for Specifying the Content and Quality of the Electronic Health Record / H. Covvey ; D. Zitner ; D. Berry ; D. Cowan ; M. Shepherd
Elicitation Technique Selection: How Do Experts Do It? / A. Hickey ; A. Davis
Making Formal Techniques Usable / Session P6：
A Reference Model for Requirements Engineering / J. Hall ; L. Rapanotti
Understanding and Comparing Model-Based Specification Notations / J. Niu ; J. Atlee ; N. Day
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models / R. De Landtsheer ; E. Letier ; A. van Lamsweerde
Requirements Elicitation (2) / Session P7：
Determining Socio-technical Systems Requirements: Experiences with Generating and Walking through Scenarios / A. Mavin ; N. Maiden
Requirements Elicitation for the Design of Venue Operations for the Athens 2004 Olympic Games / P. Loucopoulos ; K. Zografos ; N. Prekas
Teaching Requirements Engineering through Role Playing: Lessons Learnt / D. Zowghi ; S. Paryani
Requirements Prioritizing and Negotiation / Session P8：
A Benchmarking Method for Information Systems / L. Hagge ; J. Kreutzkamp
An Analytical Model for Requirements Selection Quality Evaluation in Product Software Development / B. Regnell ; L. Karlsson ; M. Host
Evolutionary Requirements Analysis / A. Sutcliffe ; W.-C. Chang ; R. Neville
Industry Talks
Requirements Analysis / Industry Session 1：
Customer Requirements and User Requirements: Why the Discrepancies? / M. Deraitus ; A. Miller
Evaluating the Quality of a UML Business Model / B. Berenbach
Using Convergent Design Processes to Surface Hidden Ambiguity and Conflict in Requirements / R. Barnes
Requirements Gathering / Industry Session 2：
Embracing Requirements Variety for e-Governments Based on Multiple Product-Lines Frameworks / M. Aoyama ; K. Watanabe ; Y. Nishio ; Y. Moriwaki
From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality / E. Simmons
The Automated Extraction of Requirements from UML Models
Metrics & Measurement / Industry Session 3：
Measuring Requirements Traceability from Multiple Angles at Multiple Lifecycle Entry Points / D. Becker
One Approach to the Metric Baselining Imperative for Requirements Processes / R. Chardon ; M. Dorfman
RE in Flatness Measurement and Control Systems Development at ABB / N. Yilmazturk
State of Practice / Industry Session 4：
Daily Challenges in Requirements Engineering / F. Salvatore ; T. Alameda
Practical Lessons from 40 System Integrating Projects / T. Nakamura ; S. Matsuda
Requirements Based Testing at HP OpenView / G. Heller ; P. Vollmer
Testing & Traceability / Industry Session 5：
Testing with Partial Traced Requirements: A Necessary Step towards Higher Quality System Level Verification / S. Catrava
Requirements, Configuration Management and Traceability for Safety Critical Software / G. Romanski
Requirement Tracking: A Streamlined Approach / J. Archer
Mini-Tutorials
Ontology as a Requirements Engineering Product / K. Breitman ; J. Leite
Scenario-Based Requirements Engineering
QFD for Customer-Focused Requirements Engineering / G. Herzwurm ; S. Schockert ; W. Pietsch
Panel Sessions
Marketing Meets Requirements Engineering / M. Rossi ; T. Tuunanen
Requirements Engineering in Practice: Making the Business Case for Requirements Engineering / N. Mead ; N. Kameli
Poster Presentations and Research Tool Demos
Posters and Demos Session 1
Demos
Nimbus: A Tool for Specification Centered Development / M. Heimdahl ; M. Whalen ; J. Thompson
FAUST: Formal Analysis Using Specification Tools / A. Rifaut ; P. Massonet ; J.-F. Molderez ; C. Ponsard ; P. Stadnik ; H. Tran Van
SMaRT-Scenario Management and Requirements Tool / W. Stufflebeam ; A. Anton ; T. Alspaugh
Relating Practitioner Needs to Research Activities / M. Feather ; T. Menzies ; J. Connelly
Poster Presentations
Contrasting Use Case, Goal, and Scenario Analysis of the Euronet System
Trade-Off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application / H. Kaiya ; K. Sasaki ; Y. Maebashi ; K. Kaijiri
Bringing Usability to the Early Stages of Software Development / L. Cysneiros ; A. Kushniruk
Posters and Demos Session 2
Goal-Oriented Idea Generation Method for Requirements Elicitation / K. Oshiro ; K. Watahiki ; M. Saeki
Software Requirements for Architectured Systems / E. Navarro ; I. Ramos ; J. Perez
Market Driven Requirements Elicitation via Critical Success Chains
Integrating RE Methods to Support Use Case Based Requirements Specification / S. Jones ; M. Flynn
Introducing Abuse Frames for Analysing Security Requirements / L. Lin ; B. Nuseibeh ; D. Ince ; M. Jackson ; J. Moffett
An Approach to Visualise and Reconcile Use Case Descriptions from Multiple Viewpoints / D. Richards ; A.-B. Fure ; O. Aguilera
Media-Assisted Product and Process Requirements Traceability in Supply Chains / M. Jarke ; O. Fritzen ; M. Miatidis ; M. Schluter
High-Speed Link Design, Then and Now / M. Horowitz
Terascale Computing and BlueGene / W. Pulley
Advanced EDA Tools for High-Performance Design / T. Vucurevich
Energy Efficiency / Session 1.1：
Energy Efficient Asymmetrically Ported Register Files / A. Aggarwal ; M. Franklin
Power Efficient Data Cache Designs / J. Abella ; A. Gonzalez
On Reducing Register Pressure and Energy in Multiple-Banked Register Files
Low Power Multiplication Algorithm for Switching Activity Reduction through Operand Decomposition / M. Ito ; D. Chinnery ; K. Keutzer
Timing Verification / Session 1.2：
Verification of Timed Circuits with Failure Directed Abstractions / H. Zheng ; C. Myers ; D. Walter ; S. Little ; T. Yoneda
Procedures for Identifying Untestable and Redundant Transition Faults in Synchronous Sequential Circuits / G. Chen ; S. Reddy ; I. Pomeranz
Event-Centric Simulation of Crosstalk Pulse Faults in Sequential Circuits / M. Phadoongsidhi ; K. Saluja
Specifying and Verifying Systems with Multiple Clocks / E. Clarke ; D. Kroening ; K. Yorav
Electrical Analysis for System LSI / Session 1.3：
Enhanced QMM-BEM Solver for 3-D Finite-Domain Capacitance Extraction with Multilayered Dielectrics / W. Yu ; Z. Wang ; X. Hong
An Improved Method for Fast Noise Estimation Based on Net Segmentation / C. Huang ; A. Dasgupta
Symbolic Failure Analysis of Custom Circuits due to Excessive Leakage Current / H. Song ; S. Bohidar ; I. Bahar ; J. Grodstein
An Efficient Algorithm for Calculating the Worst-case Delay due to Crosstalk / V. Rajappan ; S. Sapatnekar
Power Optimization / Session 2.1：
A Compact Model for Analysis and Design of On-chip Power Network with Decoupling Capacitors / P. Zarkesh-Ha ; K. Doniger ; W. Loh ; D. Sun ; R. Stephani ; G. Priebe
Precomputation-Based Guarding for Dynamic and Leakage Power Reduction / A. Abddollahi ; M. Pedram ; F. Fallah ; I. Ghosh
Charge-Recycling Voltage Domains for Energy-Efficient Low-Voltage Operation of Digital CMOS Circuits / S. Rajapandian ; Z. Xu ; K. Shepard
Low Power Adder with Adaptive Supply Voltage / H. Suzuki ; W. Jeong ; K. Roy
A Transparent Voltage Conversion Method and Its Application to a Dual-Supply-Voltage Register File / N. Tzartzanis ; W. Walker
Invited Session: Gene Chip Design / Session 2.2：
Detection of Biological Molecules: From Self-Assembled Films to Self-Integrated Devices / R. Levicky
Embedded Tutorial
Design Flow Enhancements for DNA Arrays / A. Kahng ; I. Mandoiu ; S. Reda ; X. Xu ; A. Zelikovsky
System Level Design / Session 2.3：
Bus Architecture Synthesis for Hardware-Software Co-Design of Deep Submicron Systems on Chip / N. Thepayasuwan ; V. Damle ; A. Doboli
Dynamically Optimized Synchronous Communication for Low Power System on Chip Designs / V. Chandra ; G. Carpenter ; J. Burns
Interface Synthesis Using Memory Mapping for an FPGA Platform / M. Luthra ; S. Gupta ; N. Dutt ; R. Gupta ; A. Nicolau
Efficient Synthesis of Networks On Chip / A. Pinto ; L. Carloni ; A. Sangiovanni-Vincentelli
Reducing Compilation Time Overhead in Compiled Simulators / M. Reshadi
Systems Performance / Session 3.1：
Profiling Interrupt Handler Performance through Kernel Instrumentation / B. Moore ; T. Slabach ; L. Schaelicke
Design and Performance of Compressed Interconnects for High Performance Servers / K. Kant ; R. Iyer
Routed Inter-ALU Networks for ILP Scalability and Performance / K. Sankaralingam ; V. Singh ; S. Keckler ; D. Burger
Micro Processor Test & Diagnosis / Session 3.2：
Automatic Generation of Critical-Path Tests for a Partial-Scan Microprocessor / D. Bhavsar ; V. Bettada ; R. Davies
Test Generation for Non-separable RTL Controller-datapath Circuits Using a Satisfiability Based Approach / L. Lingappan ; S. Ravi ; N. Jha
Cost-Effective Graceful Degradation in Speculative Processor Subsystems: The Branch Prediction Case / S. Almukhaizim ; T. Verdel ; Y. Makris
Multiple Fault Diagnosis Using n-Detection Tests / M. Marek-Sadowska ; K. Tsai ; J. Rajski
Physical Design / Session 3.3：
A Physical Design Methodology for 1.3GHz SPARC64 Microprocessor / N. Ito ; H. Komatsu ; Y. Tanamura ; R. Yamashita ; H. Sugiyama ; Y. Sugiyama ; H. Hamamura
Physical Design of the "2.5D" Stacked System / Y. Deng ; W. Maly
Flow-Based Cell Moving Algorithm for Desired Cell Distribution / B. Choi ; H. Xu ; M. Wang ; M. Sarrafzadeh
Performance Optimization / Session 4.1：
NpBench: A Benchmark Suite for Control plane and Data plane Applications for Network Processors / B. Lee ; L. John
Hardware-Only Compression of Underutilized Address Buses: Design and Performance, Power, and Cost Analysis / N. Mahapatra ; J. Liu ; K. Sundaresan
Pipelined Multiplicative Division with IEEE Rounding / G. Even ; P. Seidel
Clock & Signal Distribution / Session 4.2：
Design of Resonant Global Clock Distributions / S. Chan ; P. Restley
Modeling and Mitigation of Jitter in Multi-Gbps Source-Synchronous I/O Links / G. Balamurugan ; N. Shanbhag
A Mixed-Mode Delay-Locked Loop Architecture / D. Eckerbert ; L. Svensson ; P. Larsson-Edefors
Optimal Inductance for On-chip RLC Interconnections / S. Das ; K. Agarwal ; D. Blaauw ; D. Sylvester
Performance and Power-Driven Physical Design / Session 4.3：
Spec Based Flip-Flop and Buffer Insertion / N. Akkiraju ; M. Mohan
A Microeconomic Model for Simultaneous Gate Sizing and Voltage Scaling for Power Optimization / N. Ranganathan ; A. Murugavel
A Simple Yet Effective Merging Scheme for Prescribed-Skew Clock Routing / R. Chaturvedi ; J. Hu
Instruction Execution / Session 5.1：
Hardware-Based Pointer Data Prefetcher / S. Lai ; S. Lu
A Dependence Driven Efficient Dispatch Scheme / S. Nadathur ; A. Tyagi
An Efficient VLIW DSP Architecture for Baseband Processing / T. Lin ; C. Chang ; C. Lee ; C. Jen
Dynamic Thread Resizing for Speculative Multithreaded Processors / M. Zahran
Invited Session: Test Compression Technology / Session 5.2：
Care Bit Density and Test Cube Clusters: Multi-Level Compression Opportunities / B. Koenemann
XMAX: X-Tolerant Architecture for MAXimal Test Compression / S. Mitra ; K. Kim
Test Data Compression and Compaction for Embedded Test of Nanometer Technology Designs / J. Tyszer
Physical Design for Regular Fabrics and FPGA's / Session 5.3：
Non-Crossing OBDDs for Mapping to Regular Circuit Structures / A. Cao ; C. Koh
Interconnect Estimation for FPGAs under Timing Driven Domains / P. Kannan ; D. Bhatia
ROAD: An Order-Impervious Optimal Detailed Router for FPGAs / H. Arslan ; S. Dutt
Array Design Optimization / Session 6.1：
Reducing dTLB Energy through Dynamic Resizing / V. Delaluz ; M. Kandemir ; A. Sivasubramaniam ; M. Irwin ; N. Vijaykrishnan
Distributed Reorder Buffer Schemes for Low Power / G. Kucuk ; O. Ergin ; D. Ponomarev ; K. Ghose
Virtual Page Tag Reduction for Low-Power TLBs / P. Petrov ; A. Orailoglu
Dynamic Cluster Resizing / J. Gonzalez
Test Compaction / Session 6.2：
Independent Test Sequence Compaction through Integer Programming / P. Drineas
On Combining Pinpoint Test Set Relaxation and Run-Length Codes for Reducing Test Data Volume / S. Kajihara ; Y. Doi ; L. Li ; K. Chakrabarty
Static Test Compaction for Multiple Full-Scan Circuits
A Method to Find Don't Care Values in Test Sequences for Sequential Circuits / Y. Higami ; S. Kobayashi ; Y. Takamatsu
Invited Session: Techniques for Synthesizing into Fabrics / Session 6.3：
Simplifying SoC Design with the Customizable Control Processor Platform / C. Ogilvie ; R. Ray ; R. Devins ; M. Kautzman ; M. Hale ; R. Bergamaschi ; B. Lynch ; S. Gaur
Structured ASICs: Opportunities and Challenges / B. Zahiri
System LSI Implementation Fabrics for the Future / S. Kaptanoglu
Hardware Partitioning / Session 7.1：
Multiple-V[subscript dd] Scheduling/Allocation for Partitioned Floorplan / D. Kang ; M. Johnson
SCATOMi: Scheduling Driven Circuit Partitioning Algorithm for Multiple FPGAs Using Time-multiplexed, Off-chip, Multicasting Interconnection Architecture / Y. Kwon ; B. Park ; C. Kyung
A Study of Hardware Techniques that Dynamically Exploit Frequent Operands to Reduce Power Consumption in Integer Function Units / K. Gandhi
Energy-Aware Design and Application / Session 7.2：
KnapBind: An Area-Efficient Binding Algorithm for Low-leakage Datapaths / C. Gopalakrishnan ; S. Katkoori
A Novel Synthesis Strategy Driven by Partial Evaluation Based Circuit Reduction for Application Specific DSP Circuits / M. Mukherjee ; R. Vemuri
Power Fluctuation Minimization During Behavioral Synthesis Using ILP-Based Datapath Scheduling / S. Mohanty ; S. Chappidi
An Energy-Aware Simulation Model and Transaction Protocol for Dynamic Workload Distribution in Mobile Ad Hoc Networks / F. Ghasemi-Tari ; P. Rong
Invited Session: High-Speed Design Issues and Test Challenges / Session 7.3：
CMOS High-Speed Serial I/Os--Present and Future / M. Lee ; W. Dally ; R. Farjad-Rad ; H. Ng ; R. Senthinathan ; J. Edmondson ; J. Poulton
Fully Differential Receiver Chipset for 40 Gb/s Applications Using GaInAs/InP Single Heterojunction Bipolar Transistors / K. Kiziloglu ; S. Seetharaman ; K. Glass ; C. Bil ; H. Duong ; G. Asmanis
Paradigm Shift for Jitter and Noise in Design and Test [greater than sign]GB/s Data Communication Systems / M. Li ; J. Wilstrup
Efficiency and Reliability / Session 8.1：
Cost-Efficient Memory Architecture Design of NAND Flash Memory Embedded Systems / C. Park ; J. Seo ; D. Seo ; S. Kim ; B. Kim
Exploiting Microarchitectural Redundancy for Defect Tolerance / P. Shivakumar ; C. Moore
Reducing Multimedia Decode Power Using Feedback Control / Z. Lu ; J. Lach ; M. Stan ; K. Skadron
Novel Methods in Logic Synthesis / Session 8.2：
Structural Detection of Symmetries in Boolean Functions / G. Wang ; A. Kuehlmann
Boolean Decomposition Based on Cyclic Chains / E. Dubrova ; M. Teslenko ; J. Karlsson
SAT-Based Algorithms for Logic Minimization / S. Sapra ; M. Theobald
Communications and Context Management / Session 9.1：
Low-Density Parity-Check Decoder Architecture for High Throughput Optical Fiber Channels / A. Selvarathinam ; E. Kim ; G. Choi
Improving Branch Prediction Accuracy in Embedded Processors in the Presence of Coniext Switches / S. Pasricha ; A. Veidenbaum
Reducing Operand Transport Complexity of Superscalar Processors Using Distributed Register Files / S. Bunchua ; D. Wills ; L. Wills
xpipes: a Latency Insensitive Parameterized Network-on-chip Architecture for Multi-Processor SoCs / M. Dall'Osso ; G. Biccari ; L. Giovannini ; D. Bertozzi ; L. Benini
Board Test and Power-Aware Test / Session 9.2：
Aggressive Test Power Reduction through Test Stimuli Transformation / O. Sinanoglu
Power-Time Tradeoff in Test Scheduling for SoCs / M. Nourani ; J. Chin
Multiple Transition Model and Enhanced Boundary Scan Architecture to Test Interconnects for Signal Integrity / M. Tehranipour ; N. Ahmed
[edited by C. Bolchini ... [et al.] ] ; sponsored by the Counci the IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IEEE Computer Society Test Technology Technicall
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xii, 607 p. ; 23 cm
Clock Calibration Faults and Their Impact on Quality of High Performance Microprocessors / C. Metra ; T. Mak ; D. Rossi
A Tool for Injecting SEU-Like Faults into the Configuration Control Mechanism of Xilinx Virtex FPGAs / M. Alderighi ; F. Casini ; S. D'Angelo ; M. Mancini ; A. Marmo ; S. Pastore ; G. Sechi
CodSim--A Combined Delay Fault Simulator / W. Qiu ; X. Lu ; Z. Li ; D. Walker ; W. Shi
Test & Diagnosis / Session 4：
BIST Based Fault Diagnosis Using Ambiguous Test Set / H. Takahashi ; Y. Tsugaoka ; H. Ayano ; Y. Takamatsu
On the Test and Diagnosis of the Perfect Shuffle / L. Schiano
Detecting and Locating Faults in VLSI Implementations of the Advanced Encryption Standard / G. Bertoni ; L. Breveglieri ; I. Koren ; P. Maistri
Current Test & Diagnosis / Session 5：
3DSDM: A 3 Data-Source Diagnostic Method / Y. Hariri ; C. Thibeault
Power Supply Current Test Approach for Resistive Fault Screening in Embedded Analog Circuits / M. Dragic ; M. Margala
CROWNE: Current Ratio Outliers with Neighbor Estimator / S. Sabade
Chip Level Power Supply Partitioning for I[subscript DDQ] Testing Using Built-In Current Sensors / A. Prasad
Test Generation & Application / Session 6：
ATE-Amenable Test Data Compression with No Cyclic Scan Registers / H. Hashempour
A Digital and Wide Power Bandwidth H-Field Generator for Automatic Test Equipment / F. Zhang ; Y. Lee ; T. Kane ; M. Momenzadeh ; Y.-B. Kim ; F. Meyer ; S. Max ; P. Perkinson
Function-Based Dynamic Compaction and Its Impact on Test Set Sizes / J. Wingfield ; J. Dworak ; M. Mercer
Constrained ATPG for Broadside Transition Testing / X. Liu ; M. Hsiao
Scan Design & Test / Session 7：
Test Compaction by Using Linear-Matrix Driven Scan Chains / S. Bhatia
Multiple Scan Chain Design Technique for Power Reduction during Test Application in BIST / D. Ghosh ; S. Bhunia ; K. Roy
Design Scan Test Strategy for Single Phase Dynamic Circuits / C.-H. Cheng
BIST / Session 8：
Scan-Based BIST Diagnosis Using an Embedded Processor / K. Balakrishnan ; N. Touba
Hybrid BIST Using an Incrementally Guided LFSR / C. Krishna
Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture / G. Jervan ; P. Eles ; Z. Peng ; R. Ubar ; M. Jenihhin
Error Correcting Codes / Session 9：
A Single Error Correcting and Double Error Detecting Coding Scheme for Computer Memory Systems / P. Lala
Array Codes Correcting a Cluster of Unidirectional Errors for Two-Dimensional Matrix Symbols / H. Kaneko ; E. Fujiwara
Quadruple Time Redundancy Adders / W. Townsend ; J. Abraham ; E. Swartzlander, Jr.
Error Correcting Codes for Crosstalk Effect Minimization / S. Cavallotti
Invited Talk
A View from the Bottom: Nanometer Technology AC Parametric Failures--Why, Where, and How to Detect / C. Hawkins ; A. Keshavarzi ; J. Segura
Analogue & Mixed Signal Test / Session 10：
Analysis and Testing of Analog and Mixed-Signal Circuits by an Operation-Region Model: A Case Study of Application and Implementation / Y. Miura ; D. Kato
An Approach for Selection of Test Points for Analog Fault Diagnosis / K. Pinjala ; B. Kim
BiST Model for IC RF-Transceiver Front-End / J. Dabrowski
A Monolithic Spectral BIST Technique for Control or Test of Analog or Mixed-Signal Circuits / J. Emmert ; J. Cheatham ; B. Jagannathan ; S. Umarani
Defect Tolerance and Testing / Session 11：
Thermal Management of High Performance Microprocessors in Burn-In Environment / A. Vassighi ; O. Semenov ; M. Sachdev
Fault Recovery Based on Checkpointing for Hard Real-Time Embedded Systems / Y. Zhang ; K. Chakrabarty
Fault Tolerant Multi-layer Neural Networks with GA Training / E. Sugawara ; M. Fukushi ; S. Horiguchi
Detailed Comparison of Dependability Analyses Performed at RT and Gate Levels / A. Ammari ; R. Leveugle ; M. Sonza-Reorda ; M. Violante
Low Cost Convolutional Code Based Concurrent Error Detection in FSMs / K. Rokas ; Y. Makris ; D. Gizopoulos
Reducing Test Power, Time and Data Volume in SoC Testing Using Selective Trigger Scan Architecture / S. Sharifi ; M. Hosseinabadi ; P. Riahi ; Z. Navabi
An FFT Approximation Technique Suitable for On-Chip Generation and Analysis of Sinusoidal Signals
Fault Tolerant Hopfield Associative Memory on Torus / R. Ayoubi ; H. Ziade ; M. Bayoumi
Efficiency of Transient Bit-Flips Detection by Software Means: A Complete Study / B. Nicolescu ; P. Peronnard ; R. Velazco
Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip / A. Larsson ; E. Larsson
Regressive Testing for System-on-Chip with Unknown-Good-Yield / N.-J. Park ; B. Jin ; K. George ; M. Choi
Error Detection in Signed Digit Arithmetic Circuit with Parity Checker / G. Cardarilli ; S. Pontarelli ; M. Re ; A. Salsano
Application-Dependent Testing of FPGA Interconnects / M. Tahoori
Automatic Modification of Sequential Circuits for Self-Checking Implementation / S. Di Francescantonio ; M. Omana
Control Constrained Resource Partitioning for Complex SoCs / D. Zhao ; S. Upadhyaya
Partial Error Masking to Reduce Soft Error Failure Rate in Logic Circuits / K. Mohanram
FPGA & Memory Test / Session 12：
An Integrated Design Approach for Self-Checking FPGAs / C. Bolchini ; F. Salice ; D. Sciuto ; R. Zavaglia
Power-Constrained Embedded Memory BIST Architecture / B. Fang ; N. Nicolici
A Memory Built-In Self-Repair for High Defect Densities Based on Error Polarities / M. Nicolaidis ; N. Achouri ; L. Anghel
Redundancy, Repair, and Test Features of a 90nm Embedded SRAM Generator / R. Aitken ; N. Dogra ; D. Gandhi ; S. Becker
An Efficient Functional Test for the Massively-Parallel C-RAM Logic-Enhanced Memory Architecture / X. Sun ; B. Cockburn ; D. Elliott
Design Verification & Synthesis / Session 13：
Dependability Analysis Using a Fault Injection Tool Based on Synthesizability of HDL Models / H. Zarandi ; S. Miremadi ; A. Ejlali
Preliminary Validation of an Approach Dealing with Processor Obsolescence / S. Saleh ; S. Deswaertes ; A. El Moucary
SoC & Core Test / Session 14：
Efficient Test Data Decompression for System-on-a-Chip Using an Embedded FPGA Core / G. Zeng ; H. Ito
A Unified SoC Test Approach Based on Test Data Compression and TAM Design / V. Iyengar ; A. Chandra
Embedded Compact Deterministic Test for IP-Protected Cores / A. Kinsman ; J. Hewitt
System Reliability / Session 15：
System-Level Analysis of Fault Effects in Automotive Environment / F. Corno ; S. Tosato ; P. Gabrielli
Dependability Analysis of CAN Networks: An Emulation-Based Approach / J. Perez ; M. Sonza Reorda
Fault Tolerance / Session 16：
Exploiting Instruction Redundancy for Transient Fault Tolerance / T. Sato
An Integrated Fault-Tolerant Design Framework for VLIW Processors / Y.-Y. Chen ; S.-J. Horng ; H.-C. Lai
Fault Tolerant Design of Combinational and Sequential Logic Based on a Parity Check Code / S. Almukhaizim
Heterogeneous Redundancy for Fault and Defect Tolerance with Complexity Independent Area Overhead / V. Kumar ; J. Lach
Soft Errors / Session 17：
Soft-Error Detection Using Control Flow Assertions / O. Goloubeva ; M. Rebaudengo
SIED: Software Implemented Error Detection
Techniques for Transient Fault Sensitivity Analysis and Reduction in VLSI Circuits / A. Maheshwari ; W. Burleson
sponsored by IEEE Computer Society, CRIM, ACM-SIGART, ACM-SIGSOFT ; supported by Ministere du Developpement Economique et Regional du Quebec, Universite de Montreal, RCM2
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xii, 382 p. ; 28 cm
An Empirical Study on Groupware Support for Software Inspection Meetings / P. Grunbacher ; M. Halling ; S. Biffl
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach / M. Sabetzadeh ; S. Easterbrook
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications / A. Strelzoff ; L. Petzold
Testing I
Fault Localization with Nearest Neighbor Queries / M. Renieris ; S. Reiss
Tool-Assisted Unit Test Selection Based on Operational Violations / T. Xie ; D. Notkin
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants / N. Gupta ; Z. Heidepriem
Software Architectures and Distributed Systems
DeCo: A Declarative Coordination Framework for Scientific Model Federations / D. Herington ; D. Stotts
A Programmable Client-Server Model: Robust Extensibility via DSLs / L. Reveillere ; C. Consel
Specification and Synthesis of Hybrid Automata for Physics-Based Animation / T. Ellman
Model Checking
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores / I. Shlyakhter ; R. Seater ; M. Sridharan ; M. Taghdiri ; D. Jackson
Parallel Breadth-First Search LTL Model-Checking / J. Barnat ; L. Brim ; J. Chaloupka
Automated Environment Generation for Software Model Checking / O. Tkachuk ; M. Dwyer ; C. Pasareanu
Software Components
Aspectizing Server-Side Distribution / E. Tilevich ; S. Urbanski ; Y. Smaragdakis ; M. Fleury
Automating Component Adaptation for Reuse / B. Morel ; P. Alexander
Model-Based Verification of Web Service Compositions / H. Foster ; S. Uchitel ; J. Magee ; J. Kramer
Testing II
What Test Oracle Should I Use for Effective GUI Testing? / A. Memon ; I. Banerjee ; A. Nagarajan
A Type System for Statically Detecting Spreadsheet Errors / Y. Ahmad ; T. Antoniu ; S. Goldwater ; S. Krishnamurthi
Testing Database Transaction Concurrency / Y. Deng ; P. Frankl ; Z. Chen
Software Evolution and Maintenance
On the Automatic Evolution of an OS Kernel Using Temporal Logic and AOP / R. Aberg ; J. Lawall ; M. Sudholt ; G. Muller ; A. Le Meur
Unspeculation / N. Snavely ; S. Debray ; G. Andrews
SPQR: Flexible Automated Design Pattern Extraction from Source Code / J. Smith
Automatically Inferring Concern Code from Program Investigation Activities / M. Robillard ; G. Murphy
Short Papers
A Model-Driven Approach to Non-Functional Analysis of Software Architectures / J. Skene ; W. Emmerich
Extending Diagnosis to Debug Programs with Exceptions / W. Mayer ; M. Stumptner
Generating Design Pattern Detectors from Pattern Specifications / D. Heuzeroth ; W. Lowe ; S. Mandel
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks / L. Guo ; B. Cukic ; H. Singh
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models / P. Bunus ; P. Fritzson
Automatic Generation of Content Management Systems from EER-Based Specifications / S. Vigna
Automated Requirements-Based Generation of Test Cases for Product Families / C. Nebut ; S. Pickin ; Y. Le Traon ; J. Jezequel
XRay Views: Understanding the Internals of Classes / G. Arevalo ; S. Ducasse ; O. Nierstrasz
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations / C. Turner ; T. Graham ; C. Wolfe ; J. Ball ; D. Holman ; H. Stewart ; A. Ryman
A Pragmatic Study of Binary Class Relationships / Y. Gueheneuc ; H. Albin-Amiot
The Features Signatures of Evolving Programs / D. Licata ; C. Harris
Test Suite Design for Code Generation Tools / I. Sturmer ; M. Conrad
Theoretical Foundations of Updating Systems / H. Harris ; M. Ryan
An Incremental Approach to Task-Specific Information Delivery in SE Processes / H. Holz
Architecture Style-Based Calculi for Non-functional Properties / D. Wile
Certifying Measurement Unit Safety Policy / G. Rosu ; F. Chen
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search / E. Diaz ; J. Tuya ; R. Blanco
Model Checking Software Requirement Specifications Using Domain Reduction Abstraction / Y. Choi ; M. Heimdahl
An Approach for Tracing and Understanding Asynchronous Architectures / S. Hendrickson ; E. Dashofy ; R. Taylor
Refactoring C with Conditional Compilation / A. Garrido ; R. Johnson
A Java Component Model for Evolving Software Systems / M. Silva ; P. Guerra ; C. Rubira
Depiction and Playout of Multi-threaded Program Executions / A. Roychoudhury
Applying AutoBayes to the Analysis of Planetary Nebulae Images / B. Fischer ; J. Schumann
Automation for Exception Freedom Proofs / B. Ellis ; A. Ireland
Overview of OpenModel-Based Validation with Partial Information / R. Hall ; A. Zisman
Doctoral Symposium Papers
Detecting Requirements Interactions: A Three-Level Framework / M. Shehata ; A. Eberlein
Automating Relative Debugging / A. Searle ; J. Gough ; D. Abramson
Communicating Requirements Using End-User GUI Constructions with Argumentation / J. Moore
Graph Rewriting and Transformation (GreAT): A Solution for the Model Integrated Computing (MIC) Bottleneck / A. Agrawal
Visual Specification of Concurrent Systems / D. Safranek
VUML: A Viewpoint Oriented UML Extension / M. Nassar
An Infrastructure to Support Meta-Differencing and Refactoring of Source Code / M. Collard
An Overview of Haplotyping via Perfect Phylogeny: Theory, Algorithms and Programs / D. Gusfield
Phase Transitions, Backbones and Heuristic Search / W. Zhang
Artificial Intelligence in Financial Applications / B. Wah
Kernel Methods for Pattern Analysis / N. Cristianini
(Balboa) Bioinformatics I / Session 1：
Pairwise Protein Structure Alignment Based on an Orientation-Independent Representation of the Backbone Geometry / J. Ye ; R. Janardan ; S. Liu
Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences / G. Pavesi ; G. Mauri ; G. Pesole
A Biology Inspired Neural Learning Algorithm for Analyzing Protein Sequences / E. Berry ; Z. Yang ; X. Wu
Order-Sensitive Clustering for Remote Homologous Protein Detection / J. Chen ; W. Hsu ; M. Lee
(Calaveras) Software Engineering with Computational Intelligence I / Session 2：
An Intelligent Early Warning System for Software Quality Improvement and Project Management / X. Liu ; G. Kane ; M. Bambroo
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems / N. Arshad ; D. Heimbigner ; A. Wolf
Application of an Attribute Selection Method to CBR-Based Software Quality Classification / T. Khoshgoftaar ; L. Nguyen ; K. Gao ; J. Rajeevalochanam
Analysis of Software Maintenance Data Using Multi-Technique Approach / M. Reformat ; V. Wu
(Granada) Al in Medicine I / Session 3：
Adaptive Modeling of Biochemical Pathways / R. Brause
Semantic Biological Image Management and Analysis / C. Chubb ; Y. Inagaki ; C. Cotman ; B. Cummings ; P. Sheu
Ontology-Based Medical Image Annotation with Description Logics / B. Hu ; S. Dasmahapatra ; P. Lewis ; N. Shadbolt
(Balboa) SAT / Session 4：
MFSAT: A SAT Solver Using Multi-Flip Local Search / A. Mali ; Y. Lipen
Improving Nogood Recording Using 2SAT / P. Stuckey ; L. Zheng
Eliminating Redundancies in SAT Search Trees / R. Ostrowski ; B. Mazure ; L. Sais ; E. Gregoire
Probing-Based Preprocessing Techniques for Propositional Satisfiability / I. Lynce ; J. Marques-Silva
(Calaveras) Data Mining I / Session 5：
A Software Infrastructure for Research in Textual Data Mining / L. Holzman ; T. Fisher ; L. Galitsky ; A. Kontostathis ; W. Pottenger
Detecting Spatial Outliers with Multiple Attributes / C. Lu ; D. Chen ; Y. Kou
Mining Association Rules with Linguistic Terms / J. Lu ; B. Xu ; L. Xu ; D. Kang ; H. Chen ; H. Yang
Parallel Mining of Maximal Frequent Itemsets from Databases / S. Chung ; C. Luo
(Granada) Evolutionary Computing / Session 6：
Feature Selection for Support Vector Machines by Means of Genetic Algorithms / H. Frohlich ; O. Chapelle ; B. Scholkopf
Engineering Optimization Using a Simple Evolutionary Algorithm / E. Mezura-Montes ; C. Coello ; R. Landa-Becerra
Multi-Modal Function Optimization Problem for Evolutionary Algorithm / H. Pan ; J. Yuan ; L. Zhong
A New Genetic Programming Approach in Symbolic Regression / S. Xiong ; W. Wang ; F. Li
Session 7 (Balboa) Planning and Scheduling I
Search Control Techniques for Planning / M. Tang
A Diversity-Controlling Adaptive Genetic Algorithm for the Vehicle Routing Problem with Time Windows / K. Zhu
Effective Heuristics to Solve Pickup and Delivery Problems with Time Windows / V. Tam ; L. Tseng
Aircraft and Gate Scheduling with Time Windows / Y. Zhu ; A. Lim ; B. Rodrigues
Fragmental Optimization on the 2-Machine Bicriteria Flowshop Scheduling Problem / G. Huang
Session 8 (Calaveras) Knowledge Management and Sharing
On Case-Based Knowledge Sharing in Semantic Web / Z. Wu
All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives / Y. Pencole
About the Use of Semaphores to Handle Contradictory Knowledge Sources
TROJAN: A Scalable Distributed Semantic Network System / C. Lee ; C. Huang ; S. Rajasekaran
Session 9 (Granada) NLP and Speech Understanding
Using a Text-to-Speech Synthesizer to Generate a Reverse Turing Test / T. Chan
Learning Name Pronunciations in Automatic Speech Recognition Systems / F. Beaufays ; A. Sankar ; S. Williams ; M. Weintraub
Answer Filtering via Text Categorization in Question Answering Systems / A. Moschitti
Transcoding HTML to VoiceXML Using Annotation / Z. Shao ; R. Capra ; M. Perez-Quinones
Nonlinear Speech Model Based on Support Vector Machine and Wavelet Transform / J. Li ; B. Zhang ; F. Lin
Session 10 (Balboa) Planning and Scheduling II
Partitioning of Temporal Planning Problems in Mixed Space using the Theory of Extended Saddle Points / Y. Chen
S-MEP: A Planner for Numeric Goals / J. Sanchez
Ant Colony Optimization for Resource-Constrained Project Scheduling with Generalized Precedence Relations / S. Luo ; C. Wang ; J. Wang
Transportation Bid Analysis Optimization with Shipper Input / Y. Guo
Session 11 (Calaveras) Machine Learning
Discriminative Parameter Learning of General Bayesian Network Classifiers / B. Shen ; X. Su ; R. Greiner ; P. Musilek ; C. Cheng
Learning Refinements on Curve-Strokes / S. Simhon ; G. Dudek
Q-Concept-Learning: Generalization with Concept Lattice Representation in Reinforcement Learning / M. Ricordeau
Reinforcement Learning with Extended Spatial and Temporal Learning Scale / X. Zhuang ; Q. Meng ; B. Yin
Session 12 (Granada) Agents
Learning of Mediation Strategies for Heterogeneous Agents Cooperation / R. Charton ; A. Boyer ; F. Charpillet
Efficient Key Assignment Scheme for Mobile Agent Systems / W. Chew ; C. Chi ; T. Li
Task Allocation via Multi-Agent Coalition Formation: Taxonomy, Algorithms and Complexity / H. Lau ; L. Zhang
RoboCupRescue System and Arian: A Flexible Infrastructure for Multi-Agent Research and Education / M. Ahmadi ; T. Takahashi ; J. Habibi ; T. Koto
Session 13 (Balboa) Software Engineering with Computational Intelligence II
Eliminating Mismatching Connections between Components by Adopting an Agent-Based Approach / W. Jiao ; H. Mei
Experiments in Automatic Programming for General Purposes / X. Chai ; J. Miller
Genetic Programming-Based Decision Trees for Software Quality Classification / Y. Liu ; N. Seliya
Validating an Online Adaptive System Using SVDD / S. Gururajan ; B. Cukic ; T. Menzies ; M. Napolitano
Session 14 (Calaveras) Vision and Image Processing
Automatic Lesion/Tumor Detection Using Intelligent Mesh-Based Active Contour / L. Yin ; S. Deshpande ; J. Chang
A Cognitive Vision Platform for Automatic Recognition of Natural Complex Objects / C. Hudelot ; M. Thonnat
Interactive Open Architecture Computer Vision / Q. Yu ; H. Cheng ; W. Cheng ; X. Zhou
Improving the Performance of Multi-Class SVMs in Face Recognition with Nearest Neighbor Rule / S. Park ; W. Chang ; J. Park
Session 15 (Granada) Bioinformatics II
Integrating Microarray Data by Consensus Clustering / V. Filkov ; S. Skiena
Sweep A*: Space-Efficient Heuristic Search in Partially Ordered Graphs / R. Zhou ; E. Hansen
Two-Layer Protein Structure Comparison / M. Yamamura
Session 16 (Balboa) Al in Medicine II
Interpreting Historical ICU Data Using Associational and Temporal Reasoning / A. Salatian
A Comparative Study of Feature Selection Methods for Probabilistic Neural Networks in Cancer Classification / W. Liao
Discovering Clusters in Gene Expression Data Using Evolutionary Approach / P. Ma ; K. Chan
Extracting Biochemical Interactions from MEDLINE Using a Link Grammar Parser / J. Ding ; D. Berleant ; J. Xu ; A. Fulmer
Session 17 (Calaveras) CSP
Reducing Redundancy in the Hypertree Decomposition Scheme / P. Harvey ; A. Ghose
Implicit Random Constraint Satisfaction Problems / C. Lecoutre ; F. Boussemart ; F. Hemery
Progressive Stochastic Search for Solving Constraint Satisfaction Problems / B. Lam ; H. Leung
Combining the Min-Conflicts and Look-Forward Heuristics to Effectively Solve a Set of Hard University Timetabling Problems / D. Ting
Session 18 (Granada) Fuzzy Logic
Approximate Discrete Probability Distribution Representation Using a Multi-Resolution Binary Tree / D. Bellot ; P. Bessiere
Raw Relation Sets and Multiperson Decision Making / W. Meng
Inference via Fuzzy Belief Petri Nets / C. Looney ; L. Liang
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity / S. Louis ; G. Raines
Session 19 (Balboa) DataMining II
Generalization of Classification Rules / Z. Xie
A Global Rule Induction Approach to Information Extraction / J. Xiao ; T. Chua ; J. Liu
Partitioning Large Data to Scale up Lattice-Based Algorithm / H. Fu ; E. Nguifo
Addressing the Ramification Problem in a Temporal Context: The Case of Concurrent Actions / N. Papadakis ; D. Plexousakis
Session 20 (Calaveras) Intelligent Information Retrieval
Query Expansion and Query Reduction in Document Retrieval / I. Zukerman ; B. Raskutti ; Y. Wen
Classification of Web Documents Using a Naive Bayes Method / Y. Wang ; B. Tang ; J. Hodges
A Novel Bag Generator for Image Database Retrieval with Multi-Instance Learning Techniques / Z. Zhou ; M. Zhang ; K. Chen
A Comparative Study of Techniques for Intrusion Detection / S. Mukkamala ; A. Sung
Session 21 (Granada) Knowledge Representation
DOSE: A Distributed Open Semantic Elaboration Platform / D. Bonino ; F. Corno ; L. Farinetti
Equuleus: Presentation from Legacy Documents / S. McRoy ; S. Ali ; N. Nalamlieng
Domain Ontology and Galois Lattice Structure for Query Refinement / B. Safar ; H. Kefi
Human-Agent Teamwork for Distributed Team Training / D. Xu ; R. Volz ; M. Miller ; J. Plymale
Session 22 (Balboa) Computer Vision and Pattern Recognition
Automatic Recognition of a Baby Gesture / J. Bhatt ; N. Lobo ; M. Shah ; G. Bebis
Object Recognition Using Local-global Graphs / N. Bourbakis ; P. Yuan ; S. Makrogiannis
An L-G & SPNG Based Model for Brain Biometrics
Shape-Based 3D Model Retrieval / J. Song ; F. Golshani
iCare--A User Centric Approach to the Development of Assistive Devices for the Blind and Visually Impaired / S. Panchanathan ; J. Black ; M. Rush ; V. Iyer
organized by the Computer Graphics Society ; hosted by MIRALab, University of Geneva ; with the support of IFIP WG5.10 (Computer Graphics and Virtual Worlds)
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2002 x, 271 p. ; 28 cm
editors, Bernard Courtois, Thomas Wik, Yervant Zorian ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Council on Test Technology, IEEE Computer Society Technical Committee on VLSI ; in cooperation with IEEE Solid-State Circuits Society
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2002 xii, 182 p. ; 28 cm
Joint Session with The Eighth IEEE International On-Line Testing Workshop (IOLTW 2002)
Plenary Session / Session A：
Keynote Address: Embedded Memory Test and Repair / A. Kablanian
Memory BIST Analysis and Application / Session B：
Defect-Oriented Analysis of Memory BIST Tests / A. Jee
A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques / D. Appello ; A. Fudoli ; V. Tancorre ; F. Corno ; M. Rebaudengo ; M. Sonza Reorda
A Scan-Bist Environment for Testing Embedded Memories / F. Karimi ; F. Lombardi
Memory ECC and Soft Errors / Session C：
Soft Error Protection for Embedded Memories / M. Nicolaidis
Fast and Compact Error Correcting Scheme for Reliable Multilevel Flash Memories / D. Rossi ; C. Metra ; B. Ricco
High Speed 15 ns 4 Mbits SRAM for Space Application / B. Coloma ; P. Delaunay ; O. Husson
High Reliability in Railway and Automotive Systems / Session D：
The YATE Fail-Safe Interface: The User's Point of View / D. Bied-Charreton ; D. Guillon ; B. Jacques
Fault Tolerant Insertion and Verification: A Case Study / A. Manzone ; D. De Costantini
Design and Implementation of a Self-Checking Scheme for Railway Trackside Systems / L. Schiano ; D. Marino
Embedded Memory Yield Enhancement / Session E：
A Silicon-Based Yield Gain Evaluation Methodology for Embedded-SRAMs with Different Redundancy Scenarios / E. Rondey ; Y. Tellier ; S. Borri
A March-Based Fault Location Algorithm for Static Random Access Memories / V. A. Vardanian ; Y. Zorian
A Simulator for Evaluating Redundancy Analysis Algorithms of Repairable Embedded Memories / R.-F. Huang ; J.-F. Li ; J.-C. Yeh ; C.-W. Wu
MTDT
Keynote Address: Challenges and Opportunities Created by the SoC Shockwave / M. Templeton
Embedded Memory Systems and Test Optimization / Session 1：
Design and Test of a 9-Port SRAM for a 100 Gb/s STS-1 Switch / R. Gibbins ; R. D. Adams ; T. Eckenrode ; M. Ouellette ; Y. Wu
Design of Embedded System for Video Coding with Logic-Enhanced DRAM and Configurable Process / T. Kaya ; I. Shirakawa ; R. Miyamoto ; T. Onoye
Adder Merged DRAM Architecture / M. Hashimoto
Memory Test Strategies / Session 2：
March SS: A Test for All Static Simple RAM Faults / S. Hamdioui ; A. J. van de Goor ; M. Rodgers
Random Testing of Multi-Port Static Random Access Memories / F. J. Meyer
Fault Modeling / Session 3：
A Fault Modeling Technique to Test Memory BIST Algorithms / R. Venkatesh ; S. Kumar ; J. Philip ; S. Shukla
Fault Modeling and Pattern-Sensitivity Testing for a Multilevel DRAM / M. Redeker ; B. F. Cockburn ; D. G. Elliott ; Y. Xiang ; S. A. Ung
An Investigation into Crosstalk Noise in DRAM Structures
Embedded Memory Compiler Tutorial / Session 4：
Keynote Address: SoC's Trends and Challenges going to 0.10 [mu]m / P. Magarshack
EPROM/EEPROM Design / Session 5：
An Automated Design Methodology for EEPROM Cell (ADE) / J. M. Portal ; L. Forli ; H. Aziza ; D. Nee
A Novel Memory Array Based on an Annular Single-Poly EPROM Cell for Use in Standard CMOS Technology / C. Dray ; P. Gendrier
A New Single Ended Sense Amplifier for Low Voltage Embedded EEPROM Non Volatile Memories / C. Papaix ; J. M. Daga
Process Technology and Reliability / Session 6：
Validated 90 nm CMOS Technology Platform with Low-k Copper Interconnects for Advanced System-on-Chip (SoC) / T. Devoivre ; M. Lunenborg ; C. Julien ; J-P. Carrere ; P. Ferreira ; W. J. Toren ; A. VandeGoor ; P. Gayet ; T. Berger ; O. Hinsinger ; P. Vannier ; Y. Trouiller ; Y. Rody ; P-J. Goirand ; R. Palla ; I. Thomas ; F. Guyader ; D. Roy ; B. Borot ; N. Planes ; S. Naudet ; F. Pico ; D. Duca ; F. Lalanne ; D. Heslinga ; M. Haond
Converting an Embedded Low-Power SRAM from Bulk to PD-SOI / M. R. Casu ; P. Flatresse
Decreasing EEPROM Programming Bias with Negative Voltage, Reliability Impact / R. Laffont ; J. Razafindramora ; P. Canet ; R. Bouchakour ; J. M. Mirabel
Compositional Technique for Synthesising Multi-Phase Regular Arrays / M. Manjunathaiah ; G. M. Megson
A Compile Time Based Approach for Solving Out-of-Order Communication in Kahn Process Networks / A. Turjan ; B. Kienhuis ; E. Deprettere
Model-Based Exploration of the Design Space for Heterogeneous Systems on Chip / H. Blume ; H. Hubert ; H. T. Feldkamper ; T. G. Noll
A Component Architecture for FPGA-Based, DSP System Design / G. Spivey ; S. S. Bhattacharyya ; K. Nakajima
Low Power Design / Session 2：
Low Power Memory Design / W.-T. Shiue
Reduced Power Consumption for MPEG Decoding with LNS / M. G. Arnold
A Model-Based Methodology for Application Specific Energy Efficient Data Path Design Using FPGAs / S. Mohanty ; S. Choi ; J. Jang ; V. K. Prasanna
Design Space Exploration for Energy-Efficient Secure Sensor Network / L. Yuan ; G. Qu
Computer Arithmetic I / Session 3：
High-Radix Logarithm with Selection by Rounding / J.-A. Pineiro ; M. D. Ercegovac ; J. D. Bruguera
An Analysis of the CORDIC Algorithm for Direct Digital Frequency Synthesis / C. Y. Kang ; E. E. Swartzlander, Jr.
Evaluating Products of Non Linear Functions by Indirect Bipartite Table Lookup / D. W. Matula ; A. Fit-Florea ; L. D. McFearin
Efficient Conversion From Binary to Multi-Digit Multi-Dimensional Logarithmic Number Systems Using Arrays of Range Addressable Look-Up Tables / R. Muscedere ; V. S. Dimitrov ; G. A. Jullien ; W. C. Miller
Memory Organization / Session 4：
Predictable Instruction Caching for Media Processors / J. Irwin ; M. D. May ; H. L. Muller ; D. Page
A Mathematical Model of Trace Cache / A. Hossain ; D. J. Pease ; J. S. Burns ; N. Parveen
Implementation of a 32-bit RISC Processor for the Data-Intensive Architecture Processing-In-Memory Chip / J. Draper ; J. Sondeen ; S. Mediratta ; I. Kim
A Mid-texturing Pixel Rasterization Pipeline Architecture for 3D Rendering Processors / W.-C. Park ; K.-W. Lee ; I.-S. Kim ; T.-D. Han ; S.-B. Yang
Computer Arithmetic II / Session 5：
Fast Radix-4 Retimed Division with Selection by Comparisons / E. Antelo ; T. Lang ; P. Montuschi ; A. Nannarelli
PAPA--Packed Arithmetic on a Prefix Adder for Multimedia Applications / N. Burgess
A Combined Interval and Floating-Point Comparator/Selector / A. Akkas
Reviewing 4-to-2 Adders for Multi-Operand Addition / P. Kornerup
Media Processors / Session 6：
Implications of Programmable General Purpose Processors for Compression/Encryption Applications / B. K. Lee ; L. K. John
Design and Evaluation of a Multimedia Computing Architecture Based on a 3D Graphics Pipeline / C. Y. Chung ; R. A. Managuli ; Y. Kim
Refining Instruction Set Architecture for High-Performance Multimedia Processing in Constrained Environments / R. B. Lee ; A. M. Fiskiran ; Z. Shi ; X. Yang
Polynomial Evaluation on Multimedia Processors / J. Villalba ; G. Bandera ; M. A. Gonzalez ; J. Hormigo ; E. L. Zapata
Cryptography / Session 7：
Integrated Design of AES (Advanced Encryption Standard) Encrypter and Decrypter / C.-C. Lu ; S.-Y. Tseng
Instruction Stream Mutation for Non-Deterministic Processors / N. P. Smart
A Novel Pipelined Threads Architecture for AES Encryption Algorithm / M. Alam ; W. Badawy ; G. Jullien
On the Propagation of Faults and Their Detection in a Hardware Implementation of the Advanced Encryption Standard / G. Bertoni ; L. Breveglieri ; I. Koren ; P. Maistri ; V. Piuri
VLSI Architectures / Session 8：
Matrix Engine for Signal Processing Applications Using the Logarithmic Number System / E. I. Chester ; J. N. Coleman
A VLSI Architecture for Object Recognition Using Tree Matching / K. Sitaraman ; N. Ranganathan ; A. Ejnioui
Implementation of a Single Chip, Pipelined, Complex, One-Dimensional Fast Fourier Transform in 0.25 [mu]m Bulk CMOS / S. M. Currie ; P. R. Schumacher ; B. K. Gilbert ; E. E. Swartzlander ; B. A. Randall
Optical Network Reconfiguration for Signal Processing Applications / R. Chamberlain ; M. Franklin ; P. Krishnamurthy
Application-Specific System Design / Session 9：
New Results on Array Contraction / A. Darte ; G. Huard
A CORBA-Based GIS-T for Ambulance Assignment / T.-Y. Liao ; T.-Y. Hu
Advances in Bit Width Selection Methodology / D. Cachera ; T. Risset
Tradeoffs Between Quality of Results and Resource Consumption in a Recognition System / M. DeVore ; G. Engel ; J. O'Sullivan
edited by Kia Ng, Christoph Busch, and Paolo Nesi ; sponsored by Interdisciplinary Centre for Scientific Resaerch in Music ... [et al.] ; supported by MUSICNETWORK Project IST, European Commission
出版情報:
Los Alamitos ; Tokyo : IEEE Computer Society, c2003 x, 155 p. ; 28 cm
Laramedia Inc., An Internet Distribution Network for Commercial Audio / T. Laramee
Distributed Multimedia Plays with QoS Guaranties over IP / A. Lie ; L. A. Ronningen
Use of the MPEG-21 Rights Expression Language for Music Distribution / J. Delgado ; I. Gallego ; E. Rodriguez
Online Music Services
Potato System and Signed Media Format--An Alternative Approach to Online Music Business / J. Nutzel ; R. Grimm
Key Success Factors in the Emerging Landscape of Mobile Music Services / P. Vlachos ; A. Vrechopoulos
Enhancement of Existing Web Applications to Support Audio and Musical Tools / G. Tummarello ; C. Morbidoni ; F. Piazza
Music Transcription and Translation
Automatic Music Transcription Supporting Different Instruments / I. Bruno ; S. L. Monni ; P. Nesi
Producing Accessible Multimedia Music / D. Crombie ; R. Lenoir ; N. McKenzie
The Need of Perceptual Hashing Techniques for Music Scores / J. Irons ; M. Schmucker
Watermarking
Attacks on Digital Audio Watermarks and Countermeasures / M. Arnold
Unitary Approach of Watermarking and Attack Algorithms for Audio Signals / T. Muntean ; M. Najim
On the Spectral Singularities of Watermarked Audio / X. Zhao ; W. Wang ; K. Chen
Watermarking of Audio Signals Using Independent Component Analysis / B. Toch ; D. Lowe ; D. Saad
Music Analysis, Generation and Preservation
Modeling Musical Style Using Grammatical Inference Techniques: A Tool for Classifying and Generating Melodies / P. P. Cruz-Alcazar ; E. Vidal-Ruiz
Semantic Relationship and Identification of Music / F. Seifert ; W. Benn
Determining the Chromatic Index of Music / D. Politis ; D. Margounakis
Computer-Aided Composition from Melodic Contours and Tabular Constraints / H.-C. Shen ; C. Lee
CBS: A Concept-Based Sequencer for Soundtrack Composition / M. O Jewell ; M. S. Nixon ; A. Prugel-Bennett
Preserving Interactive Digital Music: A Report on the MUSTICA Research Initiative / B. Bachimont ; O. Lescurieux ; J.-F. Blanchette ; P. Morizet-Mahoudeaux ; A. Gerzso ; N. Donin ; A. Swetland ; J. Teasley
Digital Rights and Metadata
The Application of Digital Rights Management Systems in the Music Industry--An Empirical Investigation / M. Fetscherin ; M. Schmid
LicenseScript: A Novel Digital Rights Language and Its Semantics / C. N. Chong ; R. Corin ; S. Etalle ; P. Hartel ; W. Jonker ; Y. W. Law
Editorial Metadata in the Cuidado Music Browser: Between Universalism and Isolationism / A. Laburthe ; F. Pachet ; J.-J. Aucouturier
Using Cultural Metadata for Artist Recommendations / S. Baumann ; O. Hummel
Industrial Applications
Beyond the Talking Head: The Web Delivery of Methodology and Field Experience for Music Education / E. Burkett ; G. Ohlenbusch
Watermarking Music Sheets, It Is Possible? / M. Campanai ; M. B. Spinu
Using MusicXML for File Interchange / M. Good ; G. Actor
Interactive Sound Player (ISP): Enabling Interactive Sound in Digital Media / M. Westermann
High-Performance Front-End Embedded Signal Processors for Adaptive Sensor Arrays / W. Song
Video and Multimedia Processors / Jurgen Teich
Subword Permutation Instructions for Two-Dimensional Multimedia Processing in MicroSIMD Architectures / R. Lee
Architecture of an Image Rendering Co-Processor for MPEG-4 Systems / M. Berekovic ; P. Pirsch ; T. Selinger ; K.-I. Wels ; C. Miro ; A. Lafage ; C. Heer ; G. Ghigo
A Multiplication-Free Parallel Architecture for Affine Transformation / W. Badawy ; M. Bayoumi
A Simple RISC Microprocessor Core Designed for Digital Set-Top-Box Applications / M. Dal Poz ; J. Aedo Cobo ; W. Van Noije ; M. Zuffo
Reconfigurable Computing / Doran Wilde
Formal Verification for Microprocessors with Extendable Instruction Set / S. Sawitzki ; R. Spallek ; J. Schonherr ; B. Straube
Compiling Image Processing Applications to Reconfigurable Hardware / R. Rinker ; J. Hammes ; W. Najjar ; W. Bohm ; B. Draper
Integration of High-Performance ASICs into Reconfigurable Systems Providing Additional Multimedia Functionality / H. Blume ; H.-M. Bluthgen ; C. Henning ; P. Osterloh
Modeling and Synthesis / Shuvra Bhattacharyya
High Level Modeling for Parallel Executions of Nested Loop Algorithms / E. Deprettere ; E. Rijpkema ; P. Lieverse ; B. Kienhuis
Minimal Complexity Hierarchical Loop Representations of SFG Processors for Optimal High Level Synthesis / A. Stone ; E. Manolakos
High Level Synthesis for Peak Power Minimization Using ILP / W.-T. Shiue
High-Level Synthesis of Nonprogrammable Hardware Accelerators / R. Schreiber ; S. Aditya ; B. Ramakrishna Rau ; V. Kathail ; S. Mahlke ; S. Abraham ; G. Snider
Cryptography / Ruby Lee
Implementing 1,024-bit RSA Exponentiation on a 32-bit Processor Core / B. Phillips ; N. Burgess
Bit Permutation Instructions for Accelerating Software Cryptography / Z. Shi
Performance-Scalable Array Architectures for Modular Multiplication / W. Freking ; K. Parhi
Digital Signal Processing / Joseph Cavallaro
A 108 Gbps, 1.5 GHz 1D-DCT Architecture / A. Shams
Efficient VLSI Architectures for Baseband Signal Processing in Wireless Base-Station Receivers / S. Rajagopal ; S. Bhashyam ; J. Cavallaro ; B. Aazhang
A Vector Multiprocessor for Real-Time Multi-User Detection in Spread-Spectrum Communication / N. Manjikian
A 550 Mb/s Radix-4 Bit-level Pipelined 16-State 0.25-[mu]m CMOS Viterbi Decoder / V. Gierenz ; O. Weiss ; T. Noll ; I. Carew ; J. Ashley ; R. Karabed
Arithmetic / Magdy Bayoumi
A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay / M. Daumas ; D. Matula
A Hardware Algorithm for Variable-Precision Logarithm / J. Hormigo ; J. Villalba ; M. Schulte
Block-Update Parallel Processing QRD-RLS Algorithm for Throughput Improvement with Low Power Consumption / L. Gao
A 16-bit x 16-bit MAC Design Using Fast 5:2 Compressors / O. Kwon ; K. Nowka ; E. Swartzlander
Multiprocessor Systems / Ed Deprettere
Control for High-Speed PE Arrays / M. Herbordt ; J. Cravy ; H. Zhang ; C. Lin ; H. Rao
Explicit SIMD Programming for Asynchronous Applications / A. Di Blas ; R. Hughey
Quadratic Control Signals in Linear Systolic Arrays / S. Bowden ; D. Wilde ; S. Rajopadhye
Contention-Conscious Transaction Ordering in Embedded Multiprocessors / M. Khandelia ; S. Bhattacharyya
Application-Specific Architectures / Neil Burgess
Architecture for Wavelet Packet Transform with Best Tree Searching / M. Trenas ; J. Lopez ; M. Sanchez ; F. Arguello ; E. Zapata
Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter / M. Bednara ; O. Beyer ; J. Teich ; R. Wanka
A Programmable Processor for Approximate String Matching with High Throughput Rate
Design Methodology / Elias Manolakos
A New Algorithm for the Elimination of Common Subexpressions in Hardware Implementation of Digital Filters by Using Genetic Programming / H. Safiri ; M. Ahmadi ; G. Jullien ; W. Miller
A Theory for Software-Hardware Co-Scheduling for ASIPs and Embedded Processors / R. Govindarajan ; E. Altman ; G. Gao
Partitioning Conditional Data Flow Graphs for Embedded System Design / M. Auguin ; L. Bianco ; L. Capella ; E. Gresset
Generation of Scheduling Functions Supporting LSGP-Partitioning / D. Fimmel
Business-to-Business Connectivity and Emerging Protocols for E-Biz / Daniel Dias
Formalism / Timos SellisSession 2：
A Formal Background to Build Constraint Objects / A. Di Deo ; D. Boulanger
Information Filtering and Personalization in Databases Using Gaussian Curves / G. Specht ; T. Kahabka
A Study on the Interaction between Interscheme Property Extraction and Type Conflict Resolution / G. Terracina ; D. Ursino
Querying: Objects, Web / Domenico SaccaSession 3：
The Hybrid Technique for Reference Materialization in Object Query Processing / Q. Wang ; D. Maier ; L. Shapiro
Fuzzy Functional Dependency and its Application to Approximate Data Querying / R. Intan ; M. Mukaidono
SISQL: Schema-Independent Database Querying (On and off the Web) / U. Masermann ; G. Vossen
Querying Databases with Knowledge Domains / W. Ng
Applications I / Joachim BiskupSession 3a：
Design of RapidBase--An Active Measurement Database System / A. Wolski ; J. Kuha ; T. Luukkanen ; A. Pesonen
StreamJoin: A Generic Database Approach to Support the Class of Stream-Oriented Applications / C. Nippl ; R. Rantzau ; B. Mitschang
How to Reuse Former Queries to Facilitate the Formulation of New Ones / C. Oussalah ; A. Seriai
Data Caching for Telephony Services / T. Carpenter ; R. Carter ; M. Cochinwala ; M. Eiger
Untangling the Web / Gottfried VossenSession 4：
Metadata Based Web Mining for Relevance / J. Yi ; N. Sundaresan
Khoj Yantra: An Integrated MetaSearch Engine with Classification, Clustering and Ranking / R. Mishra ; T. Prabhakar
Fuzzy and Presentation Algebras for Web and Multimedia Data / E. Bertino ; D. Montesi ; A. Trombetta
Keynote Speech / Motomichi YoyomaSession 5：
Databases Supporting Changes in Changing Worlds--The Case Spatio-Temoral Database Systems
Dealing with Time / Session 6：
Calculating Worst-Case Execution Times of Transactions in Databases for Event-Driven, Hard Real-Time Embedded Systems / A. Munnich ; G. Farber
The Vagabond Temporal OID Index: An Index Structure for OID Indexing in Temporal Object Database Systems / K. Norvag
Representation of Definite, Indefinite and Infinite Temporal Information / P. Chountas ; I. Petrounias
Data Marts and Warehouses / Jaroslav PokornySession 7：
Bulk Loading a Data Warehouse Built upon a UB-Tree / R. Fenk ; A. Kawakami ; V. Markl ; R. Bayer ; S. Osaki
Efficient Maintenance of Temporal Data Warehouses / S. de Amo ; M. Alves
FCompress: A New Technique for Queriable Compression of Facts and Datacubes / P. Furtado ; H. Madeira
Application of SuperSQL Query Language for the Migration from a Relational to an Object-Oriented Database / S. Udoguchi ; T. Iijima ; M. Toyama
Applications and Concerns I / Richard McClatcheySession 7a：
Keeping Web Pages Up-to-Date with SQL: 1999 / H. Loeser
Architecture for the Interaction and Access on Multimedia Database Systems in the Context of Mobile Environments / G. Flach ; N. Gunther
Algorithms for Cartogram Animation / M. Ouyang ; P. Revesz
Query Result Size Estimation Using the Trapezoidal Attribute Cardinality Map / B. Oommen ; M. Thiyagarajah
Measuring the Contributions of (O)RDBMS to Object-Oriented Software Development / W. Zhang ; N. Ritter
An Integration System of Web Information Sources for Mobile Users / W. Sae-Tung ; T. Ohmori ; M. Hoshi
XML and DB / Peter ReveszSession 8：
An XML-Based Architecture for Adaptive Web Hypermedia Systems Using a Probabilistic User Model / M. Cannataro ; A. Pugliese
XML Functionally / J. Pokorny
Modeling and Querying XML-Data / S. Flesca ; S. Greco ; E. Zumpano
Concurrency and Access / Bala IyerSession 9：
Concurrency Control for B-Trees with Differential Indices / K. Pollari-Malmi ; J. Ruuth ; E. Soisalon-Soininen
Speculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions / P. Reddy ; M. Kitsuregawa
A Study of MBR-Based Spatial Access Methods: How Well They Perform in High-Dimensional Spaces / R. Orlandic ; B. Yu
Multimedia Access / Uwe HohensteinSession 10：
Multimedia Data Access Based on the Sensitivity Factors / T. Hochin ; K. Yamada ; T. Tsuji
Enabling Hypermedia Videos in Multimedia Database Systems Coupled with Realtime Media Servers / W. Lindner ; H. Berthold ; F. Binkowski ; A. Heuer ; K. Meyer-Wegener
Resiliency and Robustness of Alternative Shape-Based Image Retrieval Techniques / M. Safar ; C. Shahabi ; C.-H. Tan
Distributed Systems / B. John OommenSession 11：
Open Active Services for Data-Intensive Distributed Applications / C. Collet ; G. Vargas-Solar ; H. Grazziotin-Ribeiro
Mediated Information Gain / J. Biskup ; D. Embley
Supporting Data Migration between Relational and Object-Oriented Databases Using a Federation Approach / U. Hohenstein
Plug and Play with Query Algebras: SECONDO A Generic DBMS Development Environment / S. Dieker ; R. Guting
Applications and Concerns II / Guenther SpechtSession 11a：
Path Query Reduction and Diffusion for Distributed Semi-Structured Data Retrieval / J. Lee ; Y. Chung ; M. Kim
Implementation and Performance Analysis of Incremental Equations for Nested Relations / J. Liu ; M. Vincent ; M. Mohania
Dynamic Performance Optimization Mechanism for Parallel Object-Oriented Database Programming Languages / K. Kimura ; H. Amano ; A. Makinouchi
A Cost Function for Uniformly Partitioned UB-Trees
Time is the Shadow of Reactive Behavior / M. Berndtsson ; J. Hansson
Materializing a Set of Views: Dynamic Strategies and Performance Evaluation / Z. Bellahsene ; P. Marot
Applications II / Teruhisa HochinSession 12：
Wrapping WWW Information Sources / M. Montebello
What Can Partitioning Do for Your Data Warehouses and Data Marts? / L. Bellatreche ; K. Karlapalem ; M. Schneider
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IEEE Computer Society Test Technology Technical Committee ; in cooperation with Technical Group on Fault Torerant Systems, IEICE, Japan
出版情報:
Los Alamitos, CA. : IEEE Computer Society, c2000 xii, 422 p. ; 23 cm
The Effect of Placement on Yield for Standard Cell Designs / R. Prasad ; I. Koren
IC Critical Volume Calculation through Ray-Casting of CSG Trees / M. Moran ; G. Allan
A New Defect Outline Model Used for Critical Area Estimation in VLSI / X. Jiang ; Y. Hao ; S. Horiguchi
Predicting the Yield Efficacy of a Defect-Tolerant Embedded Core / F. Meyer ; N. Park
Yield Enhancement Techniques / Session 2：
VLSI Yield Optimization Based on the Sub-Processing-Element Level Redundancy / T. Zhao ; Y. Jiao
Quality-Effective Repair of Multichip Module Systems / F. Lombardi
A Self-Correcting Active Pixel Camera / G. Chapman ; Z. Koren
Wafer Scale/Large Area Systems / Session 3：
Introduction to Special Session
A High Speed and High Fault Tolerant Reconfigurable Reasoning System: Toward a Wafer Scale Reconfigurable Reasoning LSI / M. Yasunaga ; I. Yoshihara ; J. Kim
Self-Configuration of a Large Area Integrated Multiprocessor System for Video Applications / M. Rudack ; M. Redeker ; D. Treytnar ; O. Mende ; K. Herrmann
A Reconfigurable WSI Massively Data-Parallel Processing Device for Cost-Effective 3D Sensor Data Processing / R. Lea ; P. Tetnowski ; M. Covic
Optimization of Wafer Scale H-Tree Clock Distribution Network Based on a New Statistical Skew Model
Implementation of a Multiprocessor System with Distributed Embedded DRAM on a Large Area Integrated Circuit / S. Moch ; J. Hilgenstock ; P. Pirsch
A Multifunctional Laser Linking and Cutting Structure for Standard 0.25 [mu]m CMOS-Technology
Fault-Tolerant Interconnections / Session 4：
On the Complexity of Switch Programming in Fault-Tolerant Configurable Chips / W. Shi ; K. Kumar
Design of Switching Blocks Tolerating Defects/Faults in FPGA Interconnection Resources / A. Doumar ; H. Ito
Design of a Fault Tolerant Multistage Interconnection Network with Parallel Duplicated Switches / N. Kamiura ; T. Kodera ; N. Matsui
Fault-Tolerant Systems / Session 5：
Achieving Fault-Tolerance by Shifted and Rotated Operands in TMR Non-Diverse ALUs / M. Alderighi ; S. D'Angelo ; C. Metra ; G. Sechi
Fault-Tolerant High-Performance Cordic Processors / J.-H. Kwak ; V. Piuri ; E. Swartzlander, Jr.
A Fault-Tolerant 176 Gbit Solid State Mass Memory Architecture / G. Cardarilli ; P. Marinucci ; M. Ottavi ; A. Salsano
Error Coding / Session 6：
Evaluations of Burst Error Recovery for VF Arithmetic Coding / M. Kitakami ; H. Chen ; E. Fujiwara
Single Byte Error Control Codes with Double Bit within a Block Error Correcting Capability for Semiconductor Memory Systems / G. Umanesan
Efficient Error Correction Code Configurations for Quasi-Nonvolatile Data Retention by DRAMs / Y. Katayama ; Y. Negishi ; S. Morioka
Reconfiguration and Repair / Session 7：
Built-In Self-Reconfiguring Systems for Mesh-Connected Processor Arrays with Spares on Two Rows/Columns / I. Takanami
Fault-Tolerant Ring-and Toroidal Mesh-Connected Processor Arrays Able to Enhance Emulation of Hypercubes / N. Tsuda
Self-Repairing in a Micro-Programmed Processor for Dependable Applications / A. Benso ; S. Chiusano ; P. Prinetto ; P. Simonotti ; G. Ugo
Self-Reconfigurable Mesh Array System on FPGA / M. Fukushi
Online Testing / Session 8：
How Does Resource Utilization Affect Fault Tolerance? / C. Scherrer ; A. Steininger
An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications / M. Rebaudengo ; M. Reorda ; M. Torchiano ; M. Violante
Synthesis of On-Line Testing Control Units: Flow Graph Coding/Monitoring Approach / S. Demidenko ; E. Levine
An On-Line Reconfigurable FPGA Architecture / P. Lala ; A. Walker
Built-In Self-Test / Session 9：
Test Cost Minimization for Hybrid BIST / G. Jervan ; Z. Peng ; R. Ubar
BIST Architectures Selection Based on Behavioral Testing / G. Biasoli ; F. Ferrandi ; A. Fin ; F. Fummi ; D. Sciuto
Brains: A BIST Compiler for Embedded Memories / C. Cheng ; C.-T. Huang ; J.-R. Huang ; C.-W. Wu ; C.-J. Wey ; M.-C. Tsai
Testing Strategies / Session 10：
Testing the Configurability of Dynamic FPGAs / S. Ruiwale
Design for Testability to Achieve High Test Coverage--A Case Study / S. Mukherjee
Low-Speed Scan Testing of Charge-Sharing Faults for CMOS Domino Circuits / C. Chen ; W. Jone ; J. Wang ; S. Chang
Path Delay Fault Testability Analysis / J. Sosnowski ; T. Wabia ; T. Bech
I[subscript DDQ] Testing / Session 11：
Threshold Voltage and Power-Supply Tolerance of CMOS Logic Design Families / M. Kishor ; J. de Gyvez
A New Light-Based Logic IC Screening Method / S. Ohnishi ; M. Nishihara
Testability Analysis of I[subscript DDQ] Testing with Large Threshold Value / M. Hashizume ; H. Yotsuyanagi ; T. Tamesada ; M. Takeda
The 2nd Order Analysis of I[subscript DDQ] Test Data / S. Li ; K. Zhang ; J.-C. Lo
Fault Injection / Session 12：
"BOND": An Interposition Agents Based Fault Injector for Windows NT / A. Baldini
A Prototype of a VHDL-Based Fault Injection Tool / J. Baraza ; J. Gracia ; D. Gil ; P. Gil
Using Run-Time Reconfiguration for Fault Injection in Hardware Prototypes / L. Antoni ; R. Leveugle ; B. Feher
Fault Injection in VHDL Descriptions and Emulation
edited by Virginio Cantoni, Concettina Guerra ; sponsored by IEEE Computer Society Technical Committees on Pattern Analysis and Recognition, Parallell Processing and Cmputer Architecture ; in cooperation with ACM SIGARCH
出版情報:
Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2000 xi, 364 p. ; 28 cm
sponsored by IEEE Computer Society, Information Processing Society of Japan, Society of Instrument and Control Engineers of Japan, Institute of Electronics, Information, and Communication Engineers, Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control ... [et al.]
出版情報:
Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001 xvi, 484 p. ; 28 cm
New Business Trends in IT Services Yuji Inoue, NTT Data Corporation
SESSION 1: ELECTRONIC COMMERCE: MODELS AND PROTOCOLS
A Dependable Distributed Auction System: Architecture and an Implementation Framework P. Ezhilchelvan and G. Morgan 3
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce H. Xu and S. Shatz 11
Formal Analysis of E-Commerce Protocols M. Papa, O. Bremer, J. Hale, and S. Shenoi 19
An Automated Negotiation Model for Electronic Commerce J. Ueyama and E. Madeira 29
SESSION 2: HIGH ASSURANCE SYSTEMS
Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions B. Ravindran, P. Kachroo, and T. Hegazy 39
A High Assurance On-Line Recovery Technology for a Space On-Board Computer H. Yashiro, T. Fujiwara, and K. Mori 47
An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors L. Xue, K. Zhang, and C. Sun 57
Autonomous Information Provision to Achieve Reliability for Users and Providers H. Ahmad, G. Sun, and K. Mori 65
SESSION 3: PANEL: XML AND E-BUSINESS FRAMEWORKS
Chair: M. Heller
Panelists: E. Ferari, J. Putman, T. Gannon
SESSION 4: FAULT TOLERANCE AND SAFETY CRITICAL SYSTEMS
On Godefroid's Stateless Search Technique for Testing Concurrent Programs K-C. Tai and B. Karacali 77
Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems K. Kera, K. Bekki, N. Miwa, F. Kitahara, K. Kamijyo, and K. Seki 85
Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework F. Greve, M. Hurfin, M. Raynal, and F. Tronel 93
Safety Assurance via On-Line Monitoring S. Dolev and F. Stomp 101
SESSION 5: ARCHITECTURES AND MODEL FOR DISTRIBUTED SYSTEMS
Modularized System Architecture for Flexible Clinical Laboratory Systems H. Mitsumaki, T. Ikeda, R. Kodama, and T. Aizono 111
A 3D Interface for the Administration of Component-Based, Distributed Systems O. Stiemerling, M. Hallenberger, and A. Cremers 119
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces E. Astesiano and G. Reggio 127
Scenario-Based Service Composition Method in the Open Service Environment K. Kiwata, A. Nakano, S. Yura, T. Uchihashi, and A. Kanai 135
SESSION 6: PANEL: AGENT-BASED ELECTRONIC COMMERCE
Chairs: J-Y. Chung and J. Lee
Panelists: L. Lee, C. Priest, J. Youll, J. Hanson, M. Hsu
Agent-Based Electronic Commerce: Opportunities and Challenges J-Y. Chung and J. Lee 143
Agent-Based Auctions L. Lee 144
Agent-Based Electronic Commerce: Opportunities and Challenges J. Youll 146
Cultivating the Agent Economy J. Hanson 149
SESSION 7: ELECTRONIC COMMERCE: TECHNOLOGIES AND ARCHITECTURES
A Decentralized XML Database Approach to Electronic Commerce H. Ishikawa and M. Ohta 153
Commitment-Based Interoperation for E-Commerce J. Xing, F. Wan, S. Rustogi, and M. Singh 161
Service Matching and Collaboration for Electronic Commerce S. Yura, K. Kiwata, A. Nakano, T. Uchihashi, and A. Kanai 169
Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems Y. Chen and Z. He 176
SESSION 8: DISTRIBUTED OBJECT MANAGEMENT SYSTEMS
A Distributed Asynchronous Execution Semantics for Programming the Middleware Machine A. Berry and S. Kaplan 187
Quorum-Based Locking Protocol for Replicas in Object-Based Systems K. Tanaka and M. Takizawa 196
Integrating Autonomous Enterprise Systems through Dependable CORBA Objects C. Marchetti, A. Virgillito, M. Mecella, and R. Baldoni 204
Reflective Decision Controls for Autonomous Distributed Objects E-H. Huang and T. Elrad 212
SESSION 9: SHORT PAPERS
Location Transparent Distributed Scripts and Their Execution Systems on D'Agent O. Honda, H. Tada, and M. Higuchi 223
Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit S. Tagashira, K. Saisho, and A. Fukuda 227
Simulating Agent Based Processing in an ADS Using C++ SIM C. Lee, J. Kim, J. Stach, and E. Park 231
The New ATC Systems with an Autonomous Speed Control with On-Board Equipment M. Matsumoto, A. Hosokawa, S. Kitamura, D. Watanabe, and A. Kawabata 235
Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint Y. Tahara, A. Ohsuga, and S. Honiden 239
Mobile Agents in Network-Centric Warfare M. Ceruti 243
Building Holonic Control Systems with Function Blocks M. Fletcher 247
Reactive Web Agents with Open Constraint Programming K. Zhu, W-Y. Tan, A. Santosa, and R. Yap 251
An Architecture for Adaptively Replicating Cooperative Shared Objects Z. Jun and Y. Yong 255
The Wireless World in 2010: New Orientations Fiona Williams
SESSION 10: MULTI-AGENT SYSTEMS
A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities D. Vyzovitis and K. Clark 263
Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed Control M. Blake 271
Mobile Agent Messaging Models D. Deugo 278
Decentralized Control of Hybrid Systems R. Palm and T. Runkler 287
SESSION 11: PANEL: EMBEDDED SYSTEMS
Chair: F. Bastani
Panelists: B. Cukic, T. Labbe, A. Lee, J. Linn, R. Paul, V. Winter
The Need for Verification and Validation Techniques for Adaptive Control System B. Cukic 297
Embedded Software Development Challenges in the Digital Signal Processing Era J. Linn 299
SESSION 12: MIDDLEWARE TECHNOLOGIES
Type-Safe Trading Proxies Using TORBA R. Marvie, P. Merle, J-M. Geib, and S. Leblanc 303
An Automated Client-Driven Approach to Data Extraction Using an Autonomous Decentralized Architecture M. Blake and P. Liguori 311
Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network Environments S. Yau and F. Karim 319
TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object Programming K. Kim, J. Liu, H. Miyazaki, and E. Shokri 327
SESSION 13: PANEL: MOBILE COMPUTING AND COMMUNICATION
Chair: Janice Putman
Panelists: W. Ruh, L. Strick, T. Wheeler
SESSION 14: AGENT TECHNOLOGIES FOR ELECTRONIC COMMERCE
How Agents from Different E-Commerce Enterprises Cooperate Q. Chen, M. Hsu, and I. Kleyner 341
Brokering Based Self Organizing E-Service Communities S. Helal, M. Wang, A. Jagatheesan, and R. Krithivasan 349
A Real-Time Multi-Agent System Architecture for E-Commerce Applications L. DiPippo, V. Fay-Wolfe, L. Nair, E. Hodys, and O. Uvarov 357
Flexible Manufacturing Control with PLC, CNC and Software Agents R. Schoop, R. Neubert, and B. Suessmann 365
SESSION 15: SELF-STABILIZING SYSTEMS
The Multi-Agent System for Dynamic Network Routing R. Onishi, S. Yamaguchi, H. Morino, H. Aida, and T. Saito 375
Ant Colony Control for Autonomous Decentralized Shop Floor Routing V. Cicirello and S. Smith 383
A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant Colony P. Heck and S. Ghosh 391
A Stabilizing Search Tree with Availability Properties T. Herman and T. Masuzawa 398
Decentralized E-Business Applications for Government Systems Henry Bayard
SESSION 16: SECURE SYSTEMS AND APPLICATIONS
Data Protection in Mobile Agents: One-time Key-based Approach J-Y. Park, D-I. Lee, and H-H. Lee 411
Access Revocation and Prevention of False Repudiation in Secure Email Exchanges L. Bai, R. Achuthanandam, and M. Kam 419
Formal Analysis of Software Security System Architectures Y. Deng, J. Wang, and J. Tsai 426
Concepts and Architecture of a Security-Centric Mobile Agent Server V. Roth and M. Jalali-Sohi 435
SESSION 17: PANEL: ROBOTICS FOR EDUCATION AND ENTERTAINMENT
Chairs: M. Fujita, R. Arkin
Panelists: M. Veloso, T. Shibata, J. Yamato
SESSION 18: MODELING AND PERFORMANCE ANALYSIS
Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous Systems I. Kaji, S. Kato, and K. Mori 447
Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments I-R. Chen, N. Phan, and I-L. Yen 456
GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems N. Giambiasi, B. Escude, and S. Ghosh 464
Autonomous Navigation in Information Service Systems for Load Balancing User Demands H. Arfaoui and K. Mori 470
SESSION 19: PANEL: SECURITY FOR THE WEB AND E-COMMERCE SYSTEMS
Chair: Bhavani Thuraisingham
Panelists: E. Bertino, T.Y. Lin, S. Shenoi, A. Ghosh
PANEL: FUTURE OF AUTONOMOUS DECENTRALIZED SYSTEMS
Chair: Steven Yau
Panelists: K. Mori, R. Popescu-Zeletin, B. Thuraisingham, J. Tsai, L. Strick, M. Imase
Algebras for Hazard Detection / J. Brzozowski ; Z. Esik ; Y. Iland
Circuits I / Session 2a：
A New Improved Cost-Table-Based Technique for Synthesis of 4-Valued Unary Functions Implemented Using Current-Mode CMOS Circuits / M. Abd-El-Barr ; A. Al-Mutawa
Dual-Rail Multiple-Valued Current-Mode VLSI with Biasing Current Sources / T. Ike ; T. Hanyu ; M. Kameyama
Realization of NMAX and NMIN Functions with Multi-Valued Voltage Comparators / M. Inaba ; K. Tanno ; O. Ishizuka
Design and Verification of Systems / Session 2b：
An Application of Multiple-Valued Logic to Test Case Generation for Software System Functional Testing / M. Hu
Spectral Techniques in Binary and Multiple-Valued Switching Theory / M. Karpovsky ; R. Stankovic ; C. Moraga
Tunnelling Diode Technology / W. Prost ; U. Auer ; F-J. Tegude ; C. Pacha ; K. Goser ; R. Duschl ; K. Eberl ; O. SchmidtSession 3：
Circuits II / Session 4a：
Power Efficient Inter-Module Communication for Digit-Serial DSP Architectures in Deep-Submicron Technology / I. Ben Dhaou ; E. Dubrova ; H. Tenhunen
A 4-Digit CMOS Quaternary to Analog Converter with Current Switch and Neuron MOS Down-Literal Circuit / S. Han ; Y. Choi ; H. Kim
Fuzzy Logics and Their Applications I / Session 4b：
On Some Classes of Fuzzy Information Relations / A. Radzikowska ; E. Kerre
On Complete Residuated Many-Valued Logics with T-Norm Conjunction / F. Esteva ; L. Godo
Circuits III / Session 5a：
A Three-Valued D-Flip-Flop and Shift Register Using Multiple-Junction Surface Tunnel Transistors / T. Uemura ; T. Baba
Flash Analog-to-Digital Converter Using Resonant-Tunneling Multiple-Valued Circuits / T. Waho ; K. Hattori ; Y. Takamatsu
The Use of Arithmetic Operators in a Self-Restored Current-Mode CMOS Multiple-Valued Logic Design Architecture / H. Teng ; R. Bolton
Fuzzy Logics and Their Applications II / Session 5b：
Evaluation of Inconsistency in a 2-Way Fuzzy Adaptive System Using Shadowed Sets / E. Gurkan ; A. Erkmen ; I. Erkmen
Identification of Incompletely Specified Fuzzy Unate Logic Function / H. Kikuchi
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics / V. Sofronie-StokkermansSession 6：
Tutorial / Session 7：
Tutorial: Complexity of Many-Valued Logics / R. Hahnle
Exploiting Polarity in Multiple-Valued Inference Systems / Z. StachniakSession 8：
Logic Design I / Session 9a：
Multiple-Valued Galois Field S/D Trees for GFSOP Minimization and Their Complexity / A. Al-Rabadi ; M. Perkowski
Multiple-Valued Mask-Programmable Logic Array Using One-Transistor Universal-Literal Circuits / K. Shimabukuro ; C. Zukeran
Decomposition of Multi-Valued Functions into Min- and Max-Gates / C. Lang ; B. Steinbach
Automated Reasoning and Complexity I / Session 9b：
Cut-Elimination in a Sequents-of-Relations Calculus for Godel Logic / M. Baaz ; A. Ciabattoni ; C. Fermuller
Model Checking with Multi-Valued Temporal Logics / M. Chechik ; S. Easterbrook ; B. Devereux
Automated Reasoning with Ordinary Assertions and Default Assumptions / D. Van Heule ; A. Hoogewijs
Logic Design II / Session 10a：
Information Theory Method for Flexible Network Synthesis / V. Cheushev ; S. Yanushkevich ; V. Shmerko ; J. Kolodziejczyk
Compact SOP Representations for Multiple-Output Functions: An Encoding Method Using Multiple-Valued Logic / T. Sasao
Two-Stage Exact Detection of Symmetries / A. Tomaszewska ; P. Dziurzanski
Automated Reasoning and Complexity II / Session 10b：
A Modular Reduction of Regular Logic to Classical Logic / R. Bejar ; F. Manya
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics
Polynomial-Time Algorithms for Verification of Some Properties of k-Valued Functions Represented by Polynomials / S. Selezneva
Challenge of a Multiple-Valued Technology in Recent Deep-Submicron VLSI / Session 11：
Computing Paradigms / Session 12a：
A Model of Reaction-Diffusion Cellular Automata for Massively Parallel Molecular Computing / M. Hiratsuka ; T. Aoki ; T. Higuchi
Synthesis of Multiple-Valued Arithmetic Circuits Using Evolutionary Graph Generation / M. Natsui
An Axiomatization of Generalized Entropy of Partitions / D. Simovici ; S. Jaroszewicz
MV Logics and Algebras I / Session 12b：
Many Valued Paraconsistent Logic / C. Morgan
On Logical Fiberings and Decomposition of Many-Valued Operations: A Brief Survey / J. Pfalzgraf
Relations between Clones and Full Monoids / H. Machida ; M. Miyakawa ; I. Rosenberg
Classical Gentzen-Type Methods in Propositional Many-Valued Logics / A. AvronSession 13：
Decision Diagrams / Session 14a：
Selection of Efficient Re-Ordering Heuristics for MDD Construction / F. Schmiedle ; W. Gunther ; R. Drechsler
Bit-Level and Word-Level Polynomial Expressions for Functions in Fibonacci Interconnection Topologies / M. Stankovic ; J. Astola ; K. Egiazarian
Design of Haar Wavelet Transforms and Haar Spectral Transform Decision Diagrams for Multiple-Valued Functions
Fuzzy Logics and Set Theories / Session 14b：
A Set Theory within Fuzzy Logic / P. Hajek ; Z. Hanikova
On a Kleenean Extension of Fuzzy Measure / T. Araki ; M. Mukaidono ; F. Yamamoto
On Axiomatic Characterization of Fuzzy Approximation Operators II. The Rough Fuzzy Set Based Case / H. Thiele
Neural Networks / Session 15a：
A Functional Manipulation for Improving Tolerance against Multiple-Valued Weight Faults of Feedforward Neural Networks / N. Kamiura ; Y. Taniguchi ; N. Matsui
Logic Circuit Diagnosis by Using Neural Networks / H. Tatsumi ; Y. Murai ; S. Tokumasu
The Designing and Training of a Fuzzy Neural Hamming Classifier / Q. Hua ; Q-L. Zhen
MV Logics and Algebras II / Session 15b：
Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable / S. Aguzzoli ; D. Mundici
Composing Submonads / P. Eklund ; M. Galan ; J. Medina ; M. Ojeda-Aciego ; A. Valverde
A Method of Uncertainty Reasoning by Using Information / J. Ma ; J. Liu ; Y. Xu
edited by Horst Clausen ... [et al.] ; sponsored by IEEE Communications Society, IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet
出版情報:
Piscataway, N.J. : IEEE Service Center, c2001 x, 386 p. ; 28 cm
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
edited by R. Rajsuman, T. Wik ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on VLSI, IEEE Computer Society Technical Council on Test Technology ; in cooperation with The IEEE Solid State Circuits Society
出版情報:
Los Alamitos, Calif. : Institute of Electrical and Electronics Engieers, c2000 x, 131 p. ; 28 cm
Failure Mechanisms in Semiconductor Memory Circuits / R. Haythornthwaite
Diagnosing the Interconnect of Bus-Connected Multi-RAM Systems under Restricted and General Fault Models / J. Zhao ; F. Meyer ; F. Lombardi
Optimizing Memory Tests by Analyzing Defect Coverage / A. Jee ; J. Colburn ; V. Irrinki ; M. Puri
Flash/EEPROM Design / Alex Shubat ; Virage LogicSession 2：
Hierarchical Sector Biasing Organization for Flash Memories / R. Micheloni ; M. Zammattio ; G. Campardo ; O. Khouri ; G. Torelli
Fast Voltage Regulator for Multilevel Flash Memories / S. Gregori
Design Techniques for Embedded Eeprom Memories in Portable Asic and Assp Solutions / J. Daga ; C. Papaix ; M. Merandat ; S. Ricard ; G. Medulla ; J. Guichaoua ; D. Auvergne
New Ideas / Fabrizio LombardiSession 3：
Windowed Mram Sensing Scheme / R. Zhang ; W. Black, Jr. ; M. Hassoun
Panel: Future Memorq Challenges / Session 4：
Test and Yield / Robert EvansSession 5：
Tutorial: Synchronous Dynamic Memory Test Construction: A Field Approach / J. Vollrath
Yield Analysis Methodology for Low Defectivity Wafer Fabs / K. Rajkanan
Memorq Testing and Built-In Self-Test / Swamy IrrinkiSession 6：
March Tests for Realistic Faults in Two-Port Memories / S. Hamdioui ; M. Rodgers ; Ad J. van de Goor ; D. Eastwick
A Simple Built-In Self Test for Dual Ported SRAMs / K. Truong
Using Glfsrs for Pseudo-Random Memory Bist / M. Redeker ; M. Rudack ; T. Lobbe ; D. Niggemeyer
Invited Rddress
1-T Sram / Fu-Chieh Hsu
Memorq Design / Robert GibbinsSession 7：
Optimizing Meory Bandwidth with ILP Based Memory Exploration and Assignment for Low Power Embedded Systems / W.-T. Shiue
66MHz 2.3M Ternary Dynamic Content Addressable Memory / V. Lines ; A. Ahmed ; P. Ma ; S. Ma ; R. McKenzie ; H.-S. Kim ; C. Mar
A Low Voltage Embedded Single Port Sram Generator in a 0.18[mu]m Standard Cmos Process / C. Frey ; F. Genevaux ; C. Issartel ; D. Turgis ; JP. Schoellkopf
Diagnosis / Sharon MurraySession 8：
Diagnostic Testing of Embedded Memories Based on Output Tracing / E. Rudnick
Defect Analysis and Realistic Fault Model Extensions for Static Random Access Memories / K. Zarrineh ; A. Deo ; R. Adams
Crosstalk in Deep Submicron Drams / Z. Yang ; S. Mourad
Detecting Timed-Out Client Requests for Avoiding Livelock and Improving Web Server Performance / R. Carter ; L. Cherkasova
Flex: Load Balancing and Management Strategy for Scalable Web Hosting Service
Bandwidth Sensitive Content Transformation in Pervasive Computing / C. Hung ; L. Hong
Design of a Media Service Provider Architecture for the Internet / A. Calvagna ; A. Puliafito ; O. Tomarchio
Virtual Network Ports: Design, Implementation and Applications / V. Vuppala ; L. Ni
Access Networks / Session 2：
Solutions for Service Deployment in The Edge of the Network / D. Chantrain
Performance Evaluation of a Time Division Multiplexing Method Applicable for Dynamic Transfer Mode Networks / C. Antal ; J. Biro ; T. Henk ; G. Matefi
Multilevel Reed-Solomon Coding in Asymmetric Digital Subscriber Lines / L. Zhang ; A. Yongacoglu
Performance Optimisation of AAL2 Signalling for Supporting Soft Handoffs in UMTS Terrestrial Radio Access Networks / I. Szabo ; S. Szekely ; I. Moldovan
Multiaccess Strategies in an Integrated UTRA System / M. Ruiz-Garcia ; J. Burgos-Lati ; J. Romero-Jerez ; A. Diaz-Estrella
Network Management / Session 3：
Generic QoS-Support for CORBA / C. Becker ; K. Geihs
The Study and Implementation of the VPN Service Management System / Q. Xuesong ; X. Ao ; M. Luoming
Evolution of Operation Support Systems in Public Data Networks / M. Sherif ; S. Ho
Classification and Computation of Dependencies for Distributed Management / A. Keller U. Blumenthal ; G. Kar
A CORBA-Based Distributed Multimedia Database Management Layer: Design and Implementation Aspects / A. Coelho ; I. Ricarte
Internet II - TCP and Performance Aspects / Session 4：
Quantifying TCP Performance Improvements in Noisy Environments Using Protocol Boosters / D. Bakin ; M. Joa-Ng ; A. McAuley
A Simple Refinement of Slow-Start of TCP Congestion Control / H. Wang ; H Xin ; D. Reeves ; K. Shin
Energy/Throughput Tradeoffs of TCP Error Control Strategies / V. Tsaoussidis ; H. Badr ; X. Ge ; K. Pentikousis
Extending Mobile IP with Adaptive Individual Paging: A Performance Analysis / C. Castelluccia
Design and Performance of a Scalable Real Time Control Protocol: Simulations and Evaluations / R. El-Marakby
Some Observations on Fairness of Bandwidth Sharing / D. Chiu
Optical Networks / Session 5：
Distributed Algorithms and Architectures for Optical Flow Switching in WDM Networks / B. Ganguly ; E. Modiano
Wavelength Converters for Deflection Routing Networks / T. Chich ; F. Clerot
Dynamic Routing and Wavelength Assignment Using First Policy Iteration / E. Hyytia ; J. Virtamo
Comparative Study of Parallel vs. Distributed Genetic Algorithm Implementation for ATM Networking Environment / A. Sleem ; M. Ahmed ; A. Kumar ; K. Kamel
Network Security / Session 6：
Security Requirements for Management Systems Using Mobile Agents / H. Reiser ; G. Vogt
A Simple XOR-Based Technique for Distributing Group Key in Secure Multicasting / S. Ghanem ; H. Abdel-Wahab
FATIMA: A Firewall-Aware Transparent Internet Mobility Architecture / S. Mink ; F. Pahlke ; G. Schafer ; J. Schiller
Light Weight Security for Parallel Access to Multiple Mirror Sites / B. Yener
ATM Security with Firewalls / C. Simon ; A. Torok
Internet III--MPLS and Traffic Issues / Session 7：
Differentiated Services and Integrated Services Use of MPLS / N. Rouhana ; E. Horlait
Fractal Traffic Models for Internet Simulation / B. Ryu ; S. Lowen
An Empirical Study of Today's Internet Traffic for Differentiated Services IP QoS / F. Li ; N. Seddigh ; B. Nandy ; D. Matute
Formulation of the Traffic Engineering Problems in MPLS Based IP Networks / M. Girish ; B. Zhou ; J-Q. Hu
A Performance System Based on the Balanced Scorecard Approach for Measuring Performance in a Business Environment / G. Vardangalos ; A. Pantelis
Study of a Transport Protocol Employing Bottleneck Probing and Token Bucket Flow Control / R. Wade ; M. Kara ; P. Dew
Satellite Communication / Session 8：
Location Registration and Paging in Mobile Satellite Systems / J. McNair
Bulk Data Multicast Rate Scheduling for Hybrid Heterogeneous Satellite-Terrestrial Networks / A. Tunpan ; M. Corson
Acceleration of TCP Throughput over Satellite-Based Internet Access Using TCP Gateway / Y. Miyake ; T. Hasegawa ; T. Kato
Bit Error Rate Evaluation of a Spectrally Efficient CDMA Scheme for Geostationary Satellite Communications / E. Geraniotis ; D. Gerakoulis
DRS Compression Applied to MPEG-2 Video Data Transmitted over a Satellite Channel / N. Celandroni ; E. Ferro ; F. Potorti ; A. Chimienti ; M. Lucenteforte
Standardization and E-Commerce / Session 9：
Producing Standards for Communication Systems--The Impact of the Individual / K. Jakobs
Standards and Intellectual Property Rights--The International Standardization of Third-Generation Mobile System / B. Hjelm
Single-Term Divisible Electronic Cash Based on Bit Commitment / M. Zhong ; Y. Feng ; Y. Yang
Business-to-Consumer Electronic Commerce: A Longitudinal Study / M. Limayem ; M. Khalifa
Network and Service Anomaly Detection in Multi-Service Transaction-Based Electronic Commerce Wide Area Networks / L. Ho ; S. Papavassiliou
Multimedia I / Session 10：
Estimation of Multiplexer-Introduced Loss for MPEG-4 Data Streams Connected to (R)CBR Channels / U. Mayer ; J. Deicke ; M. Glesner
A Standalone Video Communication System for Wireless Applications / H. Ng ; H. Toh ; S. Rahardja ; H. Huang ; X. Chen ; H. Lan ; X. Lin
Analyses of MPEG-4 Video Streams Processing in Computer Clusters Based on Multihop ATM Networks / Z. Zografski ; T. Janevski
Bandwidth Adaptation of Audio Streams for Mobile Hosts / K. Brown ; L. Christianson
An End to End QoS Discovery Architecture Embedded in a TINA Based Multimedia Platform / F. Vandermeulen ; B. Vermeulen ; P. Demeester ; F. Steegmans ; S. Vermeulen
Quality of Service I / Session 11：
Differentiated Service Performance Analysis / L. Nguyen ; T. Eyers ; J. Chicharo
Performance Evaluation of Per-Hop Forwarding Behaviors in the Diffserv Internet / Z. Di ; H. Mouftah
Achieving Per-Flow Fair Rate Allocation within Diffserv / N. Li ; M. Borrego ; S-q. Li
A Novel Buffer Management Scheme for CBQ-Based IP Routers in a Combined IntServ and DiffServ Architecture / M. Markaki ; I. Venieris
Dynamic Management for End-to-End IP QoS: From Requirements to Offers / F. Bennani ; N. Simoni
Performance Analysis of QoS Mechanisms in IP Networks / D. Jia ; E. Dutkiewicz
Broadband Networks I - ATM / Session 12：
Design and Implementation of an ABR Server in a Shared-Bus ATM Switch / E. Zervanos ; G. Stassinopoulos
Using Dynamic Weights for Improving Fairness in the ATM ABR Service / J. Chew ; A. Gupta
Improvement of Traffic Load Measurement Mechanism of ATM Switches in Presence of VBR Traffic / S. Kamolphiwong
Scalable Memory Management for ATM Systems / D. Serpanos ; P. Karakonstantis
Inverse Multiplexing for ATM. Technical Operation, Applications and Performance Evaluation Study / M. Postigo-Boix ; J. Garcia-Haro ; M. Aguilar-Igartua
Multimedia II / Session 13：
Light-Weight Stream Synchronization Framework for Multimedia Collaborative Applications / A. Gonzalez ; H. Adbel-Wahab
An Efficient and Flexible Late Join Algorithm for Interactive Shared Whiteboards / W. Geyer ; J. Vogel ; M. Mauve
Implementing a User Level Multimedia Transport Protocol in Java / L. Apvrille ; L. Dairaine ; L. Rojas ; P. Senac ; M. Diaz
Phase Locked Loop Using Delay Compensation Techniques / F. Spagna
Diagnostic Tests for Communicating Nondeterministic Finite State Machines / R. Belhassine-Cherif ; A. Ghedamsi
Quality of Service II / Session 14：
Non-Exhaustive Channel Access Strategy in Multi-Resource Communication Systems with Non-Homogeneous Traffic / A. Melikov ; D. Deniz
Introducing Service Differentiation into IEEE 802.11 / I. Aad
An Analysis of the Backoff Mechanism Used in IEEE 802.11 Networks / M. Natkaniec ; A. Pach
Improving QoS for Real-Time Traffic in a Shared Link / P. Gong ; M. Lee ; T. Saadawi
An Admission Control Algorithm for Providing Quality-of-Service Guarantee for Individual Connection in a Video-on-Demand System / J. Lui ; X. Wang
Measurement-Based Admission Control: A Large Deviations Approach for Bufferless Multiplexers / M. Reisslein
Broadband Networks II / Session 15：
Experiences in Programming a Traffic Shaper / D-M. Chiu ; M. Kadansky ; J. Provino ; J. Wesley
System Stability with the PD ABR Flow Control Algorithm / I. Lengliz ; F. Kamoun
The Adaptive Load Service (ALS): An ABR-Like Service for the Internet / D. Sisalem ; H. Schulzrinne
Continuous Bandwidth, Non-Blocking, Multirate Switching in 3-Stage Clos Networks / W. Kabacinski ; F. Liotopoulos
A Fair and Efficient Multicast ATM Switch Based on Deflection Routing / R. Kannan ; S. Ray
Panel: Network Management / Veli Sahin ; Salah Aidorous ; Omar Mansour
Wireless Communications I / Session 16：
Energy-Efficient Adaptive Wireless Network Design / P. Havinga ; G. Smit ; M. Bos
Designing a Minimal Cost Wireless Network: A Case Study / R. Stanley
A Fully Distributed Location Management Scheme for Large PCS / K. Ratnam ; I. Matta ; S. Rangarajan
Striping Scheme for Wireless Communication Systems / F. Jacquet ; P. Kauffmann ; M. Misson
Study of a Home Automation Network Radio Variant: The Case of Teledomotis
Network Architecture / Session 17：
Iso WAN: A NASA Science and Engineering Information and Services Framework / D. Korsmeyer ; E. Chow ; M. Conroy
The Internet Is Challenging the Intelligent Network / B. El Ouahidi ; M. Bouhdadi ; D. Bourget
Application Level Error Recovery Using Active Network Nodes / J. Meggers ; M. Wallbaum
The Use of Software Agents as Proxies / B. Thai ; A. Seneviratne
Extending the MASIF Location Service in the MAP Agent System / E. Di Pietro ; A. La Corte
Routing / Session 18：
On-Demand QoS-Based Routing Protocol for Ad Hoc Mobile Wireless Networks / Y-K. Ho ; R-S. Liu
Load-Balanced Anycast Routing in Computer Networks / W. Zauemen ; S. Vutukury ; J. Garcia-Luna-Aceves
On the Performance of a Scalable Single-Tier Position Based Routing Protocol for Mobile Ad-hoc Wireless Networks / S. Xu ; K. Amouris
Optimal Multi-Path End-to-End Data Transmission in Networks / G. Xue
Connection-Oriented Routing in Ad Hoc Networks Based on Dynamic Group Infrastructure / Y-L. Chang ; C-C. Hsu
Wireless Communications II - Traffic Issues / Session 19：
Call Admission Control for Multimedia Services in Mobile Cellular Networks: A Markov Decision Approach / J. Choi ; T. Kwon ; Y. Choi ; M. Naghshineh
Connection Admission Control in Micro-Cellular Multi-Service Mobile Networks / R. Raad
An Adaptive Redundancy Technique for Wireless Indoor Multicasting / Y. Xu ; T. Zhang
An Adaptive, Location-Aware Hoarding Mechanism / U. Kubach ; K. Rothermel
On Multiple Traffic Type Integration over Wireless TDMA Channels / P. Koutsakis ; M. Paterakis
Distributed Systems / Session 20：
Implementing a Distributed Server Using Mobile Agent Technology / V. Carchiolo ; M. Malgeri ; G. Mangioni
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems / M. Yeddes ; H. Alla ; R. David
Managing Services in Distributed Systems by Integrating Trading and Load Balancing / D. Thissen ; H. Neukirchen
Resource Balancing Using Trader Federation / C. Daval-Frerot ; M. Lacroix ; H. Guyennet
A UML Based Methodology for the Creation of TINA Compatible Telecommunications Services / D. Adamopoulos ; G. Pavlou ; C. Papandreou
Hierarchical Performance Modeling for Distributed System Architectures / D. Smarkusky ; R. Ammar ; I. Antonios ; H. Sholl
Multicast / Session 21：
Contractual Group Membership CGM: A New Mechanism for Multicast Group Management / T. Asfour ; S. Block ; A. Serhrouchni ; S. Tohme
A Tree Switching Protocol for Multicast State Reduction / F. Cheng ; R. Chang
A Rate-Based End-to-End Multicast Congestion Control Protocol / S. Shi ; M. Waldvogel
Router-Assistance for Receiver Access Control in PIM-SM / T. Hardjono
DISEC: A Distributed Framework for Scalable Secure Many-to-Many Communication / L. Dondeti ; S. Mukherjee ; A. Samal
Wireless Communications IIII - CDMA / Session 22：
Decentralized Power Control Algorithms for Multi-Service CDMA-Based Cellular Systems / G. Kotsakis ; P. Demestichas
Association of Uplink Power Control and Base Station Assignment in Cellular CDMA Systems / L. Nuaymi ; P. Godlewski
Throughput and Efficiency Capacities of Optical OOK-CDMA Communication Systems / H. Shalaby
Transmit Diversity Combining for Wideband DS/CDMA in Wireless Communications Systems / R. Choi ; K. Lataief ; R. Murch
Resource Allocation and Capacity in Wireless CDMA Networks Using Adaptive Power Control and Antenna Array Multiuser Receiver / Y. Guo ; B. Aazhang
Coding and Signal Processing / Session 23：
Iterative Decoding of Product Codes Composed of Extended Hamming Codes / N. Yu ; Y. Kim ; P. Lee
General Construction of Periodic Complete Complementary Codes Composed of Expanded Modulatable Orthgonal Sequences / H. Torii ; N. Suehiro ; M. Nakamura
An Adaptive Method of IFS Image Compression Based on Creditability / D. Yun-Zhao ; C. He-Xin
A Secure Data Hiding Scheme for Two-Color Images / H-K. Pan ; Y-Y. Chen ; Y-C. Tseng
Performance Improvement of Nonuniform Polarity-DPLL Symbol Synchronizers by Using Novel Adaptive Statistical Loop Filtering Technique / I. Panayiotopoulos ; P. Constantinou
Scheduling / Session 24：
An Effective Scheduler for IP Routers / G. Quadros ; A. Alves ; E. Monteiro ; F. Boavida
Packet Scheduling Based on Learning in the Next Generation Internet Architectures / A. Melo, Jr. ; J. Coello
How Unfair Can Weighted Fair Queuing Be?
Managing Performance Using Weighted Round-Robin / J. Wang ; Y. Levy
RED Behavior with Different Packet Sizes / S. De Cnodder ; O. Elloumi ; K. Pauwels
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
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
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
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ... [et al.] ; edited by Sten F. Andler, Michael G. Hinchey, Jeff Offutt
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2001 xi, 281 p. ; 28 cm
Multiple Conceptions of Character-Based Interactive Installations / B. Blumberg ; B. Tomlinson ; M. Downie
Human Modelling / Session 1：
An Inverse Kinematics Method Based on Muscle Dynamics / T. Komura ; Y. Shinagawa ; T. L Kunii
3D Animated Movie Actor Training Using Fuzzy Logic / S. Karunaratne ; H. Yan
Towards Real Time Virtual Human Life Simulations / E. de Sevin ; M. Kallmann ; D. Thalmann
Principal Components of Expressive Speech Animation / S. Kshirsagar ; T. Molet ; N. Magnenat-Thalmann
Image Processing and Retrieval 1 / Session 2：
Paint by Relaxation / A. Hertzmann
Affine-Invariant Sketch-Based Retrieval of Images / H. H. S. Ip ; A. K. Y. Cheng ; W. Y. F. Wong ; J. Feng
Web-Based Image Retrieval: A Hybrid Approach / Y. Zhuang ; Q. Li ; R. W. H. Lau
Natural Phenomenon Modelling / Session 3：
Water Animation with Disturbance Model / Q. Chen ; J. Deng ; F. Chen
Animating the Escape Response of the Sea Anemone, Stomphia coccinea from the Starfish, Dermasterias imbricata Modeled Using Implicit Surfaces / M. A. Nur ; X. Liang ; B. Wyvill ; G. B. Bourne
Visual Simulation of Lightning Taking into Account Cloud Growth / B. Sosorbaram ; T. Fujimoto ; K. Muraoka ; N. Chiba
Non-Photo Realistic Rendering / Session 4：
Volumes of Expression: Artistic Modelling and Rendering of Volume Datasets / S. M. F. Treavett ; M. Chen ; R. Satherley ; M. W. Jones
Animating Chinese Landscape Paintings and Panorama Using Multi-Perspective Modeling / N. S.-H. Chu ; C.-L. Tai
Creating Pen-and-Ink Illustration Using Stroke Morphing Method / H.-S. Kim ; H.-J. Jin ; Y.-J. Yu ; H.-G. Cho
3D Graphics / Session 5：
Efficient 3D Image Warping for Composing Novel Views / X. Zheng ; E. Wu
A Hybrid Approach to the Recovery of Deformable Superquadric Models from 3D Data / J. Sinnott ; T. Howard
A Motion Prediction Method for Mouse-Based Navigation / A. Chan ; A. Si
Modeling and Rendering of Various Natural Phenomena Consisting of Particles / T. Nishita ; Y. Dobashi
Computational Geometry / Session 6：
Implementation of Object Attachments by Cellular Modeling / M. Hisada
The Hash Function and the Principle of Duality / V. Skala ; M. Kuchar
Polygonizing Non-Uniformly Distributed 3D Points by Advancing Mesh Frontiers / I. Atmosukarto ; L. Zhou ; W. K. Leow ; Z. Huang
Blendeforming: Ray Traceable Localized Foldover-Free Space Deformation / D. Mason ; G. Wyvill
Rendering / Session 7：
Using A-Buffer in Radiosity / Q. Wang ; J. H. Tang ; C. H. Lim ; H. C. Teh
A Monte Carlo Method for Accelerating the Computation of Animated Radiosity Sequences / G. Besuievsky ; X. Pueyo
Hardware-Accelerated Rendering of Antialiased Shadows with Shadow Maps / S. Brabec ; H.-P. Seidel
Ray Tracing Surfaces of Revolution: An Old Problem with A New Perspective / G. Baciu ; J. Jia ; G. Lam
Image Processing and Retrieval 2 / Session 8：
Cartoon Image Vectorization Based on Shape Subdivision / J. J. Zou
Region Matching and Optimal Matching Pair Theorem / Z. Zeng
An Intelligent System for Integrating Semantic and Iconic Features for Image Retrieval / L. H. Tang ; R. Hanka ; K. K. T. Cheung ; R. Lam
Soft-body Modelling / Session 9：
A Multi-Layered Reflection Model of Natural Human Skin / C. S.-L. Ng ; L. Li
Physically-Based Real-Time Animation of Draped Cloth / C. Cheng ; Y.-Q. Xu ; J. Shi ; H.-Y. Shum
Comparing Efficiency of Integration Methods for Cloth Simulation / P. Volino ; N. Mangenat-Thalmann
A New Approach of Point-Based Rendering / Q. Peng ; W. Hua ; X. Yang
Surface Modelling and Rendering / Session 10：
Dynamic Refinement of Deformable Triangle Meshes for Rendering / K. Kahler ; J. Haber
Hierarchical Implicit Surface Refinement
Providing Local Interpolation, Tension and Normal Control in the Manipulation of Loop Subdivision Surfaces / J. Claes ; M. Ramaekers ; F. van Reeth
A Marching Voxels Method for Surface Rendering of Volume Data / C.-F. Lin ; D.-L. Yang ; Y.-C. Chung
Short Paper Session 1
Visualization of Geostress Tensor along Oil Well Trajectory / Y. Zhou ; Q.-L. Li ; S.-D. Ma
3D Discrete Clothoid Splines / G. Li ; X. Li ; H. Li
What Do You Think You're Doing?: Measuring Perception in Fish Tank Virtual Reality / M. Treadgold ; K. Novins ; B. Niven
Applying Functional Networks to Fit Data Points from B-Spline Surfaces / A. Iglesias ; A. Galvez
Javra: A Simple, Extensible Java Package for VRML / H. van de Wetering
NURBS Streams / F. W. B. Li
Short Paper Session 2
Technical Illustration Based on Human-Like Approach / W. Geng ; M. Fleischmann ; H. Yu ; Y. Pan
Real-Time Physically-Based Facial Expression Animation Using Mass-Spring System / Y. Zhang ; E. C. Prakash ; E. Sung
Layout Adjustment and Boundary Detection for a Diagram / W. Lai
A Realtime Rough Surface Renderer / T. Ikedo ; E. Obuchi
Robust Invisible Watermarking of Volume Data Using the 3D DCT / Y. Wu ; X. Guan ; M. S. Kankanhalli
Mosaic and Warping for Forward Moving Images / S. Zhang ; H. Chen ; P. Shi
Xyleme: A Dynamic Warehouse for XML Data of the Web
Query / Session 2：
Query Scheduling in Multi Query Optimization / A. Gupta ; S. Sudarshan ; S. Vishwanathan
Exploiting Upper and Lower Bounds in Top-Down Query Optimization / L. Shapiro ; D. Maier ; P. Benninghoff ; K. Billings ; Y. Fan ; K. Hatwal ; Q. Wang ; Y. Zhang ; H.-M. Wu ; B. Vance
Web Document Searching Using Enhanced Hyperlink Semantics Based on XML / I. Varlamis ; M. Vazirgiannis
Physical Data Structures / Session 3：
Design and Implementation of Bitmap Indices for Scientific Data / K. Stockinger
Implementing KDB-Trees to Support High-Dimensional Data / R. Orlandic ; B. Yu
Qualitative Representations in Large Spatial Databases / B. El-Geresy ; A. Abdelmoty
Prefix Trees: New Efficient Data Structures for Matching Strings of Different Lengths / N. Yazdani ; P. Min
Schemas and Version / Session 4a：
Generation of External Schemas in ODMG Databases / M. Torres ; J. Samos
Dynamic Systems Specifications Using Versions and Time / M. Moro ; S. Saggiorato ; N. Edelweiss ; C. dos Santos
Short Papers I / Session 4b：
Optimization of SchemaSQL Queries / K. Davis ; F. Sadri
Static Analysis of Queries as a Tool for Static Optimization / J. Plodzien ; K. Subieta
XPathLog: A Declarative, Native XML Data Manipulation Language / W. May
Metadata Management for Data Warehousing: Between Vision and Reality / A. Vaduva ; K. Dittrich
Invited Address II / Session 5：
Evolution of Database Technology: Hyperdatabases / Hans-Jorg Schek
OLAP / Session 6：
Novel Algorithms for Computing Medians and Other Quantiles of Disk-Resident Data / L. Fu ; S. Rajasekaran
Exploitation of Pre-sortedness for Sorting in Query Processing: The TempTris-Algorithm for UB-Trees / M. Zirkel ; V. Markl ; R. Bayer
Interactive ROLAP on Large Datasets: A Case Study with UB-Trees / F. Ramsak ; R. Fenk ; T. Ruf
Improving the Processing of Decision Support Queries: The Case for a DSS Optimizer / H. Schwarz ; R. Wagner ; B. Mitschang
Federated Data Sources / Session 7a：
Version Propagation in Federated Database Systems / M. Schonhoff ; M. Strassler ; K. Dittich
Semantic Integration of XML Heterogeneous Data Sources / C. Reynaud ; J.-P. Sirot ; D. Vodislav
Reducing Inconsistency in Integrating Data from Different Sources / S. Lujan-Mora ; M. Palomar
A Data Preparation Framework Based on a Multidatabase Language / K.-U. Sattler ; E. Schallehn
Short Papers II / Session 7b：
A UML-Based Metamodeling Architecture for Database Design / M..-N. Terrasse ; M. Savonnet ; G. Becker
An Integrated Graphical User Interface for High Performance Distributed Computing / X. Shen ; W.-K. Liao ; A. Choudhary
Virtual Integration of Temporal and Conflicting Information / P. Chountas ; I. Petrounias
Modeling and Management of Spatio-temporal Objects within Temporal GIS Application Framework / D. Stojanovic ; S. Djordjevic-Kajan ; Z. Stojanovic
Integrity Constraint Management for Design Object Versions in a Concurrent Engineering Design Environment / J. Goonetillake ; T. Carnduff ; W. Gray
Distributed Systems / Session 8：
Tradeoff between Client and Server Transaction Validation in Mobile Environment / A. Das ; K. Kai
Cryptography and Relational Database Management Systems / J. He ; M. Wang
Steiner-Optimal Data Replication in Tree Networks with Storage Costs / K. Kalpakis ; K. Dasgupta ; O. Wolfson
Invited Address III / Session 9：
Query Languages and XML / Donald D. Chamberlin
Data Warehouse and Mining / Session 10：
Towards an Architecture for Real-Time Decision Support Systems: Challenges and Solutions / K. Delic ; L. Douillet ; U. Dayal
Experimental Evalution of a New Distributed Partitioning Technique for Data Warehouses / J. Bernardino ; H. Madeira
Mining Free Itemsets under Constraints / J.-F. Boulicaut ; B. Jeudy
A Framework for Understanding Existing Databases / S. Lopes ; J.-M. Petit ; L. Lakhal
Multimedia Farewell / Session 11：
A Study on Content-Based Classification and Retrieval of Audio Database / M. Liu ; C. Wan
Similarity-Based Operators and Query Optimization for Multimedia Database Systems / S. Atnafu ; L. Brunie ; H. Kosch
An Adaptive and Efficient Clustering-Based Approach for Content-Based Image Retrieval in Image Databases / R. Stehling ; M. Nascimento ; A. Falcao
sponsored by the IEEE Society on Social Implications of Technology (SSIT), IEEE Computer Society ; in cooperation with ACM Special Interest Group on Computers and Society (SIGCAS)
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2001 xi, 263 p. ; 28 cm
The EDM and Bee Projects at CMU: Meeting the ABET Criteria (Panel) / Peter Madsen et al.
Teaching vs. Preaching: EC2000 and the Engineering Ethics Dilemma / Sarah K.A. Pfatteicher
Multidisciplinary Perspectives
The Role of Discourses in Multidisciplinarity / Y. Julliard ; A. Schwab
Teaching Business/IT Ethics / R. Bellaver ; J. Gentry
Bridging the Cultural Chasm: Improving Collaboration and Cooperation between the Computer and Social Sciences / B. Perlman ; R. Varma
Educating Frankenstein: An Interdisciplinary Approach to Teaching Undergraduate Computing and Ethics / P. Corey
Curriculum Development within Computing
Curriculum Issues and Controversies in Computer Ethics Instruction / H. Tavani
"Star Wars" Revisited--A Continuing Case Study in Ethics and Safety-Critical Software / K. Bowyer
Enhancing Computer Ethics by Increasing Collaboration and Peer Learning / J. Polack-Wahl
A Conceptual Framework for Teaching Internet Ethics / A. Bardon
The Humanities within the Curriculum
Humanities and Social Sciences in Engineering Education--Postwar to Postmodern and Beyond / F. Lyman
Human-Environment Interactions: An Organizing Principle for the Liberal Arts Component of Engineering Education / A. Sacks
Infusion of Ethics and Social Issues throughout Engineering, Scientific and Technical Curricula / K. Alyadurai
An Existentialist Ethic of Technological Application and Assessment in Medicine / D. Gunn
Economic Issues
Russian Technology and Highly Educated Personnel on the Modern American Market / L. Bzhilianskaya
Ethical Issues with Target Marketing on the Internet / E. Sujdak
Policy Issues
Quelle Est la Clef a la Mondialisation? / R. Bradley
Ethics, Law and Technology: A Case Study in Computer-Mediated Communication / T. Flynn
Issues in Expert Knowledge
Formation of Knowledge Societies in the Developing World: Empowerment and Governance / V. Nath
Technical Authority in the Media: Public Debate on the Strategic Defense Initiative / R. Slayton
Humble Analysis: The Practice of Joint Fact Finding / C. Andrews
Fostering Guarded Trust in Collaborative Filtering Systems / J. Oravec
Dramatic Reading of 'Mourning Becomes Electric' / R. Epstein
Keynote Address
Lee W. Saperstein, Past President, Accreditation Board for Engineering and Technology, Inc., Dean, School of Mines and Metallurgy, University of Missouri-Rolla
Ethics Education for Engineers
Ethics Education for Engineers: An Industry Perspective (Panel) / John Shelton ; Kathy McCaffrey ; Janet Rochester
The Engineering Profession
All This and Engineering Too: History of Accreditation Requirements for Non-technical Curriculum Content in U.S. Engineering Education 1933-2000 / K. Stephan
The Engineer Shall Hold Paramount the Health, Safety, and Welfare of the Public. Unless, of Course / P. Vesilind
Engineering Professionalism and the Imperative of Sustainable Development / M. Manion
On Subjectivity in Focal Engineering / G. Moriarty
History of Technology
Early Bell System/Independents Relationships
Safety in the Workplace of 1904 / J. Reitman
EC2000 Outside Engineering
Opportunities and Challenges for the Teaching of the Humanities and Social Sciences to Engineering Students
Standards-Based Assessment of Humanities/Social Science (H/SS) Programs in the Liberal Education Division / L. Schachterle
Re-inventing the Humanities and Social Sciences in Engineering Education under the ABET 2000 Accreditation Standards / K. Neeley
ABET's Engineering Criteria 2000 and Engineering Ethics: A Status Report / J. Herkert
Faculty and Curriculum: Roles and Development
The Problem of Changing Values in Managerial Development through Open Education and Distance Learning Programs for the Organizational Postmodernity / J. Vargas Hernandez
MEP: Towards Faculty Development / C. Carbonell
Development and Assessment of the Innovative Curriculum: Required Online Courses / S. Fredricks ; G. Greenberg ; B. Dolan
Ethical and Legal Issues Related to Emerging Technologies: Reconsidering Faculty Roles and Technical Curricula in a New Environment / S. Ross
Issues in Accreditation
Shaping the Future of American University Education: Conceiving Engineering a Liberal Art / R. Barke ; E. Lane ; K. Knoespel
Engineering as Social and Ethical Practice: The Role of New Course Accreditation Requirements / S. Johnston ; D. Eager
Assessment Study of Communication Modes and Content Used by Engineering Students in a Special Project Course (Panel) / G. Del Cerro ; J. Le Mie ; E. Mar ; S. Wei ; C. Weiman ; A. Wortzel
Applying ABET Engineering Criteria 2000 to a German Electrical Engineering Program / C. Meinecke
Models in Teaching and Learning
Social Informatics and Service-Learning as Models for Teaching Ethical and Social Issues in Science and Engineering / W. McIver, Jr. ; T. Rachell
Toward a New Era for Chemical Engineering Education: Making Environmental and Ethical Issues Fundamental / A. Hoats
Professional Issues in Software Engineering Curricula: Case Studies on Ethical Decision Making / E. Georgiadou ; P. Oriogun
Fast Hierarchical Floorplanning with Congestion and Timing Control / A. Ranjan ; K. Bazargan ; M. Sarrafzadeh
An Evaluation of Move-Based Multi-Way Partitioning Algorithms / E. Yarack ; J. Carletta
Assignment-Space Exploration Approach to Concurrent Data-Path/Floorplan Synthesis / K. Oohashi ; M. Kaneko ; S. Tayu
Basic Algorithms in Verification and Test / Yatin HoskoteSession 5.3：
On Solving Stack-Based Incremental Satisfiability Problems / J. Kim ; J. Whittemore ; K. Sakallah
Efficient Dynamic Minimization of World-Level DDs Based on Lower Bound Computation / W. Gunther ; R. Drechsler ; S. Horeth
Sensitivity Levels of Test Patterns and Their Usefulness in Simulation-Based Test Generation / I. Pomeranz ; S. Reddy
On Test Application Time and Defect Detection Capabilities of Test Sets for Scan Designs
Special Session: Advancements in DSP Architecture / Jim Bondi ; Nagaraj NSSession 6.1：
Effective Hardware-Based Two-Way Loop Cache for High Performance Low Power Processors / T. Anderson ; S. Agarwala
A Multi-Level Memory System Architecture for High-Performance DSP Applications / C. Fuoco ; D. Comisky ; C. Mobley
A Scalable High-Performance DMA Architecture for DSP Applications
Advanced Architectural Design and Synthesis / Edward GrochowskiSession 6.2：
Efficient Place and Route for Pipeline Reconfigurable Architectures / S. Cadambi ; S. Goldstein
PEAS-III: An ASIP Design Environment / M. Itoh ; S. Higaki ; J. Sato ; A. Shiomi ; Y. Takeuchi ; A. Kitajima ; M. Imai
Symbolic Binding for Clustered VLIW ASIPs / S. Pillai ; M. Jacome
Interfacing Hardware and Software Using C++ Class Libraries / D. Ramanathan ; R. Roth ; R. Gupta
Application and Case Studies in Test and Verification / Carl PixleySession 6.3：
Formal Verification of an Industrial System-on-a-Chip / H. Choi ; M.-K. Yim ; J.-Y. Lee ; B.-W. Yun ; Y.-T. Lee
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation / V. Paruthi ; A. Kuehlmann
Efficient Design Error Correction of Digital Circuits / D. Hoffmann ; T. Kropf
An Automatic Validation Methodology for Logic BIST in High Performance VLSI Design / M. Cogswell ; D. Pearl ; J. Sage ; A. Troidl
Invited Paper
The Birth of the Baby / H. Kahn ; R. Napper
Logic Optimization / Chin-Long WeySession 7.1：
Efficient Logic Optimization Using Regularity Extraction / T. Kutzschebauch
Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks / S. Sinha ; S. Khatri ; R. Brayton ; A. Sangiovanni-Vincentelli
Minimization of Ordered Pseudo Kronecker Decision Diagrams / P. Lindgren ; B. Becker
High Level Specification and Synthesis / Pranav AsharSession 7.2：
Rethinking Behavioral Synthesis for a Better Integration within Existing Design Flows / W. Cesario ; A. Jerraya ; Z. Sugar ; I. Moussa
Synthesis and Optimization of Interface Hardware between IP's Operating at Different Clock Frequencies / B.-I. Park ; I.-C. Park ; C.-M. Kyung
Multi-Level Communication Synthesis of Heterogeneous Multilanguage Specification / F. Hessel ; P. Coste ; G. Nicolescu ; P. LeMarrec ; N. Zergainoh
Poster Sessions
Low Power Video Object Motion-Tracking Architecture for Very Low Bit Rate Online Video Applications / W. Badawy ; M. Bayoumi
An SEU Injection Tool to Evaluate DSP-Based Architectures for Space Applications / A. Benso ; S. Martinetto ; P. Prinetto ; R. Mariani
On Integrating a Proprietary and a Commercial Architecture for Optimal BIST Performances in SoCs / S. Di Carlo ; S. Chiusano ; F. Ricciato ; M. Bodoni ; M. Spadari
Static Timing Analysis with False Paths / H. Chen ; B. Lu ; D.-Z. Du
A Methodology and Tool for Automated Transformational High-Level Design Space Exploration / J. Gerlach ; W. Rosenstiel
Cheap Out-of-Order Execution Using Delayed Issue / J. Grossman
Representing and Scheduling Looping Behavior Symbolically / S. Haynal ; F. Brewer
Advanced Wiring RC Timing Design Techniques for Logic LSIs in Gigahertz Era and Beyond / Y. Ito ; S. Isomura ; T. Hiyama ; K. Nojiri
A Register File with Transposed Access Mode / Y. Jung ; S. Berg ; D. Kim ; Y. Kim
Leakage Power Analysis and Reduction during Behavioral Synthesis / K. Khouri ; N. Jha
An Advanced Instruction Folding Mechanism for a Stackless Java Processor / A. Kim ; M. Chang
OpenDesign: An Open User-Configurable Project Environment for Collaborative Design and Execution on the Internet / H. Lavana ; F. Brglez ; R. Reese ; G. Konduri ; A. Chandrakasan
A Decompression Architecture for Low Power Embedded Systems / H. Lekatsas ; J. Henkel ; W. Wolf
Optimal vs. Heuristic Approaches to Context Scheduling for Multi-Context Reconfigurable Architectures / R. Maestre ; F. Kurdahi ; M. Fernandez ; R. Hermida ; N. Bagherzadeh ; H. Singh
The M-CORE M340 Unified Cache Architecture / A. Malik ; B. Moyer ; D. Cermak
Crosstalk-Constrained Performance Optimization by Using Wire Sizing and Perturbation / S.-R. Pan
Hierarchical Simulation of a Multiprocessor Architecture / M. Pirvu ; L. Bhuyan ; R. Mahapatra
On Multiple Precision Based Montgomery Multiplication without Precomputation of N[subscript 0]' = -N[subscript 0 superscript -1] mod W / H. Ploog ; D. Timmerman
A Technique for Identifying RTL and Gate-Level Correspondences / S. Ravi ; I. Ghosh ; V. Boppana
A Direct Mapping FPGA Architecture for Industrial Process Control Applications / J. Welch
Source-Level Transformations for Improved Formal Verification / B. Winters ; A. Hu
Proactive Fault-Management in Software Systems / Kishor S. Trivedi
Parallel and Distributed Simulation I
Grid-Based Data Management in Distributed Simulation / G. Tan ; R. Ayani ; Y.-S. Zhang ; F. Moradi
A State-Based Scheduling Algorithm for Time Warp Synchronization / F. Quaglia
Network Modeling and Simulation
On QoS Multicasting Performance in Wide Area Networks / T. Alrabiah ; T. Znati
Optimal Resource Allocation for Multi-Service Networks / R. Simon ; B. Jukic ; W. Chang
Modeling and Simulation of a Fault Tolerant ATM Switching Architecture / M. Anan ; M. Guizani
Simulation Languages, Tools, and Environments I
DSPTune: A Performance Evaluation Toolset for the SHARC Signal Processor / S. Sair ; G. Olivadoti ; D. Kaeli ; J. Fridman
Using the DEVS Paradigm to Implement a Simulated Processor / S. Daicz ; A. Troccoli ; S. Zlotnik ; G. Wainer
Specifying Truck Movement in Traffic Models Using Cell-DEVS / A. Davidson
An Environment for Formal Modeling and Simulation of Control Systems / B. Copstein ; M. da Costa Mora ; L. Ribeiro
Simulation Based Performance Analysis I
Scheduling Strategies for Multitasking in a Distributed System / H. Karatza
Event-Driven Simulation of Timed Petri Net Models / W. Zuberek
A Comparitive Evaluation of Sorted Priority Algorithms and Class Based Queuing Using Simulation / P. Callinan ; M. Witwit ; F. Ball
Simulation Languages, Tools, and Environments II
IRLSim: A General Purpose Packet Level Network Simulator / A. Terzis ; K. Nikoloudakis ; L. Wang ; L. Zhang
PUMP: A Program Understanding Tool for MODSIM Programs / A. Bhullar ; L. Birta
Simulation of a Telecommunication System Using SimML / N. Speirs ; L. Arief
Exploring CORSIM Runtime Characteristics: Profiling a Traffic Simulator / M. Bumble ; L. Coraor ; L. Elefteriadou
VLSI Circuit Simulators
Handling Behavioral Components in Multi-Level Concurrent Fault Simulation / K. Lentz ; J. Homer
Field, Circuit, and Visualization Based Simulation Methodology for Passive Electronic Components / B. Beker ; G. Cokkinides ; M. Sechrest
Multi-Resolution Modeling of Power Converter Using Waveform Reconstruction / Y. Luo ; R. Dougal ; E. Santi
Animations/Virtual Reality
A Methodology Centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems / G. Fortino ; L. Nigro
Active Virtual Guides as an Apparatus for Augmented Reality Based Telemanipulation System on the Internet / S. Otmane ; M. Mallem ; A. Kheddar ; F. Chavand
Multiresolution Behavioral Modeling in a Virtual Environment / G. Koldas ; V. Isler
Approaches to Cognitive System Simulation: Architectures and Animations / K. Reilly ; N. Bray ; M. Jackson
Parallel and Distributed Simulation II
An Analytic Method for Predicting Simulation Parallelism / H. Wang ; Y. Teo ; S. Tay
Flow Control and Dynamic Load Balancing in Time Warp / M. Choe ; C. Tropper
Efficient Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-Hierarchical One / K. Kim ; W. Kang ; B. Sagong ; H. Seo
Advances in Simulation Methodology and Practices
Mean Estimation Based on Phi-Mixing Sequences / E. Chen ; W. Kelton
Sequential Dynamical Systems and Applications to Simulations / C. Barrett ; B. Bush ; S. Kopp ; H. Mortveit ; C. Reidys
Simulation Optimization of Airline Delay Using Simultaneous Perturbation Stochastic Approximation / D. Hutchison ; S. Hill
First Results on Formal Comparison of Several Stochastic Optimization Algorithms / J. Spall ; D. Stark
Modeling and Analysis of Software Aging and Rejuvenation / K. Trivedi ; K. Vaidyanathan ; K. Goseva-Popstojanova
Simulation Based Performance Analysis II
Simulation-Trace-Based Component Performance Prediction / J. Li ; J. Horgan
Development of an Object Oriented Simulation Engine for On-Line Simulation and Optimization / A. Sivakumar ; C. Chong
Modeling and Simulation of a Network of Workstations with Wormhole Switching / X. Molero ; F. Silla ; V. Santonja
Simulation Languages, Tools, and Environments III
Integrating Discrete and Continuous Phenomena Models into Practical Advanced User Interface Specifications / S. Morrison
MICA: A Memory and Interconnect Simulation Environment for Cache-Based Architectures / H.-C. Hsiao ; C.-T. King
Performance Analysis of Multiprocessor Architectures via Analytical Simulation / A. Veglis ; A. Pombortsis
Dual Neural Network Models in Acoustic Propagation / D. Chin ; A. Biondo
Software and Innovation as New Core Competence of Taiwan / S. Shih
Plenary Panel: E-commerce / Steve S. Yau
Panel Position Paper
Global Leadership in C-Commerce / S. Chen
Software Engineering Education / Session 1：
Methodological Contributions to Professional Education and Training / G. Ruhe
Quality Issues in System Engineering Affecting Virtual Distance Learning Systems / E. Cloete
An Education Class on Design and Implementation of an Information System in a University and Its Evaluation / A. Hazeyama
Knowledge, Professionalism and Free Movement of Labour (Visions of the Software Engineering Future) / J. B. Thompson
Web Based System Design / Session 2：
Modeling Web Navigation by Statechart / K. R. P. H. Leung ; L. C. K. Hui ; S. M. Yiu ; R. W.M. Tang
LRU-SP: A Size-Adjusted and Popularity-Aware LRU Replacement Algorithm for Web Caching / K. Cheng ; Y. Kambayashi
A Web-Based Parallel PDE Solver Generation System for Distributed Memory Computing Environments / C.-J. Lee ; Y.-C. Chung
Design and Implementation of a Web-Based Bulletin System for Official Documents / H. C. Hong ; Y. C. Chen
Panel on IT Education in Taiwan / L. S. ChenSession 3：
Panel on Incubator/Entrepreneurship / Albert HawkesSession 4：
New Approaches in IT Management / J. S. KeSession 5：
Sentient Map and Its Application to E-Learning / S. K. Chang
Portfolio Management: A New Approach for Managing IT Assets / R. A. Paul
Managing Communication: The Fulcrum of Effectiveness / J. Coplien
Electronic Commerce / Session 6：
TTP: Secure ACID Transfer Protocol for Electronic Ticket between Personal Tamper-Proof Devices / K. Kuramitsu ; T. Murakami ; H. Matsuda ; K. Sakamura
PENS: A Predictive Event Notification System for E-Commerce Environment / J.-J. Jeng ; Y. Drissi
Using Pattern-Join and Purchase-Combination for Mining Web Transaction Patterns in an Electronic Commerce Environment / C.-H. Yun ; M.-S. Chen
Transforming Legacy Energy Management System (EMS) Modules into Reusable Components: A Case Study / Q. Zhao ; H. In ; X. Wu ; G. Huang
Secure, Reliable System Design 1 / Session 7：
Security Enhancement for the "Simple Authentication Key Agreement Algorithm" / I.-C. Lin ; C.-C. Chang ; M.-S. Hwang
Firewall Security: Policies, Testing and Performance Evaluation / M. R. Lyu ; L. K. Y. Lau
Chinese Wall Security Model and Conflict Analysis / T. Y. Lin
Panel on Network Security / Bhavani ThuraisinghamSession 8：
Panel Position Papers
Network and Web Security and E-Commerce and Other Applications / B. Thuraisingham
Protecting XML Documents: Position Paper / E. Bertino
Panel on Taiwan Software Industry / C. N. LiuSession 9：
Software Agents / Session 10：
FACL: A Form-Based Agent Communication Language for Enduser-Initiative Agent-Based Application Development / T. Chusho ; K. Fujiwara
Affinity-Based Probabilistic Reasoning and Document Clustering on the WWW / M.-L. Shyu ; S.-C. Chen ; C.-M. Shu
Towards Building a Smarter Domain Knowledge Recovery Assistant / Y. Li ; H. Yang ; W. Chu
Network Management with Intelligent Trader / S. Matsumoto ; M. Amamiya
Industry Applications / Session 11：
Software Process Disturbances / T.-M. Jiang ; M. Coyner
Internet Procurement of Formosa Plastics / J. L. Tai ; R.-M. Yang
Understanding Data Mining and Applying It to Command, Control, Communications and Intelligence Environments / B. M. Thuraisingham ; M. G. Ceruti
Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software / N. Kikuchi ; O. Mizuno ; T. Kikuno
A National Clearinghouse Service for B2B Exchanges in the Telecommunications Industry / M. Moghadam ; C.-M. Chen ; T. Lin ; A. Umar
Reengineering Legacy Systems Using Web / R. Agarwal ; S. Nayak ; S. Mishra
Mining the Web for Knowledge with Sub-Optimal Mining Algorithm / S. H. Rubin ; L. C. Shen
A Framework for WWW Query Processing / B. H. Wu
Graphic Pattern Recognition / Session 12：
A Practical Method for Watermarking Java Programs / A. Monden ; H. Iida ; K. Matsumoto ; K. Inoue ; K. Torii
A Proof of Copyright Ownership Using Moment-Preserving / K.-F. Hwang ; Y. Lin
Fuzzy Data Recognition by Polynomial Bidirectional Heteroassociator / C.-F. Tsai
Tree Indexing for Efficient Search of Similar Documents / D.-R. Liu
Panel on X Technology XML... / Robert SutorSession 13：
Object Oriented Design 1 / T.H. TseSession 14：
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach / X. He
ConC++: A Concurrent C++ / B. Li ; B. Xu ; W. C.-C. Chu
Development of XML-Based Software and Service Commerce Language XSCL and Javabeans Player / M. Aoyama ; T. Saiki ; N. Matsumoto
Designing an FSM Architectural Framework for Service-Based Applications / J. J. Jeng ; W.-C. Tsai
Multimedia System Design 1 / Rachel McCrindleSession 15：
Selection of Melody Lines for Music Databases / M. Tang ; C. L. Yip ; B. Kao
A Visual Authoring System for Animated Multimedia Homepage / S.-F. Chuang ; C.-S. Koong ; J.-S. Tyan ; D.-J. Chen
A Component-Based Visual Scenario Construction Language for Electronic Book
The Design and Implementation of a Virtual Conference System / T. K. Shih ; J.-Y. Huang ; J. C. Hung ; T.-H. Wang ; W.-C. Pai
Panel on Creating Dependable Software / Eric WongSession 16：
An Integrated Solution for Creating Dependable Software / W. E. Wong
Distributed System Resource Management Infrastructure for Information Quality Assurance
Inserting Software Fault Measurement Techniques into Development Efforts / A. P. Nikora
A Phase-Based Approach to Creating Highly Reliable Software
Panel on Virtual University / Carl ChangSession 17：
Challenges for Virtual Universities
Criteria of Virtual University Operation
A Corporate Insider's View About Virtual Universities / M. Chen
Global Virtual University: An Experiment between the University of North Carolina at Wilmington and the Digital Communities of Japan / H. E. Thompson, Jr.
Learning How to Improve Effort Estimation in Small Software Development Companies / J. Moses ; J. Clifford
Successful Software Applications: Can They Be Evaluated? / C. E. Hillam ; H. M. Edwards ; C. L. Young
Object Oriented Design 2 / Session 28：
An Object-Oriented Web Test Model for Testing Web Applications / D. C. Kung ; C.-H. Liu ; P. Hsia
Function Point Measurement for Object-Oriented Requirements Specification / S. Kusumoto ; T. Kasimoto ; A. Suzuki ; K. Yuura ; M. Tsuda
Time-Triggered Message-Triggered Object Modeling of a Distributed Real-Time Control Application for Its Real-Time Simulation / M. H. Kim ; J.-G. Kim ; K. H. Kim ; M.-S. Lee ; S.-Y. Park
A Methodology to Extract Objects from Procedural Software / M.-K. Lee ; S.-O. Park
Multimedia System Design 2 / Timothy K. ShihSession 29：
Practical Key Distribution Schemes for Channel Protection / Y.-L. Huang ; S.-P. W. Shieh ; J.-C. Wang
Popularity-Independent Multimedia-on-Demand Server Model / M. A. Mikki ; K. Yim ; G. Jung
The Multimedia Maintenance Interface (MuMMI) System / R. McCrindle ; S. Doggett
Algorithms / Session 30：
A Cost-Based Replacement Algorithm for Object Buffers / C.-M. Park ; K.-Y. Whang ; J.-J. Lee ; I.-Y. Song
2D-CHI: A Tunable Two-Dimensional Class Hierarchy Index for Object-Oriented Databases / J.-H. Lee ; W.-S. Han ; W.-S. Cho
Analyzing Reconfigurable Algorithms for Managing Replicated Data with Strict Consistency Requirements: A Case Study / D.-C. Wang ; I.-R. Chen ; C.-P. Chu
GAPS: A Genetic Programming System / M. D. Kramer ; D. Zhang
sponsored by IEEE Education Society, IEEE Computer Society, American Society for Engineering Education (Educational Research and Methods Division), the University of Nevada-Reno
出版情報:
Piscataway, N.J. : IEEE Operations Center, c2001 3 v. ; 28 cm
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
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
Design of a Wearable Tactile Display / F. Gemperle ; N. Ota ; D. Siewiorek
A Method of Key Input with Two Mice / S. Nakamura ; M. Tsukamoto ; S. Nishio
GestureWrist and GesturePad: Unobtrusive Wearable Interaction Devices / J. Rekimoto
Creation / Session II：
Tinmith-Metro: New Outdoor Techniques for Creating City Models with an Augmented Reality Wearable Computer / W. Piekarski ; B. Thomas
Authoring of Physical Models Using Mobile Computers / Y. Baillot ; D. Brown ; S. Julier
The Witnessential Net / S. Mann ; R. Guerra
Networked Wearable Musical Instruments Will Bring a New Musical Culture / K. Nishimoto ; T. Maekawa ; Y. Tada ; K. Mase ; R. Nakatsu
Inside/Outside Session
Demos and Posters
User Evaluations / Session III：
Mobile Capture for Wearable Computer Usability Testing / K. Lyons ; T. Starner
A System for Evaluating Augmented Reality User Interfaces in Wearable Computers / R. Suomela ; J. Lehikoinen ; I. Salminen
Real Situations of Wearable Computers Used for Video Conferencing--and Implications for Terminal and Network Design / B. Hestnes ; S. Heiestad ; P. Brooks ; L. Drageset
User Evaluations to Guide the Design of an Extended Personal Service Environment for Mobile Services / M. Biemans ; H. van Kranenburg ; M. Lankhorst
Insider/Outsider Session
Location and Context Awareness / Session IV：
A Panorama-Based Method of Personal Positioning and Orientation and Its Real-Time Applications for Wearable Computers / M. Kourogi ; T. Kurata ; K. Sakaue
Real-Time Analysis of Data from Many Sensors with Neural Networks / K. Van Laerhoven ; K. Aidoo ; S. Lowette
Incremental Motion-Based Location Recognition / S.-W. Lee
System Design / Session V：
Energy Trade-Offs in the IBM Wristwatch Computer / N. Kamijoh ; T. Inoue ; C. Olsen ; M. Raghunath ; C. Narayanaswami
Wearable Computers as Packet Transport Mechanisms in Highly-Partitioned Ad-Hoc Networks / J. Davis ; A. Fagg ; B. Levine
Drishti: An Integrated Navigation System for Visually Impaired and Disabled / A. Helal ; S. Moore ; B. Ramachandran
Poster Papers
Framework for Power Aware Remote Processing: Design and Implementation of a Dynamic Power Estimation Unit / G. Kaefer ; J. Haid ; E. Hofer ; G. Schall ; R. Weiss
Active Dressware: Wearable Proprioceptive Systems Based on Electroactive Polymers / D. De Rossi ; F. Lorussi ; A. Mazzoldi ; E. Scilingo ; P. Orsini
Winspect: A Case Study for Wearable Computing-Supported Inspection Tasks / M. Boronowsky ; T. Nicolai ; C. Schlieder ; A. Schmidt
A Wearable 3D Augmented Reality Workspace / G. Reitmayr ; D. Schmalstieg
The WearARM: Modular, High Performance, Low Power Computing Platform Designed for Integration into Everyday Clothing / U. Anliker ; P. Lukowicz ; G. Troester ; S. Schwartz ; R. DeVaul
Wearable Computing for Field Archaeology / C. Baber ; J. Cross ; S. Woolley ; V. Gaffney
Lightglove: Wrist-Worn Virtual Typing and Pointing / B. Howard ; S. Howard
Reima Smart Shout Concept and Prototype / J. Mikkonen ; J. Vanhala ; A. Reho ; J. Impio
A Wearable Cross-Language Communication Aid / J. Patokallio ; N. Ward
HI-Cam: Intelligent Biofeedback Signal Processing / D. Chen ; S. Sadeghi
The Design and Implementation of Electrically Heated Clothing / K. Kukkonen ; T. Vuorela ; J. Rantanen ; O. Ryynanen ; A. Siili
Real-Time Hazard Detection via Machine Vision for Wearable Low Vision Aids / J. Andersen ; E. Seibel
図書
図書
