close
1.

電子ブック
ＥＢ
1. Distributed Computing and Internet Technology
Manish Parashar, Sanjeev K. Aggarwal, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Practical Aspects of Declarative Languages
Andy Gill, Takeo Kanade, Terrance Swift
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Service-Oriented Computing - ICSOC 2007 Workshops
Elisabetta Nitto, Takeo Kanade, Matei Ripeanu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Architecture of Computing Systems ? ARCS 2009
Mladen Berekovic, Christian Hochberger, Takeo Kanade, Christian M?ller-Schloer, Stephan Wong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Coordination, Organizations, Institutions and Norms in Agent Systems IV
Jomi Fred H?bner, Olivier Boissier, Virginia Dignum, Takeo Kanade, Eric Matson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
From Coordination to Organization / I：
Agreeing on Institutional Goals for Multi-agent Societies / Dorian Gaertner ; Juan Antonio Rodriguez-Aguilar ; Francesca Toni
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Virginia Dignum
Combining Job and Team Selection Heuristics / Chris L.D. Jones ; K. Suzanne Barber
Force Versus Majority: A Comparison in Convention Emergence Efficiency / Paulo Urbano ; Joao Balsa ; Luis Antunes ; Luis Moniz
From Organization to Coordination / II：
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models / Michael Kohler-Bubmeier ; Matthias Wester-Ebbinghaus
Exploring Robustness in the Context of Organizational Self-design / Sachin Kamboj ; Keith S. Decker
Instrumenting Multi-agent Organisations with Artifacts to Support Reputation Processes / Jomi Fred Hubner ; Laurent Vercouter ; Olivier Boissier
A Hybrid Reputation Model Based on the Use of Organizations / Viviane Torres da Silva ; Ramon Hermoso ; Roberto Centeno
Formalization of Norms and Institutions / III：
Formalising Situatedness and Adaptation in Electronic Institutions / Jordi Campos ; Maite Lopez-Sanchez ; Marc Esteva
A Context-Based Institutional Normative Environment / Henrique Lopes Cardoso ; Eugenio Oliveira
Towards a Formalisation of Electronic Contracting Environments / Nir Oren ; Sofia Panagiotidi ; Javier Vazquez-Salceda ; Sanjay Modgil ; Michael Luck ; Simon Miles
Design of Norms and Institutions / IV：
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems / Paola Spoletini ; Mario Verdicchio
Using SOA Provenance to Implement Norm Enforcement in e-Institutions / Sergio Alvarez-Napagao
Verifying Social Expectations by Model Checking Truncated Paths / Stephen Cranefield ; Michael Winikoff
Applications / V：
The Use of Norms Violations to Model Agents Behavioral Variety / Benoit Lacroix ; Philippe Mathieu ; Andras Kemeny
Categorizing Social Norms in a Simulated Resource Gathering Society / Daniel Villatoro ; Jordi Sabater-Mir
Transgression and Atonement / Kevin M. Knight ; Deepthi Chandrasekaran ; Aline Normoyle ; Ransom Weaver ; Barry G. Silverman
Author Index
From Coordination to Organization / I：
Agreeing on Institutional Goals for Multi-agent Societies / Dorian Gaertner ; Juan Antonio Rodriguez-Aguilar ; Francesca Toni
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Virginia Dignum
6.

