close
1.

図書

図書
edited by Winfried Lamersdorf, Volker Tschammer, Stéphane Amarger
出版情報: Boston ; London : Kluwer Academic Pub., 2004  xii, 489 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 146
所蔵情報: loading…
2.

図書

図書
edited by Yves Deswarte ... [et al]
出版情報: Boston : Kluwer Academic Publishers, 2004  xiv, 548 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 147
所蔵情報: loading…
3.

図書

図書
edited by Lynn Futcher, Ronald Dodge
出版情報: New York : Springer, c2007  [11], 148 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 237
所蔵情報: loading…
4.

図書

図書
editors Liria M. Sato ... [et al.] ; sponsored by Brazilian Computer Society (SBC) ; co-sponsored by IFIP, International Federation for Information Processing ; in cooperation with IEEE Computer Society ; organization Universidade São Paulo
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 2003  xiii, 269 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Conference Organizers
Program Committee
Reviewers
Brazilian Computer Society (SBC)
Cache and Memory Architectures / Session 1:
Exploring Memory Hierarchy with ArchC / P. Viana ; E. Barros ; S. Rigo ; R. Azevedo ; G. Araujo
Adaptive Compressed Caching: Design and Implementation / R. de Castro ; A. Pereira do Lago ; D. Menezes da Silva
Enabling Dual-Core Mode in BlueGene/L: Challenges and Solutions / G. Almasi ; L. Bachega ; S. Chatterjee ; M. Gupta ; D. Lieber ; X. Martorell ; J. Moreira
Processor Architectures / Session 2:
Complex Branch Profiling for Dynamic Conditional Execution / R. dos Santos ; T. dos Santos ; M. Pilla ; P. Navaux ; S. Bampi ; M. Nemirovsky
The Limits of Speculative Trace Reuse on Deeply Pipelined Processors / A. da Costa ; F. Franca ; B. Childers ; M.L. Soffa
Languages and Tools for Parallel and Distributed Programming / Session 3:
JRastro: A Trace Agent for Debugging Multithreaded and Distributed Java Programs / G. Jacques da Silva ; L. Mello Schnorr ; B. de Oliveira Stein
On the Implementation of SPMD Applications Using Haskell# / F. Heron de Carvalho Jr. ; R. Dueire Lins ; N. Cruz Quental
Performance Analysis of DECK Collective Communication Service / R. Silva ; D. Picinin ; M. Barreto ; R. Avila ; T. Diverio
A Modeling Methodology and Pre-Runtime Scheduling for Embedded Real-Time Software / R. Barreto ; P. Maciel ; S. Cavalcante
Grid, Cluster and Pervasive Computing / Session 4:
Performance Issues of Bandwidth Reservations for Grid Computing / L.-O. Burchard ; H.-U. Heiss ; C. De Rose
An Evaluation of cJava System Architecture / A. Faustino da Silva ; M. Lobosco ; C. Luis de Amorim
ProGrid: A Proxy-Based Architecture for Grid Operation and Management / P. Capellotto Costa ; S. Donizetti Zorzo ; H. Crestana Guardia
High Performance Applications I / Session 5:
Optimizing Packet Capture on Symmetric Multiprocessing Machines / G. Varenni ; M. Baldi ; L. Degioanni ; F. Risso
A Parallel Implementation of the LTSn Method for a Radiative Transfer Problem / R. Souto ; H. de Campos Velho ; S. Stephany ; A. Preto ; C. Segatto ; M. Vilhena
Parallel Implementation of a Lattice-Gauge-Theory Code: Studying Quark Confinement on PC Clusters / A. Cucchieri ; T. Mendes ; G. Travieso ; A. Taurines
High Performance Applications II / Session 6:
Applying Scheduling by Edge Reversal to Constraint Partitioning / M. Rodriguez Pereira ; P. Kayser Vargas ; M. Clicia Stelling de Castro ; I. De Castro Dutra
Comparison of Genomes Using High-Performance Parallel Computing / N. Almeida Jr. ; C. Alves ; E. Caceres ; S. Song
Finite Difference Simulations of the Navier-Stokes Equations Using Parallel Distributed Computing / J. Paulo de Angeli ; A. Valli ; N. Reis Jr. ; A. De Souza
Parallel and Distributed Algorithms / Session 7:
New Parallel Algorithms for Frequent Itemset Mining in Very Large Databases / A. Veloso ; W. Meira Jr. ; S. Parthasarathy
BSP/CGM Algorithm for Maximum Matching in Convex Bipartite Graphs / J. Soares ; M. Stefanes
A BSP/CGM Algorithm for Computing Euler Tours in Graphs / C. Nasu
Performance Analysis Issues for Parallel Implementations of Propagation Algorithm / L. Brenner ; L. Gustavo Fernandes ; P. Fernandes ; A. Sales
Load Balancing and Scheduling / Session 8:
Dynamic Load Balancing in PC Clusters: An Application to a Multi-Physics Model / R. Vargas Dorneles ; R. Luis Rizzi
Hybrid Task Scheduling: Integrating Static and Dynamic Heuristics / C. Boeres ; A. Lima ; V. Rebello
Load Balancing on Stateful Clustered Web Servers / G. Teodoro ; T. Tavares ; B. Coutinho ; D. Guedes
Benchmarking, Performance Measurements and Analysis / Session 9:
PM2P: A Tool for Performance Monitoring of Message Passing Applications in COTS PC Clusters / M. Haridasan ; G. Pfitcher
Profiling and Optimization of Software-Based Network-Analysis Applications
Boosting Performance for I/O-Intensive Workload by Preemptive Job Migrations in a Cluster System / X. Qin ; H. Jiang ; Y. Zhu ; D. Swanson
Reconfigurable Systems / Session 10:
Three Hardware Implementations for the Binary Modular Exponentiation: Sequential, Parallel and Systolic / N. Nedjah ; L. de Macedo Mourelle
Fast Parallel FFT on a Reconfigurable Computation Platform / A. Kamalizad ; C. Pan ; N. Bagherzadeh
X4CP32: A New Hybrid Parallel/Reconfigurable General-Purpose Processor / R. Soares ; A. Azevedo ; I. Saraiva Silva
Author Index
Message from the General Chair
Message from the Program Chair
Conference Organizers
5.

