close
1.

電子ブック

EB
Jon Whittle, Tony Clark, Takeo Kanade, Thomas Kühne, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
2.

電子ブック

EB
Manfred Jeusfeld, Lois Delcambre, Takeo Kanade, Tok Wang Ling, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
3.

電子ブック

EB
Daniel Berry, Xavier Franch, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1:
Supporting Requirements Engineers in Recognising Security Issues / Eric Knauss ; Siv Houmb ; Kurt Schneider ; Shareeful Islam ; Jan Jürjens
Discovering Sustainability Requirements: An Experience Report / Martin Mahaux ; Patrick Heymans ; Germain Saval
Process Improvement and Requirements in Context / Session 2:
Requirements Engineering Process Improvement: An Industrial Case Study / Georgi A. Markov ; Anne Hoffmann ; Oliver Creighton
Requirements for a Nutrition Education Demonstrator / Ing Widya ; Richard Bults ; Rene de Wijk ; Ben Loke ; Nicole Koenderink ; Ricardo Batista ; Val Jones ; Hermie Hermens
Scaling Up Requirements Engineering - Exploring the Challenges of Increasing Size and Complexity in Market-Driven Software Development / Krzysztof Wnuk ; Björn Regnell ; Brian Berenbach
Elicitation / Session 3:
Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research / Thorsten Merten ; Kim Lauenroth ; Simone Bürsner
Research Preview: Supporting End-User Requirements Elicitation Using Product Line Variability Models / Deepak Dhungana ; Norbert Seyff ; Florian Graf
Interview Patterns for Requirements Elicitation / Lauri Ann Scheinholtz ; Ilona Wilmont
A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment / Sascha El-Sharkawy ; Klaus Schmid
Models / Session 4:
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview / Nauman A. Qureshi ; Anna Perini
Flexible Sketch-Based Requirements Modeling / Dustin Wüest ; Martin Glinz
Use Cases versus Task Descriptions / Soren Laueson ; Mohammad A. Kuhail
Services / Session 5:
Is It Beneficial to Match Reusable Services Earlier? / Martin Henkel ; Erik Perjons ; Sebastian Adam ; Oezguer Uenalan ; Norman Riegel12:
Embedded and Real-Time Systems / Session 6:
Requirements Engineering for Embedded Systems: An Investigation of Industry Needs / Ernst Sikora ; Bastian Tenbergen ; Klaus Pohl
Applying Restricted English Grammar on Automotive Requirements-Does it Work? A Case Study / Amalinda Post ; Igor Menzel ; Andreas Podelski
Prioritization and Traceability / Session 7:
Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature / Zornitza Bakalova ; Maya Daneva ; Andrea Herrmann ; Roel Wieringa
Mining Requirements Links / Vincenzo Gervasi ; Didar Zowghi
Clustering Stakeholders for Requirements Decision Making / Varsha Veerappa ; Emmanuel Letier
Author Index
Keynote
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1:
4.

電子ブック

EB
Jens Knoop, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Future-Proofing Collections: From Mutable to Persistent to Parallel / Martin Odersky
JIT Compilation and Code Generation
Dynamic Elimination of Overflow Tests in a Trace Compiler / Rodrigo Sol ; Christophe Guillon ; Fernando Magno Quintão Pereira ; Mariza A.S. Bigonha
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler / Nurudeen Lameed ; Laurie Hendren
SSA-Based Register Allocation with PBQP / Sebastian Buchwald ; Andreas Zwinkau ; Thomas Bersch
Program Analysis
Probabilistic Points-to Analysis for Java / Qiang Sun ; Jianjun Zhao ; Yuting Chen
Faster Alias Set Analysis Using Summaries / Nomair A. Naeem ; Ondrej Lhoták
JPure: A Modular Purity System for Java / David J. Pearce
Tainted Flow Analysis on e-SSA-Form Programs / Andrei Rimsa ; Marcelo d'Amorim
Reversible Computing and Interpreters
Clean Translation of an Imperative Reversible Programming Language / Holger Bock Axelsen
Interpreter Instruction Scheduling / Stefan Brunthaler
Parallelism and High-Performance Computing
Actor-Based Parallel Dataflow Analysis / Jonathan Rodriguez
Using Disjoint Reachability for Parallelization / James Jenista ; Yong hun Eom ; Brian Demsky
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures / Tom Henretty ; Kevin Stock ; Louis-Noël Pouchet ; Franz Franchetti ; J. Ramanujam ; P. Sadayappan
Subregion Analysis and Bounds Check Elimination for High Level Arrays / Mackale Joyner ; Zoran Budimlic ; Vivek Sarkar
Task and Data Distribution
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies / Wenjing Ma ; Sriram Krishnamoorthy ; Gagan Agrawal
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL / Dominik Grewe ; Michael F.P. O'Boyle
Author Index
Invited Talk
Future-Proofing Collections: From Mutable to Persistent to Parallel / Martin Odersky
JIT Compilation and Code Generation
5.

