close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
sponsored by IEEE Computer Society Technical Committee on Security and Privacy
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  viii, 331 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Workshop Committee
Information Flow I
Approximate Non-Interference / A. Di Pierro ; C. Hankin ; H. Wiklicky
Quantifying Information Flow / G. Lowe
Secrecy in Multiagent Systems / J. Halpern ; K. O'Neill
Intrusion
Two Formal Analyses of Attack Graphs / S. Jha ; O. Sheyner ; J. Wing
Formal Specification of Intrusion Signatures and Detection Rules / J.-P. Pouzol ; M. Ducasse
Protocols I
Types and Effects for Asymmetric Cryptographic Protocols / A. D. Gordon ; A. Jeffrey
Security Protocol Design via Authentication Tests / J. D. Guttman
Strand Spaces and Rank Functions: More Than Distant Cousins / J. Heather
Applications of Model-Checking
Probabilistic Analysis of Anonymity / V. Shmatikov
Analysis of SPKI/SDSI Certificates Using Model Checking / T. Reps
Protocols II
Capturing Parallel Attacks within the Data Independence Framework / P. J. Broadfoot ; A. W. Roscoe
Polynomial Fairness and Liveness / M. Backes ; B. Pfitzmann ; M. Steiner ; M. Waidner
A Formal Analysis of Some Properties of Kerberos 5 Using MSR / F. Butler ; I. Cervesato ; A. D. Jaggard ; A. Scedrov
Games
A Formal Analysis of Syverson's Rational Exchange Protocol / L. Buttyan ; J.-P. Hubaux ; S. Capkun
Game Analysis of Abuse-Free Contract Signing / S. Kremer ; J.-F. Raskin
Language-Based Security
Fine-Grained Information Flow Analysis for a [lambda]-Calculus with Sum Types / V. Simonet
Cryptographic Types / D. Duggan
Secure Information Flow and Pointer Confinement in a Java-Like Language / A. Banerjee ; D. A. Naumann
Distributed Rights, Access Control, and Watermarking
A Privacy Policy Model for Enterprises / G. Karjoth ; M. Schunter
A Logic for Reasoning about Digital Rights / R. Pucella ; V. Weissman
Hiding Functions and Computational Security of Image Watermarking Systems / N. Tran
Information Flow II
Information Flow Security in Dynamic Contexts / R. Focardi ; S. Rossi
A Simple View of Type-Secure Information Flow in the [pi]-Calculus / F. Pottier
Author Index
Preface
Workshop Committee
Information Flow I
7.

図書

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

図書

図書
sponsored by IEEE Computer Society, IEEE Communications Society
出版情報: Piscataway, N.J. : IEEE Operations Center, c2002  3 v. ; 28 cm
所蔵情報: loading…
9.

図書

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

図書

図書
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
所蔵情報: loading…
11.

図書

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

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  x, 232 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IEEE Computer Society Test Technology Technical Council
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiii, 468 p. ; 23 cm
所蔵情報: loading…
14.

図書

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

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001  x, 185 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Committee Members
External Reviewers
Welcome and Keynote Address
Input/Output Devices / Session I:
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
Author Index
Message from the General Chair
Committee Members
External Reviewers
16.

図書

図書
Sponsored by IEEE Circuits & Systems Society, IEEE Computer Society, ACM/SIGDA
出版情報: Piscataway, NJ : IEEE , New York : Association for Computing Machinery, c2001  xxv, 656 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
sponsored by IEEE Computer Society, IEEE Reliability Society ; in cooperation with the Chinese University of Hong Kong ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiii, 363 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Forword
Organizers
Reviewers
Component Based Systems / Session 1A.:
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
Software Reliability Growth Modeling / Session 3B.:
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
Author Index
Forword
Organizers
Reviewers
18.

図書

図書
sponsored by IEEE, IEEE Computer Society, IEEE Computer Society, TCSE
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xii, 351 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Co-Chairs
Committees
Reviewers
Keynote
Future of the Internet / Randy Katz (UC-Berkeley)
Wireless / Session 1:
Distributed Token Circulation on Mobile Ad Hoc Networks / N. Malpani ; N. Vaidya ; J. Welch
On-Demand Multi Path Distance Vector Routing in Ad Hoc Networks / M. Marina ; S. Das
Conserving Transmission Power in Wireless Ad Hoc Networks / J. Gomez ; A. Campbell ; M. Naghshineh ; C. Bisdikian
Recursive Position Estimation in Sensor Networks / J. Albowicz ; A. Chen ; L. Zhang
Routing / Session 2:
Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing / S. Ahn ; A. Shankar
An Experimental Analysis of BGP Convergence Time / T. Griffin ; B. Premore
Quality of Service Routing Algorithms for Bandwidth-Delay Constrained Applications / Y. Yang ; J. Muppala ; S. Chanson
Routing Bandwidth Guaranteed Paths with Restoration in Label Switched Networks / S. Norden ; M. Buddhikot ; M. Waldvogel ; S. Suri
Multicast / Session 3:
Source Filtering in IP Multicast Routing / C.-J. Kao ; D.-N. Yang ; W. Liao
Making QoS Aware Multicast Scalable in Terms of Link State Advertisement / T. Kato ; S. Ueno ; S. Mukaiyama ; K. Suzuki
Channelization Problem in Large Scale Data Dissemination / M. Adler ; Z. Ge ; J. Kurose ; D. Towsley ; S. Zabele
An Efficient QoS Routing Algorithm for Quorumcast Communication / B. Wang ; J. Hou
DiffServ / Session 4:
Dynamic Class Selection: From Relative Differentiation to Absolute QoS / C. Dovrolis ; P. Ramanathan
Fundamental Trade-offs in Aggregate Packet Scheduling / Z.-L. Zhang ; Z. Duan ; Y. Hou
A Memory-Based Approach for a TCP-Friendly Traffic Conditioner in DiffServ Networks / K. Kumar ; A. Ananda ; L. Jacob
Drop Strategies and Loss-Rate Differentiation / U. Bodin ; O. Schelen
TCP / Session 5:
TCP-Friendly SIMD Congestion Control and Its Convergence Behavior / S. Jin ; L. Guo ; I. Matta ; A. Bestavros
Transport Level Mechanisms for Bandwidth Aggregation on Mobile Hosts / L. Magalhaes ; R. Kravets
TCP over Load-Reactive Links / R. Krishnan ; J. Sterbenz
The War between Mice and Elephants
End of the End-to-End Argument? / Panel 1:
QoS / Session 6:
Controlling High-Bandwidth Flows at the Congested Router / R. Mahajan ; S. Floyd ; D. Wetherall
Optimal Admission Control Algorithms for Scheduling Burst Data in CDMA Multimedia Systems / Y.-K. Kwok ; V. Lau
Providing Quality of Service Guarantees without Per-Flow State / J. Cobb
Comparative Evaluation of Software Implementation of Layer-4 Packet Classification Schemes / V. Sahasranaman
Security / Session 7:
Using Dynamic Buffer Limiting to Protect against Belligerent Flows in High-Speed Networks / F. Ertemalp ; D. Cheriton ; A. Bechtolsheim
Fast Firewall Implementations for Software and Hardware-Based Routers / L. Qiu ; G. Varghese
Providing Robust and Ubiquitous Security Support for Mobile Ad Hoc Networks / J. Kong ; P. Zerfos ; H. Luo ; S. Lu
Scalable Secure Group Communication over IP Multicast / S. Banerjee ; B. Bhattacharjee
Servers / Session 8:
Responder Anonymity and Anonymous Peer-to-Peer File Sharing / V. Scarlata ; B. Levine ; C. Shields
Scalable Socket Buffer Tuning for High-Performance Web Servers / G. Hasegawa ; T. Terai ; T. Okamoto ; M. Murata
Evaluation of a Novel Two-Step Server Selection Metric / K. Hanna ; N. Natarajan
Finding Close Friends on the Internet / C. Kommareddy ; N. Shankar
Impact of Peer-to-Peer Networking / Panel 2:
Traffic Management / Session 9:
Internet User Access via Dial-up Networks--Traffic Characterization and Statistics / R. Hutchins ; E. Zegura ; A. Liashenko ; P. Enslow, Jr.
Fast and Robust Signaling Overload Control / S. Kasera ; J. Pinheiro ; C. Loader ; M. Karaul ; A. Hari ; T. LaPorta
Robust Congestion Signaling / D. Ely ; N. Spring ; S. Savage ; T. Anderson
Second-Order Rate-Control Based Transport Protocols / X. Zhang ; K. Shin
Author Index
Message from the General Chair
Message from the Program Co-Chairs
Committees
19.

図書

図書
sponsored by IEEE Computer Society : co-sponsored by IPS of Japan, IEICE Communications Society of Japan ; in cooperation with Osaka University ; supported by the Telecommunications Advancement Foundation of Japan, International Communications Foundation of Japan
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000  xiii, 338 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  vii, 359 p. ; 28cm
所蔵情報: loading…
21.

図書

図書
sponsored by the Society for Computer Simulation International
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xi, 341 p. ; 28 cm
所蔵情報: loading…
22.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Security and Privacy
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  viii, 307 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Workshop Committee
Non-interference and Information Flow
Noninterference Equations for Nondeterministic Systems / S. Pinsky ; E. Zieglar
Robust Declassification / S. Zdancewic ; A. Myers
Access Control
A State-Transition Model of Trust Management and Access Control / A. Chander ; D. Dean ; J. Mitchell
Revocations--A Classification / A. Hagstrom ; S. Jajodia ; F. Parisi-Presicce ; D. Wijesekera
A Logical Reconstruction of SPKI / J. Halpern ; R. van der Meyden
Protocols I
A Security Analysis of the Cliques Protocols Suites / O. Pereira ; J.-J. Quisquater
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules / B. Blanchet
Proving Secrecy is Easy Enough / V. Cortier ; J. Millen ; H. Ruess
Panel
Relating Cryptography and Cryptographic Protocols / A. Scedrov (Moderator) ; R. Canetti ; J. Guttman ; D. Wagner ; M. Waidner
Information Flow and Multi-threading
A New Type System for Secure Information Flow / G. Smith
A Generic Approach to the Security of Multi-threaded Programs / H. Mantel ; A. Sabelfeld
Protocols II
Authenticity by Typing for Security Protocols / A. Gordon ; A. Jeffrey
Computing Symbolic Models for Verifying Cryptographic Protocols / M. Fiore ; M. Abadi
Protocol Insecurity with Finite Number of Sessions is NP-Complete / M. Rusinowitch ; M. Turuani
Intrusion Tolerance and Detection
Multi-phase Damage Confinement in Database Systems for Intrusion Tolerance / P. Liu
Markov Chains, Classifiers, and Intrusion Detection / S. Jha ; K. Tan ; R. Maxion
Log Auditing through Model-Checking / M. Roger ; J. Goubault-Larrecq
Non-interference: Who Needs It? / P. Ryan (Moderator) ; J. McLean ; V. Gligor
Logics for Protocol Verification
A Compositional Logic for Protocol Correctness / N. Durgin ; D. Pavlovic
Logical Relations for Encryption / E. Sumii ; B. Pierce
Secrecy and Privacy
Privacy-Preserving Cooperative Scientific Computations / W. Du ; M. Atallah
Confined Mobile Functions / Z. Kirli
Confidentiality-Preserving Refinement / M. Heisel ; A. Pfitzmann ; T. Santen
Author Index
Preface
Workshop Committee
Non-interference and Information Flow
23.