図書

図書
edited by Eileen M. Trauth ... [et al.]
出版情報: New York : Springer, 2006  vii, 417 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 208
所蔵情報: loading…
6.

図書

図書
edited by Dominique Gaïti
出版情報: New York : Springer, c2006  vi, 236 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 213
所蔵情報: loading…
7.

図書

東工大
目次DB

図書
東工大
目次DB
sponsored by IEEE Computer Society, Information Processing Society of Japan, Society of Instrument and Control Engineers of Japan, Institute of Electronics, Information, and Communication Engineers, Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001  xvi, 484 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
GENERAL CHAIR'S MESSAGE
PROGRAM CHAIR'S MESSAGE
CONFERENCE ORGANIZERS
REVIEWERS
KEYNOTE ADDRESS
   New Business Trends in IT Services Yuji Inoue, NTT Data Corporation
SESSION 1: ELECTRONIC COMMERCE: MODELS AND PROTOCOLS
   A Dependable Distributed Auction System: Architecture and an Implementation Framework P. Ezhilchelvan and G. Morgan 3
   An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce H. Xu and S. Shatz 11
   Formal Analysis of E-Commerce Protocols M. Papa, O. Bremer, J. Hale, and S. Shenoi 19
   An Automated Negotiation Model for Electronic Commerce J. Ueyama and E. Madeira 29
SESSION 2: HIGH ASSURANCE SYSTEMS
   Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions B. Ravindran, P. Kachroo, and T. Hegazy 39
   A High Assurance On-Line Recovery Technology for a Space On-Board Computer H. Yashiro, T. Fujiwara, and K. Mori 47
   An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors L. Xue, K. Zhang, and C. Sun 57
   Autonomous Information Provision to Achieve Reliability for Users and Providers H. Ahmad, G. Sun, and K. Mori 65
