close
1.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

EB
International Conference on Software Engineering, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , IEEE, 2003
所蔵情報: loading…
3.

電子ブック

EB
Symposium on Architectural Support for Programming Languages and Operating Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1982
所蔵情報: loading…
4.

電子ブック

EB
languages and applications Oopsla '88
出版情報: ACM Digital Library Proceedings , ACM, 1988
所蔵情報: loading…
5.

電子ブック

EB
ACM-SIGUCCS User Services Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1988
所蔵情報: loading…
6.

電子ブック

EB
ACM Conference on Hypertext, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1989
所蔵情報: loading…
7.

電子ブック

EB
International Conference on Architectural Support for Programming Languages and Operating Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1991
所蔵情報: loading…
8.

電子ブック

EB
ACM-Sigmod International Conference on Management of Data, James Clifford, Roger A. King, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1991
所蔵情報: loading…
9.

電子ブック

EB
Renato Cerqueira, Roy H. Campbell, Roy Harold Campbell, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
Compadres: A Lightweight Component Middleware Framework for Composing Distributed Real-Time Embedded Systems with Real-Time Java / Jie Hu ; Shruti Gorappa ; Juan A. Colmenares ; Raymond Klefstad
Mobile and Ubiquitous Computing
SIPHoc: Efficient SIP Middleware for Ad Hoc Networks / Patrick Stuedi ; Marcel Bihr ; Alain Remund
Vector-Field Consistency for Ad-Hoc Gaming / Nuno Santos ; Luis Veiga ; Paulo Ferreira
Correlation-Based Content Adaptation for Mobile Web Browsing / Iqbal Mohomed ; Adin Scannell ; Nilton Bila ; Jin Zhang ; Eyal de Lara
Grid and Cluster Computing
New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications / Steven Y. Ko ; Ramses Morales ; Indranil Gupta
Interactive Resource-Intensive Applications Made Easy / H. Andres Lagar-Cavilla ; Niraj Tolia ; M. Satyanarayanan ; David O'Hallaron
Garbage Collecting the Grid: A Complete DGC for Activities / Denis Caromel ; Guillaume Chazarain ; Ludovic Henrio
Enhancing Communication
XenSocket: A High-Throughput Interdomain Transport for Virtual Machines / Xiaolan Zhang ; Suzanne McIntosh ; Pankaj Rohatgi ; John Linwood Griffin
Creating Private Network Overlays for High Performance Scientific Computing / Edward Walker
A Cost-Effective Distributed File Service with QoS Guarantees / Kien Le ; Ricardo Bianchini ; Thu D. Nguyen
Resource Management
R-Capriccio: A Capacity Planning and Anomaly Detection Tool for Enterprise Services with Live Workloads / Qi Zhang ; Ludmila Cherkasova ; Guy Mathews ; Wayne Greene ; Evgenia Smirni
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems / Brian Cho
iManage: Policy-Driven Self-management for Enterprise-Scale Systems / Vibhore Kumar ; Brian F. Cooper ; Greg Eisenhauer ; Karsten Schwan
Reliability and Fault Tolerance
Middleware Support for Adaptive Dependability / Lorenz Froihofer ; Karl M. Goeschka ; Johannes Osrael
Consistent and Scalable Cache Replication for Multi-tier J2EE Applications / Francisco Perez-Sorrosal ; Marta Patino-Martinez ; Ricardo Jimenez-Peris ; Bettina Kemme
CLASP: Collaborating, Autonomous Stream Processing Systems / Michael Branson ; Fred Douglis ; Brad Fawcett ; Zhen Liu ; Anton Riabov ; Fan Ye
Asynchronous Communication
A Policy Management Framework for Content-Based Publish/Subscribe Middleware / Alex Wun ; Hans-Arno Jacobsen
Hybrid Dissemination: Adding Determinism to Probabilistic Multicasting in Large-Scale P2P Systems / Spyros Voulgaris ; Maarten van Steen
A Utility-Aware Middleware Architecture for Decentralized Group Communication Applications / Jianjun Zhang ; Ling Liu ; Lakshmish Ramaswamy ; Gong Zhang ; Calton Pu
Programming Wireless Sensor Networks with the TeenyLime Middleware / Paolo Costa ; Luca Mottola ; Amy L. Murphy ; Gian Pietro Picco
Author Index
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
10.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
11.