電子ブック
ＥＢ
6. Future Internet ? FIS 2008
John Domingue, Dieter Fensel, Takeo Kanade, Paolo Traverso
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Methods, Models and Tools for Fault Tolerance
Michael Butler, Cliff Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
Temporal Verification of Fault-Tolerant Protocols / Michael Fisher ; Boris Konev ; Alexei Lisitsa
Design and Verification of Fault-Tolerant Components / Miaomiao Zhang ; Zhiming Liu ; Charles Morisset ; Anders P. Ravn
Dynamically Detecting Faults via Integrity Constraints / Ian J. Hayes
Fault Tolerance: Modelling in B / Part II：
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction / Elisabeth Ball ; Michael Butler
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems / Linas Laibinis ; Elena Troubitsyna ; Sari Leppanen
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B / Divakar Yadav
Model-Based Testing Using Scenarios and Event-B Refinements / Qaisar A. Malik ; Johan Lilius
Fault Tolerance in System Development Process / Part III：
Recording Process Documentation in the Presence of Failures / Zheng Chen ; Luc Moreau
Drep: A Requirements Engineering Process for Dependable Reactive Systems / Sadaf Mustafiz ; Jorg Kienzle
Documenting the Progress of the System Development / Marta Plaska ; Marina Walden ; Colin Snook
Fault Tolerance Requirements Analysis Using Deviations in the Correct Development Process / Andrey Berlizev ; Nicolas Guelfi
Fault Tolerant Applications / Part IV：
Step-Wise Development of Resilient Ambient Campus Scenarios / Alexei Iliasov ; Budi Arief ; Alexander Romanovsky
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / Anatoliy Gorbenko ; Vyacheslav Kharchenko
Author Index
Formal Reasoning about Fault Tolerant Systems and Protocols / Part I：
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols / A. Fehnker ; M. Fruth ; A.K. McIver
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic / Pablo F. Castro ; T.S.E Maibaum
8.

電子ブック
ＥＢ
8. Network Control and Optimization
Eitan Altman, Augustin Chaintreau, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Active and Programmable Networks
David Hutchison, Spyros Denazis, Takeo Kanade, Laurent Lefevre, Gary J. Minden
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Distributed Computing and Networking
Vijay Garg, Takeo Kanade, Kishore Kothapalli, Roger Wattenhofer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Epistemological Aspects of Computer Simulation in the Social Sciences
Flaminio Squazzoni, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
EPOS-Epistemological Perspectives on Simulation: An Introduction / Ulrich Frank ; Flaminio Squazzoni ; Klaus G. Troitzsch
Invited Papers
The Epistemologies of Social Simulation Research / Nigel Gilbert ; Petra Ahrweiler
From Simulation to Theory (and Backward) / Rosaria Conte
Selected Papers
Talking about ABSS: Functional Descriptions of Models / Scott Moss
What Does Emergence in Computer Simulations? Simulation between Epistemological and Ontological Emergence / Alex Schmid
Emergence as an Explanatory Principle in Artificial Societies. Reflection on the Bottom-Up Approach to Social Theory / Martin Neumann
Reconstruction Failures: Questioning Level Design / Camille Roth
Narrative Scenarios, Mediating Formalisms, and the Agent-Based Simulation of Land Use Change / Nicholas M. Gotts ; J. Gary Polhill
Validation and Verification in Social Simulation: Patterns and Clarification of Terminology / Nuno David
Validation and Verification of Agent-Based Models in the Social Sciences / Paul Ormerod ; Bridget Rosewell
Abductive Fallacies with Agent-Based Modeling and System Dynamics / Tobias Lorenz
Algorithmic Analysis of Production Systems Used as Agent-Based Social Simulation Models / Jim Doran
The Nature of Noise / Bruce Edmonds
Author Index
EPOS-Epistemological Perspectives on Simulation: An Introduction / Ulrich Frank ; Flaminio Squazzoni ; Klaus G. Troitzsch
Invited Papers
The Epistemologies of Social Simulation Research / Nigel Gilbert ; Petra Ahrweiler
12.