図書

図書
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
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1:
Intelligent Agent-Based Decision-Support Systems for Complex C[superscript 2] Applications / A. Stoyen
Real-Time Issues / Session 2:
Communicating TILCO: A Model for Real-Time System Specification / P. Bellini ; P. Nesi
TILCO-X, an Extension of TILCO Temporal Logic
On-Line Scheduling of Real-Time Distributed Computers with Complex Communication Constraints / P. Richard ; F. Cottet ; M. Richard
A Method for Verifying Real-Time Properties of Ada Programs / T. Gerdsmeier ; R. Cardell-Oliver
Panel: Issues with Web Site Software / Session 3:
Formal Issues / Session 4:
Verification of Hybrid Systems: Formalization and Proof Rules in PVS / E. Abraham-Mumm ; U. Hannemann ; M. Steffen
Action Refinement for True Concurrent Real Time / M. Majster-Cederbaum ; J. Wu
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms / A. Arazo ; Y. Crouzet
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities / A. Puhakka
Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective / F. DahlgrenSession 5:
Industrial Experiences / Session 6:
Quality Attribute Conflicts--Experiences from a Large Telecommunication Application / D. Haggander ; L. Lundberg ; J. Matton
Can We Learn Anything from Hardware Preventive Maintenance? / M. Kajko-Mattsson
Motivating the Corrective Maintenance Maturity Model (CM[superscript 3])
Panel: Dependability in Industrial Systems/Risk Management of Complex Systems / Session 7:
Design Issues / Session 8:
An Object-Oriented Analysis and Design Approach for Safe Object Sharing / K. Izuru
Design Method for Conceptual Design of By-Wire Control: Two Case Studies / K. Ahlstrom ; P. Johannessen ; J. Torin
Designing Distributed Component-Based Systems with DCL / F. Bubl ; A. Leicher
A Framework for Analyzing and Organizing Complex Systems / S. Graupner ; V. Kotov ; H. Trinks
The Problem of Platform Complexity / H. LawsonSession 9:
Architectural Issues / Session 10:
Towards a Framework for Architecting Mechatronics Software Systems / D. Chen ; M. Torngren
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems / M. Katara ; T. Mikkonen
Independent Proprietorship and Competition in Distributed Web Search Architectures / R. Khoussainov ; T. O'Meara ; A. Patel
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty / J. Hicks ; Q. Zhu
Testing Issues / Session 11:
Using a Model Checker to Test Safety Properties / P. Ammann ; W. Ding ; D. Xu
Techniques for Testing Component-Based Software / Y. Wu ; D. Pan ; M. Chen
Module Testing Embedded Software--An Industrial Pilot Project / J. McDonald ; L. Murray ; P. Lindsay ; P. Strooper
Analysis and Modeling / Session 12:
Analysis of Self-Stabilization for Infinite-State Systems / H. Yen
Parallel Machine Translation: Principles and Practice / F. Ren ; H. Shi
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets / Y. Lu ; G. Wei ; T. Cheung
Modelling Free Flight with Collision Avoidance / M. Massink ; N. De Francesco
Authors' Index
Message from the General Chair
Organizing and Program Committees
Keynote Speech / Session 1:
24.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Multiple-Valued Logic, Institute of Computer Science Polish Academy of Sciences
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xi, 380 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Symposium Organizers and Program Committee
Referees
Invited Address / Session 1:
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
Author Index
Preface
Symposium Organizers and Program Committee
Referees
25.

図書

図書
[sponsored by IEEE Computer Society, IEEE Communications Society]
出版情報: Piscataway, N.J. : IEEE Service Center, c2001  3 v. ; 28 cm
所蔵情報: loading…
26.

図書

図書
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
所蔵情報: loading…
27.

図書

図書
editors, Yervant Zorian ... [et al.] ; 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, c2001  viii, 108 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Committee
TTTC Information
Plenary Session
Memory Design / Session 1:
A DRAM Compiler for Fully Optimized Memory Instances / G. Harling
Orthogonal Transpose-RAM Cell Array Architecture with Alternate Bit-Line To Bit-Line Contact Scheme / K. Kim ; K. Rho ; K. Lee
Design of an Embedded Fully-Depleted SOI SRAM / R. Sung ; J. Koob ; T. Brandon ; D. Elliott ; B. Cockburn
Memory BIST / Session 2:
A P1500 Compliant Programable BistShell for Embedded Memories / S. Koranne ; C. Wouters ; T. Waayers ; S. Kumar ; R. Beurze ; G. Visweswaran
BIST-Based Bitfail Mapping of an Embedded DRAM / B. Kessler ; J. Dreibelbis ; T. McMahon ; J. McCloy ; R. Kho
Tutorial on Soft Error in Memories / Session 3:
Special Session on Memory Yield and Manufacturability / Session 4:
Redundancy and Error Control / Session 5:
A Method to Caculate Redundancy Coverage for FLASH Memory / S. Matarrese ; L. Fasoli
An Error Control Code Scheme for Multilevel Flash Memories / S. Gregori ; O. Khouri ; R. Micheloni ; G. Torelli
An Approach for Evaluation of Redunancy Analysis Algorithms / S. Shoukourian ; V. Vardanian ; Y. Zorian
Fault Models and Multi-Port SRAM Testing / Session 6:
Transient Faults in DRAMs: Concepts, Analysis and Impact on Tests / Z. Al-Ars ; A. van de Goor
Realistic Fault Models and Test Procedures for Multi-Port SRAMs / S. Hamdioui ; D. Eastwick ; M. Rodgers
A Parallel Approach for Testing Multi-Port Static Random Access Memories / F. Karimi ; S. Irrinki ; T. Crosby ; F. Lombardi
Verification and Test / Session 7:
Equivalence Checking a 256MB SDRAM / S. Napper ; D. Yang
Testing Carry Logic Modules of SRAM-based FPGAs / X. Sun ; J. Xu ; P. Trouborst
Low Output Resistance Charge Pump for Flash Memory Programming / D. Soltesz
Author Index
Message from the Chairs
Conference Committee
TTTC Information
28.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Computer Architecture ; in cooperation with ACM SIGSIM, ACM SIGARCH
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xii, 432 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Conference Organizers
Program Committee
Opening Remarks / Dr. Anthony Perzigian
Keynote Speech
High-Volume Web Servers: Traffic Patterns, Performance Implications and Resource Management / Dr. Mark S. Squillante
Real Time Systems
Specification and Validation of a Real-Time Parallel Kernel Using LOTOS / C. de Farias ; L. Pires ; W. de Souza ; C. Moron
Performance Analysis of Pools in Soft Real-Time Design Architectures / C. Juiz ; R. Puigjaner ; H. Perros
Dynamic Multipath Routing (DMPR): An Approach to Improve Resource Utilization in Networks for Real-Time Traffic / S. De ; S. Das
Parallel and Distributed Simulation
An Evaluation of Grouping Techniques for State Dissemination in Networked Multi-User Games / L. Zou ; M. Ammar ; C. Diot
Effect of Event Orderings on Memory Requirement in Parallel Simulation / Y. Teo ; B. Onggo ; S. Tay
Time-Parallel Algorithms for Simulation of Multiple Access Protocols / K. Jones
Capacity Planning
Optimal Resource Assignment in Internet Data Centers / X. Zhu ; S. Singhal
Traffic Engineering Label Switched Paths in IP Networks using a Pre-Planned Flow Optimization Model / A. Bagula ; A. Krzesinski
Wireless
QoS for Adaptive Multimedia in Wireless/Mobile Networks / Y. Xiao ; C. Chen
MoSync: A Synchronization Scheme for Cellular Wireless and Mobile Multimedia Systems / A. Boukerche ; S. Hong ; T. Jacob
Routing
Performance Study of a Multipath Routing Method for Wireless Mobile Ad Hoc Networks / K. Wu ; J. Harms
Minimizing Routing State for Light-Weight Network Simulation / P. Huang ; J. Heidemann
Non-Blocking, Localized Routing Algorithm for Balanced Energy Consumption in Mobile Ad Hoc Networks / K. Woo ; C. Yu ; D. Lee ; H. Youn ; B. Lee
Stability Analysis on Active Queue Management Algorithms in Routers / W. Wu ; Y. Ren ; X. Shan
Network Simulation/Emulation
ANML: A Language for Describing Networks / C. Kiddle ; R. Simmonds ; D. Wilson ; B. Unger
Mulit-Resolution Network Simulations Using Dynamic Component Substitution / D. Rao ; P. Wilsey
Packet Reading for Network Emulation / R. Bradford
Split Protocol Stack Network Simulations Using the Dynamic Simulation Backplane / D. Xu ; G. Riley ; R. Fujimoto
Design--Why We Don't Do It Right / Dr. John Hines
Modeling
Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs / H. Gautama ; A. van Gemund
A Modular, Analytical Throughput Model for Modern Disk Arrays / M. Uysal ; G. Alvarez ; A. Merchant
Performing File Prediction with a Program-Based Successor Model / T. Yeh ; D. Long ; S. Brandt
Network Traffic
Improving Ensemble-TCP Performance on Asymmetric Networks / Q. Wu ; C. Williamson
How Does TCP Generate Pseudo-Self-Similarity? / L. Guo ; M. Crovella ; I. Matta
Generalized Processor Sharing with Long-Range Dependent Traffic Input / X. Yu ; L-J. Thng ; Y. Jiang
Benchmarking
Plain End-to-End Measurement for Local Area Network Voice Transmission Feasibility / W. Kampichler ; K. Goeschka
Tuning of the Checkpointing and Communication Library for Optimistic Simulation on Myrinet Based NOWs / F. Quaglia ; A. Santoro ; B. Ciciani
Performance of Finite Field Arithmetic in an Elliptic Curve Cryptosystem / J. Higgins ; Z. Li ; M. Clement
Switching
AQueueing Model for Pipelined Circuit-Switched Networks with the MMPP Traffic / G. Min ; M. Ould-Khaoua
Service Guarantees in Deflection Networks / W. Olesinski ; P. Gburzynski
Analysis of Timeout-Based Adaptive Wormhole Routing / H. Sarbazi-Azad ; A. Khonsari
File Systems
PROFS--Performance-Oriented Data Reorganization for Log-Structured File System on Multi-Zone Disks / J. Wang ; Y. Hu
Aggregating Caches: A Mechanism for Implicit File Prefetching / A. Amer
A Bit-Parallel Search Algorithm for Allocating Free Space / R. Burns ; W. Hineman
Large-Scale Simulation of Replica Placement Algorithms for a Serverless Distributed File System / J. Douceur ; R. Wattenhofer
Tools
Parameterized Mobile Action Generator for a Wireless PCS Network / S-E. Park ; C. Purdy
On-Line Test System Applied in Routing Protocol Test / Y. Zhao ; X. Yin ; B. Han ; J. Wu
PTPlan MPLS: A Tool for MPLS Network Dimensioning / L. Cardoso ; J. Patrao ; C. Lopes ; A. de Sousa ; R. Valadas
BRITE: An Approach to Universal Topology Generation / A. Medina ; A. Lakhina ; J. Byers
On-Line Simulation Techniques for Real-Time Management of Systems / Dr. Richard Fujimoto
WWW
The Structural Cause of File Size Distributions / A. Downey
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services / M. Bernardo
Simulation Evaluation of a Heterogeneous Web Proxy Caching Hierarchy / M. Busari
HTTP Simulator Validation Using Real Measurements: A Case Study / B. Davison
Broadband
Performance Evaluation Based on an Aggregate ATM Model / S. Galmes
Modeling and Analysis of an ABR Flow Control Algorithm for a Virtual Source/Virtual Destination Switch / C. Cseh
On Class-Based Isolation of UDP, Short-Lived and Long-Lived TCP Flows / S. Yilmaz
A Stream Tapping Protocol with Partial Preloading / J-F. Paris
Author Index
Message from the General Chair
Message from the Program Chair
Conference Organizers
29.