電子ブック

EB
Workshop on Principles of Advanced and Distributed Simulation, Christopher D. Carothers, David M. Nicol, Stephen John Turner, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
12.

電子ブック

EB
International Conference on Architectural Support for Programming Languages and Operating Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1994
所蔵情報: loading…
13.

電子ブック

EB
IPSN 2004, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , IEEE, 2004
所蔵情報: loading…
14.

電子ブック

EB
ACM SIGMIS CPR Conference, Suzanne Penn Weisband, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
15.

電子ブック

EB
ACM Conference on Hypertext and Hypermedia, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
16.

電子ブック

EB
ACM-Sigmod International Conference on Management of Data, Stefan Dessloch, Arnd Christian König, Gerhard Weikum, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
17.

電子ブック

EB
ACM/IEEE Joint Conference on Digital Libraries, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , IEEE, 2005
所蔵情報: loading…
18.

電子ブック

EB
International ACM SIGACCESS Conference on Computers and Accessibility, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
19.

電子ブック

EB
Mechanism, and Context ACM Workshop on Story Representation, Barbara Barry, Kevin Brooks, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
20.

電子ブック

EB
ACM Symposium on Document Engineering, Ethan V. Munson, Jean-Yves Vion-Dury, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
21.

電子ブック

EB
Sensor, and Ubiquitous Networks ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, M. Ould-Khaoua, Franco Zambonelli, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
22.

電子ブック

EB
ACM Conference on Computer and Communications Security, Peng Liu, Birgit Pfitzmann, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
23.

電子ブック

EB
ACM Workshop on Rapid Malcode, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
24.

電子ブック

EB
ACM Workshop on Formal Methods in Security Engineering, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
25.

電子ブック

EB
ACM Workshop on Visualization and Data Mining for Computer Security, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
26.

電子ブック

EB
ACM International Workshop on Multimedia Databases, Shu-Ching Chen, Marc Ronthaler, Mei-Ling Shyu, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
27.

電子ブック

EB
ACM Hardcopy Document Processing Workshop, Kirk Lubbes, Marc Ronthaler, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
28.

電子ブック

EB
ACM International Workshop on Data Warehousing and OLAP, Karen C. Davis, Marc Ronthaler, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2004
所蔵情報: loading…
29.

電子ブック

EB
ACM SIGMIS CPR Conference, Jo Ellen Moore, Susan E. Yager, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
30.

電子ブック

EB
Web3D Symposium, Luca Chittaro, David A. Duce, Nigel John, Sanford Ressler, Stephen N. Spencer, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
31.

電子ブック

EB
SIGCSE Conference on Innovation and Technology in Computer Science Education, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
32.

電子ブック

EB
ACM Symposium on Access Control Models and Technologies, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
33.

電子ブック

EB
International Conference on Embedded Networked Sensor Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
34.

電子ブック

EB
ACM-Sigmod International Conference on Management of Data, Rada Chirkova, Jennifer Widom, Fatma Özcan, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
35.

電子ブック

EB
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
36.

電子ブック

EB
SIGGRAPH (Conference), Samuel Lord Black, Kinda Lauro-Lazin, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
37.

電子ブック

EB
ACM International Conference on Information and Knowledge Management, Abdur R. Chowdhury, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
38.

電子ブック

EB
ACM International Workshop on Geographic Information Systems, Omar Boucelma, Cyrus Shahabi, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
39.

電子ブック

EB
Architectures, and Synthesis for Embedded Systems International Conference on Compilers, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
40.

電子ブック

EB
International ACM SIGACCESS Conference on Computers and Accessibility, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
41.

電子ブック

EB
ACM International Workshop on Data Warehousing and OLAP, Il-Yeol Song, Juan Trujillo, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
42.

電子ブック