電子ブック
ＥＢ
12. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
Clara Pizzuti, Mario Giacobini, Takeo Kanade, Marylyn D. Ritchie
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua Guttman, Takeo Kanade, Fabio Martinelli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Genetic Programming
Leonardo Vanneschi, Marc Ebner, Ivanoe Falco, Steven Gustafson, Takeo Kanade, Alberto Moraglio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Numerical Validation in Current Hardware Architectures
Annie Cuyt, Takeo Kanade, Walter Kr?mer, Wolfram Luther, Peter Markstein
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Passive and Active Network Measurement
Sue B. Moon, Takeo Kanade, Renata Teixeira, Steve Uhlig
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Service-Oriented Computing ? ICSOC 2008 Workshops
George Feuerlicht, Takeo Kanade, Winfried Lamersdorf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Towards Digital Optical Networks
Ioannis Tomkos, Karin Ennser, Takeo Kanade, Martin K?hn, Branko Mikac, Maria Spyropoulou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Introduction (Part I) / Part I：
Novel Transponder Interfaces: Novel Modulation Formats / 1：
Transmission of 8-Level 240 Gb/s RZ-DQPSK-ASK / 1.1：
Four Bits per Symbol 16-ary Transmission Experiments / 1.3：
Optical Rate Conversion Units / 1.4：
Optical Packet Compression and Expansion / 1.4.1：
Optical Compression/Expansion Loop / 1.4.2：
Optical Delay Line Structure / 1.4.3：
Scalable Packet Compression/Expansion Units / 1.4.4：
Transmission Efficiency / 1.4.5：
References
Electronic Channel Equalization Techniques / 2：
Electronic Equalizers / 2.1：
Fundamental Limits of MLSE Performance with Large Number of States / 2.3：
No PD-Filter, 8 Samples/Bit / 2.3.1：
With PD-Filter, 2 Samples/Bit / 2.3.2：
Large Optical Filter, 2 Samples/Bit / 2.3.3：
Large Optical Filter, 1 Sample/Bit / 2.3.4：
Compensation of SPM Using MLSE / 2.3.5：
Nonlinear Electrical Equalization for Different Modulation Formats / 2.4：
Introduction of NL-FFE-DFE / 2.4.1：
System Setups and Parameters / 2.4.2：
EDC Performance for Different Modulation Formats / 2.4.3：
Optical Single Sideband Modulation / 2.5：
Compensation of Optical Dispersion / 2.5.1：
Reduction of Nonlinear Transmission Effects / 2.5.2：
Enhancing the Performance DML Transmitters / 2.6：
Conclusions / 2.7：
Optical Signal Processing Techniques for Signal Regeneration and Digital Logic / 3：
Optical Regeneration and Wavelength Conversion / 3.1：
640 Gbit/s Wavelength Conversion Based on XPM in HNLF / 3.1.1：
Wavelength Conversion and Regeneration Based on Supercontinuum Generation / 3.1.2：
Multi-Wavelength Conversion at 10 Gb/s and 40 GHz Using a Hybrid Integrated SOA Mach-Zehnder Interferometer / 3.1.3：
All-Optical Multi-Wavelength Regeneration Based on Quantum-Dot Semiconductor Optical Amplifiers for High Bit Rates / 3.1.4：
Optoelectronic Clock Recovery, Retiming and OTDM Demultiplexing / 3.2：
320 Gbit/s Clock Transmission and Channel Identification / 3.2.1：
Filtering-Assisted Cross-Phase Modulation in a Semiconductor Optical Amplifier Enabling 320 Gb/s Clock Recovery / 3.2.2：
640 Gbit/s Data Transmission and Clock Recovery Using an Ultra-Fast Periodically Poled Lithium Niobate Device / 3.2.3：
All-Optical Clock Extraction Circuit Based on a Mode-Locked Ring Laser Comprising SOA and FP Filter / 3.2.4：
OTDM Demux Based on Induced Modulation on an Auxiliary Carrier by Means of Super-Continuum Generation / 3.2.5：
160 Gb/s Retiming Using Rectangular Pulses Generated Using a Superstructured Fibre Bragg Grating / 3.2.6：
Timing Jitter Tolerant 640 Gb/s Demultiplexing Using a Long-Period Fibre Grating-Based Flat-Top Pulse Shaper / 3.2.7：
Evolution of Optical Access Networks / 4：
Introduction: FTTX Developments / 4.1：
FTTX Architectures / 4.1.1：
Current Standard PON Deployment Worldwide / 4.1.2：
Emerging Standards for 100 Gbit Ethernet Access and Beyond / 4.2：
Introduction - Why Higher Speed Ethernet? / 4.2.1：
100 Gbit Ethernet Challenges / 4.2.2：
Transparent Optical Transmission For 100 Gbit Ethernet / 4.2.3：
Future Directions / 4.2.4：
Interoperability of TDM and WDM PONs / 4.3：
Network Architecture / 4.3.1：
Network Routing Performance / 4.3.3：
3G Radio Distribution over Fibre / 4.3.4：
Optical Wireless for Last Mile Access / 4.4.1：
FSO Networks / 4.5.1：
Propagation Results / 4.5.3：
Dynamic Bandwidth Allocation Protocols over GPONs / 4.5.4：
Dynamic Bandwidth Allocation Protocols / 4.6.1：
Innovative Architecture and Control Plane for Metro-Access Convergence / 4.6.3：
Motivation for Metro-Access Convergence / 4.7.1：
Unified Metro-Access Networks Criteria / 4.7.2：
A Few Examples of Unified Metro-Access Networks (UMAN) / 4.7.3：
The Success + Network / 4.7.4：
The Success + Network Topology / 4.7.5：
The Success + UMAN Control Plane / 4.7.6：
Conclusion / 4.7.7：
Protection Schemes for PONs / 4.8：
Evolution of PON Protection Schemes / 4.8.1：
Recent PON Protection Architectures / 4.8.2：
Hybrid WDM/TDM PON / 4.8.3：
Reliability Performance Evaluation / 4.8.4：
Novel Switch Architectures / 5：
Application of Quantum-Dot SOAs for the Realization of All-Optical Buffer Architectures up to 160 Gb/s / 5.1：
Multiwavelength Optical Buffers / 5.3：
New Buffer Architectures / 5.3.1：
Scheduling Algorithms / 5.3.2：
Performance Evaluation / 5.3.3：
Multi-Stage Optical Switches with Optical Recirculation Buffers / 5.4：
The Switching Fabric Architecture / 5.4.1：
Scheduling Algorithms for the Single-Stage Shared FDL Switch / 5.4.2：
Scheduling Algorithms for the Three-Stage Shared FDL Optical Clos-Network Switch / 5.4.3：
Simulation Experiments / 5.4.4：
Optical Asynchronous Packet Switch Architectures / 5.5：
All-Optical Buffer Technologies / 5.5.1：
Node Architectures / 5.5.2：
Future Outlook (Part I) / 5.5.3：
Introduction (Part II) / Part II：
Cross-Layer Optimization Issues for Realizing Transparent Mesh Optical Networks / 6：
An Impairment Aware Networking Approach for Transparent Mesh Optical Networks / 6.1：
Transparent Optical Network Challenges / 6.1.1：
Proposed Approach / 6.1.3：
Mutual Impact of Physical Impairments and Traffic Grooming Capable Nodes with Limited Number of O/E/O / 6.2：
Motivation / 6.2.1：
Modelling the Physical Layer Impairments / 6.2.2：
The Routing Model / 6.2.3：
Simulation Results / 6.2.4：
Performance Issues in Optical Burst/Packet Switching / 6.3：
OBS/OPS Performance / 7.1：
Introduction and State-of-the-Art / 7.2.1：
On the Use of Balking for Estimation of the Blocking Probability for OBS Routers with FDL Lines / 7.2.2：
A Performance Comparison of Synchronous Slotted OPS Switches / 7.2.3：
A Performance Comparison of OBS and OpMiGua Paradigms / 7.2.4：
Burstification Mechanisms / 7.3：
Delay-Throughput Curves for Timer-Based OBS Burstifiers with Light Load / 7.3.2：
Performance Evaluation of Adaptive Burst Assembly Algorithms in OBS Networks with Self-Similar Traffic Sources / 7.3.3：
QoS Provisioning / 7.4：
Performance Overview of QoS Mechanisms in OBS Networks / 7.4.1：
Evaluation of Preemption Probabilities in OBS Networks with Burst Segmentation / 7.4.3：
Routing Algorithms / 7.5：
Optimization of Multi-Path Routing in Optical Burst Switching Networks / 7.5.1：
TCP over OBS Networks / 7.6：
Burst Reordering Impact on TCP over OBS Networks / 7.6.1：
Multi-layer Traffic Engineering (MTE) in Grooming Enabled ASON/GMPLS Networks / 7.7：
Routing and Grooming in Multi-layer Networks / 8.1：
Basic Schemes / 8.2.1：
Adaptive Integrated Multi-layer Routing / 8.2.2：
Simulation Study / 8.2.3：
Improvements for Multi-layer Routing and Grooming Schemes / 8.3：
Online Optimization at Connection Teardown / 8.3.1：
Admission Control for Improving Fairness / 8.3.2：
Evaluation of Traffic and Network Patterns / 8.4：
Network Resilience in Future Optical Networks / 9：
Terminology / 9.1：
Basic Resilience Techniques and Failure Management / 9.3：
Resilient Network Performance Improvement, Evaluation Methods and Parameters / 9.4：
Availability Calculation in Optical Network / 9.4.1：
Recovery Time / 9.4.2：
Network Performance Improvement through Differentiated Survivability / 9.4.3：
Security Issues in Transparent Optical Networks / 9.5：
Multilayer Resilience / 9.6：
Single Layer Recovery in Multilayer Networks / 9.6.1：
Interworking between Layers / 9.6.2：
Multilayer Survivability Strategies / 9.6.3：
Logical Topology Design / 9.6.4：
Optical Storage Area Networks / 9.7：
Storage Area Networks (SANS) / 10.1：
Data Mirroring Techniques / 10.1.2：
Network Architectures / 10.2：
Proposed Mirroring Technique / 10.3：
Single Section Ring Architecture / 10.4：
Two Sections Ring Architecture / 10.4.2：
Future Outlook (Part II) / 10.5：
Introduction (Part III) / Part III：
Software Tools and Methods for Modelling Physical Layer Issues / 11：
Modelling of Optoelectronic Components (Lasers and Semiconductor Optical Amplifiers) / 11.1：
Frequency-Domain Approaches / 11.1.1：
Time-Domain Models / 11.1.3：
Lumped-Element Models / 11.1.4：
Distributed Time-Domain Models / 11.1.5：
Modeling of Hybrid Mode-Locked Lasers / 11.1.6：
Modelling of Travelling-Wave Semiconductor Optical Amplifiers / 11.1.7：
Simulation Tool MOVE-IT / 11.2：
Numerical Models for Simulation of Transient Effect in Raman Fibre Amplifiers / 11.3：
Split-Step-Fourier-Method in Modeling of WDM Links / 11.4：
Pre-simulated Local Errors S-SSMF / 11.4.1：
Results / 11.4.2：
Software Tools and Methods for Research and Education in Optical Networks / 11.4.3：
Models and Simulations / 12.1：
Modelling / 12.1.1：
Simulation Techniques / 12.1.2：
Simulation and Model Verification / 12.1.3：
Summary on Modelling / 12.1.4：
Tool Integration Perspectives / 12.2：
Integration: Definitions / 12.2.1：
Obstacles to Integration and Possible Diversions / 12.2.2：
Conclusions and Future Outlook / 12.2.3：
Modelling with OPNET: A Practical Example / 12.3：
OPNET Domains / 12.3.1：
The OPNET Project Editor / 12.3.2：
Developing Models with OPNET: Conclusion / 12.3.3：
Simulation of ASON/GMPLS Using OMNET++ Simulator / 12.4：
The OMNET Simulator and the INET Framework / 12.4.1：
IP/MPLS over ASON/GMPLS Simulator / 12.4.2：
WDM Network Planning: The MatPlanWDM Tool / 12.4.3：
Distinctions Between Planning Problems / 12.5.1：
Integrated Tool / 12.5.2：
Extension of the Tool / 12.5.3：
The Javanco Environment / 12.6：
History and Predecessors / 12.6.1：
General Architecture / 12.6.2：
Utilisations / 12.6.3：
Future Developments and Conclusion / 12.6.4：
IKR Simulation Library / 12.7：
Conceptual Structure / 12.7.1：
Libraries / 12.7.2：
Application of the Simulation Library / 12.7.3：
Summary / 12.7.4：
Future Outlook (Part III)
Future Outlook
Introduction
Introduction (Part I) / Part I：
Novel Transponder Interfaces: Novel Modulation Formats / 1：
19.