図書

図書
IEEE International Conference on Computer Design ; IEEE Computer Society ; IEEE Circuits and Systems Society ; IEEE Electron Devices Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xxii, 559 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Welcome to ICCD
Organizing Committee
Program Committee
Additional Reviewers
ICCD 2002 Call for Papers
Keynote Addresses
The In-Car Computing Network: A Challenge for Embedded Systems / K.-T. Neumann
Clear and Present Tensions in Microprocessor Design / J. Shen
Moore's Law Meets Shannon's Law: The Evolution of the Communications Industry / L. Harrison
Technical Program
Asynchronous Techniques / Session 1.1:
Mousetrap: Ultra-High-Speed Transition-Signaling Asynchronous Pipelines / M. Singh ; S. M. Nowick
Arithmetic Logic Circuits using Self-Timed Bit Level Dataflow and Early Evaluation / R. B. Reese ; M. A. Thornton ; C. Traver
Efficient Systematic Error-Correcting Codes for Semi-Delay-Insensitive Data Transmission / F.-C. Cheng ; S.-L. Ho
Embedded Tutorial / Session 1.2:
Session Abstract
Design Constraints for Efficient Cryptographic Processing in Smart Cards / J.-F. Dhem
Security of Smartcard Integrated Circuits / E. von Faber
Architectural Modeling: Performance and Power Analysis / Session 1.3:
Minimal Subset Evaluation: Rapid Warm-Up for Simulated Hardware State / J. W. Haskins, Jr. ; K. Skadron
A Framework for Energy Estimation of VLIW Architecture / H. S. Kim ; N. Vijaykrishnan ; M. Kandemir ; M. J. Irwin
High-Level Power Modeling of CPLDs and FPGAs / L. Shang ; N. K. Jha
Caching / Session 2.1:
Symbolic Cache: Fast Memory Access Based on Program Syntax Correlation of Loads and Stores / Q. Ma ; J.-K. Peir ; L. Peng ; K. Lai
In-Line Interrupt Handling for Software-Managed TLBs / A. Jaleel ; B. Jacob
Design of a Predictive Filter Cache for Energy Savings in High Performance Processor Architectures / W. Tang ; R. Gupta ; A. Nicolau
Simulation Based Verification / Session 2.2:
A New Functional Test Program Generation Methodology / F. Fallah ; K. Takayama
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage / S. Tasiran ; D. G. Chinnery ; S. J. Weber ; K. Keutzer
Selecting a Well Distributed Hard Case Test Suite for IEEE Standard Floating Point Division / L. D. McFearin ; D. W. Matula
Modeling of Capacitance and Crosstalk Noise / Session 2.3:
Linear Time Hierarchical Capacitance Extraction without Multipole Expansion / S. Balakrishnan ; J. H. Park ; H. Kim ; Y.-M. Lee ; C. C.-P. Chen
Analysis and Reduction of Capacitive Coupling Noise in High-Speed VLSI Circuits / P. Heydari ; M. Pedram
Crosstalk Noise Estimation for Generic RC Trees / M. Takahashi ; M. Hashimoto ; H. Onodera
Improving the Performance of Caching Structures / Session 3.1:
A Banked-Promotion TLB for High Performance and Low Power / J.-H. Lee ; J.-S. Lee ; S.-W. Jeong ; S.-D. Kim
Filtering Superfluous Prefetches Using Density Vectors / W.-F. Lin ; S. K. Reinhardt ; D. Burger ; T. R. Puzak
Allocation by Conflict: A Simple, Effective Multilateral Cache Management Scheme / E. S. Tam ; S. A. Vlaovic ; G. S. Tyson ; E. S. Davidson
Test Pattern Generation, Test Compaction, and Test Point Insertion for Synchronous Sequential Circuits / Session 3.2:
COREL: A Dynamic Compaction Procedure for Synchronous Sequential Circuits with Repetition and Local Static Compaction / I. Pomeranz ; S. M. Reddy
A Partitioning and Storage Based Built-In Test Pattern Generation Method for Synchronous Sequential Circuits
Cost-Effective Non-Scan Design for Testability for Actual Testability Improvement / D. Xiang ; Y. Xu
Power 4 Microprocessor / Session 3.3 Invited Session:
Power4 Microprocessor and System Design / J. Clabes
Power4 Design Methodology / B. Zoric
Semi-Custom Design Methodology for Power4 / P. Strenski
Power4 Integration / M. Scheuermann
Boolean Reasoning for Applications in CAD / A. KuehlmannSession 4.1:
Computer Arithmetic / Session 4.2:
Improved ZDN-Arithmetic for Fast Modulo Multiplication / H. Ploog ; S. Flugel ; D. Timmermann
Design Alternatives for Parallel Saturating Multioperand Adders / P. I. Balzola ; M. J. Schulte ; J. Ruan ; J. Glossner ; E. Hokenek
A Single-Multiplier Quadratic Interpolator for LNS Arithmetic / M. G. Arnold ; M. D. Winkel
Circuit Sizing and Optimization / Session 4.3:
Gate Sizing to Eliminate Crosstalk Induced Timing Violation / T. Xiao ; M. Marek-Sadowska
Performance Optimization by Wire and Buffer Sizing under the Transmission Line Model / T.-C. Chen ; S.-R. Pan ; Y.-W. Chang
Buffered Interconnect Tree Optimization using Lagrangian Relaxation and Dynamic Programming / S.-Y. Lai ; R. Baldick
Clocking and Time-Domain Measurements / Session 5.1:
Embedded Tutorial: Clocked Timing Elements for High-Performance and Low-Power VLSI Systems / V. Oklobdzija
Jitter-Induced Power/Ground Noise in CMOS PLLs: A Design Perspective
On the Micro-Architectural Impact of Clock Distribution Using Multiple PLLs / M. Saint-Laurent ; M. Swaminathan ; J. D. Meindl
On-Chip Oscilloscopes for Noninvasive Time-Domain Measurement of Waveforms / K. L. Shepard ; Y. Zheng
Processor Microarchitecture / Session 5.2:
Selective Branch Prediction Reversal by Correlating with Data Values and Control Flow / J. L. Aragon ; J. Gonzalez ; J. M. Garcia ; A. Gonzalez
Mutable Functional Units and Their Applications on Microprocessors / Y. Solihin ; K. W. Cameron ; Y. Luo ; D. Lavenier ; M. Gokhale
Compiler-Directed Classification of Value Locality Behavior / Q. Zhao ; D. J. Lilja
A Hierarchical Dependence Check and Folded Rename Mapping Based Scalable Dispatch Stage / V. Sankaranarayanan ; A. Tyagi
Invited Session: Taming Tons of Gigabytes: Innovations in Disk Drive Electronics / Session 5.3:
Designing Circuits for Disk Drives / G. Pelz
Hard Disk Controller: The Disk Drive's Brain and Body / J. Jeppensen ; W. Allen ; S. Anderson ; M. Pilsl
Motion-Control: The Power Side of Disk Drives / W. Sereinig
Energy Efficiency Caches and Multiport Cache Structures / Session 6.1:
Static Energy Reduction Techniques for Microprocessor Caches / H. Hanson ; M. S. Hrishikesh ; V. Agarwal ; S. W. Keckler
Parallel Cachelets / D. Limaye ; R. Rakvic ; J. P. Shen
Access Region Cache: A Multi-Porting Solution for Future Wide-Issue Processors / B. S. Thakar ; G. Lee
Control by Simulation and On-line Checking / Session 6.2:
Distributed Event-Driven Simulation of VHDL-SPICE Mixed-Signal Circuits / D. Lungeanu ; C. J. R. Shi
High Performance Parallel Fault Simulation / A. K. Varshney ; B. Vinnakota ; E. Skuldt ; B. Keller
On-Line Integrity Monitoring of Microprocessor Control Logic / S. Kim ; A. K. Somani
CAD Algorithms for Physical Design / Session 6.3:
A Timing-Driven Macro-Cell Placement Algorithm / F. Mo ; A. Tabbara ; R. K. Brayton
Fixed-Outline Floorplanning through Better Local Search / S. N. Adya ; I. L. Markov
Generic ILP-Based Approaches for Dynamically Reconfigurable FPGA Partitioning / G.-M. Wu ; J.-M. Lin ; M. C.-T. Chao
Panel Discussion
How Much Longer Will SuperScalar Microarchitectures Scale? / D. Burger (chair) ; M. Hill ; M. Hopkins ; M. McDermott ; Y. Patt ; M. Snyder ; G. Sohi
Invited Session: Network Processors / Session 7.1:
Network Processing: Applications and Challenges / C. Narad
Payload+: Fast Pattern Matching and Routing for OC-48 / D. Kramer
Scaling Fully Programmable Network Processing to 10Gbps and Beyond / K. Morris
Formal Methods for Property Verification and Equivalence Verification / Session 7.2:
Arithmetic Transforms for Verifying Compositions of Sequential Datapaths / K. Radecka ; Z. Zilic
Hierarchical Image Computation with Dynamic Conjunction Scheduling / C. Meinel ; C. Stangier
Introduction to Generalized Symbolic Trajectory Evaluation / J. Yang ; C.-J. H. Seger
Hardware Representation / Session 7.3:
BDD Variable Ordering by Scatter Search / W. N. N. Hung ; X. Song
Lower Bound Based DDD Minimization for Efficient Symbolic Circuit Analysis / A. Manthe ; C-J. R. Shi
Run-Time Execution of Reconfigurable Hardware in a Java Environment / L. A. S. King ; H. Quinn ; M. Leeser ; D. Galatopoullos ; E. Manolakos
Circuit Techniques / Session 8.1:
Realization of Multiple-Output Functions by Reconfigurable Cascades / Y. Iguchi ; T. Sasao ; M. Matsuura
A Low-Power Cache Design for CalmRISC-Based Systems / S. Cho ; W. Jung ; Y. Kim
Interconnect-Centric Array Architectures for Minimum SRAM Access Time / A. J. Bhavnagarwala ; S. Kosonocky
Understanding and Addressing the Noise Induced by Electrostatic Discharge in Multiple Power Supply Systems / J. Lee ; Y. Huh ; P. Bendix ; S.-M. Kang
DSP/Multimedia / Session 8.2:
Cost-Effective Hardware Acceleration of Multimedia Applications / D. Talla ; L. K John
MPEG Macroblock Parsing and Pel Reconstruction on an FPGA-Augmented TriMedia Processor / M. Sima ; S. Cotofana ; S. Vassiliadis ; J. T. J. van Eijndhoven ; K. Vissers
Low-Energy DSP Code Generation Using a Genetic Algorithm / M. Lorenz ; R. Leupers ; P. Marwedel ; T. Drager ; G. Fettweis
Voltage Scaling for Energy Minimization with QoS Constraints / A. Manzak ; C. Chakrabarti
Novel Architectures and ISA Extensions / Session 8.3:
Matching Architecture to Application via Configurable Processors: A Case Study with Boolean Satisfiability Problem / Y. Zhao ; S. Malik ; A. Wang ; M. W. Moskewicz ; C. F. Madigan
Architectural Enhancements for Fast Subword Permutations with Repetitions in Cryptographic Applications / J. P. McGregor ; R. B. Lee
3DCGiRAM: An Intelligent Memory Architecture for Photo-Realistic Image Synthesis / H. Kobayashi ; K. Suzuki ; K. Sano ; Y. Kaeriyama ; Y. Saida ; N. Oba ; T. Nakamura
Use of Local Memory for Efficient Java Execution / S. Tomar
Poster Papers
An Analytical Model for Trace Cache Instruction Fetch Performance / A. Hossain ; D. J. Pease
Performance Driven Global Routing through Gradual Refinement / J. Hu ; S. S. Sapatnekar
Fuzzified Iterative Algorithms for Performance Driven Low Power VLSI Placement / S. M. Sait ; H. Youssef ; J. A. Khan ; A. El-Maleh
Fast Specification of Cycle-Accurate Processor Models / F. S.-H. Chang ; A. J. Hu
A Performance Analysis of the Active Memory System / W. Srisa-an ; C.-T. D. Lo ; J. M. Chang
Combined IEEE Compliant and Truncated Floating Point Multipliers for Reduced Power Dissipation / K. E. Wires ; J. E. Stine
An Algorithm for Dynamically Reconfigurable FPGA Placement
RC-In RC-Out Model Order Reduction Accurate up to Second Order Moments / P. Ganesh
Efficient Function Approximation for Embedded and ASIC Applications / J. W. Hauser ; C. N. Purdy
An Area-Efficient Iterative Modified-Booth Multiplier Based on Self-Timed Clocking / M.-C. Shin ; S.-H. Kang ; I.-C. Park
A Heuristic for Multiple Weight Set Generation / H.-S. Kim ; S. Kang
Towards a Formal Model of Shared Memory Consistency for Intel Itanium / P. Chatterjee ; G. Gopalakrishnan
Efficient Algorithms for Subcircuit Enumeration and Classification for the Module Identification Problem / J. L. White ; M.-J. Chung ; A. S. Wojcik ; T. E. Doom
MCOMA: A Multithreaded COMA Architecture / H. El Naga ; J.-L. Gaudiot
Automatic Generation and Validation of Memory Test Models for High Performance Microprocessors / K. Zarrineh ; T. A. Ziaja ; A. Majumdar
Reducing Cache Pollution of Prefetching in a Small Data Cache / P. Reungsang ; S. K. Park ; H.-L. Roh
Alloyed Path-Pattern Scheme for Branch Prediction / R. Ramanujam ; M. Ravirala
Timing Characterization of Dual-Edge Triggered Flip-Flops / N. Nedovic ; M. Aleksic ; V. G. Oklobdzija
Performance Impact of Addressing Modes on Encryption Algorithms / A. M. Fiskiran
Determining Schedules for Reducing Power Consumption Using Multiple Supply Voltages / N. Chabini ; E. M. Aboulhamid ; Y. Savaria
Pre-Routing Estimation of Shielding for RLC Signal Integrity / J. D. Z. Ma ; A. Parihar ; L. He
Author Index
Welcome to ICCD
Organizing Committee
Program Committee
30.