EB
ACM Workshop on Geographic Information Retrieval, Christopher B. Jones, Ross Purves, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
43.

電子ブック

EB
SIGDOC (Conference : 1990- ), Robert M. Newman, Scott Robert Tilley, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
44.

電子ブック

EB
Sensor, and Ubiquitous Networks ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, M. Ould-Khaoua, Mineo Takai, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
45.

電子ブック

EB
ACM International Workshop on Wireless Multimedia Networking and Performance Modeling, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
46.

電子ブック

EB
Analysis, and Simulation of Wireless and Mobile Systems ACM Symposium on Modeling, Azzedine Boukerche, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
47.

電子ブック

EB
International Workshop on Web Information and Data Management, Angela Bonifati, Dongwon Lee, Marc Ronthaler, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
48.

電子ブック

EB
ACM Conference on Computer and Communications Security, Catherine Meadows, Paul Syverson, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
49.

電子ブック

EB
ACM Workshop on Security of Ad Hoc and Sensor Networks, Vijay Atluri, Wenliang Du, Peng Ning, Pierangela Samarati, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
50.

電子ブック

EB
ACM Workshop on Privacy in the Electronic Society, Sabrina De Capitani di Vimercati, Roger Dingledine, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
51.

電子ブック

EB
ACM Workshop on Rapid Malcode, Angelos Keromytis, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
52.

電子ブック

EB
ACM Workshop on Digital Rights Management, Reihanah Safavi-Naini, Moti Yung, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
53.

電子ブック

EB
ACM Workshop on Formal Methods in Security Engineering, Ralf Küsters, John C. Mitchell, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
54.

電子ブック

EB
ACM Workshop on Digital Identity Management, Atsuhiro Goto, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
55.

電子ブック

EB
ACM Workshop on Storage Security and Survivability, Larry Brumbaugh, Bill Yurcik, Yuanyuan Zhou, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
56.

電子ブック

EB
ACM Workshop on Secure Web Services, Ernesto Damiani, Hiroshi Maruyama, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
57.

電子ブック

EB
ACM Symposium on Document Engineering, Peter R. King, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
58.

電子ブック

EB
ESEC/FSE '97, Mehdi Jazayeri, Helmut Schauer, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
59.

電子ブック

EB
ESEC/FSE (Conference), Michel Lemoine, Oscar Marius Nierstrasz, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
Software Components
A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri
A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman
Robots: A Real-Time Systems Architectural Style / Vered Gafni
Software Process
Collaboration and Composition: Issues for a Second Generation Process Language / Brian C. Warboys ; Dharini Balasubramaniam ; R. Mark Greenwood ; Graham N.C. Kirby ; Ken Mayes ; Ron Morrison ; Dave S. Munro
Using UML for Software Process Modeling / Dirk Jäger ; Ansgar Schleicher ; Bernhard Westfechtel
A Probabilistic Model for Software Projects / Frank Padberg
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future / Nancy G. Leveson ; Mats P.E. Heimdahl ; Jon Damon Reese
Using Model Checking to Generate Tests from Requirements Specifications / Angelo Gargantini ; Constance Heitmeyer
Specification-Based Prototyping for Embedded Systems / Jeffrey M. Thompson ; Steven P. Miller
Program Analysis
Coping with Type Casts in C / Michael Siff ; Satish Chandra ; Thomas Ball ; Krishna Kunchithapadam ; Thomas Reps
Efficient Points-to Analysis for Whole-Program Analysis / Donglin Liang ; Mary Jean Harrold
The Concept of Dynamic Analysis
Data-Flow Analysis of Program Fragments / Atanas Rountev ; Barbara G. Ryder ; William Landi
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why? / Andreas Zeller
Comparison Checking: An Approach to Avoid Debugging of Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Structural Specification-Based Testing: Automated Support and Experimental Evaluation / Juei Chang ; Debra J. Richardson
An Efficient Relevant Slicing Method for Debugging / Tibor Gyimóthy ; Árpád Beszédes ; István Forgács
Java
Analyzing Exception Flow in JavaÖ Programs / Martin P. Robillard ; Gail C. Murphy
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs / Gleb Naumovich ; George S. Avrunin ; Lori A. Clarke
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java / Boris Bokowski
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systems / Hugo Fierz
Algebraic Software Architecture Reconfiguration / Michel Wermelinger ; José Luiz Fiadeiro
Consistency Checking for Multiple View Software Architectures / Pascal Fradet ; Daniel Le Métayer ; Michaël Périn
Reuse
Synergy between Component-Based and Generative Approaches / Stan Jarzabek ; Peter Knauber
Transitioning Legacy Assets to a Product Line Architecture / Joachim Bayer ; Jean-François Girard ; Martin Würthner ; Jean-Marc DeBaud ; Martin Apel
CHIME: A Metadata-Based Distributed Software Development Environment / Stephen E. Dossick ; Gail E. Kaiser
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cards / Gilles Grimaud ; Jean-Louis Lanet ; Jean-Jacques Vandewalle
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification / Victor A. Braberman ; Miguel Felder
Checking Progress with Action Priority: Is it Fair? / Dimitra Giannakopoulou ; Jeff Magee ; Jeff Kramer
Author Index
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
60.