電子ブック
ＥＢ
19. Wireless Sensor Networks
Utz Roedig, Takeo Kanade, Cormac J. Sreenan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Evolving OpenMP in an Age of Extreme Parallelism
Matthias S. M?ller, Barbara M. Chapman, Takeo Kanade, Bronis R. Supinski
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Knowledge Acquisition: Approaches, Algorithms and Applications
Debbie Richards, Takeo Kanade, Byeong-Ho Kang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Network Economics for Next Generation Networks
Peter Reichl, Takeo Kanade, Burkhard Stiller, Bruno Tuffin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. NETWORKING 2009
Luigi Fratta, Takeo Kanade, Henning Schulzrinne, Otto Spaniol, Yutaka Takahashi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Object-Oriented Technology. ECOOP 2008 Workshop Reader
Patrick Eugster, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Pervasive Computing
Hideyuki Tokuda, Michael Beigl, A. J. Bernheim Brush, Adrian Friday, Takeo Kanade, Yoshito Tobe
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Traffic Monitoring and Analysis
Maria Papadopouli, Takeo Kanade, Philippe Owezarski, Aiko Pras
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Advances in Information Security and Assurance
Jong Hyuk Park, Mohammed Atiquzzaman, Hsiao-Hwa Chen, Takeo Kanade, Tai-hoon Kim, Changhoon Lee, Sang-Soo Yeo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Distributed Applications and Interoperable Systems
Twittie Senivongse, Takeo Kanade, Rui Oliveira
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Distributed Computing in Sensor Systems
Bhaskar Krishnamachari, Wendi Heinzelman, Takeo Kanade, Urbashi Mitra, Subhash Suri
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Formal Techniques for Distributed Systems
David Lee, Takeo Kanade, Ant?nia Lopes, Arnd Poetzsch-Heffter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Future Multimedia Networking
Andreas Mauthe, Eduardo Cerqueira, Mar?lia Curado, Takeo Kanade, Sherali Zeadally
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Scalability of Networks and Services
Ramin Sadre, Takeo Kanade, Aiko Pras
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Theory and Applications of Satisfiability Testing - SAT 2009
Oliver Kullmann, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Automated Deduction ? CADE-22
Renate A. Schmidt, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk / Session 1：
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival / Martin Rinard
Combinations and Extensions / Session 2：
Superposition and Model Evolution Combined / Peter Baumgartner ; Uwe Waidmann
On Deciding Satisfiability by DPLL(Γ + T) and Unsound Theorem Proving / Maria Paola Bonacina ; Christopher Lynch ; Leonardo de Moura
Combinable Extensions of Abelian Groups / Enrica Nicolini ; Christophe Ringeissen ; Michaël Rusinowitch
Locality Results for Certain Extensions of Theories with Bridging Functions / Viorica Sofronie-Stokkermans
Minimal Unsatisfiability and Automated Reasoning Support / Session 3：
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis / Roberto Sebastiani ; Michele Vescovi
Does This Set of Clauses Overlap with at Least One MUS? / Éric Grégoire ; Bertrand Mazure ; Cédric Piette
Progress in the Development of Automated Theorem Proving for Higher-Order Logic / Geoff Sutcliffe ; Christoph Benzmüller ; Chad E. Brown ; Frank Thezss
System Descriptions / Session 4：
System Description: H-PILoT / Carsten Thiemann
SPASS Version 3.5 / Christoph Weidenbach ; Dilyana Dimova ; Arnaud Fietzke ; Rohit Kumar ; Martin Suda ; Patrick Wischnewski
Dei: A Theorem Prover for Terms with Integer Exponents / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
veriT: An Open, Trustable and Efficient SMT-Solver / Thomas Bouton ; Diego Caminha B. de Oliveira ; David Déharbe ; Pascal Fontaine
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering / Alex Roederer ; Yury Puzis
Instantiation-Based Automated Reasoning: From Theory to Practice / Konstantin KorovinSession 5：
Interpolation and Predicate Abstraction Interpolant Generation for UTVPI / Alessandro Cimatti ; Alberto GriggioSession 6：
Ground Interpolation for Combined Theories / Amit Goel ; Sava Krstić ; Cesare Tinelli
Interpolation and Symbol Elimination / Laura Koávcs ; Andrei Voronkov
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction / Shuvendu K. Lahiri ; Shaz Qadeer
Resolution-Based Systems for Non-classical Logics / Session 7：
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method / Sean McLaughlin ; Frank Pfenning
A Refined Resolution Calculus for CTL / Lan Zhang ; Ullrich Hustadt ; Glare Dixon
Fair Derivations in Monodic Temporal Reasoning / Michel Ludwig
Termination Analysis and Constraint Solving / Session 8：
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs / Stephan Falke ; Deepak Kapur
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic / Cristina Borralleras ; Salvador Lucas ; Rafael Navarro-Marset ; Enric Rodríguez-Carbonell ; Albert Rubio
Building Theorem Provers / Mark E. StickelSession 9：
Rewriting, Termination and Productivity / Session 10：
Termination Analysis by Dependency Pairs and Inductive Theorem Proving / Stephan Syjiderski ; Michael Parting ; Jürgen Giesl ; Carsten Fuhs ; Peter Schneider-Kamp
Beyond Dependency Graphs / Martin Korp ; Aart Middeldorp
Computing Knowledge in Security Protocols under Convergent Equational Theories / Ştefan Ciobâca ; Stéphanie Delaune ; Steve Kremer
Complexity of Fractran and Productivity / Jörg Endmllis ; Clemens Grabmayer ; Dimitri Hendriks
Models / Session 11：
Automated Inference of Finite Unsatisfiability / Koen Claessen ; Ann Lillieström
Decidability Results for Saturation-Based Model Building / Matthias Horbach
Modal Tableaux with Global Caching / Session 12：
A Tableau Calculus for Regular Grammar Logics with Converse / Link Anh Nguyen ; Andrzej Szalas
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability / Rajeev Goré ; Florian Widmann
Arithmetic / Session 13：
Volume Computation for Boolean Combination of Linear Arithmetic Constraints / Feifei Ma ; Sheng Liu ; Jian Zhang
A Generalization of Semenov's Theorem to Automata over Real Numbers / Bernard Boigelot ; Julien Brusten ; Jérôme Leroux
Real World Verification / André Platzer ; Jan-David Quesel ; Philipp Rümmer
Author Index
Invited Talk / Session 1：
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival / Martin Rinard
Combinations and Extensions / Session 2：
35.

