close
1.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan, the 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, c1999  xvii, 426 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control, Gessellschaft fuer Informatik
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xiv, 422 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xvii, 445 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1993  xiv, 430 p. ; 28 cm
所蔵情報: loading…
5.

図書

東工大
目次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
6.

図書

図書
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
7.

図書

東工大
目次DB

図書
東工大
目次DB
sponsored by IEEE Computer Society ...[et al.] ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control, OMG
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2007  xv, 573 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message xi
Program Chair's Message xii
ISADS 2007 Committees xiii
AHSP 2007 Committees xv
Keynote Address 1
   OptIPuter-A High Performance SOA LambdaGrid Enabling Scientific Applications / Larry Smarr 3
Keynote Address 2
   A Service-Oriented Approach to Security-Concepts and Issues / Elisa Bertino and Lorenzo Martino 7
Session 1: Service Orientation: Service Composition/Collaboration
   RobustBPEL2: Transparent Autonomization in Business Processes through Dynamic Proxies / Onyeka Ezenwoye and S. Masoud Sadjadi 17
   Towards Distributed Web Service Composition / Snehit Prabhu 25
   Collaboration Policy Generation in Dynamic Collaborative SOA / W.T. Tsai, Qian Huang, Bingnan Xiao, Yinong Chen, and Xinyu Zhou 33
Session 2: Testing and On-line Validation
   Ontology-Based Test Case Generation for Testing Web Services / Yongbo Wang, Xiaoying Bai, Juanzi Li, and Ruobo Huang 43
   Towards Self-Testing in Autonomic Computing Systems / Tarlq King, Djuradj Babich, Jonatan Alava, Ronald Stevens, and Peter Clarke 51
   Global Constraint Checking at Run-time / Christian Hein and Tom Ritter 59
Session 3: Transportation
   Application of Assurance Technology for Railway Signaling System / Masayuki Matsumoto and Keisuke Bekki 69
   Novel Railway Signal Control System Based on the Internet Technology and Its Distributed Control Archtecture / Yamato Fukuta, Gen Kogure, Takashi Kunifuji, Hiroyuki Sugahara, Reiji Ishima, and Masayuki Matsumoto 77
   The Modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets / Tianhua and Tao Tang 83
Keynote Address 3
   Enviroment of Intellect; 7 issues We Need to Think About for the Future / Yoshinobu Tonomura 93
Session 4: Service Orientation: Architecture, Infrastructure
   The Semantic Data Space for Loosely Coupled Service Provisioning / David Linner, Ilja Radusch, Stephan Steglich, and Carsten Jacob 97
   A New SOA Data-Provenance Framework / Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Ray Paul, Yinong Chen, and Jen-Yao Chung 105
   Should the Grid Middleware Look to Self-managing Capabilities? / Ramon Nou, Ferran Julia, and Jordi Torres 113
Session 5: Sensor and Ad Hoc Networks (1)
   Mobility Support for Users in Wireless Sensor Networks / Sang-Sik Kim and Ae-Soon Park 123
   A Hybrid Routing with Location Information for Mobile Ad Hoc Networks / Hiroshi Nakagawa, Tomoyuki Ohta, Kenji Ishida, and Yoshiaki Kakuda 129
   Mobile Phone Based Ad Hoc Network Using Built in Bluetooth for Ubiquitous Life / Hitomi Murakami, Atsushi Ito, Yu Watanabe, and Takao Yabe 137
Session 6: Service Orientation: Discovery, Access, Application
   Functionality-Based Service Matchmaking for Service-Oriented Architecture / Stephan Yau and Junwei Liu 147
   Change Management in Semantic Business Processes Modeling / Uttam Kumar Tripathi and Knut Hinkelmann 155
   Autonomous Correlated Services Access for High Response in Intergrated Faded Information Field Systems / Xiaodong Lu, Kinji Mori, and Yongdong Tan 163
Session7: Sensor and Ad Hoc Networks (2)
   An On-demand Address Allocation Scheme for Query Based Sensor Networks / Weiwei Fang, Yi Liu, Jin Wu, and Depei Qian 173
   An Effcient On-Demand Hierarchical Routing Protocol Based on Autonomous Clustering for Mobile Ad Hoc Networks / Ryotaro Oda, Tomoyuki Ohta, and Yoshiaki Kakuda 180
   Locality-Preserving Distributed Path Reservation Protocol for Asynchronous Cooperative Mobile Robots / Rami Yared, Julien Cartigny, Xavier Defago, and Matthias Wiesmann 188
   Optimizing Query Injection from Mobile Objects to Sensor Networks / Shourui Tian and Sol M. Shatz 196