SESSION 3: PANEL: XML AND E-BUSINESS FRAMEWORKS
   Chair: M. Heller
   Panelists: E. Ferari, J. Putman, T. Gannon
SESSION 4: FAULT TOLERANCE AND SAFETY CRITICAL SYSTEMS
   On Godefroid's Stateless Search Technique for Testing Concurrent Programs K-C. Tai and B. Karacali 77
   Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems K. Kera, K. Bekki, N. Miwa, F. Kitahara, K. Kamijyo, and K. Seki 85
   Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework F. Greve, M. Hurfin, M. Raynal, and F. Tronel 93
   Safety Assurance via On-Line Monitoring S. Dolev and F. Stomp 101
SESSION 5: ARCHITECTURES AND MODEL FOR DISTRIBUTED SYSTEMS
   Modularized System Architecture for Flexible Clinical Laboratory Systems H. Mitsumaki, T. Ikeda, R. Kodama, and T. Aizono 111
   A 3D Interface for the Administration of Component-Based, Distributed Systems O. Stiemerling, M. Hallenberger, and A. Cremers 119
   UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces E. Astesiano and G. Reggio 127
   Scenario-Based Service Composition Method in the Open Service Environment K. Kiwata, A. Nakano, S. Yura, T. Uchihashi, and A. Kanai 135
SESSION 6: PANEL: AGENT-BASED ELECTRONIC COMMERCE
   Chairs: J-Y. Chung and J. Lee
   Panelists: L. Lee, C. Priest, J. Youll, J. Hanson, M. Hsu
   Agent-Based Electronic Commerce: Opportunities and Challenges J-Y. Chung and J. Lee 143
   Agent-Based Auctions L. Lee 144
   Agent-Based Electronic Commerce: Opportunities and Challenges J. Youll 146
   Cultivating the Agent Economy J. Hanson 149
SESSION 7: ELECTRONIC COMMERCE: TECHNOLOGIES AND ARCHITECTURES
   A Decentralized XML Database Approach to Electronic Commerce H. Ishikawa and M. Ohta 153
   Commitment-Based Interoperation for E-Commerce J. Xing, F. Wan, S. Rustogi, and M. Singh 161
   Service Matching and Collaboration for Electronic Commerce S. Yura, K. Kiwata, A. Nakano, T. Uchihashi, and A. Kanai 169
   Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems Y. Chen and Z. He 176
SESSION 8: DISTRIBUTED OBJECT MANAGEMENT SYSTEMS
   A Distributed Asynchronous Execution Semantics for Programming the Middleware Machine A. Berry and S. Kaplan 187
   Quorum-Based Locking Protocol for Replicas in Object-Based Systems K. Tanaka and M. Takizawa 196
   Integrating Autonomous Enterprise Systems through Dependable CORBA Objects C. Marchetti, A. Virgillito, M. Mecella, and R. Baldoni 204
   Reflective Decision Controls for Autonomous Distributed Objects E-H. Huang and T. Elrad 212
SESSION 9: SHORT PAPERS
   Location Transparent Distributed Scripts and Their Execution Systems on D'Agent O. Honda, H. Tada, and M. Higuchi 223
   Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit S. Tagashira, K. Saisho, and A. Fukuda 227
   Simulating Agent Based Processing in an ADS Using C++ SIM C. Lee, J. Kim, J. Stach, and E. Park 231
   The New ATC Systems with an Autonomous Speed Control with On-Board Equipment M. Matsumoto, A. Hosokawa, S. Kitamura, D. Watanabe, and A. Kawabata 235
   Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint Y. Tahara, A. Ohsuga, and S. Honiden 239
   Mobile Agents in Network-Centric Warfare M. Ceruti 243
   Building Holonic Control Systems with Function Blocks M. Fletcher 247
   Reactive Web Agents with Open Constraint Programming K. Zhu, W-Y. Tan, A. Santosa, and R. Yap 251
   An Architecture for Adaptively Replicating Cooperative Shared Objects Z. Jun and Y. Yong 255
   The Wireless World in 2010: New Orientations Fiona Williams
