close
1.

電子ブック
ＥＢ
1. Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Pascal Felber, Takeo Kanade, Romain Rouvoy, Association for Computing Machinery-Digital Library., Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris Mejías
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
Kalimucho: Contextual Deployment for QoS Management / Christine Louberry ; Philippe Roose ; Marc Dalmau
Providing Context-Aware Adaptations Based on a Semantic Model / Guido Söldner ; Rüdiger Kapitza ; René Meier
Towards QoC-Aware Location-Based Services / Sophie Chabridon ; Cao-Cuong Ngo ; Zied Abid ; Denis Conan ; Chantal Taconet ; Alain Ozanne
Session-Based Role Programming for the Design of Advanced Telephony Applications / Gilles Vanwormhoudt ; Areski Flissi
Architecturing Conflict Handling of Pervasive Computing Resources / Henner Jakob ; Charles Consel ; Nicolas Loriant
Passive Network-Awareness for Dynamic Resource-Constrained Networks / Agoston Petz ; Taesoo Jun ; Nirmalya Roy ; Chien-Liang Fok ; Christine Julien
Utility Driven Elastic Services / Pablo Chacin ; Leando Navarro
Improving the Scalability of Cloud-Based Resilient Database Servers / Luís Soares ; José Pereira
An Extensible Framework for Dynamic Market-Based Service Selection and Business Process Execution / Ante Vilenica ; Kristof Hamann ; Winfried Lamersdorf ; Jan Sudeikat ; Wolfgang Renz
Beddernet: Application-Level Platform-Agnostic Manets / Rasmus Sidorovs Gohs ; Sigurður Rafn Gunnarsson ; Arne John Glenstrup
The Role of Ontologies in Enabling Dynamic Interoperability / Vatsala Nundloll ; Paul Grace ; Gordon S. Blair
A Step towards Making Local and Remote Desktop Applications Interoperable with High-Resolution Tiled Display Walls / Tor-Magne Stien Hagen ; Daniel Stødle ; John Markus Bjørndalen ; Otto Anshus
Replica Placement in Peer-Assisted Clouds: An Economic Approach / Ahmed Ali-Eldin ; Sameh El-Ansary
A Correlation-Aware Data Placement Strategy for Key-Value Stores / Ricardo Vilaça ; Rui Oliveira
Experience Report: Trading Dependability, Performance, Security through Temporal Decoupling / Lorenz Froihofer ; Guenther Starnberger ; Karl M. Goeschka
Cooperative Repair of Wireless Broadcasts / Aaron Harwood ; Spyros Voulgaris ; Maarten van Steen
ScoreTree: A Decentralised Framework for Credibility Management of User-Generated Content / Yang Liao ; Kotagiri Ramaraohanarao
Worldwide Consensus / Francisco Maia ; Miguel Matos
Transparent Scalability with Clustering for Java e-Science Applications / Pedro Sampaio ; Paulo Ferreira ; Luís Veiga
CassMail: A Scalable, Highly-Available, and Rapidly-Prototyped E-Mail Service / Lazaros Koromilas ; Kostas Magoutis
Transparent Adaptation of e-Science Applications for Parallel and Cycle-Sharing Infrastructures / João Morais ; João Nuno Silva
Author Index
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris Mejías
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
2.

電子ブック
ＥＢ
2. Proceedings of the 25th European conference on Object-oriented programming
Mira Mezini, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Proceedings of the 26th European conference on Object-Oriented Programming
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Proceedings of the 11th international conference on Functional and Logic Programming
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler, Peter Thiemann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini
Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin
Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; Sergueï Lenglet
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) / Gerlof Bouma
Declarative Debugging of Wrong and Missing Answers for SQL Views / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez
Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras
A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey
Extending the TOy System with the ECL PSe Solver over Sets of Integers
Sonia Estévez-Martín / Jesús Correas Fernández
Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana
A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai
Iteratees / Oleg Kiselyov
Mutual Exclusion by Interpolation / Jael Kriener ; Andy King
Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata
A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato
Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta
A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama
Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi
Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy
The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska
Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu
Author Index
Programming with Boolean Satisfaction (Abstract) / Michael Codish
Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi
Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich
5.

電子ブック
ＥＢ
5. Proceedings of the First international conference on Computational Visual Media
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler, Ralph Martin
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Proceedings of the 6th international conference on System analysis and modeling: about models
Frank Alexander Kraemer, Peter Herrmann, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Proceedings of the 8th international conference on Ubiquitous Computing
Paul Dourish, Adrian Friday, Adrian John Friday, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Proceedings of the Second IEEE international conference on Self-Managed Networks, Systems, and Services
Alexander Keller, Takeo Kanade, Jean-Philippe Martin-Flatin, Association for Computing Machinery-Digital Library., Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library., Josef Kittler, Neng-Fa Zhou
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Ranjit Jhala, Takeo Kanade, David Schmidt, Association for Computing Machinery-Digital Library., Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