図書

図書
ACM/IEEE-CS Joint Conference on Digital Libraries ; Association for Computing Machinery ; IEEE Computer Society
出版情報: New York, N.Y. : ACM, c2001  xviii, 490 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
edited by Kia Makki and Edward Knightly
出版情報: Piscataway, N.J. : IEEE Operations Center, c2005  4 v. (xxxiii, 2881 p.) ; 28 cm
所蔵情報: loading…
32.

図書

図書
sponsored by the Chilean Computer Science Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  x, 155 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
International Conference on Cyberworlds ; IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xiv, 453 p. ; 27 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Conference Organization
Reviewers
Opening Talk
Keynote Session
The Potentials of Cyberworlds-An Axiomatic Approach / T. L. Kunii
Invited Talk I
Paradigm of Information Security as Interdisciplinary Comprehensive Science / S. Tsujii
E-Business / Session I:
Transforming Heterogeneous Product Concepts through Mapping Structures / J. Guo ; C. Sun ; D. Chen
Seamless Visual Guidance of Virtual and Real Trips / X. Wang ; J. Y. Zheng ; M. Shi
Simulation and Visualization / Session II:
A Rapid Rendering Method for Caustics Arising from Refraction by Transparent Objects / K. Iwasaki ; F. Yoshimoto ; Y. Dobashi ; T. Nishita
Generating Autonomous Time-Varying Virtual Cities / M. Honda ; K. Mizuno ; Y. Fukui ; S. Nishihara
Shared and Virtual Worlds / Session III:
Interactive Function-Based Shape Modeling for Cyberworlds / K. Levinski ; A. Sourin
Intelligent Agents in Virtual Worlds / A. Iglesias ; F. Luengo
Analytically-Defined Collaborative Shape Modeling in VRML / Q. Liu
A Platform to Design and Run Dynamic Virtual Environments / H. I. Piza ; F. Zuniga ; F. F. Ramos
Short Presentation I
A Protocol for Remote Musical Session with Fluctuated Tempo / M. Yoshida ; Y. Obu ; T. Yonekura
A Deformable Fast Computation Elastic Model Based on Element Reduction and Reconstruction / S. Miyazaki ; M. Endo ; M. Yamada ; J. Hasegawa ; T. Yasuda ; S. Yokoi
Speculative Planning with Delegation / T. Abaci ; J. Ciger ; D. Thalmann
3D Retrieval System Based on Cognitive Level-Human Interface for 3D Building Database / T. Shibata ; M. Suzuki ; T. Kato
Generic Classifiers Systems and Learning Behaviours in Virtual Worlds / O. Heguy ; S. Sanchez ; A. Berro ; H. Luga
Culture Cross Road: A Virtual Town Built from Distributed Route Panoramas
Supporting Social Awareness among University Students in 3D CVEs: Benefits and Limitations / E. Prasolova-Forland
An Improvement for Accessing Patterns through Clustering in Interactive VRML Environments / S.-S. Hung ; T.-C. Kuo ; D. S.-M. Liu
A Fair Dynamical Game over Networks / M. Kamada
3D Freeform Design: Interactive Shape Deformations by the Use of CyberGlove / M. Sato ; V. Savchenko ; R. Ohbuchi
Workshop(WCCW)
A Framework to Improve Learning by Analyzing the Students' Browsing during the Learning Phase / M. Sala ; P. Pompidor ; D. Herin ; G. Isoird
Extension and Implementation of Iconic Stereotype for GNSS Application in the UML Class Diagram / W.-S. Byeon ; B. Wang ; S.-K. Jeong ; O.-B. Chang
Building a Dependable Enterprise Service Assembly Line (ESAL) for Legacy Application Integration / S. Li ; H. Yang ; H. Zhou
Workshop II (WCCW)
Slicing Web Application Based on Hyper Graph / J. Wu ; B. Xu ; J. Jiang
Adaptive Documents Classification System Based on Ontology Constructed by Fuzzy Function and Fuzzy Relations / J. Youn ; H.-J. Eun ; C.-J. Yoo ; Y.-S. Kim
A SMIL Document Generating System Using Temporal Scripts of Animation Component / C.-Y. Jung ; J.-S. Kim ; C.-S. Yoo
An Evolutionary System Development Approach in a Pervasive Computing Environment / R. Liu ; Y. Wang ; W. Pan
Invited Talk II
Modeling of Bodies and Clothes for Virtual Environments / N. Magnenat-Thalmann ; F. Cordier ; H. Seo ; G. Papagianakis
Animation and Intelligent Agents / Session IV:
3D Character Model Creation from Cel Animation / Y. Ono ; B.-Y. Chen
Frame Skeleton Based Auto-Inbetweening in Computer Assisted Cel Animation / K. Melikhov ; F. Tian ; H. S. Seah ; Q. Chen ; J. Qiu
Modeling Corporate Knowledge within the Agent Oriented Abstraction / P. Maret ; J. Calmet
Virtual Environments / Session V:
An Interactive Agent-Based Learning Environment for Children / D. M. Popovici ; C. Buche ; R. Querrec ; F. Harrouet
Peer-to-Peer Networked Field-Type Virtual Environment by Using AtoZ / Y. Kawano ; D. Hanawa
The Chaos Analysis of Long Memory Process in Artificial Stock Markets Consist of Multi-agents / S. Ogino ; T. Nagao
Short Presentation II
Vision Based Driving Simulation / H. Malik ; F. Naeem ; Z. Zuberi ; R. ul Haq
Barcode Readers Using the Camera Device in Mobile Phones / E. Ohbuchi ; H. Hanaizumi ; L. A. Hock
Active Lighting for Object Brightness Control / Y. Kameda ; J. Shingu ; S. Nishiguchi ; M. Minoh
A Prototype of Video See-Through Mixed Reality Interactive System / W. Qi
Visual-Dimension Interact System (VIS)-Exhibiting Creative Process for Museum Visitor Experience / A. Onda ; T. Oku ; P.-Y. Chiu ; E. Yu ; M. Yokoi ; I. Choh ; J. Ohya
Joyfoot's Cyber System: A Virtual Landscape Walking Interface Device for Virtual Reality Applications / S. Barrera ; H. Takahashi ; M. Nakajima
Interactive Point-Based Painterly Rendering / H. Kawata ; A. Gouaillard ; T. Kanai
A Framework for Web Applications Testing / L. Xu
Toward E-Appearance of Human Face and Hair by Age, Expression and Rejuvenation / A. Bastanfard
Real-Time Rendering of Bumpmap Shadows Taking Account of Surface Curvature / K. Onoue ; N. Max
Invited Talk III
Mathematical Analysis of Stock Market Movement / G. V. Nosovskiy
Short Presentation III
Integrating Network Services of Windows and UNIX for Single Sign-On / J. Futagawa
Bridge Ontology and Its Role in Semantic Annotation / P. Wang ; J. Lu ; Y. Li ; D. Kang
Synaesthesia: Multimodal Modular Edutainment Platform Development / A. Lee ; K. W. Lai ; F. T. Hung ; W. L. Leung ; K. K. Lam ; C. C. Leung
Development of the "Web-Com" Interactive Browser for Web-Based Class / K. Hiraki ; S. Kawahara ; S. Shibusawa
Geometric Querying of Time-Dependent Data for Data Mining in Molecular Dynamics / O. Sourina ; N. Korolev
Influence of Local Information on Social Simulations under the Small-World Model / H.-C. Lin ; C.-Y. Huang ; C.-T. Sun
Immersive Multi-projector Display on Hybrid Screens with Human-Scale Haptic and Locomotion Interfaces / N. Hashimoto ; S. Jeong ; Y. Takeyama
A Compression-Based Data Hiding Scheme Using Vector Quantization and Principle Component Analysis / C.-C. Chang ; P.-Y. Lin
Computer Vision and Cybersecurity / Session VI:
Scale-Space Processing of Point-Sampled Geometry for Efficient 3D
Object Segmentation / H. Laga
Detection and Classification of Critical Points for Linear Metamorphosis / T. Nieda ; A. Pasko
Watermarking a 3D Shape Model Defined as a Point Set / A. Mukaiyama ; S. Takahashi
Cyber Concepts / Session VII:
Creating Cyberworlds: Experiences in Computer Science Education / M. Gutierrez ; F. Vexo
Transmedial Worlds-Rethinking Cyberworld Design / L. Klastrup ; S. Tosca
An Efficient and Secure Multi-server Password Authentication Scheme Using Smart Cards / J.-S. Lee
Query Processing Algorithms for Time, Place, Purpose and Personal Profile Sensitive Mobile Recommendation / S. Pinyapong
Game and Communication / Session VIII:
America's Army Game: Its (Virtual) Reality Representation and Cocaine / S. Alexa
Support System for Informal Communication in 3D Web World / Y. Nakano ; K. Tsukada ; S. Takagi
Performance Study of TCP Veno in Wireless/Asymmetric Links / C. B. Fu ; J. L. Wang ; C. P. Fu ; K. Zhang
Author Index
Message from the General Chair
Conference Organization
Reviewers
34.

