close
1.

電子ブック

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

電子ブック

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…
3.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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…
7.

電子ブック

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…
8.

電子ブック

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
9.

電子ブック

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…
10.

電子ブック

EB
International Conference on Computer-Aided Design of User Interfaces, Robert J. K. Jacob, Quentin Limbourg, Jean Vanderdonckt, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Dordrecht : Springer Netherlands, 2005
所蔵情報: loading…
目次情報: 続きを見る
Task Modelling
The Influence of Improved Task Models on Dialogues / A. Dittmar ; P. Forbrig1:
Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept / B. Bomsdorf ; G. Szwillus2:
Hypermedia and Web-Based Systems
Model-Based Design of Online Help Systems / M. Silveira ; S. Barbosa ; C. de Souza3:
A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method / S. Montero ; C. FernÃíndez ; J. M. Dodero ; I. Aedo ; P. Dáaz4:
SwcEditor: a Model-Based Tool for Interactive Modelling of Web Navigation / M. Winckler ; E. Barboni ; Ch. Farenc ; Ph. Palanque5:
Model-Based Design
Behaviour Modeller: The Systematic Generation of Statechart from Functional Relations and Scenarios for Prototyping User Interfaces / A. Urushihara ; S. Kanai ; T. Kishinami ; T. Tomura6:
Maui: An Interface Design Tool Based on Matrix Algebra / J. Gow ; H. Thimbleby7:
Goliath: an Extensible Model-Based Environment to Develop User Interfaces / D. Julien ; M. Ziane ; Z. Guessoum8:
Transformational Development of User Interfaces with Graph Transformations / Q. Limbourg ; J. Vanderdonckt9:
Usability Engineering
A Distributed Usage Monitoring System / Ph. Gray ; I. McLeod ; S. Draper ; M. Crease ; R. Thomas10:
Dialogue-Based Design of Web Usability Questionnaires Using Ontologies / E.G. Barriocanal ; M.A. Sicilia UrbÃín ; L. GonzÃílez ; J. Hilera11:
Creating Contextualised Usability Guides for Web Sites Design and Evaluation / C. Mariage12:
Usability Testing of Interaction Components: Taking the Message Exchange as a Measure of Usability / W.P. Brinkman ; R. Haakma ; D.G. Bouwhuis13:
InFigura, An Integrated Design Tool. Exploiting Semantics and Patterns of Web Development / T. Tiedtke ; T. Krach ; Ch. MÃñrtin14:
Instrumenting Bytecode for the Production of Usage Data / I. Macleod ; H. Evans ; R. Mancy15:
Patterns and Re-use
Patterns in Model-Based Engineering / D. Sinnig ; A. Gaffar ; D. Reichart ; A. Seffah16:
Analysis and Design of Model-Based User Interfaces: An Approach to Refining Specifications towards Implementation / P.J. Molina ; H. Trà tteberg17:
Interaction Templates for Constructing User Interfaces from Task Models / D. Paquette ; K. Schneider18:
Automating a Design Reuse Facility with Critical Parameters: Lessons Learned in Developing the Link-Up System / C.M. Chewar ; E. Bachetti ; D.S. McCrickard ; J.E. Booker19:
Mark-up Languages
XICLâ1/4"An Extensible Mark-up Language for Developing User Interface and Components / L.G. de Sousa ; J.C. Leite20:
Uiml.Net: an Open Uiml Renderer for the .Net Framework / K. Luyten ; K. Coninx21:
Ubiquitous Computing
The Ubiquitous Interactorâ1/4"Device Independent Access to Mobile Services / S. Nylander ; M. Bylund ; A. Waern22:
Generating Context-Sensitive Multiple Device Interfaces from Design / T. Clerckx23:
A Lightweight Experiment Management System for Handheld Computers / J. Goodman ; J. Macleod24:
Mixed-Reality Systems
Generic Interaction Techniques for Mobile Collaborative Mixed Systems / Ph. Renevier ; L. Nigay ; J. Bouchet ; L. Pasqualetti25:
The Continuity Property in Mixed Reality and Multiplatform Systems: A Comparative Study / M. Florins ; D.G. Trevisan26:
Speech-Based Systems
Building Rich User Interfaces for Digital Talking Books / L. Carrià o ; C. Duarte ; R. Lopes ; M. Rodrigues ; N. GuimarÃúes27:
A Framework for Developing Conversational User Interfaces / J. Glass ; E. Weinstein ; S. Cyphers ; J. Polifroni ; G. Chung ; M. Nakano28:
A System For Manipulating Audio Interfaces Using Timbre Spaces / C. Nicol ; S. Brewster29:
Task Modelling
The Influence of Improved Task Models on Dialogues / A. Dittmar ; P. Forbrig1:
Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept / B. Bomsdorf ; G. Szwillus2:
11.

電子ブック

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…
12.

電子ブック

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

電子ブック

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…
14.

電子ブック

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

電子ブック

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…
16.

電子ブック

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…
17.

電子ブック

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…
18.

電子ブック

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…
19.

電子ブック

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…
20.

電子ブック

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…
21.

電子ブック

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…
22.

電子ブック

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

電子ブック

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…
24.

電子ブック

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…
25.

電子ブック

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…
26.

電子ブック

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…
27.

電子ブック

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…
28.

電子ブック

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…
29.

電子ブック

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…
30.

電子ブック

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…
31.

電子ブック

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…
32.

電子ブック

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…
33.

電子ブック

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…
34.

電子ブック

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…
35.

電子ブック

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…
36.

電子ブック

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…
37.

電子ブック

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…
38.

電子ブック

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…
39.

電子ブック

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…
40.

