Sponsored by the Materials Research Society of Japan and the Magnetics Society of Japan ; in cooperation with the Institute of Electrical Engineers of Japan ... [et al.]
出版情報:
Tokyo : Magnetics Society of Japan, c1998 xvi, 455 p. ; 30 cm
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, c1988 ix, 679 p. ; 31 cm.
co-sponsored by Japan Society of Applied Physics, IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers, IEEE EDS Japnan [i.e. Japan] Chapter, IEEE EDS Kansai Chapter
出版情報:
Tokyo : Business Center for Academic Societies Japan , Piscataway, N.J. : IEEE Service Center, c2002 xiv, 284 p. ; 28 cm
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and Software
出版情報:
Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000 xiii, 240 p. ; 28 cm
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong
Application of Formal Methods to Railway Systems / Jim Woodcock
Global Information Processing Technology
Opening Address / Kenji Ohmori
Invited Speech
Complexity: Concept, Causes and Control / John A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart
Parallel Sessions
System Modeling / Jeff A. OffuttSession 1：
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey
Special Session: Network Software I / Yasushi WakaharaSession 2：
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze
Systems Development / Paolo Nesi
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen
Using the Right Tool for the Job / W. Howerton
Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin
Closing Address / Yoshiaki Kakuda
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap
Special Session: Formal Engineering Method--SOFL
SOFL Language and Method for Software Development
Reusable Semantics for SOFL / J. Dong
Generating Test Data from SOFL Specifications / J. Offutt
Software Verification, Management, and Business Application Using SOFL / H. Tomioka ; F. Nagoya
Dynamically Detecting Relevant Program Invariants / Alexander D. Stoyen ; David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding
Automated Result Verification with AWK / B. Bakar ; T. Janowski
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama
Communication and Control Systems / Kenji Toda
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe
Cost Models for Electronic Architecture Trade Studies / J. Axelsson
Sponsored by the Japan Society of Applied Physics in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, : Business Center for Academic Societies Japan, c1985 v, 470 p. ; 31 cm
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報:
Tokyo : Japan Society of Applied Physics, c1999 xxxix, 599 p. ; 30 cm
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報:
Sendai : Japan Society of Applied Physics, c2000 xxxvii, 565 p. ; 30 cm
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報:
Tokyo : Japan Society of Applied Physics, c1997 xxxiii, 587 p. ; 30 cm
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society : in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報:
東京 : 応用物理学会固体素子・材料コンファレンス, 1998.9 xvi, 510 p. ; 30 cm
sponsored by the IEEE Communications Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers and the Acoustical Society of Japan
出版情報:
New York : IEEE Communications Society, c1994 viii, 164 p. ; 30 cm
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, c1996 xxxv, 885 p. ; 30 cm
A.M. Goncharenko ... [et al.], chairs/editors ; organized by Division for Optical Problems of Information Technologies, Academy of Sciences of the Republic of Belarus, Joint USSR-USA Enterprise "TEMPO" ; sponsored by Academy of Sciences of the Republic of Belarus ... [et al.] ; endorsed by International Commission for Optics (ICO) ; in cooperation with Institute of Electronics, Information and Communication Engineers (IEICE Japan) ... [et al.]
出版情報:
Bellingham, Wash. : SPIE, c1993 xi, 540 p. ; 28 cm
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, c1995 xxxx, 1104 p. ; 30 cm
sponsored by the IEICE of Japan (Technical Group on Power Engineering in Electronics and Communications), the IEEE Communications Society and the IEEE Power Electronics Society
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, c1991 xvi, 770 p. ; 30 cm.
cosponsored by the Institute of Electronics, Information and Communication Engineers, the Japan Society of Applied Physics, Optoelectronic Industry and Technology Development Association ; in cooperation with the IEEE Lasers and Electro-Optics Society
出版情報:
Tokyo : Order from: Business Center for Academic Societies Japan, [1992] xx, 276 p. ; 28 cm
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, c1992 xxviii, 772 p. ; 30 cm.
Sponsored by the Japan Society of Applied Physics in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, : Business Center for Academic Societies Japan, c1989 viii, 605 p. ; 31 cm
Sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, c1990 xiii, 1247 p. ; 31 cm.
sponsored by the Japan Society of Applied Physics (JSAP), the Institute of Electronics, Information, and Communication Engineers (IEICE), Optoelectronic Industry and Technology Development Association (OIDTA) ; in cooperation with the Institute of Electrical and Electronics Engineers (IEEE, LEO-S) ... [et al.]
出版情報:
Tokyo, Japan : Publication Office, Japanese Journal of Applied Physics, 1987 253 p. ; 30 cm
sponsored by the Japan Society of Applied Physics (JSAP), the Institute of Electronics, Information, and Communication Engineers (IEICE), Optoelectronic Industry and Technology Development Association (OIDTA) ; in cooperation with the Institute of Electrical and Electronics Engineers (IEEE, LEO-S) ... [et al.]
出版情報:
Tokyo, Japan : Publication Office, Japanese Journal of Applied Physics, 1989 382 p. ; 30 cm
[sponsors, Institute of Electrical and Electronics Engineers, Union Radio Scientifique Internationale, the Institute of Electronics, Information, and Communication Engineers of Japan]
出版情報:
Piscataway : IEEE Service Center, c1993 4 v. ; 28 cm
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, c1993 xxxiv, 1097 p. ; 30 cm.
sponsored by the Japan Society of Applied Physics ; in cooperation with the Institute of Electronics, Information and Communication Engineers of Japan ... [et al.]
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, c1994 xxxvi, 1010 p. ; 30 cm.
organized by Société des Electriciens de des Electroniciens ; sponsored by Institute of Electronics, Information and Communication Engineers ... [et al.]
sponsored by the Institute of Electronics, Information and Communication Engineers (IEICE) ; cooperatively sponsored by IEEE MTT-S, URSI and IEEE MTT-S Japan Chapter
出版情報:
[Tokyo] : [Institute of Electronics, Information and Communication Engineers], [2006] 599 p. ; 30 cm
sponsored by the Institute of Electronics, Information and Communication Engineers (IEICE) ; cooperatively sponsored by IEEE MTT-S ... [et al.] : supported by Ministry of Internal Affairs and Communications
出版情報:
[Tokyo] : Institute of Electronics, Information and Communication Engineers, c2010 1 CD-ROM ; 12 cm
sponsored by the Institute of Electronics, Information and Communication Engineers (IEICE) ; cooperatively sponsored by IEEE MTT-S ... [et al.] : supported by Ministry of Internal Affairs and Communications
出版情報:
[Tokyo] : Institute of Electronics, Information and Communication Engineers, c2010 1 CD-ROM ; 12 cm
sponsored by the Institute of Electronics, Information and Communication Engineers (IEICE) ; cooperatively sponsored by IEEE MTT-S ... [et al.] : supported by Ministry of Internal Affairs and Communications
出版情報:
[Tokyo] : [Institute of Electronics, Information and Communication Engineers], [2010] 330 p. ; 30 cm
[sponsored by IEEE Computer Society, Information Processing Society of Japan, Society of Instrument and Control Engineers of Japan, Institute of Electronics, Information, and Communication Engineers, Japan, AICA]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xvi, 336 p. ; 28 cm
Distributed Systems: Lessons Learned and Challenges Remaining / Alfred Z. Spector
Kanai Award 2002
Software Development Support for Next-Generation Distributed Embedded Systems / Stephen S. Yau
Keynote Address 1
Autonomic Computing / David L. Cohn
Group Coordination and Management / Session 1：
Managing Dynamic Groups of Mobile Systems / S. Schemmer ; E. Nett
Assuring Interoperability in Heterogeneous, Autonomous and Decentralized Multi-Agent Systems / H. Suguri ; E. Kodama ; M. Miyazaki
Dynamic Information Allocation through Mobile Agents to Achieve Load Balancing in Evolving Environment / H. F. Ahmad
Architectures 1 / Session 2：
The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture / G. Bauer ; H. Kopetz ; W. Steiner
An Adaptable Architecture for Secure Delivery of Converged Services / J. Li ; W. Chou ; X. Shan ; F. Liu ; W. E. Wong
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software / K. H. Kim ; S.-J. Kang
Application Based on Agents and Mobility / Session 3：
Distributed Motion Coordination with Co-Fields: A Case Study in Urban Traffic Management / M. Mamei ; F. Zambonelli ; L. Leonardi
Proposal of an Autonomous Group-Management Model and Its Application to Intelligent Transport System / A. Shimura ; T. Sakaibara ; M. Hiraiwa ; T. Aizono
Hand-OLAP: A System for Delivering OLAP Services on Handheld Devices / A. Cuzzocrea ; F. Furfaro ; D. Sacca
Keynote Address 2
Strategic Railway Systems Using ADS Technologies in Japan / Yoshio Ishida
Fault Tolerance / Session 4：
Structuring Integrated Web Applications for Fault Tolerance / A. Romanovsky ; P. Periorellis ; A. F. Zorzo
Message Logging and Recovery in Wireless CORBA Using Access Bridge / X. Chen ; M. R. Lyu
Mobile Agent Fault Tolerance for Information Retrieval Applications: An Exception Handling Approach / S. Pears ; J. Xu ; C. Boldyreff
Real-Time / Session 5：
Predicting Timeliness of Reactive Systems under Flexible Scheduling / G. Bucci ; A. Fedeli ; E. Vicario
Dynamic Three-Value Logic in Decentralized Time-Critical Domains / M. G. Ceruti ; S. H. Rubin
Fault Containment and Error Detection in the Time-Triggered Architecture
Security and QoS / Session 6：
Specification of Secure Distributed Collaboration Systems / A. R. Tripathi ; T. Ahmed ; R. Kumar
Managing eBusiness on Demand SLA Contracts in Business Terms Using the Cross-SLA Execution Manager SAM / M. Buco ; R. Chang ; L. Luan ; C. Ward ; J. Wolf ; P. Yu
Panel Session
Uncertain, Dynamic, Out of Control? Coordination and Cooperation in Next Generation Systems
Keynote Address 3
The Modest Software Engineer / Martyn Thomas
Verification and Testing / Session 7：
TTCN-3 Based Online Test and Validation Platform for Internet Services / P. H. Deussen ; G. Din ; I. Schieferdecker
Software Testing for Mobile and Ubiquitous Computing / I. Satoh
A Rigorous Approach to Modeling Autonomous Traffic Control Systems / V. S. Alagar ; D. Muthiayen
Special Session Research and Development of Autonomous Decentralized Systems in East Asia I / Session I-1：
A Train Control System for Low-Density Lines Based on Intelligent Autonomous Decentralized System (IADS) / T. Tao ; B. Cai
Autonomous Coordination in Sensor Networks: Heterogeneous ADS / Y. Tan ; Q. Li ; Q. Qian ; K. Mori
Study on Essential Characteristics of RITS / J. Limin ; J. Qiuhua
Information Dissemination / Session 8：
Autonomous Integration and Provision of Heterogeneous Information Services in Distributed Information System / X. Lu ; Y. Zhou ; H. Arfaoui
I-Centric Services Based on Super Distributed Objects / S. Steglich ; R. N. Vaidya ; O. Gimpeliovskaja ; S. Arbanovski ; R. Popescu-Zeletin ; S. Sameshima ; K. Kawano
An Approach to Developing Information Dissemination Service for Ubiquitous Computing Applications / S. S. Yau ; S. I. Ahamed
Special Session Research and Development of Autonomous Decentralized Systems in East Asia II / Session I-2：
Flexible Autonomous Decentralized Technology for Heterogeneous Requirements from Reusable Launch Vehicle / T. Morito ; M. Ohno ; M. Wakamiya
Assurance Technology for Coexisting Test and Operation Subsystems and Its Application to Train Control System / M. Matsumoto
Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System / K. Kera ; K. Bekki ; H. Osumi
Networks / Session 9：
Implementation and Evaluation of Autonomous Decentralized System Based Mobile Communications Platform for ITS Services
A Distributed Network Connectivity Algorithm / E. P. Duarte Jr. ; A. Weber
An Adaptive Multihop Clustering Scheme for Highly Mobile Ad Hoc Networks / T. Ohta ; S. Inoue ; Y. Kakuda
Architecture 2 / Session 10：
Patia: Adaptive Distributed Webserver (A Position Paper) / J. A. McCann ; G. Jawaheer ; L. Sun
Stability and Adaptability of Autonomous Decentralized Flow Control in High-Speed Networks / C. Takano ; M. Aida
An Experience on CORBA Component Deployment / M. C. B. Barros ; E. R. M. Madeira ; I. Sotoma
Panel Session: The Future of Autonomous Decentralized Systems
The Future of Autonomous Decentralized Systems
Autonomy and Community
Supporting Future ADS Applications in Ubiquitous Computing Environments Using Adaptive, Context-Sensitive Middleware
Dependable Computing for National Security: A Position Paper / B. Thuraisingham
co-sponsored by Japan Society of Applied Physics, IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers, IEEE Electron Devices Tokyo Chapter
出版情報:
Tokyo : Japan Society of Applied Physics, c1999 xiii, 256 p. ; 28 cm
technical co-sponsored by IEEE Electron Devices Society ; co-sponsored by VLSI Symposium, the Japan Society of Applied Physics, IEEE ED Tokyo Chapter ; in cooperation with the Institute of Electronics, Information and Communication Engineers
出版情報:
Tokyo, Japan : Business Center for Academic Societies Japan, [1999] vi, 65 p. ; 28 cm
sponsored by the Institute of Electronics, Information and Communication Engineers (IEICE) ; cooperatively sponsored by IEEE MTT-S, URSI and IEEE MTT-S Japan Chapter
出版情報:
[Tokyo] : Institute of Electronics, Information and Communication Engineers, 2002 407 p. ; 30 cm
sponsored by the Institute of Electronics, Information and Communication Engineers (IEICE) of Japan ; cooperatively sponsored by IEEE MTT-S, URSI, EuMA and IEEE MTT-S Japan Chapter
出版情報:
Tokyo : Institute of Electronics, Information and Communication Engineers, c2006 3 v. (62, 2121, 18 p.) ; 30 cm
editor, Zhonglin Gong ; [sponsored by Chinese Institute of Electronics (CIE) ; technically co-sponsored by IEEE Antennas Propagation Society (AP-S), IEEE Geoscience and Remote Sensing Society (GRSS), the Institute of Electronics, Information, and Communication Engineers, Japan (IEICE) ; co-sponsored by IEEE Beijing Section, IEE Beijing Branch, China Committee for URSI]
出版情報:
Piscataway, NJ : IEEE Press, c2003 14, 872, 8 p. ; 29 cm
sponsored by the Institute of Electronics, Information and Communication Engineers (IEICE) ; cooperatively sponsored by IEEE MTT-S, URSI and IEEE MTT-S Japan Chapter
出版情報:
[Tokyo] : Institute of Electronics, Information and Communication Engineers, 2002 115 p. ; 30 cm
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
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
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
co-sponsored by Japan Society of Applied Physics, IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers, IEEE EDS Japan Chapter, IEEE EDS Kansai Chapter
出版情報:
[Tokyo] : Japan Society of Applied Phyisics , Piscataway, N.J. : IEEE, c2005 xv, 340 p. ; 28 cm
sponsored by the Institute of Electrical Engineers of Japan ; co-sponsored by the IEEE Electron Devices Society ; in cooperation with the Institute of Electronics Information and Communication Engineers of Japan and the Japan Society of Applied Physics
出版情報:
Tokyo, Japan : Institute of Electrical Engineers of Japan, 2004 xxiii, 477 p. ; 28 cm
sponsored by the Institute of Electronics, Information and Communication Engineers (IEICE) ; cooperatively sponsored by IEEE MTT-S, URSI and IEEE MTT-S Japan Chapter
出版情報:
Tokyo : Institute of Electronics, Information and Communication Engineers, 2002 3 v. (1727, 14 p.) ; 30 cm
sponsord by the Institute of Electronics, Information and Communication Engineers (IEICE) ; cooperatively sponsored by IEEE MTT-S, URSI, IEEE MTT-S Tojkyo Chapter
出版情報:
Tokyo : Institute of Electronics, Information and Communication Engineers, c1998 3 v. ; 30 cm
sponsored by the Japan Society of Applied Physics ; technical cosponsored by IEEE Electron Devices Society ; in cooperation with the Institute of Electronics, Information and Communication Engineers ... [et al.]
出版情報:
Tokyo : Japan Society of Applied Physics, c2001 xxxviii, 693 p. ; 30 cm
Sponsored by the Institute of Electrical Engineers of Japan ; co-sponsored by the IEEE Electron Devices Society ; in cooperation with the Institute of Electronics Information and Communication Engineers of Japan and the Japan Society of Applied Physics
出版情報:
Tokyo : Institute of Electrical Engineers of Japan, c2001 xxxi, 467 p. ; 30 cm
technical co-sponsored by IEEE Electron Devices Society ; co-sponsored by VLSI Symposium, the Japan Society of Applied Physics, IEEE ED Tokyo Chapter ; in cooperation with the Institute of Electronics, Information and Communication Engineers
出版情報:
Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2001 vi, 67 p. ; 28 cm
Achyut K. Dutta ... [et al.], chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering ; technical cosponsor IEICE Communications Society (Japan) in cooperation with IEICE Electronics Society (Japan)
図書
雑誌
コンピュータファイル
図書