図書

図書
sponsored by IEEE Computer Society... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xv, 361 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
sponsored by Université Paris 1
出版情報: Los Alamitos, California : IEEE Computer Society, c2005  xiv, 496 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
International Symposium on Performance Analysis of Systems and Software ; IEEE Computer Society
出版情報: Piscataway, NJ : IEEE, c2003  ix, 223 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
sponsored by IEEE Computer Society ; edited by Cordelia Schmid, Stefano Soatto, and Carlo Tomasi
出版情報: Los Alamitos ; Tokyo : IEEE Computer Society, c2005  2 v. ; 28 cm
所蔵情報: loading…
38.

図書

図書
Editors, James R. Cordy, Harald Gall, Jonathan I. Maletic ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Council on Sftware Engineering
出版情報: Los Almitos, Calif. : IEEE Computer Society, c2005  xii, 345 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
edited by Katsumi Tanaka, Yutaka Kidawara, and Koji Zettsu ; organized by The IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  x, 121 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xix, 227 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
[sponsored by IEEE Computer Society ; co-sponsored by Information Technology Research Institute, Wright State University, the Hong Kong University of Science and Technology ; edited by Andrew Lim]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xv, 718 p. ; 28 cm
所蔵情報: loading…
42.

図書

図書
IEEE Computer Society
出版情報: Los Almitos, Calif. : IEEE Computer Society, c2004  xiii, 271 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
sponsored by IEEE Computer Society, IEEE Circuits and Systems Society ; in cooperation with IEEE Electron Devices Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xviii, 578 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Welcome Letter
Organizing Committee
Program Committee
Additional Reviewers
Keynote Addresses
Gigascale System Design--Challenges and Opportunities / S. Borkar
Error Tolerance / M. Breuer
Digital Integrated Circuit Testing for Art Historians and Test Experts / E. McCluskey
High-Speed and Energy-Efficient Circuit Design / Session 1:
PCAM: A Ternary CAM Optimized for Longest Prefix Matching Tasks / M. Akhbarizadeh ; M. Nourani ; D. Vijayasarathi ; P. Balsara
Area and Energy-Efficient Crosstalk Avoidance Codes for On-Chip Buses / S. Sridhara ; A. Ahmed ; N. Shanbhag
An Area- and Energy-Efficient Asynchronous Booth Multiplier for Mobile Devices / J. Hensley ; A. Lastra ; M. Singh
A High-Frequency Decimal Multiplier / R. Kenney ; M. Schulte ; M. Erle
An Efficient Twin-Precision Multiplier / M. Sjalander ; H. Eriksson ; P. Larsson-Edefors
Energy-Efficient Processor Microarchitecture (1) / Session 1.2:
Defining Wakeup Width for Efficient Dynamic Scheduling / A. Aggarwal ; M. Franklin ; O. Ergin
Power-Aware Deterministic Block Allocation for Low-Power Way-Selective Cache Structure / J.-W. Park ; G.-H. Park ; S.-B. Park ; S.-D. Kim
Thermal-Aware Clustered Microarchitectures / P. Chaparro ; J. Gonzalez ; A. Gonzalez
Reducing Issue Queue Power for Multimedia Applications Using a Feedback Control Algorithm / Y. Bai ; R. Bahar
Scan Design and Test / Session 1.3:
A Novel Low-Power Scan Design Technique Using Supply Gating / S. Bhunia ; H. Mahmoodi ; S. Mukhopadhyay ; D. Ghosh ; K. Roy
Asynchronous Scan-Latch Controller for Low Area Overhead DFT / M. Tsukisaka ; M. Imai ; T. Nanya
End-to-End Testability Analysis and DfT Insertion for Mixed-Signal Paths / S. Ozev ; A. Orailoglu
Functional Illinois Scan Design at RTL / H. Ko ; N. Nicolici
On Undetectable Faults in Partial Scan Circuits Using Transparent-Scan / I. Pomeranz ; S. Reddy
Routing and Floorplanning / Session 2:
A Depth-First-Search Controlled Gridless Incremental Routing Algorithm for VLSI Circuits / H. Arslan ; S. Dutt
Simultaneous Shield and Buffer Insertion for Crosstalk Noise Reduction in Global Routing / T. Zhang ; S. Sapatnekar
A Two-Layer Bus Routing Algorithm for High-Speed Boards / M. Ozdal ; M. Wong
Reticle Floorplanning with Guaranteed Yield for Multi-Project Wafers / A. Kahng ; S. Reda
Formal Verification Embedded Tutorial / Session 2.2:
Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking / C. Wang ; G. Hachtel ; F. Somenzi
Comparative Study of Strategies for Formal Verification of High-Level Processors / M. Velev
Signal Integrity and Leakage / Session 2.3:
A Highly-Efficient Technique for Reducing Soft Errors in Static CMOS Circuits / S. Krishnamohan ; N. Mahapatra
A Signal Integrity Test Bed for PCB Buses / J. Ren ; M. Greenstreet
A New Threshold Voltage Assignment Scheme for Runtime Leakage Reduction in On-Chip Repeaters / S. Shah ; K. Agarwal ; D. Sylvester
A General Post-Processing Approach to Leakage Current Reduction in SRAM-Based FPGAs / J. Lach ; J. Brandon ; K. Skadron
Special Session on High-Performance On-Chip Communication / Session 3:
Design Methodologies and Architecture Solutions for High-Performance Interconnects (Invited Paper) / D. Pandini ; C. Forzan ; L. Baldi
On-Chip Transparent Wire Pipelining (Invited Paper) / M. Casu ; L. Macchiarulo
Toward an Integrated Design Methodology for Fault-Tolerant, Multiple Clock/Voltage Integrated Systems (Invited Paper) / R. Marculescu ; D. Marculescu ; L. Pileggi
Network-on-Chip: The Intelligence is in the Wire (Invited Paper) / G. Mas ; P. Martin
Test Generation and Characterization / Session 3.2:
Low Power Test Data Compression Based on LFSR Reseeding / J. Lee ; N. Touba
An Infrastructure IP for On-Chip Clock Jitter Measurement / J.-J. Huang ; J.-L. Huang
Diagnosis of Hold Time Defects / Z. Wang ; M. Marek-Sadowska ; K.-H. Tsai ; J. Rajski
Extending the Applicability of Parallel-Serial Scan Designs / B. Arslan ; O. Sinanoglu
Quality Improvement Methods for System-Level Stimuli Generation / R. Emek ; I. Jaeger ; Y. Katz ; Y. Naveh
Physically-Aware Design Tools / Session 3.3:
XTalkDelay: A Crosstalk-Aware Timing Analysis Tool for Chip-Level Designs / Y. Li ; R. Murgai ; T. Miyoshi ; A. Verma
A Flexible Data Structure for Efficient Buffer Insertion / R. Chen ; H. Zhou
Simultaneous Scheduling, Binding and Layer Assignment for Synthesis of Vertically Integrated 3D Systems / M. Mukherjee ; R. Vemuri
Transistor and Pin Reordering for Gate Oxide Leakage Reduction in Dual T[subscript ox] Circuits / A. Sultania
Energy-Efficient Processor Microarchitecture (2) / Session 4:
Best of Both Latency and Throughput / E. Grochowski ; R. Ronen ; J. Shen ; H. Wang
Fetch Halting on Critical Load Misses / N. Mehta ; B. Singer ; M. Leuchtenburg ; R. Weiss
Frontend Frequency-Voltage Adaptation for Optimal Energy-Delay[superscript 2] / G. Magklis
Power and Timing Optimization / Session 4.2:
Gate Sizing and V[subscript t] Assignment for Active-Mode Leakage Power Reduction / F. Gao ; J. Hayes
Potential Slack Budgeting with Clock Skew Optimization / K. Wang
A New Statistical Optimization Algorithm for Gate Sizing / M. Mani ; M. Orshansky
Novel Processor Design / Session 4.3:
An Architecture for Fast Processing of Large Unstructured Data Sets / R. Chamberlain ; M. Henrichs ; B. Shands ; J. White
In-System FPGA Prototyping of an Itanium Microarchitecture / R. Wunderlich ; J. Hoe
Adaptive Selection of an Index in a Texture Cache / C.-H. Kim ; L.-S. Kim
Emerging Technologies Special Session / Session 5:
Using Circuits and Systems-Level Research to Drive Nanotechnology (Invited Paper) / M. Niemier ; R. Ravichandran ; P. Kogge
FPGA Emulation of Quantum Circuits / A. Khalid ; Z. Zilic ; K. Radecka
3D Processing Technology and Its Impact on iA32 Microprocessors (Invited Paper) / B. Black ; D. Nelson ; C. Webb ; N. Samra
Cache Memory Design / Session 5.2:
Cache Array Architecture Optimization at Deep Submicron Technologies / A. Zeng ; K. Rose ; R. Gutmann
Implementation of Fine-Grained Cache Monitoring for Improved SMT Scheduling / J. Kihm ; D. Connors
Low Energy, Highly-Associative Cache Design for Embedded Processors / A. Veidenbaum ; D. Nicolaescu
Layout-Driven Circuit Optimization / Session 6:
The Magic of a Via-Configurable Regular Fabric / Y. Ran
A Fast Delay Analysis Algorithm for the Hybrid Structured Clock Network / Y. Zou ; Y. Cai ; Q. Zhou ; X. Hong ; S. Tan
Layout Driven Optimization of Datapath Circuits Using Arithmetic Reasoning / I. Neumann ; D. Stoffel ; K. Sulimma ; M. Berkelaar ; W. Kunz
Floorplan-Aware Low-Complexity Digital Filter Synthesis for Low-Power and High-Speed / D. Kang ; H. Choo
Instruction-Level Parallelism (1) / Session 6.2:
A Minimal Dual-Core Speculative Multi-Threading Architecture / S. Srinivasan ; H. Akkary ; T. Holman ; K. Lai
Exploiting Quiescent States in Register Lifetime / R. Sangireddy ; A. Somani
Evaluating Techniques for Exploiting Instruction Slack / Y. Chin ; J. Sheu ; D. Brooks
Power Estimation and Minimization / Session 6.3:
Static Transition Probability Analysis under Uncertainty / S. Garg ; S. Tata ; R. Arunachalam
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation / D. Chai ; A. Kuehlmann
Analyzing Power Consumption of Message Passing Primitives in a Single-Chip Multiprocessor / M. Loghi ; L. Benini ; M. Poncino
An Architectural Power Estimator for Analog-to-Digital Converters / Z. Huang ; P. Zhong
Formal Verification Techniques / Session 7:
Formal Hardware Verification Based on Signal Correlation Properties--A PVS Library for Redundant Number Representation / N. Kikkeri ; P.-M. Seidel
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs / K. Ng ; A. Hu ; J. Yang
Graph Automorphism-Based Algorithm for Determining Symmetric Inputs / C.-L. Chou ; C.-Y. Wang ; G.-W. Lee ; J.-Y. Jou
Networks on Chips / Session 7.2:
Linear Programming Based Techniques for Synthesis of Network-on-Chip Architectures / K. Srinivasan ; K. Chatha ; G. Konjevod
Thermal-Aware IP Virtualization and Placement for Networks-on-Chip Architecture / W. Hung ; C. Addo-Quaye ; T. Theocharides ; Y. Xie ; N. Vijaykrishnan ; M. Irwin
Many-to-Many Core-Switch Mapping in 2-D Mesh NoC Architectures / C.-E. Rhee ; H.-Y. Jeong ; S. Ha
Novel Processor Architecture / Session 7.3:
An Embedded Reconfigurable SIMD DSP with Capability of Dimension-Controllable Vector Processing / L. Han ; J. Chen ; C. Zhou ; X. Zhang ; Z. Liu ; X. Wei ; B. Li
Runtime Execution Monitoring (REM) to Detect and Prevent Malicious Code Execution / A. Fiskiran ; R. Lee
Dynamic Address Compression Schemes: A Performance, Energy, and Cost Study / J. Liu ; K. Sundaresan
Instruction-Level Parallelism (2) / Session 8:
Compiler-Based Frame Formation for Static Optimization / F. Shi ; S. Almukhaizam ; P.-C. Lin ; Y. Makris
IPC Driven Dynamic Associative Cache Architecture for Low Energy / S. Nadathur ; A. Tyagi
Increasing Processor Performance through Early Register Release / D. Balkan ; D. Ponomarev ; K. Ghose
Topics in Synthesis and Co-Simulation / Session 8.2:
Combined Channel Segmentation and Buffer Insertion for Routability and Performance Improvement of Field Programmable Analog Arrays / H. Huang ; J. Bernstein ; M. Peckerar ; J. Luo
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures / F. Fummi ; S. Martini ; M. Monguzzi ; G. Perbellini
Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements Using SystemC / J. Xi
Coping with the Variability of Combinational Logic Delays / J. Cortadella ; A. Kondratyev ; L. Lavagno ; C. Sotiriou
Low-Power Architecture / Session 8.3:
Design-Space Exploration of Power-Aware On/Off Interconnection Networks / V. Soteriou ; L.-S. Peh
Energy Characterization of Hardware-Based Data Prefetching / Y. Guo ; S. Chheda ; I. Koren ; C. Krishna ; C. Moritz
Design and Implementation of Scalable Low-Power Montgomery Multiplier / H.-K. Son ; S.-G. Oh
Test Generation / Session 9:
Compressed Embedded Diagnosis of Logic Cores / S. Ollivierre ; A. Kinsman
An Automatic Test Pattern Generation Framework for Combinational Threshold Logic Networks / P. Gupta ; R. Zhang ; N. Jha
An Efficient Algorithm for Reconfiguring Shared Spare RRAM / H.-Y. Lin ; H.-Z. Chou ; F.-M. Yeh ; I.-Y. Chen ; S.-Y. Kuo
Network Routing / Session 9.2:
An Accurate Combinatorial Model for Performance Prediction of Deterministic Wormhole Routing in Torus Multicomputer Systems / H. Najaf-abadi ; H. Sarbazi-azad
Technique to Eliminate Sorting in IP Packet Forwarding Devices / R. Baldwin ; E. Ng
Placement and Floorplanning / Session 9.3:
I/O Clustering in Design Cost and Performance Optimization for Flip-Chip Design / H.-M. Chen ; I.-M. Liu ; M. Shao ; L.-D. Huang
Placement with Alignment and Performance Constraints Using the B*-Tree Representation / M.-C. Wu ; Y.-W. Chang
ACG-Adjacent Constraint Graph for General Floorplans / J. Wang
Author Index
Welcome Letter
Organizing Committee
Program Committee
44.