Session8: Assurance and Fault-Tolerance
   Research of Reliability Technology in Heterogeneous Autonomous Decentralized Assurance Systems / Akio Shiibashi, Takashi Kuroda, Motoharu Yamana, and Kinji Mori 207
   Distribution Algorithm for Newly Allcated Update Allowance (AV) in the Autonomous Decentralized Database System (ADDS) / Isao Kaji 215
   Autonomous Fault Recovery Technology for Continuous Service in Distributed VOD System / Yuta Nakatogawa, Shoichi Murakami, Miho Kanda, Kinji Mori, Ryuji Takanuki, and Yasushi Kuba 221
Session9: Agent Systems and Networking
   Autonomous Real-Time Navigation for Service Level Agreement in Distributed Information Service System / Khalid Mahmood, Satoshi Niki, Yuuki Nakahara, Xiaodong Lu, Ivan Luque, and Kinji Mori 231
   SAGE-LITE: An Architecture and Implementation of Light Weight Multi-agent System / Sana Khalique, Sana Farooq, Hafiz Farooq Ahmad, Hiroki Suguri, and Arshad Ali 239
   An Approach of End-to-End DiffServ/MPLS QoS Context Transfer in HMIPv6 Networks / Chuda Liu, Yi Liu, Depei Qian, and Mingxiu Li 245
Session 10: Resource Abstraction and Management
   Autonomous Decentralized Load Tracking Systems and Evaluation Criteria for Response and Stability / Tetsuya Masuishi, Koichi Shibata, Yasuyuki Oki, and Kinji Mori 255
   Merging CBR and Neural Networks for SLA-Based Radio Resource Management for QoS Sensitive Cellular Networks / Muhammad Umer Hkan, Muhammad Qaisar Ch, Hafiz Farooz Ahmad, Liaqut Ali, Arshad Ali, and Hiroki Suguri 263
   Virtual Device Composition / Mario Schuster, Alexander Domene, Raju Vaidya, Stefan Arbanowski, Su Myeon Kim, Jin Wook Lee, and Hun Lim 270
Session 11: Security, Safety, and Trust
   Mass Mailing Worm Detection by Means of Situation Aware DNS / Nikolaos Chatzis 279
   Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software / Tibor Farkas and Daniel Grund 287
   Trust for Vehicular Applications / Matthias Gerlach 295
Keynote Address 4
   Quality Assurance for Autonomous Systems-A Review of Model-Based Methods / Ina Schieferdecker 305
Session 12: Invited Paper (1)
   Dynamic Clustering Model for High Service Availability / Sung Hocheol, Han Sunyoung, Choi Byounguk, Kim Heemin, Song Jungwook, Ang Chee-Wei, Cheng Wang-Cho, and Wong Kim-Sing 311
   A UDP Based Protocol for Distributed P2P File Sharing / Yao-Nan Lien and Hong-Qi Xu 318
   Context-Based Service Discovery for Enhanced Learning Object in P2P Networks / Qianhui Liang and Zhaohui Wu 325
(Session 13) Special Session: Ad Hoc Networks in Automotive Telematics Applications (1)
   An Approach to Positioning Road-User in a Telematics Network / Mats Rydstrom, Erik Strom, Arne Svensson, and Luca Reggiani 335
   Enforcing Privacy Using Symmetric Random Key-Set in Vehicular Networks / Yong Xi, Kewei Sha, Weisong Shi, Loren Schwiebert, and Tao Zhang 344
   Mobile Service Discovery Protocol (MSDP) for Mobile Ad-Hoc Networks Jui-Chi Liang, Jyh-Cheng Chen, and Tao Zhang 352
Session 14: Invited Paper (2)
   An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language / Michael Medina and Joseph Urban 363
   A TTF-Based Programming Model and a Support Kernel Running on a Communicating Sensor Platform / Kane Kim, Keizo Fujiwara, Moon-Cheol Kim, Liangchen Zheng, Kenichi Watanabe, and Makoto Takizawa 368
   Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems / Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, and Michele Vadursi 377
(Session 15) Special Session: Ad Hoc Networks in Automotive Telematics Applications (2)
   Piggybacked Acknowledgement for Reception Assesment in a Pervasive Broadcasting System / Daniel Jiang, Miro Bogdanovic, and Luca Delgrossi 387
   DiffServ QoS and OLSR MANET Outdoor Demonstration / Isil Sebuktekin, Brandon Yoon, Byungsuk Kim, Ashok Ranade, Taek Jin Kwon, Marcus Pang, William Stephens, Michael Bereschinsky, Charles Graff, Larry Muzzelo, Michael Acriche, Aristedes Staikos, Ben Foresta, and Dennis Chen 394
