close
1.

図書
図書
1. ECOOP 2000 - object-oriented programming : 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings
Elisa Bertino (ed.)
出版情報: Berlin : Springer, c2000  xiii, 491 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1850
所蔵情報: loading…
2.

図書
図書
2. Object-oriented technology : ECOOP 2001 workshop reader : ECOOP 2001 workshops, panel, and posters, Budapest, Hungary, June 18-22, 2001 : proceedings
Ákos Frohner (ed.)
出版情報: Berlin : Springer, c2002  ix, 223 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2323
所蔵情報: loading…
3.

図書
図書
3. Proceedings : Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan
editors, Peter Puschner...[et al.] ; Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing and Communications Research Laboratory, Japan
出版情報: Los Alamitos, Carif. ; Tokyo : IEEE Computer Society, c2003  xii, 301 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Co-Chairs
Message from the Program Committee Co-Chairs
Symposium Committees
Program Committee
Industry Trends / Session 1：
Components Meet Time and Space: Worlds Colliding? / C. Szyperski
Model-Driven Development of Real-Time Software Using OMG Standards / B. Selic
Requisites of Embedded Operating System for Network Electronics / Y. Yokote
Real Time Operating Systems Meet Object-Oriented Middleware / Session 2：
Real Time Distributed Control Systems Using RTAI / L. Dozio ; P. Mantegazza
RTC: A Real-Time Communication Middleware on Top of RTAI-Linux / T. Heimfarth ; M. Gotz ; F. J. Rammig ; F. R. Wagner
Basic Program Structures for Avoiding Priority Inversions / K. H. Kim
Panel--National-Level R&D Programs/Movements in the Software Technology Field / Session 3：
Embedded Linux Outlook in the PostPC Industry / S. Hong
Implication of Embedded Linux in Japanese Embedded Industries / T. Nakajima
Introduction to the TOPPERS Project--Open Source RTOS for Embedded Systems / H. Takada
The Next Generation Software Platform for Mobile Phones / Y. Nakamoto
Specification for Real-Time Systems / Session 4：
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces / H. Kopetz ; N. Suri
General Framework for the Description of QoS in UML / M. A. de Miguel
Special Invited Presentation / Session 5：
Dependability Issue on Autonomic Computing Environment / Y. Tohma
Industrial Track / Session 6：
Towards Model-Based and CCM-Based Applications for Real-Time Systems / W. Roll
A Cooperative Simulation Mechanism of Distributed Control Systems Based on Object-Oriented Design Patterns / T. Tomura ; S. Kanai ; T. Kishinami
Panel--Fundamental Advances Sought / Session 7：
Modeling Distributed Autonomous Robots Using Charon: Formation Control Case Study / Y. Hur ; R. Fierro ; I. Lee
Secure and Safe Real-Time Object-Oriented Systems / Session 8 (Parallel)：
Issues with Object Orientation in Verifying Safety-Critical Systems / S. Subbiah ; S. Nagaraj
A Systems Engineering Approach for Constructing Certificable Real-Time Distributed Systems / B. Ravindran ; G. Le Lann ; J. Wang ; P. Li
A Dynamic Shadow Approach for Mobile Agents to Survive Crash Failures / S. Pears ; J. Xu ; C. Boldyreff
Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration / J. Carlson ; T. Lennvall ; G. Fohler
Short Papers / Session 9 (Parallel)：
The Event-Triggered and Time-Triggered Medium-Access Methods / V. Claesson ; C. Ekelin
Implementing the Multicast Inter-ORB Protocol / A. N. Bessani ; J. Fraga ; L. C. Lung
Integrating COTS Software Components into Dependable Software Architectures / P. Asterio de C. Guerra ; C. M. F. Rubira ; A. Romanovsky ; R. de Lemos
Design of SMIL Browser Functionality in Mobile Terminals / S. Hieda ; Y. Saida ; H. Chishima ; N. Sato
Middleware and Component-Based Systems / Session 10：
Metrics and Models for Cost and Quality of Component-Based Software / S. Sedigh-Ali ; A. Ghafoor ; R. A. Paul
Object-Oriented Middleware Infrastructure for Distributed Augmented Reality / E. Tokunaga ; A. van der Zee ; M. Kurahashi ; M. Nemoto
Configuration and Dynamic Reconfiguration of Component-Based Applications with Microsoft .NET / A. Rasche ; A. Polze
A Lightweight Middleware Protocol for Ad Hoc Distributed Object Computing in Ubiquitous Computing Environments / S. S. Yau ; F. Karim
Real-Time Applications / Session 11：
Adaptive Use of Network-Centric Mechanisms in Cyber-Defense / M. Atighetchi ; P. Pal ; F. Webber ; C. Jones
VisiTrack-Video Based Incremental Tracking in Real Time / N. Esau ; B. Kleinjohann ; L. Kleinjohann ; D. Stichling
Challenges in Building Scalable Network Centric Real-Time Information Dissemination Systems / S. A. Moody
Design Methods and Tools / Session 12：
A Two-Aspect Approach for a Clearer Behavior Model / C. Mraidha ; S. Gerard ; F. Terrier ; J. Benzakki
Redesigning Legacy Systems into the Object-Oriented Paradigm / W. E. Wong ; J. J. Li
A Supervisory Tool for Real-Time Industrial Automation Systems / W. Pardi, Jr. ; C. E. Pereira
Nested Invocation Protocol for Object-Based Systems / K. Hori ; T. Enokido ; M. Takizawa ; M. Raynal
Performance Analysis and Optimization of Real-Time Systems / Session 13：
Gain Time Reclaiming in High Performance Real-Time Java Systems / E. Y.-S. Hu ; A. Wellings ; G. Bernat
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems / A. Wall ; J. Andersson ; C. Norstrom
Predictable Memory Utilization in the Ravenscar-Java Profile / J. Kwon ; S. King
Real-Time Resource Management and Scheduling / Session 14：
Hybrid Real-Time Task Scheduling upon Multiprocessor Platforms Using Server Techniques / D. A. El-Kebbe
The Design and Implementation of a Real-Time Data Dispatching System / N.-C. Perng ; N.-T. Tsai ; J.-W. Hsieh ; T.-W. Kuo
Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation / G. Konowicz
Author Index
Message from the Symposium Co-Chairs
Message from the Program Committee Co-Chairs
Symposium Committees
4.

