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
Institute of Electrical and Electronics Engineers ; IEEE Computer Society ; IEEE Signal Processing Society ; IEEE Circuits and Systems Society ; IEEE Communications Society ; IEEE Industrial Electronics Society
出版情報:
New York, N.Y. : IEEE Computer Society, c2002-c2011 v. ; 28 cm
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