Session 16: Multimedia Content and Service Provisioning
   Self-Organizing Pervasive Online Communities / Stefan Foell, Philippe Boessling, David Linner, Ilja Radusch, and Stephan Steglich 403
   MCDN; Multimedia Content Discovery and Delivery / Joachim Sokol, and Klaus-Peter Eckert 411
   WebPeer: A Peer-to-Peer Infrastructure for Publishing/Locating/Replicating Web Pages on Internet Heverson Borba Ribeiro, Lau Cheuk Lung, Altair Olivo Santin, and Neander Larsen Brisola 421
   Next Generation IPTV Services for an Extended IMS Architecture / Oliver Friedrich, A. Al-Hezmi, Stefan Arbanowski, and Thomas Magedanz 429
Session17: Community and Context-Awareness
   Autonomous Community Integration and Division Technology for High Response Service / Kotaro Hama, Yuji Horikoshi, Hiroyuki Endo, Benjamin Kloester, and Xiaodong Lu 437
   A Generic Multipurpose Recommender System for Contextual Recommendations / Christian Rack, Stefan Arbanowski, and Stephan Steglich 445
   An Asynchronous Messaging Platform for Development of Context-aware Services Taro Nakao and Shigetoshi Yokoyama 451
   A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications / John Kinnebrew, Ankit Gupta, Nishanth Shankaran, Gautam Biswas, and Douglas Schmidt 461
Session 18: Algorithm and Control
   A Hybrid GA-BP Model for Bankruptcy Prediction / Ying Sai, Chenjian Zhong, and Lehong Qu 473
   Decomposition of Times Petri Nets for Solving Scheduling Problems with Multiple Entities / Tatsushi Nishi 478
   Developing Autonomic Feedback Control for Heterogeneous Systems Using Cascaded Controllers / Wael Hosny Fouad Aly and Hanan Lutfiyya 484
   Quantitive Performance Modeling and Evaluation for Servo Control Systems Based on F-AHP / Wang Shou-kun, Wang Jun-zheng, and Shen Wei 492
Panel Session: Is Service-Oriented Archtecture Appropriate for Autonomous Decentralized Systems?
The Second International Workshop on Ad Hoc, Sensor and P2P Networks (AHSP2007)
AHSP Session 1: Keynote Speech, Topology Control
   Recent Developments in Wide Area Ubiquitous Network Research / Hiroshi Saito and Koichi Takasugi 503
   S-XTC: A Signal-Strength Based Topology Control Algorithm for Sensor Networks / Matthias Dyer, Jan Beutel, and Lothar Thiele 508
AHSP Session 2: Routing
   Unidirectional Ad Hoc Routing Protocol with Area-Controlled Flooding Using Overhead Neighbor Node Information / Hiroaki Morino, Takumi Miyoshi, and Masakatsu Ogawa 519
   An Autonomous Method for Aggregating and Repairing Paths in Sensor Networks / Shinji Inoue, Noriyuki Masuda, and Yoshiaki Kakuda 526
   Improving the Accuracy of Passive Duplicate Address Detection Algorithms over MANET On-demand Routing Protocols / Dongkyun Kim, Hong-Jong Jeong, Sutaek Oh, and Juan-Carlos Cano 534
AHSP Session 3: Security, Survivability, Performance Evaluation
   Preventing Resource Exhaustion Attacks in Ad Hoc Networks / Masao Tanabe and Mmasaki Aida 543
   Longer Network Lifetime when Using Energy Efficient GSP for Wireless Sensor Networks / Debdhanit Yupho, Maria Calle, and Joseph Kabara 549
   Parallel Downloading Method using HTTP over UDP for High Loss Rate and Delay Networks / Junichi Funasaka, Yusuke Takemoto, and Kenji Ishida 555
   A Self-Organizing Communication Mechanism Using Traveling Wave Phenomena for Wireless Sensor Networks / Yoshiaki Taniguchi, Naoki Wakamiya, and Masayuki Murata 562
Author Index 571
General Chair's Message xi
Program Chair's Message xii
ISADS 2007 Committees xiii
8.

図書

図書
sponsored by IEEE Computer Society, in cooperation with the International Federation of Information Processing
出版情報: Silver Spring, MD : IEEE Computer Society Press , Piscataway, NJ : Order from IEEE Service Center, c1984  xix, 876 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