close
1.

図書

図書
Sudipto Ghosh, chair/editor ; sponsored ... by SPIE--the International Society for Optical Engineering ; cooperating organization, Colorado Photonics Industry Association
出版情報: Bellingham, Wash., USA : SPIE, c2001  vii, 154 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4521
所蔵情報: loading…
2.

図書

図書
Ken Arnold, Guang R. Gao, Sudipto Ghosh, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Washington : SPIE, c2002  vii, 148 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4863
所蔵情報: loading…
3.

図書

図書
Xubang Shen, Jianguo Liu, chairs/editors ; sponsored by SPIE--the International Society for Optical Engineering [and] Huazhong University of Science and Technology (China) ; cosponsored by Université de Bordeaux III (France) ... [et al.] ; supported by National Natural Science Foundation of China [and] Ministry of Education of China
出版情報: Bellingham, Wash., USA : SPIE, c2001  ix, 166 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4555
所蔵情報: loading…
4.

図書

図書
sponsored by ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  xii, 325 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
Joseph Sventek, Geoffrey Coulson (eds.)
出版情報: Berlin : Springer, c2000  xi, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1795
所蔵情報: loading…
6.

図書

図書
Peter Kropf ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000  xi, 201 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1830
所蔵情報: loading…
7.

図書

図書
International Symposium on Software Engineering for Parallel and Distributed Systems ; IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2000  x, 197 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Referees
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments / G. Blair ; G. Coulson ; A. Andersen ; L. Blair ; M. Clarke ; F. Costa ; H. Duran ; N. Parlavantzas ; K. Saikoski
A Skeleton-Based Approach for the Design and Implementation of Distributed Virtual Environments / F. Rabhi ; H. Cai ; B. Tompsett
Specifying and Verifying Reconfigurable Software Architectures / V. de Paula ; G. Justo ; P. Cunha
Dynamic Reconfiguration of Component-Based Applications / T. Batista ; N. Rodriguez
Applying Distributed Object Technology to Network Planning / T. Wessels ; J. Bishop
Dynamic Workflow Management in CORBA Distributed Object Systems / Z. Tari ; V. Pande
Design of a Virtual Store Using Distributed Object Technology / D. Chambers ; G. Lyons ; J. Duggan
A CORBA-Based Architecture for Adding Dependability to Legacy Servers / D. Cotroneo ; L. Romano ; S. Russo ; N. Mazzocca
Filtering and Scalability in the ECO Distributed Event Model / M. Haahr ; R. Meier ; P. Nixon ; V. Cahill ; E. Jul
Scalability Issues in CORBA / P. Rani ; A. Srinivas ; D. Ram
Formalization and Verification of Coherence Protocols with the Gamma Framework / D. Mentre ; D. Le Metayer ; T. Priol
A CSP Model for Java Multihreading / P. Welch ; J. Martin
A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming / M. Aleksy ; A. Korthaus
Performance Debugging of Parallel and Distributed Embedded Systems / F. Suarez ; D. Garcia ; J. Garcia
Early Evaluation of Design Options for Distributed Systems / H. Giese ; G. Wirtz
Implementation of an Intrusion Detection System Based on Mobile Agents / M. Bernares ; E. dos Santos Moreira
A Formalism for Hierarchical Mobile Agents / I. Satoh
Component Location and the Role of Trading in Large Scale Distributed Systems / S. Terzis
HERCULE: Monitoring Component-Based Application Activity and Enabling Post-Implementation Tailoring of Feedback / K. Renaud
Exploratory Visualization of Distributed Computations: A Case Study / N. Gupta ; E. Kraemer ; D. Hart ; M. Chinwala ; D. Miller
Author Index
Message from the Chairs
Conference Organization
Referees
8.

図書

図書
António Porto, Gruia-Catalin Roman (eds.)
出版情報: Berlin : Springer, c2000  ix, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1906
所蔵情報: loading…
9.

図書

図書
Gian Pietro Picco (ed.)
出版情報: Berlin ; Tokyo : Springer, c2001  xiii, 275 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2240
所蔵情報: loading…
目次情報: 続きを見る
Security
On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection / Volker Roth
Trust Relationships in a Mobile Agent System / Hock Kim Tan ; Luc Moreau
Evaluating the Security of Three Java-Based Mobile Agent Systems / Sebastian Fischmeister ; Giovanni Vigna ; Richard A. Kemmerer
Models and Architectures
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study / Xavier Hannotin ; Paolo Maggi ; Riccardo Sisto
Lime Revisited (Reverse Engineering an Agent Communication Model) / Bogdan Carbunar ; Marco Tulio Valente ; Jan Vitek
Dynamic Adaptation of Mobile Agents in Heterogenous Environments / Raimund Brandt ; Helmut Reiser
Applications
Fast File Access for Fast Agents / Eugene Gendelman ; Lubomir F. Bic ; Michael B. Dillencourt
Flying Emulator: Rapid Building and Testing of Networked Applications for Mobile Computers / Ichiro Satoh
Crawlets: Agents for High Performance Web Search Engines / Prasannaa Thati ; Po-Hao Chang ; Gul Agha
Communication
An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems / Xinyu Feng ; Jiannong Cao ; Jian Lü ; Henry Chan
Using Predicates for Specifying Targets of Migration and Messages in a Peer-to-Peer Mobile Agent Environment / Klaus Haller ; Heiko Schuldt
A Scalable and Secure Global Tracking Service for Mobile Agents / Jan Peters
Run-Time Support
Translating Strong Mobility into Weak Mobility / Lorenzo Bettini ; Rocco De Nicola
Transparent Migration of Mobile Agents Using the Java Platform Debugger Architecture / Torsten Illmann ; Tilman Krueger ; Frank Kargl ; Michael Weber
Portable Resource Reification in Java-Based Mobile Agent Systems / Alex Villazón ; Walter Binder
Quantitative Evaluation and Benchmarking
Mobile-Agent versus Client/Server Performance: Scalability in an Information-Retrieval Task / Robert S. Gray ; David Kotz ; Ronald A. Peterson ; Joyce Barton ; Daria Chacón ; Peter Gerken ; Martin Hofmann ; Jeffrey Bradshaw ; Maggie Breedy ; Renia Jeffers ; Niranjan Suri
Performance Evaluation of Mobile-Agent Middleware: A Hierarchical Approach / Marios Dikaiakos ; Melinos Kyriakou ; George Samaras
Scheduling Multi-task Agents / Rong Xie ; Daniela Rus ; Cliff Stein
Author Index
Security
On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection / Volker Roth
Trust Relationships in a Mobile Agent System / Hock Kim Tan ; Luc Moreau
10.

図書

図書
Farhad Arbab, Carolyn Talcott (eds.)
出版情報: Berlin : Springer, c2002  xi, 406 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2315
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