SESSION 10: MULTI-AGENT SYSTEMS
   A Framework for Developing Reactive Information Agents with Heterogeneous Communication Capabilities D. Vyzovitis and K. Clark 263
   Rule-Driven Coordination Agents: A Self-Configurable Agent Architecture for Distributed Control M. Blake 271
   Mobile Agent Messaging Models D. Deugo 278
   Decentralized Control of Hybrid Systems R. Palm and T. Runkler 287
SESSION 11: PANEL: EMBEDDED SYSTEMS
   Chair: F. Bastani
   Panelists: B. Cukic, T. Labbe, A. Lee, J. Linn, R. Paul, V. Winter
   The Need for Verification and Validation Techniques for Adaptive Control System B. Cukic 297
   Embedded Software Development Challenges in the Digital Signal Processing Era J. Linn 299
SESSION 12: MIDDLEWARE TECHNOLOGIES
   Type-Safe Trading Proxies Using TORBA R. Marvie, P. Merle, J-M. Geib, and S. Leblanc 303
   An Automated Client-Driven Approach to Data Extraction Using an Autonomous Decentralized Architecture M. Blake and P. Liguori 311
   Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network Environments S. Yau and F. Karim 319
   TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object Programming K. Kim, J. Liu, H. Miyazaki, and E. Shokri 327
SESSION 13: PANEL: MOBILE COMPUTING AND COMMUNICATION
   Chair: Janice Putman
   Panelists: W. Ruh, L. Strick, T. Wheeler
SESSION 14: AGENT TECHNOLOGIES FOR ELECTRONIC COMMERCE
   How Agents from Different E-Commerce Enterprises Cooperate Q. Chen, M. Hsu, and I. Kleyner 341
   Brokering Based Self Organizing E-Service Communities S. Helal, M. Wang, A. Jagatheesan, and R. Krithivasan 349
   A Real-Time Multi-Agent System Architecture for E-Commerce Applications L. DiPippo, V. Fay-Wolfe, L. Nair, E. Hodys, and O. Uvarov 357
   Flexible Manufacturing Control with PLC, CNC and Software Agents R. Schoop, R. Neubert, and B. Suessmann 365
SESSION 15: SELF-STABILIZING SYSTEMS
   The Multi-Agent System for Dynamic Network Routing R. Onishi, S. Yamaguchi, H. Morino, H. Aida, and T. Saito 375
   Ant Colony Control for Autonomous Decentralized Shop Floor Routing V. Cicirello and S. Smith 383
   A Study of Synthetic Creativity through Behavior Modeling and Simulation of an Ant Colony P. Heck and S. Ghosh 391
   A Stabilizing Search Tree with Availability Properties T. Herman and T. Masuzawa 398
   Decentralized E-Business Applications for Government Systems Henry Bayard
SESSION 16: SECURE SYSTEMS AND APPLICATIONS
   Data Protection in Mobile Agents: One-time Key-based Approach J-Y. Park, D-I. Lee, and H-H. Lee 411
   Access Revocation and Prevention of False Repudiation in Secure Email Exchanges L. Bai, R. Achuthanandam, and M. Kam 419
   Formal Analysis of Software Security System Architectures Y. Deng, J. Wang, and J. Tsai 426
   Concepts and Architecture of a Security-Centric Mobile Agent Server V. Roth and M. Jalali-Sohi 435
SESSION 17: PANEL: ROBOTICS FOR EDUCATION AND ENTERTAINMENT
   Chairs: M. Fujita, R. Arkin
   Panelists: M. Veloso, T. Shibata, J. Yamato