電子ブック

EB
Parosh Aziz Abdulla, Takeo Kanade, K. Rustan M. Leino
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Reliable Software Development: Analysis-Aware Design (Invited Talk) / Gerard J. Holzmann
Transition Invariants and Transition Predicate Abstraction for Program Termination (Invited Talk) / Andreas Podelski ; Audrey Rybalchenko
Memory Models and Consistency
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models / Jabob Burnim ; Koushik Sen ; Christos Stergiou
Compositionality Entails Sequentializability / Pranav Garg ; P. Madhusudan
Litmus: Running Tests against Hardware / Jade Alglave ; Luc Maranget ; Susmit Sarkar ; Peter Sewell
Invariants and Termination
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories / Sylvain Conchon ; Evelyne Contejean ; Mohamed Iguernelala
Invariant Generation in Vampire / Kryaštof Hoder ; Laura Kovács ; Andrei Voronkov
Enforcing Structural Invariants Using Dynamic Frames / Diego Garbervetsky ; Daniel Gorin ; Ariel Neisen
Loop Summarization and Termination Analysis / Aliaksei Tsitovich ; Natasha Sharygina ; Christoph M. Wintersteiger ; Daniel Kroening
Timed and Probabilistic Systems
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata / Nathalie Bertrand ; Thierry Jéron ; Amelie Stainer ; Moez Krichen
Quantitative Multi-objective Verification for Probabilistic Systems / Vojt ch Forejt ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Hongyang Qu
Efficient CTMC Model Checking of Linear Real-Time Objectives / Benoît Barbot ; Taolue Chen ; Tingling Han ; Joost-Pieter Katoen ; Alexandru Mereacre
Interpolations and SAT-Solvers
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic / A erto Griggio ; Thi Thieu Hoa Le ; Roberto Sebastiani
Generailized Craig Interpolation for Stochastic Boolean Satisfiability Problems / T Teige ; Martin Fränzle
Specification-Based Program Repair Using SAT / Divya Gopinath ; Muhammad Zubair Malik ; Sarfraz Khurshid
Optimal Base Encodings for Pseudo-Boolean Constraints / Michael Codish ; Yoav Fekete ; Carsten Fuhs ; Peter Schneider-Kamp
Learning
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference / Yunybum Jung ; Wonchan Lee ; Bow- Yaw Wang ; Kwangkuen Yi
Next Generation LearnLib / Math Merten ; Bernhard Steffen ; Falk Howar ; Tiziana Margaria
Model Checking
Applying CEGAR to the Petri Net State Equation / Harro Wimmel ; Karsten Wolf
Biased Model Checking Using Flows / Muralidhar Talupur ; Byojung Han
S-TALIRO: A Tool for Temporal Logic Falsification for Hybrid Systems / Yashwanth Annapureddy ; Che Liu ; Georgios Fainekos ; Srirch Sankaranarayanan
Games and Automata
GAVS+: An Open Platform for the Research of Algorithmic Game Solving / Chih-Hong Cheng ; Alois Knoll ; Michael Luttenberger ; Christian Buckl
Büchi Store; An Open Repository of Büchi Automata / Yih-Kuen Tsay ; Ming-Hsien Tsai ; Jinn-Shu Chang ; Yi-Wen Chang
QUASY: Quantitative Synthesis Tool / Krishnendu Chatterjee ; Thomas A. Henzinger ; Barbara Jobstmann ; Rohit Singh
Unbeast: Symbolic Bounded Synthesis / Rüdiger Ehlers
Verification (I)
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy / Sebastian Kupferschmid ; Martin Wehrle
The ACL2 Sedan Theorem Proving System / Harsh Raju Chamarthi ; Peter Dillinger ; Panagiotis Manolios ; Daron Vroon
Probabilistic Systems
On Probabilistic Parallel Programs with Process Creation and Synchronisation / Stefan Kiefer ; Dominik Wojtczak
Confluence Reduction for Probabilistic Systems / Mark Timmer ; Mariëlle Stoelinga ; Jaco van de Pol
Model Repair for Probabilistic Systems / Ezio Bartocci ; Radu Grosu ; Panagiotis Katsaros ; CR. Ramakrishnan ; Scott A. Smolka
Verification (II)
Boosting Lazy Abstraction for SystemC with Partial Order Reduction / Alessandro Cimatti ; Iman Narasamdya ; Marco Roveri
Modelling and Verification of Web Services Business Activity Protocol / Anders P. Ravn ; Jirí Srba ; Saleem Vighto
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes / Hubert Garavel ; Frédéric Lang ; Radu Mateescu ; Wendelin Serwe
GameTime: A Toolkit for Timing Analysis of Software / Sanjit A. Seshia ; Jonathan Kotker
Author Index
Reliable Software Development: Analysis-Aware Design (Invited Talk) / Gerard J. Holzmann
Transition Invariants and Transition Predicate Abstraction for Program Termination (Invited Talk) / Andreas Podelski ; Audrey Rybalchenko
Memory Models and Consistency
6.