電子ブック

EB
Renato Cerqueira, Roy H. Campbell, Roy Harold Campbell, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
Compadres: A Lightweight Component Middleware Framework for Composing Distributed Real-Time Embedded Systems with Real-Time Java / Jie Hu ; Shruti Gorappa ; Juan A. Colmenares ; Raymond Klefstad
Mobile and Ubiquitous Computing
SIPHoc: Efficient SIP Middleware for Ad Hoc Networks / Patrick Stuedi ; Marcel Bihr ; Alain Remund
Vector-Field Consistency for Ad-Hoc Gaming / Nuno Santos ; Luis Veiga ; Paulo Ferreira
Correlation-Based Content Adaptation for Mobile Web Browsing / Iqbal Mohomed ; Adin Scannell ; Nilton Bila ; Jin Zhang ; Eyal de Lara
Grid and Cluster Computing
New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications / Steven Y. Ko ; Ramses Morales ; Indranil Gupta
Interactive Resource-Intensive Applications Made Easy / H. Andres Lagar-Cavilla ; Niraj Tolia ; M. Satyanarayanan ; David O'Hallaron
Garbage Collecting the Grid: A Complete DGC for Activities / Denis Caromel ; Guillaume Chazarain ; Ludovic Henrio
Enhancing Communication
XenSocket: A High-Throughput Interdomain Transport for Virtual Machines / Xiaolan Zhang ; Suzanne McIntosh ; Pankaj Rohatgi ; John Linwood Griffin
Creating Private Network Overlays for High Performance Scientific Computing / Edward Walker
A Cost-Effective Distributed File Service with QoS Guarantees / Kien Le ; Ricardo Bianchini ; Thu D. Nguyen
Resource Management
R-Capriccio: A Capacity Planning and Anomaly Detection Tool for Enterprise Services with Live Workloads / Qi Zhang ; Ludmila Cherkasova ; Guy Mathews ; Wayne Greene ; Evgenia Smirni
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems / Brian Cho
iManage: Policy-Driven Self-management for Enterprise-Scale Systems / Vibhore Kumar ; Brian F. Cooper ; Greg Eisenhauer ; Karsten Schwan
Reliability and Fault Tolerance
Middleware Support for Adaptive Dependability / Lorenz Froihofer ; Karl M. Goeschka ; Johannes Osrael
Consistent and Scalable Cache Replication for Multi-tier J2EE Applications / Francisco Perez-Sorrosal ; Marta Patino-Martinez ; Ricardo Jimenez-Peris ; Bettina Kemme
CLASP: Collaborating, Autonomous Stream Processing Systems / Michael Branson ; Fred Douglis ; Brad Fawcett ; Zhen Liu ; Anton Riabov ; Fan Ye
Asynchronous Communication
A Policy Management Framework for Content-Based Publish/Subscribe Middleware / Alex Wun ; Hans-Arno Jacobsen
Hybrid Dissemination: Adding Determinism to Probabilistic Multicasting in Large-Scale P2P Systems / Spyros Voulgaris ; Maarten van Steen
A Utility-Aware Middleware Architecture for Decentralized Group Communication Applications / Jianjun Zhang ; Ling Liu ; Lakshmish Ramaswamy ; Gong Zhang ; Calton Pu
Programming Wireless Sensor Networks with the TeenyLime Middleware / Paolo Costa ; Luca Mottola ; Amy L. Murphy ; Gian Pietro Picco
Author Index
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
61.

