close
1.

図書

図書
Boris Magnusson (ed.)
出版情報: Berlin : Springer, c2002  xi, 635 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2374
所蔵情報: loading…
2.

図書

図書
Ákos Frohner (ed.)
出版情報: Berlin : Springer, c2002  ix, 223 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2323
所蔵情報: loading…
3.

図書

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

図書

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

図書

図書
Martin Steffen, Gianluigi Zavattaro (eds.)
出版情報: Berlin : Springer, c2005  x, 321 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3535
所蔵情報: loading…
6.

図書

図書
Mathias Weske, Peter Liggesmeyer (eds.)
出版情報: Berlin : Springer, c2004  xii, 237 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3263
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Semantic Web Services - Fundamentals and Advanced Topics / Christoph Bussler
Langugages and Models
Support for Value Types in an Object-Oriented Programming Language / Beate Ritterbach
Self-accounting as Principle for Portable CPU Control in Java / Walter Binder ; Jarle Hulaas
Agents and Semantic Web
Organizing Knowledge in a Semantic Web for Pathology / Robert Tolksdorf ; Elena Paslaru Bontas
Listening to Agents - Transparent Representation and Presentation of Agent Communication in Mobile Systems / Matthias Jost ; Matthias Merdes ; Rainer Malaka
Supporting Software Prcesses I
Co-operative and Distributed Configuration / Ander Altuna ; Alvaro Cabrerizo ; Inaki Laresgoiti ; Nieves Pena ; Daniel Sastre
Micro-measurements for Dynamic Aspect-Oriented Systems / Michael Haupt ; Mira Mezini
Supporting Software Prcesses II
Testing of Service-Oriented Architectures - A Practical Approach / Schahram Dustdar ; Stephan Haslinger
A UML Profile for GUI Layout / Kai Blankenhorn ; Mario Jeckle
Software Product Lines
Reconciling Feature Modeling: A Feature Modeling Metamodel / Valentino Vranic
Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture / Periklis Sochos ; Ilka Philippow ; Matthias Riebisch
Managing Product Line Variability by Patterns / Jurgen Meister ; Ralf Reussner ; Martin Rohde
Software Architectures
UnSCom: A Standardized Framework for the Specification of Software Components / Sven Overhage
A Cross-Platform Application Environment for Nomadic Desktop Computing / Stefan Paal ; Reiner Kammuller ; Bernd Freisleben
Case Study and Visions
Agile Software Engineering: A New System for an Expanding Business Model at SCHUFA / Rainer Burkhardt ; Volker Gruhn
Ercatons: Thing-Oriented Programming / Oliver Imbusch ; Falk Langhammer ; Guido von Walter
Author Index
Invited Talk
Semantic Web Services - Fundamentals and Advanced Topics / Christoph Bussler
Langugages and Models
7.

図書

図書
International Workshop on Exception Handling ; ACM SIGSOFT International Symposium on Foundations of Software Engineering
出版情報: New York : Association for Computing Machinery, c2008  68 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
Workshop on Aspects, Components, and Patterns for Infrastructure Software ; Association for Computing Machinery
出版情報: New York : Association for Computing Machinery, c2009  47 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by the Croucher Foundation ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xvi, 542 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
edited by Raimund Ege, Madhu Singh, and Bertrand Meyer ; sponsored by Interactive Software Engineering, Inc.
出版情報: Los Alamitos, Calif, : IEEE Computer Society, 1998  xi, 405 p. ; 23 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