電子ブック

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…
41.

電子ブック

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…
42.

電子ブック

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…
43.

電子ブック

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…
44.

電子ブック

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…
45.

電子ブック

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…
46.

電子ブック

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…
47.

電子ブック

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…
48.

電子ブック

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…
49.

電子ブック

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…
50.

電子ブック

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…
51.

電子ブック

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…
52.

電子ブック

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…
53.

電子ブック

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…
54.

電子ブック

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…
55.

電子ブック

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…
56.

電子ブック

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…
57.

電子ブック

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…
58.

電子ブック

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
59.

電子ブック

EB
Arosha K. Bandara, Mark Burgess, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
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
International Conference on Computer-Aided Design of User Interfaces, Robert J. K. Jacob, Quentin Limbourg, Jean Vanderdonckt, Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Dordrecht : Springer Netherlands, 2005
所蔵情報: loading…
目次情報: 続きを見る
Task Modelling
The Influence of Improved Task Models on Dialogues / A. Dittmar ; P. Forbrig1:
Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept / B. Bomsdorf ; G. Szwillus2:
Hypermedia and Web-Based Systems
Model-Based Design of Online Help Systems / M. Silveira ; S. Barbosa ; C. de Souza3:
A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method / S. Montero ; C. FernÃíndez ; J. M. Dodero ; I. Aedo ; P. Dáaz4:
SwcEditor: a Model-Based Tool for Interactive Modelling of Web Navigation / M. Winckler ; E. Barboni ; Ch. Farenc ; Ph. Palanque5:
Model-Based Design
Behaviour Modeller: The Systematic Generation of Statechart from Functional Relations and Scenarios for Prototyping User Interfaces / A. Urushihara ; S. Kanai ; T. Kishinami ; T. Tomura6:
Maui: An Interface Design Tool Based on Matrix Algebra / J. Gow ; H. Thimbleby7:
Goliath: an Extensible Model-Based Environment to Develop User Interfaces / D. Julien ; M. Ziane ; Z. Guessoum8:
Transformational Development of User Interfaces with Graph Transformations / Q. Limbourg ; J. Vanderdonckt9:
Usability Engineering
A Distributed Usage Monitoring System / Ph. Gray ; I. McLeod ; S. Draper ; M. Crease ; R. Thomas10:
Dialogue-Based Design of Web Usability Questionnaires Using Ontologies / E.G. Barriocanal ; M.A. Sicilia UrbÃín ; L. GonzÃílez ; J. Hilera11:
Creating Contextualised Usability Guides for Web Sites Design and Evaluation / C. Mariage12:
Usability Testing of Interaction Components: Taking the Message Exchange as a Measure of Usability / W.P. Brinkman ; R. Haakma ; D.G. Bouwhuis13:
InFigura, An Integrated Design Tool. Exploiting Semantics and Patterns of Web Development / T. Tiedtke ; T. Krach ; Ch. MÃñrtin14:
Instrumenting Bytecode for the Production of Usage Data / I. Macleod ; H. Evans ; R. Mancy15:
Patterns and Re-use
Patterns in Model-Based Engineering / D. Sinnig ; A. Gaffar ; D. Reichart ; A. Seffah16:
Analysis and Design of Model-Based User Interfaces: An Approach to Refining Specifications towards Implementation / P.J. Molina ; H. Trà tteberg17:
Interaction Templates for Constructing User Interfaces from Task Models / D. Paquette ; K. Schneider18:
Automating a Design Reuse Facility with Critical Parameters: Lessons Learned in Developing the Link-Up System / C.M. Chewar ; E. Bachetti ; D.S. McCrickard ; J.E. Booker19:
Mark-up Languages
XICLâ1/4"An Extensible Mark-up Language for Developing User Interface and Components / L.G. de Sousa ; J.C. Leite20:
Uiml.Net: an Open Uiml Renderer for the .Net Framework / K. Luyten ; K. Coninx21:
Ubiquitous Computing
The Ubiquitous Interactorâ1/4"Device Independent Access to Mobile Services / S. Nylander ; M. Bylund ; A. Waern22:
Generating Context-Sensitive Multiple Device Interfaces from Design / T. Clerckx23:
A Lightweight Experiment Management System for Handheld Computers / J. Goodman ; J. Macleod24:
Mixed-Reality Systems
Generic Interaction Techniques for Mobile Collaborative Mixed Systems / Ph. Renevier ; L. Nigay ; J. Bouchet ; L. Pasqualetti25:
The Continuity Property in Mixed Reality and Multiplatform Systems: A Comparative Study / M. Florins ; D.G. Trevisan26:
Speech-Based Systems
Building Rich User Interfaces for Digital Talking Books / L. Carrià o ; C. Duarte ; R. Lopes ; M. Rodrigues ; N. GuimarÃúes27:
A Framework for Developing Conversational User Interfaces / J. Glass ; E. Weinstein ; S. Cyphers ; J. Polifroni ; G. Chung ; M. Nakano28:
A System For Manipulating Audio Interfaces Using Timbre Spaces / C. Nicol ; S. Brewster29:
Task Modelling
The Influence of Improved Task Models on Dialogues / A. Dittmar ; P. Forbrig1:
Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept / B. Bomsdorf ; G. Szwillus2:
62.

電子ブック

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
63.

電子ブック

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…
64.

電子ブック

EB
Arosha K. Bandara, Mark Burgess, Takeo Kanade, Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
65.

電子ブック

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
66.

電子ブック

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

電子ブック

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…
68.

電子ブック

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

電子ブック

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…
70.

電子ブック

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…
71.

電子ブック

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…
72.

電子ブック

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…
73.

電子ブック

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