SESSION 18: MODELING AND PERFORMANCE ANALYSIS
   Autonomous Data Consistency Technique through Fair Evaluation among Heterogeneous Systems I. Kaji, S. Kato, and K. Mori 447
   Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments I-R. Chen, N. Phan, and I-L. Yen 456
   GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems N. Giambiasi, B. Escude, and S. Ghosh 464
   Autonomous Navigation in Information Service Systems for Load Balancing User Demands H. Arfaoui and K. Mori 470
SESSION 19: PANEL: SECURITY FOR THE WEB AND E-COMMERCE SYSTEMS
   Chair: Bhavani Thuraisingham
   Panelists: E. Bertino, T.Y. Lin, S. Shenoi, A. Ghosh
PANEL: FUTURE OF AUTONOMOUS DECENTRALIZED SYSTEMS
   Chair: Steven Yau
   Panelists: K. Mori, R. Popescu-Zeletin, B. Thuraisingham, J. Tsai, L. Strick, M. Imase
GENERAL CHAIR'S MESSAGE
PROGRAM CHAIR'S MESSAGE
CONFERENCE ORGANIZERS
8.

図書

図書
edited by Susan Finger, Tetsuo Tomiyama, Martti Mäntylä
出版情報: Boston : Kluwer Academic Publishers, c2000  xi, 326 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Report on Workshop / Part 1:
Knowledge Intensive Computer Aided Design: Past, Present and Future / Tomiyama, T. ; Hew, K.P.1.:
Invited Talk / Part 2:
Supporting the Knowledge Life-Cycle / Blessing, L. ; Wallace, K.2.:
Ontology / Part 3:
Ontological Commitments in Knowledge-Based Design Software: A Progress Report / Salustri, F.A.3.:
Classification of Knowledge for Generating Engineering Models -A Case Study of Model Generation in Finite Element Analysis- / Sekiya, T. ; Tsumaya, A.4.:
Design History System: Data Models and Prototype Implementation / Shah, J.J. ; Rangaswamy, S. ; Qureshi, S. ; Urban, S.D.5.:
Knowledge Intensive Cad (Kic) / Part 4:
Modeling of Product Life-cycle Knowledge and Data for an Intelligent Concurrent Design System / Xue, D.6.:
Model Sharing among Agents in a Concurrent Product Development Team / Ozawa, M. ; Cutkosky, M.R. ; Howley, B.J.7.:
Design-to-Manufacture Information Transfer in the Context of Solid Freeform Fabrication Technologies / Rosen, D.W.8.:
An Application of the Knowledge Intensive Engineering Framework to Building Foundation Design / Yoshioka, M. ; Shamoto, Y.9.:
Knowledge Intensive Design (Kid) / Part 5:
Supporting Conceptual Design: A Model for Reflective-Interactive Design / Chan, B. ; Finger, S.10.:
A Knowledge Based Engineering Application to Support Weight Distribution Analysis for IRL Cars / Susca, L. ; Mandorli, F. ; Rizzi, C. ; Cugini, U.11.:
Lens Barrel Design Based On Distributed Knowledge-Base / Bok, K. ; Myung, S. ; Han, S.-H.12.:
Knowledge Representation for Kic / Part 6:
Guiding Agent Learning in Design / Grecu, D.L. ; Brown, D.C.13.:
A KICAD Tool For Pro-Active Exploration Support To 'Design Synthesis For Multi-X' / Borg, J.C. ; Yan, X.-T. ; Juster, N.P.14.:
Author index
Keyword index
Preface
Report on Workshop / Part 1:
Knowledge Intensive Computer Aided Design: Past, Present and Future / Tomiyama, T. ; Hew, K.P.1.:
9.

図書

図書
edited by Tom van Weert, Arthur Tatnall
出版情報: New York : Springer, c2005  xii, 285 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 182
所蔵情報: loading…
10.

図書

図書
edited by Elizabeth M. Belding-Royer, Khaldoun Al Agha, Guy Pujolle
出版情報: New York : Springer, 2005  508 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 162
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