電子ブック

EB
ESEC/FSE (Conference), Michel Lemoine, Oscar Marius Nierstrasz, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
Software Components
A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri
A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman
Robots: A Real-Time Systems Architectural Style / Vered Gafni
Software Process
Collaboration and Composition: Issues for a Second Generation Process Language / Brian C. Warboys ; Dharini Balasubramaniam ; R. Mark Greenwood ; Graham N.C. Kirby ; Ken Mayes ; Ron Morrison ; Dave S. Munro
Using UML for Software Process Modeling / Dirk Jäger ; Ansgar Schleicher ; Bernhard Westfechtel
A Probabilistic Model for Software Projects / Frank Padberg
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future / Nancy G. Leveson ; Mats P.E. Heimdahl ; Jon Damon Reese
Using Model Checking to Generate Tests from Requirements Specifications / Angelo Gargantini ; Constance Heitmeyer
Specification-Based Prototyping for Embedded Systems / Jeffrey M. Thompson ; Steven P. Miller
Program Analysis
Coping with Type Casts in C / Michael Siff ; Satish Chandra ; Thomas Ball ; Krishna Kunchithapadam ; Thomas Reps
Efficient Points-to Analysis for Whole-Program Analysis / Donglin Liang ; Mary Jean Harrold
The Concept of Dynamic Analysis
Data-Flow Analysis of Program Fragments / Atanas Rountev ; Barbara G. Ryder ; William Landi
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why? / Andreas Zeller
Comparison Checking: An Approach to Avoid Debugging of Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Structural Specification-Based Testing: Automated Support and Experimental Evaluation / Juei Chang ; Debra J. Richardson
An Efficient Relevant Slicing Method for Debugging / Tibor Gyimóthy ; Árpád Beszédes ; István Forgács
Java
Analyzing Exception Flow in JavaÖ Programs / Martin P. Robillard ; Gail C. Murphy
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs / Gleb Naumovich ; George S. Avrunin ; Lori A. Clarke
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java / Boris Bokowski
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systems / Hugo Fierz
Algebraic Software Architecture Reconfiguration / Michel Wermelinger ; José Luiz Fiadeiro
Consistency Checking for Multiple View Software Architectures / Pascal Fradet ; Daniel Le Métayer ; Michaël Périn
Reuse
Synergy between Component-Based and Generative Approaches / Stan Jarzabek ; Peter Knauber
Transitioning Legacy Assets to a Product Line Architecture / Joachim Bayer ; Jean-François Girard ; Martin Würthner ; Jean-Marc DeBaud ; Martin Apel
CHIME: A Metadata-Based Distributed Software Development Environment / Stephen E. Dossick ; Gail E. Kaiser
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cards / Gilles Grimaud ; Jean-Louis Lanet ; Jean-Jacques Vandewalle
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification / Victor A. Braberman ; Miguel Felder
Checking Progress with Action Priority: Is it Fair? / Dimitra Giannakopoulou ; Jeff Magee ; Jeff Kramer
Author Index
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
62.

電子ブック

EB
ESEC/FSE '97, Mehdi Jazayeri, Helmut Schauer, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
63.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery., Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
64.

電子ブック