電子ブック

EB
Jim Davies, Takeo Kanade, Leila Silva, Adenilso Simao, Adenilso Simão
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Directed Model Checking for B: An Evaluation and New Techniques / Michael Leuschel ; Jens Bendisposto
Midlet Navigation Graphs in JML / Wojciech Mostowski ; Erik Poll
Runtime Verification for Generic Classes with ConGu2 / Pedro Crispim ; Antónia Lopes ; Vasco T. Vasconcelos
A High-Level Language for Modeling Algorithms and Their Properties / Sabina Akhtar ; Stephan Merz ; Martin Quinson
A Formal Environment Model for Multi-Agent Systems / Paulo Salem da Silva ; Ana C. V. de Melo
A Modal Interface Theory with Data Constraints / Sebastian S. Bauer ; Rolf Hennicker ; Michel Bidoit
Synchronizing Model and Program Refactoring / Tiago Massoni ; Rohit Gheyi ; Paulo Borba
A Type-Theoretic Framework for Certified Model Transformations / Daniel Calegari ; Carlos Luna ; Nora Szasz ; Álvaro Tasistro
Simulating Truly Concurrent CSP / Moritz Kleine ; J. W. Sanders
Statistical Verification of Probabilistic Properties with Unbounded Until / HÃ¥kan L.S. Younes ; Edmund M. Clarke ; Paolo Zuliani
Reasoning about Assignments in Recursive Data Structures / Alejandro Tamalet ; Ken Madlener
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned / Abderrahman Matoussi ; Frédéric Gervais ; Régine Laleau
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence / Eduardo Mazza ; Marie-Laure Potet ; Daniel Le Métayer
Formal Development of a Cardiac Pacemaker: From Specification to Code / Artur O. Gomes ; Marcel V.M. Oliveira
A Decision Procedure for Bisimilarity of Generalized Regular Expressions / Marcello Bonsangue ; Georgiana Caltais ; Eugen-Ioan Goriac ; Dorel Lucanu ; Jan Rutten ; Alexandra Silva
Normalization of Linear Horn Clauses / Thomas Martin Gawlitza ; Helmut Seidl ; Kumar Neeraj Verma
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs / Zhiming Liu ; Charles Morisset ; Shuling Wang
Automating Refinement of Circus Programs / Frank Zeyda ; Ana Cavalcanti
Author Index
Directed Model Checking for B: An Evaluation and New Techniques / Michael Leuschel ; Jens Bendisposto
Midlet Navigation Graphs in JML / Wojciech Mostowski ; Erik Poll
Runtime Verification for Generic Classes with ConGu2 / Pedro Crispim ; Antónia Lopes ; Vasco T. Vasconcelos
7.