図書

図書
IEEE Computer Society ; COMPSAC
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004  2 v. ; 28 cm
所蔵情報: loading…
45.

図書

図書
host organizations, Southeast University, Suzhou Municipal Government, Soochow University ; sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xv, 340 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Steering Committee Chair
Message from the Workshop Chair
Message from the Program Co-Chairs
Organizing Committee
Reviewers
Challenges in Future Distributed Systems / Session A1:
Fundamental Research Challenges in Real-Time Distributed Computing / K. H. Kim
Usage Model Considerations for Future Distributed Computing Systems / W.-H. Wang
Web Services / Session B1:
Introducing Compositionality in Web Service Descriptions / M. Solanki ; A. Cau ; H. Zedan
State Management in Web Services / X. Song ; N. Jeong ; P. W. Hutto ; U. Ramachandran ; J. M. Rehg
Pervasive System Architecture I / Session C1:
Friendly Object Tracking and Foreign Object Detection and Localization with an SDAC Wireless Sensor Network / D. Stark ; J. Davis
An Architectural View of the Entities Required for Execution of Task in Pervasive Space / K. Kalapriya ; S. K. Nandy ; V. Satish ; R. Uma Maheshwari ; D. Srinivas
Grid Computing Networks I / Session B2:
Scalability in a GRID Server Discovery Mechanism / S. Dahan ; J.-M. Nicod ; L. Philippe
Providing Network Monitoring Service for Grid Computing / J. Wang ; M. Zhou ; H. Zhou
Towards Supporting Fine-Grained Access Control for Grid Resources / E. Bertino ; P. Mazzoleni ; B. Crispo ; S. Sivasubramanian ; E. Ferrari
Trust Management / Session C2:
An Efficient Key-Evolving Signature Scheme Based on Pairing / Y. Zhu ; D. Xu
IPSec-Based Delegation Protocol and Its Application / D. Das
A Dynamic Trust Model for Mobile Ad Hoc Networks / Z. Liu ; A. W. Joy ; R. A. Thompson
Pervasive System Architecture II / Session B3:
Smart Phone: An Embedded System for Universal Interactions / L. Iftode ; C. Borcea ; N. Ravi ; P. Kang ; P. Zhou
An Architecture for EventWeb / M. Modahl ; I. Bagrak ; M. Wolenetz ; R. Jain
Self-Aware Distributed Embedded Systems / R. Pon ; M. Batalin ; M. Rahimi ; Y. Yu ; D. Estrin ; G. J. Pottie ; M. Srivastava ; G. Sukhatme ; W. J. Kaiser
Enterprise Computing / Session C3:
The vMatrix: Server Switching / A. Awadallah ; M. Rosenblum
Two Stage Optimization of Job Scheduling and Assignment in Heterogeneous Compute Farms / L. Markov
Enterprise Computing in the On Demand Era / A. Neogi ; S. Ghosal
Grid Computing Networks II / Session B4:
Integrating X/Open DTP into Grid Services for Grid Transaction Processing / Z. Qi ; X. Xie ; B. Zhang ; J. You
CNGrid: A Test-Bed for Grid Technologies in China / D. Qian
Pervasive Communication--A Human-Centered Service Architecture / R. Popescu-Zeletin ; S. Steglich ; S. Arbanowski
Software Engineering / Session C4:
Distributed Systems Design Using Function-Class Decomposition with Aspects / C. K. Chang ; T. Kim
CA-PLAN, an Inter-organizational Workflow Model / S.-B. Yan ; F.-J. Wang
PKUAS: An Architecture-Based Reflective Component Operating Platform / H. Mei ; G. Huang
P2P Middleware / Session B5:
GT-P2PRMI: Improving Middleware Performance Using Peer-to-Peer Service Replication / T. Chang ; M. Ahamad
Improving QoS for Peer-to-Peer Applications through Adaptation / D. Hughes ; I. Warren ; G. Coulson
Intrusion Detection / Session C5:
A New Perspective in Defending against DDoS / S. Chen ; R. Chow
A Fuzzy Data Mining Based Intrusion Detection Model / H. Jin ; J. Sun ; H. Chen ; Z. Han
Panel / Session A2:
Current State and Future Trends of Distributed Computing Systems in Asia
Grid Computing in Taiwan / C.-T. Yang ; W. C. Chu
Grid Computing in Hong Kong: Research and Development / F. C. M. Lau ; R. S. C. Ho ; C. L. Wang
Grid Research in China: Origins and Directions / C. Lin ; Z. Shan
Trend of Autonomous Decentralized Systems / K. Mori
Current State and Future Trends in High Performance Computing and Communications (HPCC) Research in India / P. K. Sinha ; S. P. Dixit ; N. Mohanram ; S. C. Purohit ; R. K. Arora ; S. Ramakrishnan
Web Ontology / Session B6:
A Complexity Measure for Ontology Based on UML / D. Kang ; B. Xu ; J. Lu
Mapping Web Services Specifications to Process Ontology: Opportunities and Limitations / J. Shen ; Y. Yang ; B. Lalwani
Data Placement in P2P / Session C6:
Exploiting Semantic Proximity in Peer-to-Peer Content Searching / S. Voulgaris ; A.-M. Kermarrec ; L. Massoulie ; M. van Steen
Scalable, Structured Data Placement over P2P Storage Utilities / Z. Zhang ; M. Mahalingam ; Z. Xu ; W. Tang
Resource Discovery / Session B7:
Estimating Device Availability in Pervasive Peer-to-Peer Environment / Y. Xiong ; X. Lin ; J. A. Rowson
An Adaptive, Lightweight and Energy-Efficient Context Discovery Protocol for Ubiquitous Computing Environments / S. S. Yau ; D. Chandrasekar ; D. Huang
Network Issues / Session C7:
A Distributed Buffer Management Approach Supporting IPv6 Mobility / Y.-H. Liu ; Y.-C. Chen
Analysis and Experimentation of an Open Distributed Platform for Synthetic Traffic Generation / D. Emma ; A. Pescape ; G. Ventre
Autonomic Computing / Session B8:
Platform-Independent Dynamic Reconfiguration of Distributed Applications / J. P. A. Almeida ; M. van Sinderen ; L. F. Pires ; M. Wegdam
Meta-Adaptation in Autonomic Systems / J. Hillman
Autonomous Decentralized Community Construction Technology to Assure Quality of Services / T. Ono ; N. Kaji ; Y. Horikoshi ; H. Kuriyama ; K. Ragab
Container Based Framework for Self-Healing Software System / R. Kumar Ravi ; V. Sathyanarayana
P2P Architectures / Session C8:
Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications / L. Yan ; K. Sere ; X. Zhou ; J. Pang
Random Landmarking in Mobile, Topology-Aware Peer-to-Peer Networks / R. Winter ; T. Zahn ; J. Schiller
The Power of DHT as a Logical Space
Towards a Fully Distributed P2P Web Search Engine / J. Zhou ; K. Li ; L. Tang
Author Index
Message from the Steering Committee Chair
Message from the Workshop Chair
Message from the Program Co-Chairs
46.