図書
図書
4. 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
所蔵情報: loading…
目次情報: 続きを見る
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
5.

図書
図書
5. Object-oriented technology : ECOOP 2002 Workshop Reader : ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002 : proceedings
Juan Hernández, Ana Moreira (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 222 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2548
所蔵情報: loading…
6.

図書
図書
6. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 292 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2884
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Java's Integral Types in PVS / Bart Jacobs
Models
Towards Object-Oriented Graphs and Grammars / Ana Paula ; Lüdtke Ferreira ; Leila Ribeiro
A Rewriting Based Model for Probabilistic Distributed Object Systems / Nirman Kumar ; Koushik Sen ; José Meseguer ; Gul Agha
Engineering the SDL Formal Language Definition / Andreas Prinz ; Martin v. Löwis
Logic and Verification
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts / Cees Pierik ; Frank S. de Boer
Inheritance of Temporal Logic Properties / Heike Wehrheim
Temporal Logic Based Static Analysis for Non-uniform Behaviours / Matthias Colin ; Xavier Thirioux ; Marc Pantel
Calculi
The Kell Calculus: Operational Semantics and Type System / Philippe Bidinger ; Jean-Bernard Stefani
A Calculus for Long-Running Transactions / Laura Bocchi ; Cosimo Laneve ; Gianluigi Zavattaro
Formal Analysis of Some Timed Security Properties in Wireless Protocols / Roberto Gorrieri ; Fabio Martinelli ; Marinella Petrocchi ; Anna Vaccarelli
Java and .NET
Inductive Proof Outlines for Monitors in Java / Erika Ábrahám ; Willem-Paul de Roever ; Martin Steffen
Proof Scores in the OTS/CafeOBJ Method / Kazuhiro Ogata ; Kokichi Futatsugi
Managing the Evolution of .NET Programs / Susan Eisenbach ; Vladimir Jurisic ; Chris Sadler
UML
On Mobility Extensions of UML Statecharts. A Pragmatic Approach / Diego Latella ; Mieke Massink
New Operators for the TURTLE Real-Time UML Profile / Christophe Lohr ; Ludovic Apvrille ; Pierre de Saqui-Sannes ; Jean-Pierre Courtiat
Checking Consistency in UML Diagrams: Classes and State Machines / Holger Rasch
Composition and Verification
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components / Frédéric Tronel ; Frédéric Lang ; Hubert Garavel
Verification of Distributed Object-Based Systems / Fernando L. Dotti ; Luciana Foss ; Osmar M. dos Santos
Design and Verification of Distributed Multi-media Systems / David Akehurst ; John Derrick ; A. Gill Waters
Author Index
Invited Talk
Java's Integral Types in PVS / Bart Jacobs
Models
7.

図書
図書
7. ECOOP 2001 -- object-oriented programming : 15th European Conference, Budapest, Hungary, June 18-22, 2001 : proceedings
Jørgen Lindskov Knudsen (ed.)
出版情報: Berlin : Springer, c2001  xiii, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2072
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
Language, Objects, and Intentionality / Charles Simonyi
Sharing and Encapsulation
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only / John Boyland ; James Noble ; William Retert
Sealing, Encapsulation, and Mutablility / Marina Biberstein ; Joseph Gil ; Sara Porat
Simple Ownership Types for Object Containment / David G. Clarke ; John M. Potter
Type Inference and Static Analysis
Distinctness and Sharing Domains for Static Analysis of Java Programs / Isabelle Pollet ; Baudouin Le Charlier ; Agostino Cortesi
Precise Constraint-Based Type Inference for Java / Tiejun Wang ; Scott F. Smith
Language Design
CCC: User-Defined Object Structure in C / Yasunori Harada ; Kenichi Yamazaki ; Richard Potter
Fickle Dynamic Object Re-classification / Sophia Drossopoulou ; Ferruccio Damiani ; Mariangiola Dezani-Ciancaglini ; Paola Giannini
Invited Talk
Scripting .NET Using Mondrian / Erik Meijer ; Nigel Perry ; Arjan van Yzendoorn
Implementation Techniques
A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests / Olivier Raynaud ; Eric Thierry
On the Usefulness of Liveness for Garbage Collection / Leak Detection ; Martin Hirzel ; Amer Diwan ; Antony Hosking
Concurrent Cycle Collection in Reference Counted Systems / David F. Bacon ; V.T. Rajan
Reflection and Concurrency
A Bytecode Translator for Distributed Execution of "Legacy" Java Software / Michiaki Tatsubori ; Toshiyuki Sasaki ; Shigeru Chiba ; Kozo Itano
Reflections on MOPs, Components, and Java Security / Denis Caromel ; Julien Vayssiere
The Optimistic Readers Transformation / Robert Strom ; Joshua Auerbach
People and the Limits of Methodology / Alistair Cockburn
Family Polymorphism / Erik Ernst
An Overview of AspectJ / Gregor Kiczales ; Erik Hilsdale ; Jim Hugunin ; Mik Kersten ; Jeffrey Palm ; William G. Griswold
True Modules for Java-like Languages / Davide Ancona ; Elena Zucca
Testing and Design
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies / Vu Le Hanh ; Kamel Akif ; Yves Le Traon ; Jean-Marc Jezequel
Quality and Understandability of Use Case Models / Bente Anda ; Dag Sjøberg ; Magne Jørgensen
Author Index
Keynote Speech
Language, Objects, and Intentionality / Charles Simonyi
Sharing and Encapsulation
8.

図書
図書
8. ECOOP 2002 -- object-oriented programming : 16th European Conference, Málaga, Spain, June 10-14, 2002 : proceedings
Boris Magnusson (ed.)
出版情報: Berlin : Springer, c2002  xi, 635 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2374
所蔵情報: loading…
9.

図書
図書
9. Object-oriented technology : ECOOP 2000 workshop reader : ECOOP 2000 Workshops, Panels, and Posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings
Jacques Malenfant, Sabine Moisan, Ana Moreira (eds.)
出版情報: Berlin ; New York : Springer, c2000  xi, 308 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1964
所蔵情報: loading…
目次情報: 続きを見る
Workshop Reports
Reflection and Meta-level Architectures: State of the Art and Future Trends / Walter Cazzola ; Shigeru Chiba ; Thomas Ledoux
Exception Handling in Object Oriented Systems / Alexander Romanovsky ; Christophe Dony ; Jørgen Lindskov Knudsen ; Tripathi
Object-Orientation and Operating Systems / Francisco Ballesteros ; Frank Schubert ; Ashish Singhai ; Dario Alvarez Gutierrez ; Reinhard Meyer
Formal Techniques for Java Programs / Sophia Drossopoulou ; Susan Eisenbach ; Bart Jacobs ; Gary T. Leavens ; Peter Müller ; Arnd Poetzsch-Heffte
Component-Oriented Programming / Jan Bosch ; Clemens Szyperski ; Wolfgang Weck
Tools and Environments for Understanding Object-Oriented Concepts / Isabel Michiels ; Alejandro Fernández ; Jürgen Börstler ; Maximo Prieto
Quantitative Approaches in Object-Oriented Software Engineering / Anthony Lauder ; Marlon Dumas ; Akos Frohner ; Ian Oliver ; Fernando Brito e Abreu ; Geert Poels ; Houari A. Sahraoui ; Horst Zuse
Metadata and Adaptive Object-Models / Joseph W. Yoder ; Reza Razavi
Defining Precise Semantics for UML / Jean-Michel Bruel ; Johan Lilius ; Ana Moreira ; Robert B. France
Objects and Classification / Marianne Huchard ; Robert Godin ; Amedeo Napoli
Object-Oriented Architectural Evolution / Isabelle Borne ; Galal Hassan Galal ; Huw Evans ; Luis Filipe Andrade
Specification, Implementation, and Validation of Object-Oriented Embedded Systems / François Terrier ; Nikos S. Voros ; Udo Brockmeyer
Quality of Service in Distributed Object Systems / Christian Becker ; John Zincky
XML and Object Technology / Barbara Catania ; Elena Ferrari ; Alon Levy ; Alberto O. Meldelzon
Workshop on Aspects and Dimensions of Concern: Requirements on, and Challenge Problems for, Advanced Separation of Concerns / Peri Tarr ; Maja D'Hondt ; Lodewijk Bergmans ; Cristina Videira Lopes
Mobile Object Systems / Ciarán Bryce ; Chrislain Razafimahefa
New Issues in Object Interoperability / Antonio Vallecillo ; Juan Hernández ; José M. Troya
Panel Report
Mobile Code, Internet Security, and E-Commerce / Refik Molva ; Françoise Baude
Posters
Poster Session / Mireille Blay-Fornarino ; Anne-Marie Dery
Author Index
Workshop Reports
Reflection and Meta-level Architectures: State of the Art and Future Trends / Walter Cazzola ; Shigeru Chiba ; Thomas Ledoux
Exception Handling in Object Oriented Systems / Alexander Romanovsky ; Christophe Dony ; Jørgen Lindskov Knudsen ; Tripathi
10.

図書
図書
10. Persistent object systems : design, implementation, and use : 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000 : revised papers
Graham N.C. Kirby, Alan Dearle, Dag I.K. Sjøberg (eds.)
出版情報: Berlin : Springer, c2001  viii, 319 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2135
所蔵情報: loading…
目次情報: 続きを見る
Overview / Graham N.C. KirbySession 1：
A Framework for Persistence-Enabled Optimization of Java Object Stores / David Whitlock ; Antony L. Hosking
Architecture of the PEVM: A High-Performance Orthogonally Persistent JavaTM Virtual Machine / Brian Lewis ; Bernd Mathiske ; Neal Gafter
A Spatiotemporal Model as the Basis for a Persistent GIS / Stephen M. Blackburn ; Erik Voges ; Sonia BermanSession 2：
Experience with the PerDiS Large-Scale Data-Sharing Middleware / Marc Shapiro ; Paulo Ferreira ; Nicolas Richer
Toward Pure Polylingual Persistence / Alan Kaplan ; John V.E. Ridgway ; Bradley R. Schmerl ; Krishnan Sridhar ; Jack C. Wileden
Transactional Remote Group Caching in Distributed Object Systems / Richard Jones ; Magnus E. Bjornsson ; Liuba ShriraSession 3：
Platypus: Design and Implementation of a Flexible High Performance Object Store / Zhen He ; Luke Kirby ; John Zigman
Evaluating Partition Selection Policies Using the PMOS Garbage Collector / David S. Munro ; Alfred L. Brown
TMOS: A Transactional Garbage Collector / J. Eliot B. Moss
The Memory Behavior of the WWW, or The WWW Considered as a Persistent Store / Session 4：
A Comparison of Two Persistent Storage Tools for Implementing a Search Engine / Andrea Garratt ; Mike Jackson ; Peter Burden ; Jon Wallis
An Approach to Implementing Persistent Computations / Ewa Z. Bem ; John RosenbergSession 5：
Transparent Orthogonal Checkpointing through User-Level Pagers / Espen Skoglund ; Christian Ceelen ; Jochen Liedtke
An Overview of Ulisse, a Distributed Single Address Space System / Gianluca Dini ; Giuseppe Lettieri ; Lanfranco Lopriore
Hyper-Code Revisited: Unifying Program Source, Executable, and Data / Alan Dearle ; E. Zirintsis ; Ron MorrisonSession 6：
Implementing Orthogonally Persistent Java / Alonso Marquez ; Gavin Mercer
Event Storage and Federation Using ODMG / Jean Bacon ; Alexis Hombrecher ; Chaoying Ma ; Ken Moody ; Walt YaoSession 7：
An Application Model and Environment for Personal Information Appliances / Olivier Gruber ; Ravi Konuru
Epilogue / M.P. Atkinson ; M. Dmitriev ; C. Hamilton ; T. Printezis
Author Index
Overview / Graham N.C. KirbySession 1：
A Framework for Persistence-Enabled Optimization of Java Object Stores / David Whitlock ; Antony L. Hosking
Architecture of the PEVM: A High-Performance Orthogonally Persistent JavaTM Virtual Machine / Brian Lewis ; Bernd Mathiske ; Neal Gafter
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