電子ブック

EB
Dimitra Giannakopoulou, Takeo Kanade, Fernando Orejas
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
The Dependability of Complex Socio-technical Systems / Ross Anderson
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker
Verification
An Interface Theory for Service-Oriented Design / José Luiz Fiadeiro ; Antónia Lopes
rt-Inconsistency: A New Property for Real-Time Requirements / Amalinda Post ; Jochen Hoenicke ; Andreas Podelski
Automatic Flow Analysis for Event-B / Jens Bendisposto ; Michael Leuschel
Semantic Quality Attributes for Big-Step Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day
Specification and Modelling
Formalizing and Operationalizing Industrial Standards / Dominik Dietrich ; Lutz Schröder ; Ewaryst Schulz
Modelling Non-linear Crowd Dynamics in Bio-PEPA / Mieke Massink ; Diego Latella ; Andrea Bracciali ; Jane Hillston
Reachability and Model Checking
Smart Reduction / Pepijn Crouzen ; Frédéric Lang
Uniform Monte-Carlo Model Checking / Johan Oudinet ; Alain Denise ; Marie-Claude Gaudel ; Richard Lassaigne ; Sylvain Peyronnet
Model Checking Büchi Pushdown Systems / Juncao Li ; Fei Xie ; Thomas Ball ; Vladimir Levin
Model Driven Engineering
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior / Claudia Ermel ; Jürgen Gall ; Leen Lambers ; Gabriele Taentzer
Models within Models: Taming Model Complexity Using the Sub-model Lattice / Pierre Kelsen ; Qin Ma ; Christian Glodt
Type-Safe Evolution of Spreadsheets / Jácome Cunha ; Joost Visser ; Tiago Alves ; João Saraiva
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications / Hartmut Ehrig
Software Development for QoS
A Step-Wise Approach for Integrating QoS throughout Software Development / Stéphanie Gatti ; Emilie Balland ; Charles Consel
Systematic Development of UMLsec Design Models Based on Security Requirements / Denis Hatebur ; Maritta Heisel ; Jan Jürjens ; Holger Schmidt
Testing: Theory and New Trends
Theoretical Aspects of Compositional Symbolic Execution / Dries Vanoverberghe ; Frank Piessens
Testing Container Classes: Random or Systematic? / Rohan Sharma ; Milos Gligoric ; Andrea Arcuri ; Gordon Fraser ; Darko Marinov
Seamless Testing for Models and Code / Andreas Holzer ; Visar Januzaj ; Stefan Kugele ; Boris Langer ; Christian Schallhart ; Michael Tautschnig ; Helmut Veith
Testing in Practice
Retrofitting Unit Tests for Parameterized Unit Testing / Suresh Thummalapenta ; Madhuri R. Marri ; Tao Xie ; Nikolai Tillmann ; Jonathan de Halleux
Evolving a Test Oracle in Black-Box Testing / Farn Wang ; Jung-Hsuan Wu ; Chung-Hao Huang ; Kai-Hsiang Chang
Automated Driver Generation for Analysis of Web Applications / Oksana Tkachuk ; Sreeranga Rajan
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts / Tamim Ahmed Khan ; Reiko Heckel
Code Development and Analysis
Incremental Clone Detection and Elimination for Erlang Programs / Huiqing Li ; Simon Thompson
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? / Bashar Gharaibeh ; Hridesh Rajan ; J. Morris Chang
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity / Qirun Zhang ; Wujie Zheng ; Michael R. Lyu
Search-Based Design Defects Detection by Example / Marouane Kessentini ; Houari Sahraoui ; Mounir Boukadoum ; Manuel Wimmer
Empirical Studies
An Empirical Study on Evolution of API Documentation / Lin Shi ; Hao Zhong ; Mingshu Li
An Empirical Study of Long-Lived Code Clones / Dongxiang Cai ; Miryung Kim
Where the Truth Lies: AOP and Its Impact on Software Modularity / Adam Przybylek
Author Index
Invited Talk
The Dependability of Complex Socio-technical Systems / Ross Anderson
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker
8.

電子ブック

EB
Gilles Barthe, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Verified Software Toolchain (Invited Talk) / Andrew W. Appel
Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce
Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann
Typing Copyless Message Passing / Viviana Bono ; Chiara Messa ; Luca Padovani
Measure Transformer Semantics for Bayesian Machine Learning / Johannes Borgström ; Andrew D. Gordon ; James Margetson ; Jurgen Van Gael
Transfer Function Synthesis without Quantifier Elimination / Jörg Brauer ; Andy King
Semantics of Concurrent Revisions / Sebastian Burckhardt ; Daan Leijen
Type-Based Access Control in Data-Centric Systems / Luís Caires ; Jorge A. Pérez ; João Costa Seco ; Hugo Torres Vieira ; Lúcio Ferrão
Linear Absolute Value Relation Analysis / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot
Generalizing the Template Polyhedral Domain / Michael A. Colón ; Sriram Sankaranarayanan
Dataflow Analysis for Datarace-Free Programs / Arnab De ; Deepak D'Souza ; Rupesh Nasre
Compiling Information-Flow Security to Minimal Trusted Computing Bases / Cédric Fournet ; Jérémy Planul
Improving Strategies via SMT Solving / Thomas Martin Gawlitza ; David Monniaux
Typing Local Control and State Using Flow Analysis / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi
Barriers in Concurrent Separation Logic / Aquinas Hobor ; Cristian Gherghina
From Exponential to Polynomial-Time Security Typing via Principal Types / Sebastian Hunt ; David Sands
Secure the Clones: Static Enforcement of Policies for Secure Object Copying / Thomas Jensen ; Florent Kirchner ; David Pichardie
Biochemical Reaction Rules with Constraints / Mathias John ; Cédric Lhoussaine ; Joachim Niehren ; Cristian Versari
A Testing Theory for a Higher-Order Cryptographic Language (Extended Abstract) / Vasileios Koutavas ; Matthew Hennessy
A New Method for Dependent Parsing / Trevor Jim ; Yitzhak Mandelbaum
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
Algorithmic Nominal Game Semantics / Andrzej S. Murawski ; Nikos Tzevelekos
The Relationship between Separation Logic and Implicit Dynamic Frames / Matthew J. Parkinson ; Alexander J. Summers
Precise Interprocedural Analysis in the Presence of Pointers to the Stack / Pascal Sotin ; Bertrand Jeannet
General Bindings and Alpha-Equivalence in Nominal Isabelle / Christian Urban ; Cezary Kaliszyk
Author Index
Verified Software Toolchain (Invited Talk) / Andrew W. Appel
Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce
Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann
9.

電子ブック

EB
Sharon Barner, Ian Harris, Takeo Kanade, Daniel Kroening, Orna Raz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
10.

電子ブック

EB
E. Michael Maximilien, Marcelo Fantinato, Takeo Kanade, Heiko Ludwig, Gustavo Rossi, Soe-Tsyr Yuan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
PAASC 2010 Workshop
Introduction to the First International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2010) / Claudia-Melania Chituc
A Case Study on Optimizing Web Service Monitoring Configurations / Garth Heward ; Jun Han ; Ingo Müller ; Jean-Guy Schneider ; Steve Versteeg
Configuration Decision Making Using Simulation-Generated Data / Michael Smit ; Eleni Stroulia
On the Formal Specification of Regulatory Compliance: A Comparative Analysis / Amal Elgammal ; Oktay Turetken ; Willem-Jan van den Heuvel ; Mike Papazoglou
Performance and Cost Assessment of Cloud Services / Paul Brebner ; Anna Liu
Towards Assessing Performance in Service Computing
WESOA 2010 Workshop
Adaptation of Web Services Based on QoS Satisfaction / Christian Zirpins ; George Feuerlicht ; Winfried Lamersdorf ; Guadalupe Ortiz ; Barbara Pernici ; S. Hossein Siadat
CAGE: Customizable Large-Scale SOA Testbeds in the Cloud / Lukasz Juszczyk ; Daniel Schall ; Ralph Mietzner ; Schahram Dustdar ; Frank Leymann
Engineering High Performance Service-Oriented Pipeline Applications with MeDICi / Ian Gorton ; Adam Wynne ; Yan Liu
Facilitating Enterprise Service Discovery for Non-technical Business Users / Marcus Roy ; Basem Suleiman ; Ingo Weber
Hypermedia-Driven RESTful Service Composition / Rosa Alarcon ; Erik Wilde ; Jesus Bellido
Process Restructuring in the Presence of Message-Dependent Variables / Thomas S. Heinze ; Wolfram Amme ; Simon Moser
Simple Metric for Assessing Quality of Service Design
Wisdom-Aware Computing: On the Interactive Recommendation of Composition Knowledge / Soudip Roy Chowdhury ; Carlos Rodríguez ; Florian Daniel ; Fabio Casati
SEE 2010 Workshop
Introduction to the First International Workshop on Services, Energy, and Ecosystem (SEE 2010) / G.R. Gangadharan ; Patricia Lago ; San Murugesan
A Dynamic Power Management Controller for Optimizing Servers' Energy Consumption in Service Centers / Tudor Cioara ; Ioan Salomie ; Ionut Anghel ; Iulian Chira ; Alexandru Cocian ; Ealan Henis ; Ronen Kat
An Energy Aware Context Model for Green IT Service Centers / Daniel Moldovan ; Georgiana Copil ; Pierluigi Plebani
Creating Environmental Awareness in Service Oriented Software Engineering / Toon Jansen
Towards Green Business Process Reengineering / Alexander Nowak
Business Process Improvement in Abnoba / Konstantin Hoesch-Klohe ; Aditya Ghose
Towards a Service-Oriented Energy Market: Current State and Trend / Giuliano Andrea Pagani ; Marco Aiello
SOC-LOG 2010 Workshop
Introduction to the Second International Workshop on Service Oriented Computing in Logistics (SOC-LOG 2010) / Joerg Leukel ; André Ludwig ; Alex Norto
Coordinating Distributed Operations / Daniel Oppenheim ; Saeed Bagheri ; Krishna Ratakonda ; Yi-Min Chee
Early Model-Analysis of Logistics Systems / Freeha Azmat ; Laura Bocchi ; José Luiz Fiadeiro
Event-Driven Services: Integrating Production, Logistics and Transportation / A. Buchmann ; H.-Chr. Pfohl ; S. Appel ; T. Freudenreich ; S. Frischbier ; I. Petrov ; C. Zuber
Preselection of Electronic Services by Given Business Services Based on Semantic Concept Correspondence Applied for the Logistics Domain / Rolf Kluge
Realizing Process Modifications in Container Terminals with SOA - A Prototype / Thomas Will ; Thorsten Blecker
Author Index
PAASC 2010 Workshop
Introduction to the First International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2010) / Claudia-Melania Chituc
A Case Study on Optimizing Web Service Monitoring Configurations / Garth Heward ; Jun Han ; Ingo Müller ; Jean-Guy Schneider ; Steve Versteeg
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