図書

図書
[sponsored by IEEE Computer Society Technical Committee on Multiple-Valued Logic, University of Toronto, Altera Corporation]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xiv, 353 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering (TCSE), Information Processing Society of Japan (IPSJ) ; supported by ACM Special Interest Group on Software Engineering (SIGSOFT)...[et al]
出版情報: Los Alamitos, California : IEEE Computer Society, c2004  xv, 367 p. ; 28 cm
所蔵情報: loading…
48.

図書

図書
IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society, c2003  xi, 336 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Supporting and Sponsoring Organizations
Conference Organization
Keynote Address
The Limits of Empirical Studies of Software Engineering / D. Parnas
Process Definition and Evaluation
Composable Process Elements for Developing COTS-Based Applications / B. Boehm ; D. Port ; Y. Yang ; J. Bhuta ; C. Abts
Using Empirical Knowledge from Replicated Experiments for Software Process Simulation: A Practical Example / J. Munch ; O. Armbrust
An Experience in Combining Flexibility and Control in a Small Company's Software Product Development Process / K. Rautiainen ; L. Vuornos ; C. Lassenius
Requirements and Design
An Industrial Case Study of the Impact of Requirements Engineering on Downstream Development / D. Damian ; J. Chisan ; L. Vaidyanathasamy ; Y. Pal
Applying Use Cases to Design versus Validate Class Diagrams--A Controlled Experiment Using a Professional Modelling Tool / B. Anda ; D. Sjoberg
A Study on Agreement Between Participants in an Architecture Assessment / M. Svahnberg
Empirical Methods
Observational Studies to Accelerate Process Experience in Classroom Studies: An Evaluation / J. Carver ; F. Shull ; V. Basili
Conducting On-Line Surveys in Software Engineering / T. Punter ; M. Ciolkowski ; B. Freimut ; I. John
Comprehensibility and Efficiency of Multiview Framework for Measurement Plan Design / M. Baldassarre ; D. Caivano ; G. Visaggio
Effort Estimation
A Replicated Assessment of the Use of Adaptation Rules to Improve Web Cost Estimation / E. Mendes ; N. Mosley ; S. Counsell
Analogy Based Prediction of Work Item Flow in Software Projects: A Case Study / A. Mockus
An Experiment on Software Project Size and Effort Estimation / U. Passing ; M. Shepperd
Pair Programming
An Initial Framework for Research on Pair Programming / H. Gallis ; E. Arisholm ; T. Dyba
Building Pair Programming Knowledge through a Family of Experiments / L. Williams ; C. McDowell ; N. Nagappan ; J. Fernald ; L. Werner
Experience Management
Experience-Based Model-Driven Improvement Management with Combined Data Sources from Industry and Academia / A. Jedlitschka ; D. Pfahl
The Anatomy of an Experience Repository / L. Scott ; R. Jeffery
Testing
An Experimental Evaluation of Inspection and Testing for Detection of Design Faults / C. Andersson ; T. Thelin ; P. Runeson ; N. Dzamashvili
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria / K. Kapoor ; J. Bowen
An Empirical Comparison of Two Safe Regression Test Selection Techniques / P. Frankl ; G. Rothermel ; K. Sayre ; F. Vokolos
Prediction Models
An Empirical Analysis of Fault Persistence through Software Releases / M. Pighin ; A. Marzona
The Application of Capture-Recapture Log-Linear Models to Software Inspections Data / A. Kamel ; P. Sorenson
A Review of Surveys on Software Effort Estimation / K. Molokken ; M. Jorgensen
Inspections
Investigating the Accuracy of Defect Estimation Models for Individuals and Teams Based on Inspection Data / S. Biffl ; M. Halling ; S. Koszegi
An Empirical Study of Web-Based Inspection Meetings / F. Lanubile ; T. Mallardo
A Case Study Using Sampling to Improve Software Inspection Effectiveness
Risk Analysis
Quantitative Studies in Software Release Planning under Risk and Resource Constraints / G. Ruhe ; D. Greer
Guidelines for Managing Bias in Project Risk Management / F. Heemstra ; R. Kusters ; H. de Man
Applying the Software Evaluation Framework 'SEF' to the Software Development Life Cycle / B. Wong
PDS: Poster & Research Demonstrations
Collaborative Development
Management of Interdependencies in Collaborative Software Development / C. de Souza ; D. Redmiles ; G. Mark ; J. Penix ; M. Sierhuis
A Study of Collaboration in Software Design / J. Wu ; T. Graham ; P. Smith
Process Management
Identification of Key Factors in Software Process Management--A Case Study / P. Berander ; C. Wohlin
Persuading Developers to 'Buy Into' Software Process Improvement: Local Opinion and Empirical Evidence / A. Rainer ; T. Hall ; N. Baddoo
Author Index
Preface
Supporting and Sponsoring Organizations
Conference Organization
49.

図書

図書
IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004  xvi, 198 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chairs
The Technical Committee on Wearable Information Systems
Organizing Committee
Program Committee
Guest Reviewers
Sponsors
Keynote Talk
Appropriate Dress Required: Wearable Computing and Context / B. Buxton
Wellness / Session 1:
Less Contact: Heart-Rate Detection without Even Touching the User / F. Michahelles ; R. Wicki ; B. Schiele
Wearable Sensors for Auto-Event-Recording on Medical Nursing - User Study of Ergonomic Design / H. Noma ; A. Ohmura ; N. Kuwahara ; K. Kogure
Gesture / Session 2:
FreeDigiter: A Contact-Free Device for Gesture Control / C. Metzger ; M. Anderson ; T. Starner
A Robust Hand Tracking for Gesture-Based Interaction of Wearable Computers / Y. Liu ; Y. Jia
A Hybrid Sign Language Recognition System / V. Culver
Textiles / Session 3:
FICC (Floatable Intelligent and Communicative Clothing) Project - Conductive Fibers Development / V. Koncar ; B. Kim ; E. Nebor ; X. Joppin
Fibre-Meshed Transducers Based Real Time Wearable Physiological Information Monitoring System / R. Wijesiriwardana ; K. Mitcham ; T. Dias
E-Textiles for Autonomous Location Awareness / M. Chandra ; M. Jones ; T. Martin
The Design and Deployment of a Wearable Vibrotactile Feedback System / R. Lindeman ; J. Sibert ; C. Lathan ; J. Vice
System / Session 4:
Remote Collaboration Using a Shoulder-Worn Active Camera/Laser / T. Kurata ; N. Sakata ; M. Kourogi ; H. Kuzuoka ; M. Billinghurst
An Event-Driven Wearable System for Supporting Motorbike Racing Teams / M. Miyamae ; T. Terada ; M. Tsukamoto ; S. Nishio ; K. Hiraoka ; T. Fukuda
Tracking of User Position and Orientation by Stereo Measurement of Infrared Markers and Orientation Sensing / M. Maeda ; T. Ogawa ; K. Kiyokawa ; H. Takemura
Personal Mobile Hub / D. Husemann ; C. Narayanaswami ; M. Nidd
Human-Computer Interaction 1 / Session 5:
Expert Chording Text Entry on the Twiddler One-Handed Keyboard / K. Lyons ; D. Plaisted
Analysis of Wearable Interface Factors for Appropriate Information Notification / V. Kostov ; J. Ozawa ; S. Matsuura
A Comparative Investigation into Two Pointing Systems for Use with Wearable Computers while Mobile / A. Chamberlain ; R. Kalawsky
Human-Computer Interaction 2 / Session 6:
An Interaction System for Watch Computers Using Tactile Guidance and Bidirectional Segmented Strokes / G. Blasko ; S. Feiner
Evaluating Techniques for Interaction at a Distance / J. Wither ; T. Hollerer
Visual Memory Augmentation: Using Eye Gaze as an Attention Filter / D. Roy ; Y. Ghitza ; J. Bartelma ; C. Kehoe
My Own Private Kiosk: Privacy-Preserving Public Displays / M. Eaddy ; J. Babcock
Context and Interruption / Session 7:
Implementation and Evaluation of a Low-Power Sound-Based User Activity Recognition System / M. Stager ; P. Lukowicz ; G. Troster
Spine versus Porcupine: A Study in Distributed Wearable Activity Recognition / K. Van Laerhoven ; H.-W. Gellersen
Methods for Interrupting a Wearable Computer User / M. Drugge ; M. Nilsson ; U. Liljedahl ; K. Synnes ; P. Parnes
A Model for Human Interruptability: Experimental Evaluation and Automatic Estimation from Wearable Sensors / N. Kern ; S. Antifakos ; A. Schwaninger
Panel Session
Opportunities in Wearable Computing and Augmented Reality
Posters
Wireless, Low-Cost Interface for Body Area Networks / I. Locher ; H. Junker ; T. Kirstein
Discreet Markers for User Localization / Y. Nakazato ; M. Kanbara ; N. Yokoya
WHYRE: A Context-Aware Wearable Computer for Museums and Archaeological Sites / T. Cinotti ; R. Nagaraj ; G. Mincolelli ; G. Raffa ; L. Roffia ; F. Sforza
Sampling Frequency, Signal Resolution and the Accuracy of Wearable Context Recognition Systems
Developing an Integrated Wireless System for Fully Immersive Virtual Reality Environments / G. Faidley ; J. Hero ; K. Lee ; B. Lwakabamba ; R. Walstrom ; F. Chen ; J. Dickerson ; D. Rover ; R. Weber ; C. Cruz-Neira
Bloom Accessory: Accessories Using LEDs with Remote Control / Y. Kishino ; H. Fujiwara ; T. Tanaka ; A. Shimosuka ; T. Yoshihisa ; T. Itao ; M. Oe
Duo: A Wearable System that Learns about Everyday Objects and Actions / C. Kemp
Five-Point Acceleration Sensing Wireless Body Area Network - Design and Practical Experiences / A. Ylisaukko-oja ; E. Vildjiounaite ; J. Mantyjarvi
Integration of a Bluetooth Based ECG System into Clothing / J. Ottenbacher ; S. Romer ; C. Kunze ; U. Grobmann ; W. Stork
Continuous Recognition of Arm Activities with Body-Worn Inertial Sensors
Mobile Hand Tracking Using FPGAs for Low Powered Augmented Reality / W. Piekarski ; R. Smith ; G. Wigley ; B. Thomas ; D. Kearney
Shiver Motion and Core Body Temperature Classification for Wearable Soldier Health Monitoring Systems / M. Sung ; R. DeVaul ; S. Jimenez ; J. Gips ; A. Pentland
Augmenting a pH Medical Study with Wearable Video for Treatment of GERD / D. Ashbrook
Author Index
Message from the General Chair
Message from the Program Chairs
The Technical Committee on Wearable Information Systems
50.

図書

図書
edited by Edgar CHávez ... [et al.] ; sponsored by Sociedad Mexicana de Cienca de la Computación ... [et al.]
出版情報: Los Alamitos ; Tokyo : IEEE Computer Society, c2003  xiii, 347 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Organizing Committee
Preface
Program Committee
List of Reviewers
Invited Talks
Buiding and Evaluating Living Laboratories: The Grand Challenge for Ubiquitous Computing / G. Abowd
Adventures at Google / M. Farach-Colton
Ad Hoc Wireless Networks: Protocols and Applications / M. Gerla
Current Challenges in Textual Databases / G. Navarro
Solving Optimization Problems Using Parallel and Grid Computing / J. Nocedal
Synthetic Images: Past, Present and Future / A. Watt
Computational Linguistics
Toward Building Conversational Spoken-Language Interfaces: Acknowledgement Use in American English and Mexican Spanish / K. Ward ; T. Hollingsed ; J. Salmon
Evaluation of TnT Tagger for Spanish / R. Carrasco ; A. Gelbukh
Using Electronic Texts for an Annotated Corpus Building / S. Galicia-Haro
Constructive Semantics for Extensional PTQ / R. Perez
Internet Computing/Web Technology
Tool for Generating Access Patterns to Replicate Web Sites in Mobile Clients / G. Gonzalez ; R. Pazos ; V. Sosa ; F. Menchaca
Design of a VoiceXML Gateway / J. Ruiz ; J. Sanchez
GARP: A Tool for Creating Dynamic Web Reports Using XSL and XML Technologies / M. Guillen ; M. Vazquez ; H. Hernandez
Building a Flexible Web Caching System / L. Navarro
Software Engineering and Quality
A Procedure for Customizing a Software Process / G. Ibarguengoitia ; J. Salazar ; M. Sanchez ; A. Ramirez
A Formal Experiment Comparing Extreme Programming with Traditional Software Construction / F. Macias ; M. Holcombe ; M. Gheorghe
Distributed Pair Programming on the Web / H. Natsu ; J. Favela ; A. Moran ; D. Decouchant ; A. Martinez-Enriquez
Knowledge Management and Quality Certification in a Research and Development Environment / G. Rodriguez-Ortiz
Information Retrieval and Databases
SISREC: A System for Image Retrieval / H. Sossa ; J. Olguin ; A. Villasenor ; F. Toscano
Using Hermes-F: Experiences with a Framework for Developing Information Retrieval Applications / M. Maldonado-Naude ; R. Baeza-Yates
Content-Based Search and Annotations in Multimedia Digital Libraries / J. Arias
Graph-Based Knowledge Representation for GIS Data / M. Palacio ; D. Sol ; J. Gonzalez
Computer Architecture
AES Algorithm Implementation--An Efficient Approach for Sequential and Pipeline Architectures / N. Saqib ; F. Rodriguez-Henriquez ; A. Diaz-Perez
Hardware Implementation of the Binary Method for Exponentiation in GF(2[superscript m]) / M. Martinez ; G. Luna ; F. Henriquez
High Performance PPMC Compression Algorithm / C. Feregrino
Educational Computing
A Constructivist Educational Tool: Software Architecture for Web-Based Video Games / C. Vichido ; M. Estrada ; A. Sanchez
Formalizing the Learner Model for CSCL Environments / M. Ortiz ; G. Ayala ; M. Osorio
Defining and Executing Practice Sessions in a Robotics Virtual Laboratory / L. Munoz-Gomez ; M. Alencastre-Miranda ; I. Rudomin
Distributed Systems
Distributed 3D Rendering System in a Multi-Agent Platform / R. Rangle-Kuoppa ; C. Aviles-Cruz ; D. Mould
A Flexible Simulator for Distributed Algorithms / R. Marcelin-Jimenez ; R. Esquivel-Villafana ; S. Rajsbaum
Addressing Security Issues in Geographically Distributed Systems / C. Hannon ; J. Rinewalt
Evolutionary Computing I
Multiobjective-Based Concepts to Handle Constraints in Evolutionary Algorithms / E. Mezura-Montes ; C. Coello
A Coevolutionary Method for Automating Airport Gate Scheduling / A. Garza ; A. Licastro
A 'Non-Model Building' Approach to Solving Hierarchical Functions / F. Diaz ; E. de Leon ; A. Padilla ; M. Mejia
Vision and Image Processing
Object Counting without Conglomerate Separation / G. Guzman ; O. Pogrebnyak ; F. Cuevas
Hidden Markov Measure Fields for Disparity Estimation / E. Arce ; J. Marroquin
Agents
Learning When to Coordinate / C. Excelente-Toledo ; N. Jennings
Modelling Norms for Autonomous Agents / F. Lopez ; M. Luck
Inclusion of Reference Agents in a Virtual Reference Environment / M. Medina ; J. Chavez ; J. Benitez
Mathematical Programming
Application of Discrete Bilevel Programming to Some Applied Problems / S. Dempe ; V. Kalashnikov ; H. Terashima
Exploiting Surrogate Constraint Analysis for Fixing Variables in both Bounds for Multidimensional Knapsack Problems / F. Glover
Gate-Level Synthesis of Boolean Functions Using Information Theory Concepts / A. Aguirre
Computer Networks
Deployment of IPv6 Robust Header Compression Profiles 1 and 2 / A. Minaburo ; L. Toutain ; L. Nuaymi
Effects of Routing Algorithms on the Transmission of Layered Streaming Media / A. Mosri ; M. Reed
Context Transfer for Seamless Micro-Mobility / J. Oyoqui ; J. Garcia-Macias
Robotics
A Deterministic Sampling Approach to Robot Motion Planning
Mobile Robotics Virtual Laboratory over the Internet / F. Von Borstel ; B. Ponce ; J. Gordillo
Teleoperating Robots in Multiuser Virtual Environments
Evolutionary Computing II
Efficient Compression from Non-Ergodic Sources with Genetic Algorithms / A. Kuri-Morales
Metrics for Symbol Clustering from a Pseudoergodic Information Source / O. Herrera-Alcantara
ISPAES: Evolutionary Multi-Objective Optimization with Constraint Handling / S. Rionda ; G. Lizarraga
Author Index
Foreword
Organizing Committee
Preface
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