Proceedings : IEEE Workshop on Software Technologies for Future Embedded Systems (WSTFES 2003), 15-16 May 2003, Hakodate, Hokkaido, Japan

所蔵情報QRコード

Proceedings : IEEE Workshop on Software Technologies for Future Embedded Systems (WSTFES 2003), 15-16 May 2003, Hakodate, Hokkaido, Japan / editors, Tatsuo Nakajima, Moon Hae Kim ; Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing and Communications Research Laboratory, Japan

資料種別:

図書

出版情報:

Los Alamitos, Carif. ; Tokyo : IEEE Computer Society, c2003

形態:

vii, 105 p. ; 28 cm

著者名:

ISBN:

9780769519371 [0769519377]

書誌ID:

BA62012352

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index
"IEEE Computer Society Order Number: PR01937" -- T.p.verso

主題:

Electronic data processing--Distributed processing--Congresses; Object-oriented programming (Computer science)--Congresses; Real-time data processing--Congresses

言語:

英語

目次情報:

Message from the Workshop Organizers

Embedded Systems / Session 1：

SCA-Based Component Framework for Software Defined Radio / S. Kim ; J. Masse ; S. Hong ; N. Chang

Hardware/Software Co-Configuration for Multiprocessor SoPC / H. Takada ; S. Honda ; R. Nishiyama ; H. Yuyama

Requirements for a Component Framework of Future Ubiquitous Computing / H. Ishikawa ; Y. Ogata ; K. Adachi ; T. Nakajima

A New Defining Approach for Software Requirement Specifications / T. Yamaura ; H. Miyazaki ; A. K. Onoma

Design and Implementation of Transactional Agents / M. Shiraishi ; T. Enokido ; M. Takizawa

A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm / J. Wang ; B. Ravindran ; T. Martin

Multimedia and Real-Time / Session 2：

Error Resilient Video Transmission over Wireless Networks / G. Ding ; H. Ghafoor ; B. Bhargava

Framework for Development of Multimedia Applications Based on the TMO Structuring Scheme / E. H. Jo ; M. H. Kim ; J.-G. Kim

QoS Management in Multimedia Networking for Telemedicine Applications / A. Bhargava ; M. F. Khan ; A. Ghafoor

Optimization Scheme for Streaming Service Using Coordination Agent in Multimedia Messaging Service Environment / J. Hong ; H. Sung ; J. Song ; S. Han

Ubiquitous Computing / Session 3：

Software Infrastructure for Sentient Materials / T. Shoji ; N. Nakamura ; K. Fujinami

DOLPHIN: An Autonomous Indoor Positioning System in Ubiquitous Computing Environment / Y. Fukuju ; M. Minami ; H. Morikawa ; T. Aoyama

uBlocks: Enabling Hand-Made Distributed Application among Ubiquitous Embedded Devices / M. Iwai ; J. Nakazawa ; H. Tokuda

An Embedded Software Architecture for Connected Multimedia Services in Ubiquitous Network Environment / J.-Y. Kwak ; D.-M. Sul ; S.-H. Ahn ; D.-H. Kim

Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances / T. Watanabe ; K. Yamada ; N. Nagatou

Distributed Real-Time Systems (1) / Session 4：

A New Architecture for Home Computing / K. Matsuura ; T. Hara ; A. Watanabe

Avoiding Timing Problems in Real-Time Software / P. Puschner ; R. Kirner

Formal Probabilistic Refinement Verification of Embedded Real-Time Systems / S. Yamane

Implementing Priority Inheritance Semaphore on uC/OS Real-Time Kernel / J.-H. Lee ; H.-N. Kim

Distributed Real-Time Systems (2) / Session 5：

TMO-Structured Cluster-Based Real-Time Management of Location Data on Massive Volume of Moving Items / Y. Nah ; T. Wang ; K. H. Kim ; Y. K. Yang

A Development of Remote Tracepoint Debugger for Run-Time Monitoring and Debugging of Timing Constraints in Qplus-P RTOS / K. Lee ; J.-S. Kim ; C. Lim

Flexible Group Protocol for Distributed Systems

Clock Synchronization in Wireless Distributed Embedded Applications / Y. S. Hong ; J. H. No

Author Index

Message from the Workshop Organizers

Embedded Systems / Session 1：

SCA-Based Component Framework for Software Defined Radio / S. Kim ; J. Masse ; S. Hong ; N. Chang

Hardware/Software Co-Configuration for Multiprocessor SoPC / H. Takada ; S. Honda ; R. Nishiyama ; H. Yuyama

Requirements for a Component Framework of Future Ubiquitous Computing / H. Ishikawa ; Y. Ogata ; K. Adachi ; T. Nakajima

A New Defining Approach for Software Requirement Specifications / T. Yamaura ; H. Miyazaki ; A. K. Onoma

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Proceedings : Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan International Symposium on Object-Oriented Real-Time Distributed Computing, Puschner, Peter, Nakajima, Tatsuo, Ghafoor, … IEEE Computer Society	7 図書 Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : … International Conference on Formal Methods for Open Object-Based Distributed Systems, Najm, Elie, Nestmann, Uwe, … Springer
2 電子ブック Proceedings IEEE Workshop on Software Technologies for Future Embedded Systems. WSTFES 2003 IEEE Electronic Library (IEL) Conference Proceedings, IEEE	8 図書 Proceedings, 10th IEEE International Workshop on Future Trends of Distributed Computing Systems : FTDCS 2004, 26-28 May 2004, Suzhou, China Workshop on the Future Trends of Distributed Computing Systems, IEEE Computer Society IEEE Computer Society
3 図書 Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, … International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Bertran, Miquel, Rus, Teodor Springer	9 図書 Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings International Conference on Formal Methods for Open Object-Based Distributed Systems, Steffen, Martin, Zavattaro, … Springer
4 図書 Proceedings, the Ninth IEEE Workshop on Future Trends of Distributed Computing Systems : FTDCS 2003, 28-30 May 2003, San Juan, Puerto Rico Workshop on the Future Trends of Distributed Computing Systems, IEEE Computer Society IEEE Computer Society	10 図書 Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Ciancarini, Paolo, 1959-, … Kluwer Academic
5 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings International Conference on Algebraic Methodology and Software Technology, Katoen, Joost-Pieter Springer	11 図書 Proceedings of the sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, October 29-31, 1997, Tunis, Tunisia (: paper) Workshop on the Future Trends of Distributed Computing Systems, IEEE Computer Society. TC Distributed Computing IEEE Computer Society Press
6 図書 Proceedings, Third International Workshop on Object-oriented Real-time Dependable Systems : February 5-7, 1997, Newport Beach, California, U.S.A. (case ; microfiche) International Workshop on Object-Oriented Real-Time Dependable Systems, IEEE Computer Society. TC on Distributed … IEEE Computer Society Press	12 図書 Proceedings of the fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, August 28-30, 1995, Cheju Island, Korea (: paper) Workshop on the Future Trends of Distributed Computing Systems, IEEE Computer Society. TC Distributed Computing IEEE Computer Society Press