電子ブック
ＥＢ
35. Digital Human Modeling
Vincent G. Duffy, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. ECOOP 2009 ? Object-Oriented Programming
Sophia Drossopoulou, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience
Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Ad-Hoc, Mobile and Wireless Networks
Pedro M. Ruiz, Jose Joaquin Garcia-Luna-Aceves, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Advanced Parallel Processing Technologies
Yong Dou, Ralf Gruber, Josef M. Joller, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. The Internet of the Future
Miquel Oliver, Takeo Kanade, Sebasti? Sallent
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Advanced Functional Programming
Pieter Koopman, Takeo Kanade, Rinus Plasmeijer, Doaitse Swierstra
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Advances in Computation and Intelligence
Zhihua Cai, Takeo Kanade, Zhuo Kang, Zhenhua Li, Yong Liu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Critical Information Infrastructure Security
Roberto Setola, Stefan Geretshuber, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Distributed Computing
Idit Keidar, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Information Retrieval Technology
Gary Geunbae Lee, Akiko Aizawa, Takeo Kanade, Kazuko Kuriyama, Chin-Yew Lin, Tetsuya Sakai, Dawei Song, Masaharu Yoshioka, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Management Enabling the Future Internet for Changing Business and New Computing Services
Choong Seon Hong, Chi-Shih Chao, Takeo Kanade, Yan Ma, Toshio Tonouchi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Principles and Practice of Constraint Programming - CP 2009
Ian P. Gent, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Recent Advances in Parallel Virtual Machine and Message Passing Interface
Matti Ropo, Jack Dongarra, Takeo Kanade, Jan Westerholm
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Smart Sensing and Context
Payam Barnaghi, Takeo Kanade, Stefan Meissner, Klaus Moessner, Mirko Presser
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Smart Spaces and Next Generation Wired/Wireless Networking
Sergey Balandin, Takeo Kanade, Yevgeni Koucheryavy, Dmitri Moltchanov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