EB
Renato Cerqueira, Roy H. Campbell, Roy Harold Campbell, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
Compadres: A Lightweight Component Middleware Framework for Composing Distributed Real-Time Embedded Systems with Real-Time Java / Jie Hu ; Shruti Gorappa ; Juan A. Colmenares ; Raymond Klefstad
Mobile and Ubiquitous Computing
SIPHoc: Efficient SIP Middleware for Ad Hoc Networks / Patrick Stuedi ; Marcel Bihr ; Alain Remund
Vector-Field Consistency for Ad-Hoc Gaming / Nuno Santos ; Luis Veiga ; Paulo Ferreira
Correlation-Based Content Adaptation for Mobile Web Browsing / Iqbal Mohomed ; Adin Scannell ; Nilton Bila ; Jin Zhang ; Eyal de Lara
Grid and Cluster Computing
New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications / Steven Y. Ko ; Ramses Morales ; Indranil Gupta
Interactive Resource-Intensive Applications Made Easy / H. Andres Lagar-Cavilla ; Niraj Tolia ; M. Satyanarayanan ; David O'Hallaron
Garbage Collecting the Grid: A Complete DGC for Activities / Denis Caromel ; Guillaume Chazarain ; Ludovic Henrio
Enhancing Communication
XenSocket: A High-Throughput Interdomain Transport for Virtual Machines / Xiaolan Zhang ; Suzanne McIntosh ; Pankaj Rohatgi ; John Linwood Griffin
Creating Private Network Overlays for High Performance Scientific Computing / Edward Walker
A Cost-Effective Distributed File Service with QoS Guarantees / Kien Le ; Ricardo Bianchini ; Thu D. Nguyen
Resource Management
R-Capriccio: A Capacity Planning and Anomaly Detection Tool for Enterprise Services with Live Workloads / Qi Zhang ; Ludmila Cherkasova ; Guy Mathews ; Wayne Greene ; Evgenia Smirni
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems / Brian Cho
iManage: Policy-Driven Self-management for Enterprise-Scale Systems / Vibhore Kumar ; Brian F. Cooper ; Greg Eisenhauer ; Karsten Schwan
Reliability and Fault Tolerance
Middleware Support for Adaptive Dependability / Lorenz Froihofer ; Karl M. Goeschka ; Johannes Osrael
Consistent and Scalable Cache Replication for Multi-tier J2EE Applications / Francisco Perez-Sorrosal ; Marta Patino-Martinez ; Ricardo Jimenez-Peris ; Bettina Kemme
CLASP: Collaborating, Autonomous Stream Processing Systems / Michael Branson ; Fred Douglis ; Brad Fawcett ; Zhen Liu ; Anton Riabov ; Fan Ye
Asynchronous Communication
A Policy Management Framework for Content-Based Publish/Subscribe Middleware / Alex Wun ; Hans-Arno Jacobsen
Hybrid Dissemination: Adding Determinism to Probabilistic Multicasting in Large-Scale P2P Systems / Spyros Voulgaris ; Maarten van Steen
A Utility-Aware Middleware Architecture for Decentralized Group Communication Applications / Jianjun Zhang ; Ling Liu ; Lakshmish Ramaswamy ; Gong Zhang ; Calton Pu
Programming Wireless Sensor Networks with the TeenyLime Middleware / Paolo Costa ; Luca Mottola ; Amy L. Murphy ; Gian Pietro Picco
Author Index
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
65.

電子ブック

EB
Design Automation Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2002
所蔵情報: loading…
66.

電子ブック

EB
International Conference on Software Engineering, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2002
所蔵情報: loading…
67.

電子ブック

EB
IPSN 2004, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2004
所蔵情報: loading…
68.

電子ブック

EB
ACM/IEEE Joint Conference on Digital Libraries, Hsinchun Chen, Michael Christel, Ee-Peng Lim, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2004
所蔵情報: loading…
69.

電子ブック

EB
Workshop on Principles of Advanced and Distributed Simulation, Christopher D. Carothers, David M. Nicol, Stephen John Turner, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2005
所蔵情報: loading…
70.

電子ブック

EB
International Conference on Software Engineering, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2003
所蔵情報: loading…
71.

電子ブック

EB
ACM/IEEE Joint Conference on Digital Libraries, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2005
所蔵情報: loading…
72.

電子ブック

EB
Design Automation Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2003
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