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

電子ブック
ＥＢ
51. Traffic Management and Traffic Engineering for the Future Internet
Rui Valadas, Paulo Salvador
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Integrated Management of Systems, Services, Processes and People in IT
Claudio Bartolini, Luciano Paschoal Gaspary, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. IP Operations and Management
Giorgio Nunzi, Takeo Kanade, Xing Li, Caterina Scoglio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Wired/Wireless Internet Communications
Hans Berg, Geert Heijenk, Takeo Kanade, Evgeny Osipov, Dirk Staehle
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Wireless Algorithms, Systems, and Applications
Benyuan Liu, Azer Bestavros, Ding-Zhu Du, Takeo Kanade, Jie Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Future Generation Information Technology
Young-hoon Lee, Wai-chi Fang, Takeo Kanade, Tai-hoon Kim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Information Systems Security
Atul Prakash, Takeo Kanade, Indranil Sen Gupta
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Network Control and Optimization
Rudesindo N??ez-Queija, Takeo Kanade, Jacques Resing
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Software Technologies for Embedded and Ubiquitous Systems
Sunggu Lee, Takeo Kanade, Priya Narasimhan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Stabilization, Safety, and Security of Distributed Systems
Rachid Guerraoui, Takeo Kanade, Franck Petit
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Self-Organizing Systems
Thrasyvoulos Spyropoulos, Karin Anna Hummel, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. From P2P and Grids to Services on the Web
Ian J. Taylor, Andrew B. Harrison
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Grid Computing
Simon C. Lin, Stella Shen, Eric Yen
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Intelligent Engineering Systems and Computational Cybernetics
IEEE International Conference on Intelligent Engineering Systems, J. A. Tenreiro Machado, Unspecified
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2009
所蔵情報: loading…
目次情報: 続きを見る
Preface
Intelligent Robotics / Part I：
On-Line Trajectory Time-Scaling to Reduce Tracking Error / Emese Szádeczky-Kardoss ; Bálint Kiss
Intelligent Mobile Robot Control in Unknown Environments / Gyula Mester
Local and Remote Laboratories in the Education of Robot Architectures / István Matijevics
Force-Impedance Control of a Six-dof Parallel Manipulator / António M. Lopes ; Fernando G. Almeida
Robotic Manipulators with Vibrations: Short Time Fourier Transform of Fractional Spectra / Miguel F. M. Lima ; J. A. Tenreiro Machado ; Manuel Crisóstomo
Artificial Intelligence / Part II：
Classifying Membrane Proteins in the Proteome by Using Artificial Neural Networks Based on the Preferential Paramenters of Amino Acids / Subrata K. Bose ; Antony Browne ; Hassan Kazemian ; Kenneth White
Multi-Channel Complex Non-linear Microstatistic Filters: Structure and Design / Dušan Kocur ; Jozef Krajňák ; Stanislav Marchevský
Legal Ontologies and Loopholes in the Law / Sandra Lovrenčić ; Ivorka Jurenec Tomac ; Blaženka Mavrek
Computational Intelligence / Part III：
Extracting and Exploiting Linguistic Information from a Fuzzy Process Model for Fed-Batch Fermentation Control / Andri Riid ; Ennu Rüstern
Transformations and Selection Methods in Document Clustering / Kristóf Csorba ; Istvá Vajk
F-Logic Data and Knowledge Reasoning in the Semantic Web Context / Ana Meštrović ; Mirko Čubrilo
Study on Knowledge and Decision Making / Dana Klimešová
CNMO: Towards the Construction of a Communication Network Modelling Ontology / Muhammad Azizur Rahman ; Algirdas Pakstas ; Frank Zhigang Wang
Computational Intelligence Approach to Condition Monitoring: Incremental Learning and Its Application / Christina B. Vilakazi ; Tshilidzi Marwala
An Approach for Characterising Heavy-Tailed Internet Traffic Based on EDF Statistics / Karim Mohammed Rezaul ; Vic Grout
Capturing the Meaning of Internet Search Queries by Taxonomy Mapping / Domonkos Tikk ; Zsolt T. Kardkovács ; Zoltán Bánsághi
Scheduling Jobs with Genetic / Algorithms António Ferrolho
Self-Referential Reasoning in the Light of Extended Truth Qualification Principle / Mohammad Reza Rajati ; Hamid Khaloozadeh ; Alireza Fatehi
Intelligent Mechatronics / Part IV：
Control of Differential Mode Harmonic Drive Systems / László Lemmer
Intelligent Control of an Inverted Pendulum / Webjorn Rekdalsbakken
Tuning and Application of Integer and Fractional Order PID Controllers / Ramiro S. Barbosa ; Manuel F. Silva
Fractional Describing Function of Systems with Nonlinear Friction Fernando / B. M. Duarte
Generalized Geometric Error Correction in Coordinate Measurement / Gyula Hermann
Systems Engineering / Part V：
Fixed Point Transformations Based Iterative Control of a Polymerization Reaction / József K. Tar ; Imre J. Rudas
Reasoning in Semantic Web Services / Igor Toujilov ; Sylvia Nagl
Defining Requirements and Applying Information Modeling for Protecting Enterprise Assets / Stephen C. Fortier ; Jennifer H. Volk
Investigating the Relationship Between Complex Systematic Concepts / Mohamed H. Al-Kuwaiti ; Nicholas Kyriakopoulos
Particle Swarm Design of Digital Circuits / Cecília Reis
From Cybernetics to Plectics: A Practical Approach to Systems Enquiry in Engineering / Béla Pátkai
Mathematical Methods and Models / Part VI：
Extending the Spatial Relational Model PLA to Represent Trees / Ágnes B. Novák ; Zsolt Tuza
Quantity Competition in a Differentiated Duopoly / Fernanda A. Ferreira ; Flávio Ferreira ; Miguel Ferreira ; Alberto A. Pinto
On the Fractional Order Control of Heat Systems / Isable S. Jesus
Restricting Factors at Modification of Parameters of Associative Engineering Objects / László Horváth
Flexibility in Stackelberg Leadership
Investing to Survive in a Duopoly Model Alberto A. Pinto, Bruno M. P. M. Oliveira
Stochasticity Favoring the Effects of the R&D Strategies of the Firms / Bruno M. P. M. Oliveira
New Methods and Approaches / Part VII：
Defining Fuzzy Measures: A Comparative Study with Genetic and Gradient Descent Algorithms / Sajid H. Alavi ; Javad Jassbi ; Paulo J. A. Serra ; Rita A. Ribeiro
A Quantum Theory Based Medium Access Control for Wireless Networks / Márton Bérces ; Sándor Imre
A Concept for Optimizing Behavioural Effectiveness & Efficiency / Jan Carlo Barca ; Grace Rumantir ; Raymond Li
Index
Preface
Intelligent Robotics / Part I：
On-Line Trajectory Time-Scaling to Reduce Tracking Error / Emese Szádeczky-Kardoss ; Bálint Kiss
65.

電子ブック
ＥＢ
65. Natural Computing
Y. Suzuki, A. Adamatzky, Andrew Adamatzky, M. Hagiya, Masami Hagiya, Yasuhiro Suzuki, H. Umeo, Hiroshi Umeo, Unspecified
出版情報: Springer eBooks Computer Science , Springer Japan, 2009
所蔵情報: loading…
目次情報: 続きを見る
Combinatorial Optimization by Amoeba-Based Neurocomputer with Chaotic Dynamics / Masashi Aono ; Yoshito Hirata ; Masahiko Hara ; Kazuyuki Aihara
Factorizing RSA Keys (An Improved Analogue Solution) / Ed Blakey
Toward a Representation of Hybrid Functional Petri Nets by MP Systems / Alberto Castellini ; Giuditta Franco ; Vincenzo Manca
Computing with Feedforward Networks of Artificial Biochemical Neurons / Huub M.M. ten Eikelder ; Sjoerd P.M. Crijns ; Marvin N. Steijaert ; Anthony M.L. Liekens ; Peter A.J. Hilbers
Information Processing with Structured Chemical Excitable Medium / J. Gorecki ; J.N. Gorecka ; Y. Igarashi ; K. Yoshikawa
Wholeness and Information Processing in Biological Networks: An Algebraic Study of Network Motifs / Taichi Haruna ; Yukio-Pegio Gunji
Regulation Effects by Programmed Molecules for Transcription-Based Diagnostic Automata towards Therapeutic Use / Miki Hirabayashi ; Hirotada Ohashi ; Tai Kubo
On Detection and Isolation of Defective Cells in Self-Timed Cellular Automata / Teijiro Isokawa ; Ferdinand Peper ; Shin'ya Kowada ; Naotake Kamiura ; Nobuyuki Matsui
Towards the Sequence Design Preventing Pseudoknot Formation / Lila Kari ; Shinnosuke Seki
Self-organized Spatio-temporal Oscillation Observed in a Chain of Non-oscillatory Cells / Yue Ma ; Yoshiko Takenaka ; Kenichi Yoshikawa
Exploiting Natural Asynchrony and Local Knowledge within Systemic Computation to Enable Generic Neural Structures / Erwan Le Martelot ; Peter J. Bentley ; R. Beau Lotto
Molecular Communication: Simulation of Microtubule Toplogy / Michael J. Moore ; Akihiro Enomoto ; Tadashi Nakano ; Atsushi Kayasuga ; Hiroaki Kojima ; Hitoshi Sakakibara ; Kazuhiro Oiwa ; Tatsuya Suda
Monte Carlo Simulation in Lattic Ecosystem: Top-Predator Conservation and Population Uncertainty / Hiroyasu Nagata ; Kei-ichi Tainaka ; Nariyuki Nakagiri ; Jin Yoshimura
Toward Biologically Inspired Constructive Computation / Hideyuki Nakashima
A Classification of Triplet Local Rules with Inverse Image Sequences / Tatsuro Sato ; Kazumasa Honda ; Hyen Yeal Lee ; Yasuo Kawahara
An Efficient Multiple Alignment Method for RNA Secondary Structures Including Pseudoknots / Satoshi Kobayashi
Asymmetric Interaction in Non-equilibrium Dissipative System towards Dynamics for Biological System / Yuki Sugiyama
Design and Numerical Analysis of RNA Oscillator / Masahiro Takinoue ; Daisuke Kiga ; Koh-ichiroh Shohda ; Akira Suyama
Protoplasmic Computing to Memorize and Recall Periodic Environmental Events / Atsushi Tero ; Tetsu Saigusa ; Toshiyuki Nakagaki
A Synchronization Problem in Two-Dimensional Cellular Automata / Hiroshi Umeo
Information Exchange between Moving Particles and Defects / Takashi Teramoto ; Kei-Ichi Ueda ; Xiaohui Yuan ; Yasumasa Nishiura
Author Index
Combinatorial Optimization by Amoeba-Based Neurocomputer with Chaotic Dynamics / Masashi Aono ; Yoshito Hirata ; Masahiko Hara ; Kazuyuki Aihara
Factorizing RSA Keys (An Improved Analogue Solution) / Ed Blakey
Toward a Representation of Hybrid Functional Petri Nets by MP Systems / Alberto Castellini ; Giuditta Franco ; Vincenzo Manca
66.

電子ブック
ＥＢ
66. Scheduling in Distributed Computing Systems
Deo Prakash Vidyarthi, Biplab Kumer Sarker, Deo Prakash Vidyarthi, Biplab Kumer Sarker, Anil Kumar Tripathi, Laurence Tianruo Yang
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1：
Performance Improvement in Computing System / 1.1：
High Speed Computing and DCS / 1.2：
Evolution of the DCS / 1.3：
Issues in DCS Research / 1.4：
Organization of the Book / 1.5：
Bibliography
An Overview of a Distributed System / 2：
DCS Architecture Models / 2.1：
Transparency in DCS / 2.2：
Introduction to Fault Tolerance / 2.3：
Synchronization / 2.4：
Scheduling Problem / 3：
On Functioning of a DCS / 3.1：
Desirable Characteristics of a Scheduler / 3.2：
Scheduler as a Task Allocator / 3.3：
Task Allocation Issues in DCS / 3.4：
The Task Allocation Problem / 3.5：
Assumptions & Notation / 3.6：
Load Balancing in DCS / 4：
Load Distribution a DCS / 4.1：
Load Balancing Methodology / 4.2：
Task Migration / 4.3：
Threads / 4.4：
Conflicts between TA and LB / 4.5：
Known Task Allocation Models / 5：
Early Models / 5.1：
Limitations of Earlier Models / 5.2：
Precedence Constrained Task Allocation / 5.3：
IMC Cost Reduction using Fuzzy Logic / 5.4：
Load Balancing Task Allocation (LBTA) / 6：
Known Load Balancing Strategies / 6.1：
Issues of LBTA Strategy / 6.2：
The LBTA Solution / 6.3：
Loads in LBTA for Single Task / 6.4：
Loads in LBTA for Multiple Tasks / 6.5：
GA Based Task Allocation Models / 7：
Task Allocation using Genetic Algorithm / 7.1：
Maximizing Reliability of DCS with Task Allocation using GA / 7.2：
Allocation of Multiple Tasks in DCS / 8：
Multiple Task Allocation / 8.1：
Cluster-Based Load Partitioning and Allocation in DCS / 8.2：
The LBTA Strategy for Multiple Tasks Using A* / 8.3：
The LBTA Strategy for Multiple Tasks Using GA / 8.4：
Other Approaches for Task Allocation / 9：
Comparative Analysis of TA Models / 9.1：
A Hybrid Model / 9.2：
Object Allocation in Distributed Computing System / 9.3：
Scheduling in Computational Grid / 10：
Need for Grid Computing / 10.1：
Scalability for Global Computing / 10.2：
Data and Computational Grids / 10.3：
Challenges in Grid Computing / 10.4：
Concluding Remarks / 11：
Summary of Findings / 11.1：
Structures and Place of Scheduler in DOS / 11.2：
Future Possibilities / 11.3：
Abbreviations
Appendix A
Appendix B
Index
Preface
Introduction / 1：
Performance Improvement in Computing System / 1.1：
67.

電子ブック
ＥＢ
67. Communications and Networking in China
ChinacomBiz 2008, Patrick Bond
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Undetectable Manipulation of CRC Checksums for Communication and Data Storage / Frank Schiller ; Tina Mattes ; Uwe Weber ; Rainer Mattes
Survey of PHY and LINK Layer Functions of Cognitive Radio Networks for Opportunistic Spectrum Sharing / Liang Hu ; Villy B. Iversen ; Lars Dittmann
Optimizing TCP Performance over UMTS with Split TCP Proxy
Use of Photonic Networks in Digital Cinema Postproduction Dailies Workflow / Michal Krsek ; Paul Hearty ; Laurin Herr ; Jurgen Schulze
Visualizing TCP/IP Network Flows to Control Congestion and Bottlenecks / Nanjun Li ; Werner Zorn
ZBMF: Zone Based Message Ferrying for Disruption Tolerant Networks / Bahadir K. Polat ; Moazzam Khan ; Nikhil Tuli ; Pooja Kailay
Improving Query Mechanisms for Unstructured Peer-to-Peer Networks / Guangwei Fang ; Xiao Zheng
Layer 3 Initialization Procedures Recommendation in Next Generation Heterogeneous Mobile Networks / Sebastião Boanerges Ribeiro Junior ; Paulo Roberto de Lira Gondim
Broadcast Data Scheduling in Wireless Environment / Xianjun Sun ; Chuang Lin ; Weidong Liu ; Yanping Xiao
Analysis on Imai-Shin's LR-AKE Protocol for Wireless Network Security / Yingjie Wang ; Wei Luo ; Changxiang Shen
Surveys on the Intrusion Tolerance System / Kuo Zhao ; Nurbol ; Fei Ren ; Jianfeng Chu
Study on the DS/CDMA-CSMA Multi-user Communication Systems / Yun-xiao Zu ; Xiao Wu ; Yu-qin Lu
Author Index
Undetectable Manipulation of CRC Checksums for Communication and Data Storage / Frank Schiller ; Tina Mattes ; Uwe Weber ; Rainer Mattes
Survey of PHY and LINK Layer Functions of Cognitive Radio Networks for Opportunistic Spectrum Sharing / Liang Hu ; Villy B. Iversen ; Lars Dittmann
Optimizing TCP Performance over UMTS with Split TCP Proxy
68.

電子ブック
ＥＢ
68. Grid and Services Evolution
CoreGRID Middleware Workshop, Norbert Meyer, Domenico Talia, Ramin Yahyapour
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Contributing Authors
A Java Task Execution Manager for Commodity Grids / Shenol Yousouf ; Lazar Kirchev ; Vasil Georgiev
Evaluation of Custom vs Commodity technology-based Storage Elements / Maciej Brzezniak ; Norbert Meyer ; Michail Flouris ; Angelos Bilas
A Model of Non Functional Properties for Grid Resources / David Bujan-Carbalal ; Oscar Corcho-Garcia ; Josuka Diaz-Labrador
Grid Checkpointing Service / Gracjan Jankowski ; Radoslaw Januszewski ; Jozsef Kovacs
Extending GWorkflowDL: a Multi-Purpose Language for Workflow Enactment / Simone Pellegrini ; Francesco Giacomini
Workflow Monitoring and Analysis Tool for ASKALON / Simon Ostermann ; Kassian Plankensteiner ; Radu Prodan ; Thomas Fahringer ; Alexandru Iosup
Using gLite to Implement a Secure ICGrid / Jesus Luna ; Marios D. Dikaiakos ; Harald Gjermundrod ; Manolis Marazakis
Grid-Based Workflow Management / Daniel Becker ; Morris Riedel ; Achim Streit ; Felix Wolf
Fault Detection, Prevention and Recovery in Current Grid Workflow Systems / Attila Kertesz ; Peter Kacsuk
Towards Self-adaptable Monitoring Framework for Self-healing / Javier Alonso ; Jordi Torres ; Rean Griffith ; Gail Kaiser ; Luis Moura Silva
Performance Monitoring of GRID superscalar: Summing up / Wlodzimierz Funika ; Piotr Machner ; Marian Bubak ; Rosa M. Badia ; Raul Sirvent
Authorizing Grid Resource Access and Consumption / Michal Jankowski ; Erik Elmroth
Graphical Tool for the Management of DIET GridRPC Middleware / Eddy Caron ; Frederic Desprez ; David Loureiro
An Efficient Protocol for Reserving Multiple Grid Resources in Advance / Jorg Schneider ; Julius Gehr ; Barry Linnert ; Thomas Roblitz
Scalable Concurrency Control in a Dynamic Membership / Augusto Ciuffoletti ; Ali Asim
Improving the Peer-to-Peer Ring for Building Fault-Tolerant Grids / Boris Mejias ; Donatien Grolaux ; Peter Van Roy
Author Index
Foreword
Preface
Contributing Authors
69.

電子ブック
ＥＢ
69. Guide to Wireless Ad Hoc Networks
Subhas Chandra Misra, Sudip Misra, Isaac Woungang
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Properties of Wireless Multihop Networks in Theory and Practice / Bratislav Milic ; Miroslaw Malek1：
Self-Configuring, Self-Organizing, and Self-Healing Schemes in Mobile Ad Hoc Networks / Doina Bein2：
Cooperation in Mobile Ad Hoc Networks / Jiangyi Hu ; Mike Burmester3：
Routing in Mobile Ad Hoc Networks / Al-Sakib Khan Pathan ; Choong Seon Hong4：
Multicasting in Mobile Ad Hoc Networks / Pascale Minet ; Anis Laouiti5：
Broadcast in Ad Hoc Networks / Justin Lipman ; Hai Liu ; Ivan Stojmenovic6：
Geographic Routing in Wireless Ad Hoc Networks / Dazhi Chen ; Pramod K. Varshney7：
Formal Verification of Routing Protocols for Wireless Ad Hoc Networks / Daniel Camara ; Antonio A.F. Loureiro ; Fethi Filali8：
Mobility Management in MANETs: Exploit the Positive Impacts of Mobility / Feng Li ; Yinying Yang ; Jie Wu9：
Mobility Models for Ad Hoc Networks / Mihail L. Sichitiu10：
Models for Realistic Mobility and Radio Wave Propagation for Ad Hoc Network Simulations / Mesut Güneş ; Martin Wenig11：
Quality of Service Support in Wireless Ad Hoc Networks / Musfiq Rahman ; Ashfaqur Rahman12：
Delay Management in Wireless Ad Hoc Networks / Wenbo He ; Yuan Xue ; Klara Nahrstedt13：
Address Allocation Mechanisms for Mobile Ad Hoc Networks / Xiaowen Chu ; Jiangchuan Liu ; Yi Sun14：
Congestion Control in Wireless Ad Hoc Networks / Vinay Kolar ; Sameer Tilak ; Nael Abu-Ghazaleh15：
Security in Wireless Ad Hoc Networks / Ying Huang16：
Intrusion Detection in Mobile Ad Hoc Networks / Sevil Şen ; John Andrew Clark17：
Security Threats in Ad Hoc Routing Protocols / John Felix Charles Joseph ; Amitabha Das ; Bu-Sung Lee18：
Trust Management in Mobile Ad Hoc Networks / Venkat Balakrishnan ; Vijay Varadharajan ; Uday Tupakula19：
Vehicular Ad Hoc Networks / Yu Wang ; Fan Li20：
Integration of Mobile Ad Hoc Networks into IP-Based Access Networks / A. Triviño-Cabrera21：
Index
Author Biographies
Properties of Wireless Multihop Networks in Theory and Practice / Bratislav Milic ; Miroslaw Malek1：
Self-Configuring, Self-Organizing, and Self-Healing Schemes in Mobile Ad Hoc Networks / Doina Bein2：
Cooperation in Mobile Ad Hoc Networks / Jiangyi Hu ; Mike Burmester3：
70.

電子ブック
ＥＢ
70. Guide to Wireless Mesh Networks
Sudip Misra, Subhas Chandra Misra, A.J Sammes, Isaac Woungang
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Journey from Mobile Ad Hoc Networks to Wireless Mesh Networks / Junfang Wang ; Bin Xie ; Dharma P. Agrawal1：
Medium Access Control in Wireless Mesh Networks / Feiyi Huang ; Yang Yang2：
Hierarchical and QoS-Aware Routing in Multihop Wireless Mesh Networks / Paolo Bucciol ; Frank Y. Li ; Nikos Fragoulis ; Juan Carlos De Martin3：
Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks / Mahesh Arumugam ; Arshad Jhumka ; Fuad Abujarad ; Sandeep S. Kulkarni4：
Channel Assignment Techniques for 802.11-Based Multiradio Wireless Mesh Networks / Ante Prodan ; Vinod Mirchandani5：
Routing, Interface Assignment and Related Cross-layer Issues in Multiradio Wireless Mesh Networks / Leonardo Badia ; Marco Conti ; Sajal K. Das ; Luciano Lenzini ; Habiba Skalli6：
Wireless Mesh Network Routing Under Uncertain Demands / Jonathan Wellons ; Liang Dai ; Bin Chang ; Yuan Xue7：
Routing Metrics for Wireless Mesh Networks / Georgios Parissidis ; Merkourios Karaliopoulos ; Rainer Baumann ; Thrasyvoulos Spyropoulos ; Bernhard Plattner8：
Reliable Transport in Multihop Wireless Mesh Networks / Simon Heimlicher9：
Transport Protocols for Wireless Mesh Networks / Ka Lun Eddie Law10：
Congestion Control in Wireless Mesh Networks / Bahareh Sadeghi11：
Wireless Mesh Networks-Based Multinetwork Convergence and Security Access / Jianfeng Ma ; Chunjie Cao12：
Scalability in Wireless Mesh Networks / S. Srivathsan ; N. Balakrishnan ; S.S. Iyengar13：
Mobility Management in Wireless Mesh Networks / 14：
Low Latency in Wireless Mesh Networks / Robert McTasney ; Dirk Grunwald ; Douglas Sicker15：
WiMAX Metro Area Mesh Networks: Technologies and Challenges / Ahmed Iyanda Sulyman ; Hossam Hassanein16：
Scheduling and Call Admission Control / Daniel Camara ; Fethi Filali17：
The Symbiosis of Cognitive Radio and Wireless Mesh Networks / Brent Ishibashi ; Raouf Boutaba18：
Construction and Evaluation of a Wireless Mesh Network Testbed / Alexander Zimmermann ; Martin Wenig ; Ulrich Meis19：
Index
Contributors
Journey from Mobile Ad Hoc Networks to Wireless Mesh Networks / Junfang Wang ; Bin Xie ; Dharma P. Agrawal1：
Medium Access Control in Wireless Mesh Networks / Feiyi Huang ; Yang Yang2：
71.

電子ブック
ＥＢ
71. Middleware for Network Eccentric and Mobile Applications
Beno?t Garbinato, Benoit Garbinato, Hugo Miranda
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Networking and Programming Issues / Part I：
Energy in Wireless Sensor Networks / 1：
Introduction / 1.1：
Energy / 1.2：
Sensor Energy Consumption / 1.3：
Wireless Networking Considering Energy / 1.4：
Summary and Outlook / 1.5：
Programming Wireless Sensor Networks / 2：
Hardware and Operating Systems / 2.1：
Programming Languages and Systems / 2.3：
Discussion / 2.4：
Mobility Models for Systems Evaluation / 2.5：
Purely Synthetic Models / 3.1：
Trace-Based Mobility Models / 3.3：
Characterization of Human Connectivity / 3.4：
Social Network Based Mobility Models / 3.5：
From Mobility to Connectivity Models / 3.6：
Testing Tools and Mobility Modeling / 3.7：
Ad Hoc Routing / 3.8：
Topology-Based Routing / 4.1：
Position-Based Routing / 4.3：
Communication Models / 4.4：
An Introduction to Population Protocols / 5：
The Basic Model / 5.1：
Computability / 5.3：
One-Way Communication / 5.4：
Restricted Interaction Graphs / 5.5：
Random Interactions / 5.6：
Self-stabilization and Related Problems / 5.7：
Larger States / 5.8：
Failures / 5.9：
Relations to Other Models / 5.10：
Routing Issues in Opportunistic Networks / 5.11：
Routing in Opportunistic Networks / 6.1：
Haggle and its "Informed" Approach to Routing / 6.3：
Wireless Mesh Networks / 6.4：
Building Wireless Mesh Networks-Research Challenges / 7.1：
Testbeds / 7.4：
Middleware Issues / 7.5：
Gossip-Based Dissemination / 8：
Gossip-Based Broadcast Protocols / 8.1：
Gossip-Based Publish/Subscribe in Mobile Ad Hoc Networks / 8.3：
Gossip-Based Data Distribution / 8.4：
Application Layer Multicast / 8.5：
Applicative Viewpoint / 9.1：
Architectural Dimensions / 9.3：
QoS Viewpoint / 9.4：
A Plethora of Protocols / 9.5：
Distributed Event Routing in Publish/Subscribe Systems / 9.6：
Elements of a Publish/Subscribe System / 10.1：
Subscription Models / 10.3：
Architectural Model / 10.4：
Event Routing / 10.5：
Security / 10.6：
Mobility Support / 10.7：
Tuple Space Middleware for Wireless Networks / 10.8：
Mobile Networks / 11.1：
Wireless Sensor Networks / 11.3：
Security Middleware for Mobile Applications / 11.4：
The Security Landscape for Mobile Devices / 12.1：
Protection for Native Platforms: Memory Protection / 12.3：
Protection for Managed Platforms: Security by Contract / 12.4：
Dynamic Adaptation / 12.5：
Dynamic Adaptation in Action / 13.1：
Reflective Middleware / 13.3：
Policy-Based Middleware / 13.4：
Dynamic Aspect-Oriented Programming (AOP) / 13.5：
Applicative Issues / 13.6：
Middleware Support for Context-Aware Applications / 14：
Context Information / 14.1：
Programming Support / 14.3：
Middleware Architecture / 14.4：
Autoconfiguration and Service Discovery / 14.5：
Autoconfiguration of IP Networking / 15.1：
Service Discovery / 15.3：
Dynamic Resource Management and Cyber Foraging / 15.4：
Scenarios / 16.1：
The Cyber Foraging Process / 16.3：
Cyber Foraging Approaches / 16.4：
Vehicular Networks and Applications / 16.5：
Applications / 17.1：
Middleware / 17.3：
Internet Connectivity / 17.4：
Glossary / 17.5：
References
Author List
Reviewer List
Index
Networking and Programming Issues / Part I：
Energy in Wireless Sensor Networks / 1：
Introduction / 1.1：
72.

電子ブック
ＥＢ
72. Multimedia and E-Content Trends
Peter A. Bruck
出版情報: Springer eBooks Computer Science , Vieweg+Teubner, 2009
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Peer-to-Peer Computing for Mobile Networks
Maria Papadopouli, Henning Schulzrinne
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Wireless data communications / 1.1：
Mobile information access / 1.2：
Wireless Internet via APs / 1.2.1：
Infostations / 1.2.2：
Peer-to-Peer systems / 1.2.3：
Target mobile computing environment / 1.3：
High spatial locality of information and queriess / 1.3.1：
Heterogeneity in application requirements / 1.3.2：
Enhancement of information access / 1.3.3：
Resource sharing using 7DS / 1.4：
Overview of this monograph / 1.5：
Outline / 1.5.1：
7DS architecture for information sharing / 2：
Overview of 7DS architecture / 2.1：
Communication / 2.1.1：
Cache management / 2.1.2：
Power conservation / 2.1.3：
Preventing denial-of-service attacks / 2.2：
Encouraging cooperation / 2.3：
Micropayment mechanisms / 2.3.1：
Reputation mechanisms / 2.3.2：
Location-sensing using the peer-to-peer paradigm / 2.4：
Overview of CLS / 2.4.1：
Particle filter-based framework / 2.4.2：
Performance of CLS and other related systems / 2.4.3：
Applications using information sharing via 7DS / 2.5：
Web browsing / 2.5.1：
Notesharing and whiteboard tool / 2.5.2：
Multimedia traveling journal / 2.5.3：
Related mobile peer-to-peer computing systems / 2.6：
Conclusions / 2.7：
Performance analysis of information discovery and dissemination / 3：
Information discovery schemes / 3.1：
Simulation assumptions / 3.2：
Data dissemination benchmarks / 3.3：
Density of dataholders / 3.4：
Average delay / 3.5：
Scaling properties of data dissemination / 3.6：
Models of information dissemination / 3.7：
Simple epidemic model / 3.7.1：
Diffusion-controlled process / 3.7.2：
Discussion / 3.8：
Empirically-based measurements on wireless demand / 4：
Campus-wide wireless infrastructure / 4.1：
Monitoring and data acquisition / 4.3：
Packet header traces / 4.3.1：
HTTP traces / 4.3.2：
SNMP traces / 4.3.3：
SYSLOG traces / 4.3.4：
Privacy assurances / 4.3.5：
Client identification / 4.3.6：
State, history, visits and sessions / 4.4：
Wireless traffic demand at APs / 4.5：
Data acquisition / 4.5.1：
Comparative analysis of wireless traffic load at APs / 4.5.2：
Application-based characterization of wireless demand / 4.6：
Locality of web objects / 4.7：
HTTP requests model / 4.7.1：
Same-client repeated requests / 4.7.2：
Same-AP repeated requests / 4.7.3：
AP_coresident-client repeated requests / 4.7.4：
Same-building and campus-wide repeated requests / 4.7.5：
Modeling the wireless user demand / 4.8：
Client access patterns / 5.1：
Session duration / 5.2.1：
Transient sessions / 5.2.2：
Revisits / 5.2.3：
Roaming across APs / 5.3：
Arrivals of wireless clients at APs / 5.4：
Time-varying Poisson process / 5.4.1：
Arrival process of visits at wireless hotspots / 5.4.2：
Methodology for modeling user demand / 5.5：
Sessions and flows / 5.5.1：
Models of user demand / 5.5.2：
Syntrig: a synthetic traffic generator / 5.6：
Scalability and reusability in user demand models / 5.7：
Variation of the session arrival rate within a day / 5.7.1：
Variation of the session-level flow-related variables / 5.7.2：
Evaluation of user demand models / 5.8：
Statistical-based evaluation / 5.8.1：
Systems-based evaluation / 5.8.2：
Singular spectrum analysis of traffic at APs / 5.9：
Related work / 5.10：
Conclusions and future work / 5.11：
Mobile peer-to-peer computing / 6.1：
Wireless measurements and modeling / 6.1.2：
Directions for future research / 6.2：
Increasing capacity / 6.2.1：
Capacity planning / 6.2.2：
Network interface and channel selection / 6.2.3：
Monitoring / 6.2.4：
Bio-inspired computing networks / 6.3：
New horizons in cross-disciplinary research / 6.4：
Appendices
Appendix / A：
Wireless measurement-based data repositories / B：
References
Index
Introduction / 1：
Wireless data communications / 1.1：
Mobile information access / 1.2：
74.

電子ブック
ＥＢ
74. Ada for Software Engineers (Second Edition with Ada 2005)
Mordechai Ben-Ari
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preliminaries
Laplace's Equation / 1：
The Dirichlet Problem / 2：
Green Functions / 3：
Negligible Sets / 4：
Dirichlet Problem for Unbounded Regions / 5：
Energy / 6：
Interpolation and Monotonicity / 7：
Newtonian Potential / 8：
Elliptic Operators / 9：
Apriori Bounds / 10：
Oblique Derivative Problem / 11：
References
Index
Notation
Preface
Preliminaries
Laplace's Equation / 1：
75.

電子ブック
ＥＢ
75. Access to Mobile Services
Xu Yang, Athman Bouguettaya
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Access to Broadcast M-services: Issues and Challenges / 2：
Broadcast based M-services / 2.1：
Efficient Access to M-services and Wireless Data / 2.2：
Example Scenario / 2.3：
Main Contributions of This Book / 2.4：
Traditional Data Access Methods / 3：
Basic Data Access Techniques / 3.1：
Index tree based access methods / 3.1.1：
Signature indexing / 3.1.2：
Hashing / 3.1.3：
Analytical Study / 3.2：
Basic Broadcast-based Wireless Environment / 3.2.1：
Cost model for index tree based access methods / 3.2.2：
Cost model for signature indexing / 3.2.3：
Cost model for hashing / 3.2.4：
Testbed / 3.3：
Practical Study / 3.4：
Simulation Settings / 3.4.1：
Simulation Results / 3.4.2：
Comparison / 3.4.3：
Summary / 3.5：
Adaptive Data Access Methods / 4：
Data Organization / 4.1：
Access Protocol / 4.2：
Cost Model / 4.3：
Derivation for Access and Tuning Times / 4.3.1：
Optimum Number of Partitions / 4.3.2：
Access and Tuning Times vs. the Number of Partitions / 4.4：
Comparisons for Access and Tuning Times / 4.4.2：
Average Time Overhead Comparison / 4.4.3：
Efficient Access to Simple M-services Using Traditional Methods / 4.4.4：
Access Methods / 5.1：
Index tree based methods / 5.1.1：
Signature Indexing / 5.1.2：
Analytical Model / 5.1.3：
Accessing M-service channel / 5.2.1：
Accessing data channel / 5.2.2：
Performance measurement of accessing fixed-size mobile services channel / 5.3：
Performance measurement of accessing varied-size mobile services channel / 5.3.2：
Performance measurement of accessing data channel / 5.3.3：
Semantic Access to Composite M-services / 5.3.4：
Broadcast-based M-services Infrastructure / 6.1：
System Roles / 6.1.1：
Interaction Model / 6.1.2：
Broadcast Content / 6.1.3：
Access M-services and Wireless Data / 6.1.4：
Semantics for M-services Systems / 6.2：
Access Action Tree / 6.2.2：
Traversing Algorithms / 6.2.3：
Multi-channel Access Method / 6.2.4：
Broadcast Channel Organization / 7：
Flat Broadcast / 7.1：
Selective Tuning / 7.2：
Indexed Broadcast / 7.3：
Predefined Index / 7.3.1：
Index Channel / 7.3.2：
Interleaved Index / 7.3.3：
Implementation and Practical Study / 7.3.4：
Implementation / 8.1：
Broadcast Server / 8.1.1：
Mobile Client / 8.1.2：
Experiments / 8.2：
Comparison of Analytical and Simulation Results / 8.2.1：
Comparison of Different Traversing Algorithms / 8.2.2：
Impact of Client Semantics / 8.2.3：
Open Problems / 8.2.4：
Complex Composite Services / 9.1：
Access Patterns / 9.2：
Service Composition Patterns / 9.3：
Automatic Service Composition / 9.4：
References
Index
Introduction / 1：
Access to Broadcast M-services: Issues and Challenges / 2：
Broadcast based M-services / 2.1：
76.

電子ブック
ＥＢ
76. Dynamic Learning Networks
Aldo; Secundo, Giustina Romano, Aldo Romano, Giustina Secundo
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Emerging Challenges for Security, Privacy and Trust
Dimitris Gritzalis, Javier Lopez
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Identification and Authentication I
Flexible and Transparent User Authentication for Mobile Devices / Nathan Clarke ; Sevasti Karatzouni ; Steven Furnell
Combining Authentication, Reputation and Classification to Make Phishing Unprofitable / Amir Herzberg
Audio CAPTCHA for SIP-Based VoIP / Yannis Soupionis ; George Tountas ; Dimitris Gritzalis
Threats and Attacks
Roving Bugnet: Distributed Surveillance Threat and Mitigation / Ryan Farley ; Xinyuan Wang
On Robust Covert Channels Inside DNS / Lucas Nussbaum ; Pierre Neyron ; Olivier Richard
Discovering Application-Level Insider Attacks Using Symbolic Execution / Karthik Pattabiraman ; Nithin Nakka ; Zbigniew Kalbarczyk ; Ravishankar Iyer
Identification and Authentication II
Custom JPEG Quantization for Improved Iris Recognition Accuracy / Gerald Stefan Kostmajer ; Herbert Stögner ; Andreas Uhl
On the IPP Properties of Reed-Solomon Codes / Marcel Fernandez ; Joseph Cotrina ; Miguel Soriano ; Neus Domingo
A Generic Authentication LoA Derivation Model / Li Yao ; Ning Zhang
Applications of Cryptography and Information Hiding
Media-Break Resistant eSignatures in eGovernment: An Austrian Experience / Herbert Leitold ; Reinhard Posch ; Thomas Rössler
How to Bootstrap Security for Ad-Hoc Network: Revisited / Wook Shin ; Carl A. Gunter ; Shinsaku Kiyomoto ; Kazuhide Fukushima ; Toshiaki Tanaka
Steganalysis of Hydan / Jorge Blasco ; Julio C. Hernandez-Castro ; Juan M.E. Tapiador ; Arturo Ribagorda ; Miguel A. Orellana-Quiros
Trusted Computing
On the Impossibility of Detecting Virtual Machine Monitors / Shay Gueron ; Jean-Pierre Seifert
Implementation of a Trusted Ticket System / Andreas Leicher ; Nicolai Kuntze ; Andreas U. Schmidt
Security Policies
A Policy Based Approach for the Management of Web Browser Resources to Prevent Anonymity Attacks in Tor / Guillermo Navarro-Arribas ; Joaquin Garcia-Alfaro
A Policy Language for Modelling Recommendations / Anas Abou El Kalam ; Philippe Balbiani
Validation, Verification, Evaluation
On the Security Validation of Integrated Security Solutions / Andreas Fuchs ; Sigrid Gürgens ; Carsten Rudolph
Verification of Security Policy Enforcement in Enterprise Systems / Puneet Gupta ; Scott D. Stoller
Optimization of the Controlled Evaluation of Closed Relational Queries / Joachim Biskup ; Jan-Hendrik Lochner ; Sebastian Sonntag
Privacy Protection - Security Assessment
Collaborative Privacy - A Community-Based Privacy Infrastructure / Jan Kolter ; Thomas Kernchen ; Günther Pernul
Security and Privacy Improvements for the Belgian eID Technology / Pieter Verhaeghe ; Jorn Lapon ; Bart De Decker ; Vincent Naessens ; Kristof Verslype
A Structured Security Assessment Methodology for Manufacturers of Critical Infrastructure Components / Thomas Brandstetter ; Konstantin Knorr ; Ute Rosenbaum
Role Mining and Content Protection
Mining Stable Roles in RBAC / Alessandro Colantonio ; Roberto Di Pietro ; Alberto Ocello ; Nino Vincenzo Verde
Privacy-Preserving Content-Based Publish/Subscribe Networks / Abdullatif Shikfa ; Melek Önen ; Refik Molva
Broadcast Encryption for Differently Privileged / Hongxia Jin ; Jeffery Lotspiech
Ontology-Based Secure XML Content Distribution / Mohammad Ashiqur Rahaman ; Yves Roudier ; Philip Miseldine ; Andreas Schaad
Security Protocols
NGBPA Next Generation BotNet Protocol Analysis / Felix S. Leder ; Peter Martini
Non-repudiation Analysis with LYSA / Mayla Brusò ; Agostino Cortesi
A Provably Secure Secret Handshake with Dynamic Controlled Matching / Alessandro Sorniotti
Towards a Theory of White-Box Security / Haya Shulman ; Amitabh Saxena ; Bruno Crispo
Access Control
On a Taxonomy of Delegation / Quan Pham ; Jason Reid ; Adrian McCullagh ; Ed Dawson
Efficient Key Management for Enforcing Access Control in Outsourced Scenarios / Carlo Blundo ; Stelvio Cimato ; Sabrina De Capitani di Vimercati ; Alfredo De Santis ; Sara Foresti ; Stefano Paraboschi ; Pierangela Samarati
A Probabilistic Bound on the Basic Role Mining Problem and Its Applications
Automating Access Control Logics in Simple Type Theory with LEO-II / Christoph Benzmüller
Internet and Web Applications Security
In Law We Trust? Trusted Computing and Legal Responsibility for Internet Security / Yianna Danidou ; Burkhard Schafer
Persona: Network Layer Anonymity and Accountability for Next Generation Internet / Yannis Mallios ; Sudeep Modi ; Aditya Agarwala ; Christina Johns
Jason: A Scalable Reputation System for the Semantic Web / Sandra Steinbrecher ; Stephan Gro? ; Markus Meichau
Which Web Browsers Process SSL Certificates in a Standardized Way? / Ahmad Samer Wazan ; Romain Laborde ; David W. Chadwick ; François Barrere ; AbdelMalek Benzekri
Author Index
Identification and Authentication I
Flexible and Transparent User Authentication for Mobile Devices / Nathan Clarke ; Sevasti Karatzouni ; Steven Furnell
Combining Authentication, Reputation and Classification to Make Phishing Unprofitable / Amir Herzberg
78.

電子ブック
ＥＢ
78. Guide to Wireless Sensor Networks
Subhas Chandra Misra, Sudip Misra, Isaac Woungang
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Energy Efficient Information Processing in Wireless Sensor Networks / Bang Wang ; Minghui Li ; Hock Beng Lim ; Di Ma ; Cheng Fu1：
Topology Management for Wireless Sensor Networks / Lisa Frye ; Liang Cheng2：
Coverage in Wireless Sensor Networks / Jennifer C. Hou ; David K.Y. Yau ; Chris Y.T. Ma ; Yong Yang ; Honghai Zhang ; I-Hong Hou ; Nageswara S.V. Rao ; Mallikarjun Shankar3：
Routing in Wireless Sensor Networks / Hannes Frey ; Stefan Rührup ; Ivan Stojmenović4：
Geometric Routing in Wireless Sensor Networks / Jie Gao5：
Cooperative Relaying in Wireless Sensor Networks / Robin Doss ; Wolfgang Schott6：
Data-Centricity in Wireless Sensor Networks / Abdul-Halim Jallad ; Tanya Vladimirova7：
Congestion and Flow Control in Wireless Sensor Networks / Vikram P. Munishwar ; Sameer S. Tilak ; Nael B. Abu-Ghazaleh8：
Data Transport Control in Wireless Sensor Networks / Hongwei Zhang ; Vinayak Naik9：
Fault-Tolerant Algorithms/Protocols in Wireless Sensor Networks / Hai Liu ; Amiya Nayak10：
Self-Organizing and Self-Healing Schemes in Wireless Sensor Networks / Doina Bein11：
Quality of Service in Wireless Sensor Networks / Can Basaran ; Kyoung-Don Kang12：
Embedded Operating Systems in Wireless Sensor Networks / Mohamed Moubarak ; Mohamed K. Watfa13：
Adaptive Distributed Resource Allocation for Sensor Networks / Meng Joo Er14：
Scheduling Activities in Wireless Sensor Networks / Yu Chen ; Eric Fleury15：
Energy-Efficient Medium Access Control in Wireless Sensor Networks / Gang Li16：
Energy-Efficient Resource Management Techniques in Wireless Sensor Networks / Xiao-Hui Lin ; Yu-Kwong Kwok ; Hui Wang17：
Transmission Power Control Techniques in Ad Hoc Networks / Luiz Henrique Andrade Correia ; Daniel Fernandes Macedo ; Aldri Luiz dos Santos ; José Marcos Silva Nogueira18：
Security in Wireless Sensor Networks / Eric Sabbah19：
Key Management in Wireless Sensor Networks / Yee Wei Law ; Marimuthu Palaniswami20：
Secure Data Aggregation in Wireless Sensor Networks / Raphael Chung-Wei Phan21：
Wireless Multimedia Sensor Networks / Ivan Lee ; William Shaw ; Xiaoming Fan22：
Middleware for Wireless Sensor Networks: The Comfortable Way of Application Development / Kirsten Terfloth ; Mesut Güneş ; Jochen H. Schiller23：
Wireless Mobile Sensor Networks: Protocols and Mobility Strategies / Jung Hyun Jun ; Bin Xie ; Dharma P. Agrawal24：
Analysis Methods for Sensor Networks / Peter J. Hawrylak ; J.T. Cain ; Marlin H. Mickle25：
Bio-inspired Communications in Wireless Sensor Networks / Bariş Atakan ; Özgür B. Akan ; Tuna Tuğcu26：
Mobile Ad Hoc and Sensor Systems for Global and Homeland Security Applications / Raffaele Bruno ; Marco Conti ; Antonio Pinizzotto27：
Biography
Index
Energy Efficient Information Processing in Wireless Sensor Networks / Bang Wang ; Minghui Li ; Hock Beng Lim ; Di Ma ; Cheng Fu1：
Topology Management for Wireless Sensor Networks / Lisa Frye ; Liang Cheng2：
Coverage in Wireless Sensor Networks / Jennifer C. Hou ; David K.Y. Yau ; Chris Y.T. Ma ; Yong Yang ; Honghai Zhang ; I-Hong Hou ; Nageswara S.V. Rao ; Mallikarjun Shankar3：
79.

電子ブック
ＥＢ
79. Advances in Information Security and Its Application
International Conference on Information Security and Assurance :, Jong Hyuk Park, Justin Zhan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Information Assurance and Its Application
Designing Low-Cost Cryptographic Hardware for Wired-or Wireless Point-to-Point Connections / Sebastian Wallner
A Security Metrics Development Method for Software Intensive Systems / Reijo M. Savola
The ISDF Framework: Integrating Security Patterns and Best Practices / Abdulaziz Alkussayer ; William H. Allen
Security Protocol and Its Application
Client Hardware-Token Based Single Sign-On over Several Serves without Trusted Online Third Party Server / Sandro Wefel ; Paul Molitor
Concurrency and Time in Role-Based Access Control / Chia-Chu Chiang ; Coskun Bayrak
Performance Assessment Method for a Forged Fingerprint Detection Algorithm / Yong Nyuo Shin ; In-kyung Jun ; Hyun Kim ; Woochang Shin
An Efficient Password Authenticated Key Exchange Protocol with Bilinear Parings / Xiaofei Ding ; Fushan Wei ; Chuangui ma ; Shumin Chen
A New Analytical Model and Protocol for Mobile Ad-Hoc Networks Based on Time Varying Behavior of Nodes / Hamed Ranjzad ; Akbar Ghaffar ; Pour Rahbar
Context-Based E-Health Systems Access Control Mechanism / Fahed Al-Neyadi ; Jemal H. Abawajy
Analysis of Mathematical Model for Worm Virus Propagation / Wang Shaojie ; Liu Qiming
Other Security Research
A Contents Encryption Mechanism Using Reused Key in IPTV / Yoon-Su Jeong ; Yong-Tae Kim ; Young-Bok Cho ; Ki-Jeong Lee ; Gil-Cheol Park ; Sang-Ho Lee
High Capacity Method for Real-Time Audio Data Hiding Using the FFT Transform / Mehdi Fallahpour ; David Megías
Experiment Research of Automatic Deception Model Based on Autonomic Computing / Bingyang Li ; Huiqiang Wang ; Guangsheng Feng
Improving the Quality of Protection of Web Application Firewalls by a Simplified Taxonomy of Web Attacks / Yi Han ; Akihiro Sakai ; Yoshiaki Hori ; Kouichi Sakurai
Reconsidering Data Logging in Light of Digital Forensics / Bin-Hui Chou ; Kenichi Takahashi
Blurriness in Live Forensics: An Introduction / Antonio Savoldi ; Paolo Gubian
Author Index
Information Assurance and Its Application
Designing Low-Cost Cryptographic Hardware for Wired-or Wireless Point-to-Point Connections / Sebastian Wallner
A Security Metrics Development Method for Software Intensive Systems / Reijo M. Savola
80.

電子ブック
ＥＢ
80. Applied Computing, Computer Science, and Advanced Communication
Luo Qi, Qi Luo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Complex Sciences
Ozgur Akan, Paolo Bellavista, Jie Zhou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Computer Networks
Computer networks (Conference) :, Piotr Gaj, Andrzej Kwiecien, Piotr Stera
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Molecular Networks and Information Systems / Stefan W&ecedil;grzyn ; Lech Znamirowski
Sorting of Quantum States with Respect to Amount of Entanglement Included / Roman Gielerak ; Marek Sawerwain
Management of Web Services Based on the Bid Strategy Using the User Valuation Function / Jolanta Wrzuszczak ; Leszek Borzemski
A Markovian Model of a Call Center with Time Varying Arrival Rate and Skill Based Routing / Jaroslaw Bylina ; Beata Bylina ; Andrzej Zola ; Tomasz Skaraczyński
A Novel Multicast Routing Protocol for Mobile Sensor Networks with Topology Control / Jerzy Martyna ; Marcin Nowrot
On the Lifetime Maximization Design of Mobile Ad Hoc and Sensor Networks
Modeling of the Throughput Capacity of Hierarchical Mobile Ad Hoc and Senor Networks
Object Oriented Vertical Communication in Distributed Industrial Systems / Rafal Cupek ; Marcin Fojcik ; Olaw Sande
Combining Timed Colored Petri Nets and Real TCP Implementation to Reliably Simulate Distributed Applications / Wojciech Rzq&acedil;sa
Adaptive Streaming of Stereographic Video / Krzysztof Grochla ; Arkadiusz Sochan
The Influence of Electromagnetic Disturbances on Data Transmission in USB Standard / Michal Maćkowski
Electromagnetic Emission Measurement of Microprocessor Units / Krzysztof Skoroniak
Software Influence Upon AX.25 Protocol Performance Bartlomiej Zieliński
Buffer Capacity Adjustment for TNC Controller / Bartlomiej Zieliński
The Reliability of Any-Hop Star Networks with Respect to Failures of Communication Nodes / Jadwiga Kozlowska
A Floor Description Language as a Tool in the Process of Wireless Network Design / Remigiusz Olejnik
Depedencies and Configuration of Solutions in Multicriteria Optimization in Nets / Henryk Piech
Web Traffic Modeling for E-Commerce Web Server System / Grażyna Suchacka
Rulego Bioinformatical Internet Service - System Architecture / Aleksandra Gruca ; Marek Sikora ; Lukasz Chróst ; Andrzej Polański
On the Performance of AQM Algorithms with Small Buffers / Agnieszka Brachman ; Andrzej Chydzinński
Adaptive RED in AQM / Joanna Domańska ; Adam Domański
Qos Aware MPLs Multicast in the MAn DiffServ Domain / Slawomir Przylucki
ServeR: NET-Based Infrastructure for Remote Services of Stastistical Computing with R-Project / Dariusz Rafal Augustyn ; Lukasz Warchal
Modelling of Multi-tier Internet Applications with the Use of BCMP Queueing Networks and Simulation Model in Simulink / Andrzej Imielowski
Disaster's Impact on Internet Performance - Case Study / Tomasz Bilski
Creating 3D Web-Based Viewing Services for DICOM Images / Adam Piorkowski ; Lukasz Jajesnica ; Kamil Szostek
Efficiency Analysis of the Server-Side Numerical Computations / Daniel Plodzien
Adaptive Approach to Network Security / Bogdan Ksiezopolski ; Zbigniew Kotulski ; Pawl Szalachowski
PROFINET I/O Network Analyzer / Markus ; Bregulla ; Lukasz Huczala
Dual Bus as a Method for Data Interchange Transaction Acceleration in Distributed Real Time Systems / Andrzej Kwiecień ; Marcin Sidzina
Hierarchical Petri Net for the CPDev Virtual Machine with Communications / Dariusz Rzońca ; Bartosz Trybus
IEEE 802.11 Medium Access Mechanisms in Industrial Applications / Wojciech Domagala
The General Concept of a Distributed Computer System Designed for Monitoring Rock Movements / Piotr Gaj ; Blażej Kwiecień
Remote Monitoring of Geological Activity of Inclined Regions -The Concept / Jaroslaw Flak ; Krzysztof Tokarz ; Stanislaw Widel ; Adam Zi&ecedil;biński
The IEEE Wireless Standards as an Infrastructure of Smart Home Network / Mateusz Grabowski ; Grzegorz Dziwoki
The Graphic Representation of Areas of Rough Sets Characterizing the Groups of Scheduled Taks
The Problem of Bandwith Allocation in the Business Activity of Service Providers: Comparison and Analysis of Costs / Bartosz Marcinkowski ; Piotr Ostrowski
Network Transmission of 3D Mesh Data Using Progressive Representation / Krzysztof Skabek ; Lukasz Z&acedil;bik
Application of Distributed System in Control and Diagnostic Toothed Gears / Jacek Rysiński
Improving Availability of Industrial Monitoring Systems through Direct Database Access / Arkadiusz Jestratjew
Author Index
Molecular Networks and Information Systems / Stefan W&ecedil;grzyn ; Lech Znamirowski
Sorting of Quantum States with Respect to Amount of Entanglement Included / Roman Gielerak ; Marek Sawerwain
Management of Web Services Based on the Bid Strategy Using the User Valuation Function / Jolanta Wrzuszczak ; Leszek Borzemski
83.

電子ブック
ＥＢ
83. Higher-Order Components for Grid Programming
Jan D?nnweber, Jan D?nnweber, Sergei Gorlatch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Parallel Computing
Roman; Vajtersic, Marian; Zinterhof, Peter Trobec, Roman Trobec, Marian Vajtersic
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Touch of Class
Bertrand Meyer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. OSS Design Patterns
Colin Ashford, Pierre Gauthier
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Managing Telecommunications Services / 1：
Telecommunications Management systems Overview / 1.1：
The management Challenge / 1.2：
A Pattern Approach / 1.3：
Telecommunications Management Requirements / 1.4：
OSS Reference Model / 1.5：
OSS Systems Architecture / 1.6：
Summary / 1.7：
References
Designing Management Solutions / 2：
Developing an OSS Systems Architecture / 2.1：
Developing Management Solutions / 2.2：
OSS Reference Architecture / 2.3：
Remote Operations Model / 2.4：
The OSS Implementation Profiles / 2.5：
The Managed-Entity Model / 2.6：
OSS Design Patterns / 2.7：
Documenting OSS Design Patterns / 2.7.1：
The Simple Inventory OSS Application / 2.8：
OSS Architectural Patterns / 2.9：
Managed-Entity Value Pattern / 3.1：
OSS Façade Pattern / 3.2：
OSS Event Notification Pattern / 3.3：
OSS Iterator Pattern / 3.4：
OSS Factory Pattern / 3.5：
OSS Discovery Pattern / 3.6：
OSS Named-Procedure Pattern / 3.7：
OSS Command-status Pattern / 3.8：
OSS Programming Patterns / 3.9：
Managed Entity Key Patterns / 4.1：
Managed Entity Life Cycle Pattern / 4.2：
Managed Entity Update Pattern / 4.3：
Managed Entity Attribute Population Pattern / 4.4：
Managed Entity Template Filter Pattern / 4.5：
Managed Entity Bulk Update Pattern / 4.6：
Last Update-Version-Number Pattern / 4.7：
Final Thoughts / 4.8：
Type Definitions for the Simple Inventory / A：
OSS Session Profile Declarations / A.1：
OSS Message Profile Declarations / A.2：
Implementing an OSS Client Using JAXB / B：
Create Equipment Record Managed-Entity Example / B.1：
Message Profile Implementation Software Architecture / B.2：
Create Equipment Record Managed-Entity Example-Complete Code / B.3：
Binding the OSS Patterns to Web Services / C：
OSS Design Pattern Interaction and Usage / D：
OSS Design Pattern Interaction / D.1：
OSS Design Pattern Usage / D.2：
Glossary
About the Authors
Index
Colophon
Managing Telecommunications Services / 1：
Telecommunications Management systems Overview / 1.1：
The management Challenge / 1.2：
87.

電子ブック
ＥＢ
87. Security Engineering for Vehicular IT Systems
Marko Wolf
出版情報: Springer eBooks Computer Science , Vieweg+Teubner, 2009
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Spatial Awareness of Autonomous Embedded Systems
Clemens Holzmann
出版情報: Springer eBooks Computer Science , Vieweg+Teubner, 2009
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Mobile Lightweight Wireless Systems
Ozgur Akan, Paolo Bellavista, Periklis Chatzimisios, Fabrizio Granelli, Simone Redana, Charalabos Skianis, Yang Xiao
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Thorough Analysis of Downlink Capacity in a WCDMA Cell / Ioannis B. Daskalopoulos ; Vassilios G. Vassilakis ; Michael D. Logothetis
Fast Randomized STDMA Link Scheduling / Sergio Gomez ; Oriol Gras ; Vasilis Friderikos
Efficient QoS-Driven Resource Allocation in Integrated CDMA/WLAN Networks-An Autonomic Architecture / Georgios Aristomenopoulos ; Timotheos Kastrinogiannis ; Symeon Papavassiliou
Efficient Anonymous Authentication Protocol Using Key-Insulated Signature Scheme for Secure VANET / Youngho Park ; Chul Sur ; Chae Duk Jung ; Kyung-Hyune Rhee
Application-Aware Dynamic Retransmission Control in Mobile Cellular Networks / Nadhir Ben Halima ; Dzmitry Kliazovich ; Fabrizio Granelli
Congestion Avoidance Control through Non-cooperative Games between Customers and Service Providers / Dimitris E. Charilas ; Athanasios D. Panagopoulos ; Panagiotis Vlacheas ; Ourania I. Markaki ; Philip Constantinou
Application of Fuzzy AHP and ELECTRE to Network Selection / John Psarras
An Adaptive QoS Routing Solution for MANET Based Multimedia Communications in Emergency Cases / Tipu Arvind Ramrekha ; Christos Politis
A Distributed Energy-Aware Trust Management System for Secure Routing in Wireless Sensor Networks / Yannis Stelios ; Nikos Papayanoulas ; Panagiotis Trakadas ; Sotiris Maniatis ; Helen C. Leligou ; Theodore Zahariadis
A Mobile Multi-hop Relay Base Station (MRBS)-Relay Station (RS) Link Level Performance of Coding/Modulation Schemes, on the Basis of the REWIND Research Program / Ioannis P. Chochliouros ; Avishay Mor ; Konstantinos N. Voudouris ; O. Amrani ; George Agapiou
A Face Centered Cubic Key Agreement Mechanism for Mobile Ad Hoc Networks / Ioannis G. Askoxylakis ; Konstantinos Markantonakis ; Theo Tryfonas ; John May ; Apostolos Traganitis
A Tree Based Self-routing Scheme for Mobility Support in Wireless Sensor Networks / Young-Duk Kim ; Yeon-Mo Yang ; Won-Seak Kang ; Jin-Wook Kim ; Jinung An
Cooperative Spectrum Sensing for Cognitive Radios: Performance Analysis for Realistic System Setups and Channel Conditions / Marco Di Renzo ; Laura Imbriglio ; Fabio Graziosi ; Fortunato Santucci ; Christos Verikoukis
Cross-Layer Optimization of Video Services over HSDPA Networks / Luca Superiori ; Martin Wruhck ; Philipp Svoboda ; Markus Rupp
Dynamic Resource Allocation for IEEE802.16e / Alberto Nascimento ; Jonathan Rodriguez
Developing an Innovative Multi-hop Relay Station Software Architecture in the Scope of the REWIND European Research Programme / Panagiotis Tsiakas ; Avner Aloush ; Maria Belesioti ; Evangelos Sfakianakis
Full Scale Software Support on Mobile Lightweight Devices by Utilization of All Types of Wireless Technologies / Ondrej Krejcar
QoS-constrained Energy Minimization in Multiuser Multicarrier Systems / Qing Bai ; Michel T. Ivrla? ; Josef A. Nossek
Performance Analysis of Power Saving Class of Type 1 with Both Downlink and Uplink Traffics in IEEE 802.16e / Sangkyu Baek ; Bong Dae Choi
Testing Cooperative Communication Schemes in a Virtual Distributed Testbed of Wireless Networks / George Kormentzas ; Luis Alonso
RFID-Based Identification: A Measurement Study / Marina Buzzi ; Marco Conti ; Enrico Gregori
Self-management in Future Internet Wireless Networks: Dynamic Resource Allocation and Traffic Flouting for Multi-service Provisioning / Nancy Alonistioti ; Anastasia S. Spiliopoulou ; Andrej Mihailovic
Self-organizing Mobile Ad Hoc Networks: Spontaneous Clustering at the MAC Layer / J. Alonso-Zárate ; E. Kartsakli ; P. Chatzimisios ; L. Alonso ; Ch. Verikoukis
Wireless Location Positioning Based on WiMAX Features-A Preliminary Study / Azmi Awang Md Isa ; Garik Markarian ; Kamarul Ariffin Noordin
IEEE 802.11s Wireless Mesh Networks: Challenges and Perspectives / Aggeliki Sgora ; Dimitris D. Vergados ; Periklis Chatzimisios
IEEE 802.16 Packet Scheduling with Traffic Prioritization and Cross-Layer Optimization / João Monteiro ; Susana Sargento ; Ávaro Gomes ; Francisco Fontes ; Pedro Neves
Towards Adaptable Networking: Defining the Protocol Optimization Architecture Requirements / Martin André ; Fumio Teraoka
Uptake of Mobile ICT Health Services: Has the Time Come to become Commodity? / Pantelis A. Angelidis
Impact of the Transmission Scheme on the Performance in Wireless LANs / Andreas Könsgen ; Andreas Timm-Giel ; Carmelita Görg ; Ronald Böhnke
Increasing the Performance of OFDM-OQAM Communication Systems through Smart Antennas Processing / Nizar Zorba ; Stephan Pfletschinger ; Faouzi Bader
Middleware Building Blocks for Architecting RFID Systems / Nizar Kefalakis ; Nektarios Leontiadis ; John Soldatos ; Didier Donsez
Multicost Energy-Aware Broadcasting in Wireless Networks with Distributed Considerations / Christos Papageorgiou ; Panagiotis Kohkinos ; Emmanouel Varuarigos
On the Performance of Intra-system Optimization of Virtual Manufacturing Communication Systems / Ainara Gonzalez ; Angel Martin ; Miguel Angel Urrutia ; Oscar Lazaro
Performance Analysis of IEEE 802.15.4 Non-beacon Mode with Both Uplink and Downlink Traffic in Non-saturated Condition / Tae Ok Kim ; Jin Soo Park ; Kyung Jae Kim
Efficient and Accurate WLAN Positioning with Weighted Graphs / René Hansen ; Bent Thomsen
Feasibility of a GNSS-Probe for Creating Digital Maps of High Accuracy and Integrity / Dimitris Vartziotis ; Alkis Poulis ; Alexandros Minogiannis ; Panayiotis Siozos ; Iraklis Goudas ; Jaron Samson ; Michel Tossaint
Extending Internet into Space-ESA DTN Testbed Implementation and Evaluation / Christos Samaras ; Ioannis Komnios ; Sotirios Diamantopoulos ; Efthymios Koutsogiannis ; Vassilis Tsaoussidis ; Giorgos Papastergiou ; Nestor Peccia
Conceptual Design of a Wireless Strain Monitoring System for Space Applications / Panagiotis Broutas ; Stathis Kyriakis Bitzaros ; Dimitrios Goustouridis ; Stavros Katsafouros ; Dimitrios Tsoukalas ; Stavros Chatzandroulis
Novel Metamaterials for Patch Antennas Applications / Theodore Zervos ; Fotis Lazarakis ; Antonis Alexandridis ; Kostas Dangakis ; Dimosthenis Stamopoulos ; Michalis Pissas
On the Design of Direct Radiating Antenna Arrays with Reduced Number of Controls for Satellite Communications / Theodoras Kaifas ; Katherine Siakavara ; Dimitrios Babas ; George Miaris ; Elias Vafiadis ; John N. Sahalos
Author Index
Thorough Analysis of Downlink Capacity in a WCDMA Cell / Ioannis B. Daskalopoulos ; Vassilios G. Vassilakis ; Michael D. Logothetis
Fast Randomized STDMA Link Scheduling / Sergio Gomez ; Oriol Gras ; Vasilis Friderikos
Efficient QoS-Driven Resource Allocation in Integrated CDMA/WLAN Networks-An Autonomic Architecture / Georgios Aristomenopoulos ; Timotheos Kastrinogiannis ; Symeon Papavassiliou
90.

電子ブック
ＥＢ
90. Mobile Wireless Middleware, Operating Systems, and Applications - Workshops
Ozgur Akan, Paolo Bellavista, Carlo Giannelli, Cristian Hesselman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
BMMP Workshop
"Just another Distribution Channel?" / Wolter Lemstra ; Gerd-Jan de Leeuw ; Els van de Kar ; Paul Brand
Adding Value to the Network: Exploring the Software as a Service and Platform as a Service Models for Mobile Operators / Vânia Goncalves
Business Model Evaluation for an Advanced Multimedia Service Portfolio / Paolo Pisciella ; Josip Zoric ; Alexei A. Gaivoronski
Connecting Business Models with Service Platform Designs - Quantitative, Scenario-Based Framework
The Borders of Mobile Handset Ecosystems: Is Coopetition Inevitable? / Gaël Gueguen ; Thierry Isckia
Trends in Mobile Application Development / Adrian Holzer ; Jan Ondrus
WASP Workshop
A Middleware Architecture Supporting Native Mobile Agents for Wireless Sensor Networks / Ciarán Lynch ; Dirk Pesch
Map-Based Compressive Sensing Model for Wireless Sensor Network Architecture, a Starting Point / Mohammadreza Mahmudimanesh ; Abdelmajid Khelil ; Nasser Yazdani
Mobility and Remote-Code Execution / Eric Sanchis
UCPA Workshop
A Component-Based Approach for Realizing User-Centric Adaptive Systems / Gilbert Beyer ; Moritz Hammer ; Christian Kroiss ; Andreas Schroeder
A Reflective Goal-Based System for Context-Aware Adaptation / Dejian Meng ; Stefan Poslad
Pervasive Adaptation in Car Crowds / Alois Ferscha ; Andreas Riener
Developing User-Centric Applications with H-Omega / Clement Escoffjer ; Jonathan Bardin ; Johann Bourcier ; Philippe Lalanda
Utilization Possibilities of Area Definition in User Space for User-Centric Pervasive-Adaptive Systems / Ondrej Krejcar
Ubi-Islands Workshop
Architecture of a Personal Network Service Layer / Rieks Joosten ; Frank den Hartog ; Franklin Selgert
Connecting the Islands - Enabling Global Connectivity through Local Cooperation / Janus Heide ; Morten V. Pedersen ; Frank H.P. Fitzek ; Torben Larsen
Mapping the Physical World into the Virtual World: A Com2monSense Approach / Richard Gold ; Vlasios Tsiatsis ; Jan Höller ; Vincent Huang
Ubiquitous Mobile Awareness from Sensor Networks / Theo Kanter ; Stefan Pettersson ; Stefan Forsström ; Victor Kardeby ; Patrik Österberg
Author Index
BMMP Workshop
"Just another Distribution Channel?" / Wolter Lemstra ; Gerd-Jan de Leeuw ; Els van de Kar ; Paul Brand
Adding Value to the Network: Exploring the Software as a Service and Platform as a Service Models for Mobile Operators / Vânia Goncalves
91.

電子ブック
ＥＢ
91. Personal Satellite Services
PSATS : International Conference, Paolo Bellavista, Mario Marchese, Kandeepan Sithamparanathan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Analysing the Orbital Movement and Trajectory of LEO (Low Earth Orbit) Satellite Relative to Earth Rotation / Nafeesa Bohra ; Hermann De Meer ; Aftab. A. Memon
A Cross-Layer PEP for DVB-RCS Networks / Giovanni Giambene ; Snezana Hadzic
Triple Play over Satellite, Ka-Band Making the Difference / Guillaume Benoit ; Hector Fenech ; Stefano Pezzana
Time Scheduling Based on Tradeoff between Detection Performance and QoS Requirement / Jun Sun ; Hongbo Zhu
Study of the Quantum Channel between Earth and Space for Satellite Quantum Communications / Gristian Bonato ; Andrea Tomaello ; Vania Da Deppo ; Giapiero Naletto ; Paolo Villoresi
Spectral Analysis of Experimental Ka-Band Propagation Measurements over the Australian LEO Microsatellite 'FedSat' / Thorsten Kostulski ; Sam Reisenfeld
Satellite Broadband Revolution: How Latest Ka-Band Systems Will Change the Rules of the Industry. An Interpretation of the Technological Trajectory / Fabio Voile
Performance Enhanced Proxy Solutions for Satellite Networks: State of the Art, Protocol Stack and Possible Interfaces / Igor Bisio ; Mario Marchese ; Maurizio Mongelli
PEPsal Performance Analysis on Disruptive Radio Channels / Carlo Caini ; Rosario Firrincieli ; Daniele Lacamera
PEP Deployment and Bandwidth Management Issues / Charles Younghusband ; Peter Slade ; Jeff Weaver
High Altitude Platforms: Radio Resource Management Policy for MBMS Applications / Alessandro Raschella ; Giuseppe Araniti ; Antonio Iera ; Antonella Molinaro
Frequency Tracking Performance Using a Hyperbolic Digital-Phase Locked Loop for Ka-Band Communication in Rain Fading Channels / Kandeepan Sithamparanathan ; Radoslaw Piesiewicz
Design and Implementation of P2P Streaming Systems for Webcast / Yusuke Gotoh ; Kentaro Suzuki ; Tomoki Yoshihisa ; Masanori Kanazawa
Comparisons on Performances in MIMO Systems under Different Propagation Environments
Combined Congestion Control and Link Selection Strategies for Delay Tolerant Interplanetary Networks / Tomaso de Cola ; Fabio Lavagetto
Broadband Satellite Multimedia (BSM) Security Architecture and Interworking with Performance Enhancing Proxies / H. Cruickshank ; R. Mort ; M. Berioli
A Satellite-Based Infrastructure Providing Broadband IP Services on Board High Speed Trains / Eros Feltrin ; Elisabeth Welter
Author Index
Analysing the Orbital Movement and Trajectory of LEO (Low Earth Orbit) Satellite Relative to Earth Rotation / Nafeesa Bohra ; Hermann De Meer ; Aftab. A. Memon
A Cross-Layer PEP for DVB-RCS Networks / Giovanni Giambene ; Snezana Hadzic
Triple Play over Satellite, Ka-Band Making the Difference / Guillaume Benoit ; Hector Fenech ; Stefano Pezzana
92.

電子ブック
ＥＢ
92. Wireless and Mobile Networking
Jozef Wozniak, Ryszard Katulski, Jerzy Konorski, Andrzej R. Pach
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Unified Charging and Billing Solution. Unified-Next Generation of Charging Systems in Mobile Networks / Daniel Donhefner
IMS Interoperability
Presence Management and Merging Presence Information for NGN Services / Sebastian Schumann ; Eugen Mikoczy ; Pavol Podhradsky ; Feliciano Muruchi ; Michael Maruschke
Interoperability of IP Multimedia Subsystems: The NetLab Approach / Andrés Marín-López ; Daniel Díaz-Sánchez ; Florina Almenárez-Mendoza ; Francisco Rodríguez García ; Joaquín López Rizaldos ; Alfonso Cubero Vega ; Itziar Ormaetxea ; Juan Luis Lopez ; Sergio Fernández ; Fernando Ortigosa ; Ivan Kotuliak ; Timo Lahnalampi ; Timo Koski ; Sussana Avessta
A General IMS Registration Protocol for Wireless Networks Interworking / Davide Proserpio ; Fiorina Almenárez-Mendoza ; Peter Weik
Analysis of Session Establishment Signaling Delay in IP Multimedia Subsystem / Melvi Ulvan ; Robert Bestak
QoS and Multimedia Support
Adaptive Reservation MAC Protocol for Voice Traffic in Wireless Ad-Hoc Networks / Ghalem Boudour ; Cédric Teyssié ; Zoubir Mammeri
On the Shortcoming of EDCA Queues in the Presence of Multiservice Traffic / Agnieszka Brachman ; Lukasz Chrost
Accessing of Large Multimedia Content on Mobile Devices by Partial Prebuffering Techniques / Ondrej Krejcar ; Dalibor Janckulik ; Leona Motalova
Performance Analysis of Multicast Video Streaming in IEEE 802.11 b/g/n Testbed Environment / Aleksander Kostuch ; Krzysztof Gierlowski ; Jozef Wozniak
Network Design
Optimization of Frame Structure for WiMAX Multi-hop Networks / Pavel Mach
Robust Transmission of H.264/AVC Video Using 64-QAM and Unequal Error Protection / Ahmed B. Abdurrhman ; Michael B. Woodward ; Vasileios Theodorakopoulos
An Optimization Approach to Coexistence of Bluetooth and Wi-Fi Networks Operating in ISM Environment / Tomasz Klajbor ; Jacek Rah
Sensor Networks
Performance Analysis of IEEE 802.15.3 MAC Protocol with Different ACK Polices / S. Mehta ; K.S. Kwak
Efficient Sensor Data Gathering and Resilient Communication for Rescue Scenarios / Daniele Munaretto ; Chunlei An ; Joerg Widmer ; Andreas Timm-Giel
Self-Organizing Wireless Monitoring System for Containers / Ryszard J. Katulski ; Jacek Stefański ; Jaroslaw Sadowski ; Slawomir J. Ambroziak ; Bo&zabovedot;ena Miszewska
Trust Management and Competitive Networking
Enabling SAML for Dynamic Identity Federation Management / Patricia Arias Cabarcos ; Andrés Marin-López ; Daniel Díaz-Sanchez
DST-Based Detection of Non-cooperative Forwarding Behavior of MANET and WSN Nodes / Jerzy Konorski ; Rafal Orlikowski
Competitive Spectrum Sharing in Wireless Networks: A Dynamic Non-cooperative Game Approach / Omar Raoof ; Zaineb Al-Banna ; H.S. Al-Raweshidy
Location Algorithms I
A Novel AoA Positioning Solution for Wireless Ad Hoc Networks Based on Six-Port Technology / Peter Brida ; Norbert Majer ; Jan Duha ; Peter Cepel
On the Impact of Node Placement and Profile Point Selection on Indoor Localization / Israat Tanzeena Hague ; Ioanis Nikolaidis ; Pawel Gburzynski
Hyperbolic Position Location Estimation in the Multipath Propagation Environment / Jacek Siefański
Evolution of 3G, 3G/4G and Future Generation Systems
Efficient Assignment of Multiple E-MBMS Sessions towards LTE / Antonios Alexiou ; Christos Bourns ; Vasileios Kokkinos
CATS: Context-Aware Triggering System for Next Generation Networks / José Simoes ; João Goncalves ; Telma Mota ; Thomas Magedanz
Performance Analysis of Uplink Packet Schedulers in Cellular Networks with Relaying / Desislava C. Dimitrova ; Hans van den Berg ; Geert Heijenk
A Method of the UMTS-FDD Network Design Based on Universal Load Characteristics / Slawomir Gajewski
Location Algorithms II
Dynamic Localized Broadcast Incremental Power Protocol and Lifetime in Wireless Ad Hoc and Sensor Networks / Julien Champ ; Anne-Elisabeth Baert ; Vincent Boudet
Information-Importance Based Communication for Large-Scale WSN Data Processing / Ahmad Sardouk ; Rana Rahim-Amoud ; Leïla Merghem-Boulahia ; Dominique Gaïti
Considerations for RFID-Based Indoor Simultaneous Tracking / Apostolia Papapostolou ; Hakima Chaouchi
Handover Mechanisms
The Efficiency Performance on Handover's Scanning Process of IEEE802.16m / Ardian Ulvan
Optimized Handover Schemes over WiMAX / Zina Jerjees
Data Collection for Heterogeneous Handover Decisions in beyond 3G Networks / Marc Fouquet ; Christian Hoene ; Morten Schläger ; Georg Carle
A Cross-Layer User Centric Vertical Handover Decision Approach Based on MIH Local Triggers / Maaz Rehan ; Muhammad Yousaf ; Amir Qayyum ; Shahzad Malik
Author Index
Invited Talk
Unified Charging and Billing Solution. Unified-Next Generation of Charging Systems in Mobile Networks / Daniel Donhefner
IMS Interoperability
93.

電子ブック
ＥＢ
93. AccessNets
International Conference on Access Networks (AccessNets) :, Paolo Bellavista, Chonggang Wang, Social-Informatics, and Telecommunications Engineering. Institute for Computer Sciences
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
HOWRAN: An Hybrid Optical Wireless Radio Access Network for WiMAX Antennas Backhauling / Maurice Gagnaire ; Tony Youssef
The Audacity of Fiber-Wireless (FiWi) Networks / Martin Maier ; Navid Ghazisaidi ; Martin Reisslein
When Are Online and Offline Excess Bandwidth Distribution Useful in EPONs? / Jason R. Ferguson ; Michael P. McGarry
Cost-Performance Planning of Municipal Wireless Access Networks / Paolo Giacomazzi ; Alessandro Poli
Greener Copper with Dynamic Spectrum Management / John Cioffi ; Sumanth Jagannathan ; W. Lee ; H. Zou ; A. Chowdhery ; W. Rhee ; G. Ginis ; P. Silverman
Full Papers
Performance Comparison of Orthogonal and Quasi-orthogonal Codes in Quasi-Synchronous Cellular CDMA Communication / Sujit Jos ; Preetam Kumar ; Saswat Chakrabarti
Supporting Session and Access Point Mobility in a Large Multi-provider Multi-vendor Municipal WiFi Network / Timo Ojala ; Toni Hakanen ; Ossi Salmi ; Mikko Kenttälä ; Juha Tiensyrjä
A Fast MAC-Layer Handover for an IEEE 802.16e-Based WMAN / Sayan K. Ray ; Krzysztof Pawlikowski ; Harsha Sirisena
A Conflict-Free Low-Jitter Guaranteed-Rate MAC Protocol for Base-Station Communications in Wireless Mesh Networks / T.H. Szymanshi
Coexistence of Collocated IEEE 802.11 and Bluetooth Technologies in 2.4 GHz ISM Band / Ariton E. Xhafa ; Xiaolin Lu ; Donald P. Shaver
Enabling Broadband as Commodity within Access Networks: A QoS Recipe / Enrique Areizaga ; Andreas Foglar ; Antonio J. Elizondo ; Frank Geilhardt
A Simulator of Periodically Switching Channels for Power Line Communications / Taro Hayasaki ; Daisuke Umehara ; Satoshi Denno ; Masahiro Morikura
Placement of Base Stations in Broadband Power Line Communications Access Networks by Means of Multi-criteria Optimization / Abdelfatteh Haidine ; Rolf Lehnert
Modeling of Channel Allocation in Broadband Powerline Communications Access Networks as a Multi-criteria Optimization Problem / Ralf Lehnert
Topology Design of Hierarchical Hybrid Fiber-VDSL Access Networks with Enhanced Discrete Binary PSO / Rong Zhao ; Yi Zhang
Near-Optimal Multi-user Greedy Bit-Loading for Digital Subscriber Lines / Alastair McKinley ; Alan Marshall
Case for Dynamic Reconfigurability in Access Networks / Rajeev Roy ; Wim van Etten
Fragmentation in a Novel Implementation of Slotted GPON Segmentation and Reassembly / Yixuan Qin
TCP Performance over Gigabit-Capable Passive Optical Networks / Julio Orozco ; David Ros
A Fast Channel Switching Method in EPON System for IPTV Service / Yaling Nie ; Hideya Yoshiuchi
WDM Dynamic Bandwidth Allocation Schemes for Ethernet PONs / Kae Hsiang Kwong ; Hammad Yaqoob ; Craig Michie ; Ivan Andonovic
VoIP Performance with Aggressive AMC and SINR Feedback for WiMAX Downlink / Xiangning Fan ; Zhu Dengkui
Performance of Adaptive Sub-carrier and Bit Allocation Algorithms for Multi-user OFDM Wireless Systems / Chu Jintao
Proportional Increase Multiplicative Decrease (PIMD) Wireless Scheduler: An Efficient Scheduler for IEEE 802.11e HCF / Arshad Hussain ; Shaban Qaiser
Appropriate Templates for Broadband Access in Non-developed and Developing Countries / Morteza Haddadzadeh
A Unified Framework of the Performance Evaluation of Optical Time-Wavelength Code-Division Multiple-Access Systems / Elie Inaty
Performance Analysis of Multi-format WDM-RoF Links Based on Low Cost Laser and SOA / Carlos Almeida ; António Teixeira ; Mário Lima
Performance Evaluation of the Cable Bundle Unique Power Back-Off Algorithm / Driton Statovci ; Tomas Nordström
Estimating Video Quality over ADSL2+ under Impulsive Line Disturbance / Glauco Gonçalves ; Ramide Dantas ; André Palhares ; Judith Kelner ; Joseane Fidalgo ; Djamel Sadok ; Henrik Almeida ; Miguel Berg ; Daniel Cederholm
Wireless Channel Condition Aware Scheduling Algorithm for Hybrid Optical/Wireless Networks / Ying Yan ; Hao Yu ; Lars Dittmann
Planning Multitechnology Access Networks with Performance Constraints / Steven Chamberland
Loop Identification and Capacity Estimation of Digital Subscriber Lines with Single Ended Line Testing / Carine Neus ; Wim Foubert ; Leo Van Biesen
Optical CDMA with Embedded Spectral-Polarization Coding over Double Balanced Differential-Detector / Jen-Fa Huang ; Chih-Ta Yen ; Bo-Hau Chen
Robust Coverage and Performance Testing for Large-Area Wireless Networks / Caleb Phillips ; Russell Senior ; Douglas Sicker ; Dirk Grunwald
Author Index
Invited Papers
HOWRAN: An Hybrid Optical Wireless Radio Access Network for WiMAX Antennas Backhauling / Maurice Gagnaire ; Tony Youssef
The Audacity of Fiber-Wireless (FiWi) Networks / Martin Maier ; Navid Ghazisaidi ; Martin Reisslein
94.

電子ブック
ＥＢ
94. Leveraging Knowledge for Innovation in Collaborative Networks
Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Iraklis Paraskakis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Co-innovation in Collaborative Networks / Part 1：
Networked Innovation in Innovation Networks: A Home Appliances Case Study / Luis Berasategi ; Joseba Arana ; Eduardo Castellano
Managing Distributed Innovation Processes in Virtual Organizations by Applying the Collaborative Network Relationship Analysis / Jens Eschenbächer ; Marcus Seifert ; Klaus-Dieter Thoben
A Balanced Scorecard for Open Innovation: Measuring the Impact of Industry-University Collaboration / Myrna Flores ; Ahmed Al-Ashaab ; Andrea Magyar
Co-creation and Co-innovation in a Collaborative Networked Environment / Edmilson Rampazzo Klen
Collaboration Patterns / Part 2：
A Cooperative Model to Improve Hospital Equipments and Drugs Management / Ilaria Baffo ; Giuseppe Confessore ; Giacomo Liotta ; Giuseppe Stecca
Modeling Adaptable Business Service for Enterprise Collaboration / Khouloud Boukadi ; Lucien Vincent ; Patrick Burlat
A Collaboration Pattern Model for Virtual Organisations / Nikos Papageorgiou ; Yannis Verginadis ; Dimitris Apostolou ; Gregoris Mentzas
Issues and Experiences in Logistics Collaboration / Nadia Lehoux ; Jean-Frangois Audy ; Sophie D'Amours ; Mikael Rönnqvist
Needs and Practices / Part 3：
Analyzing Enterprise Networks Needs: Action Research from the Mechatronics Sector / Luca Cagnazzo ; Paolo Taticchi ; Gianni Bidini ; Enzo Baglieri
Comparing Notes: Collaborative Networks, Breeding Environments, and Organized Crime / Alejandro Hernández
Mapping R&D within Multinational Networks: Evidence from the Electronics Industry / Paula Urze ; Marin João Manatos
Collaboration in Supply Chains / Part 4：
Developing a Taxonomy and Model to Transfer and Assess Best Practices for Supply Chain Management / Ana Mendoza ; Victor Lavin ; Benito Flores
Supply Chain Coordination in Hospitals / Nazaré Rego ; Jorge Pinho de Sousa
A Supply Chain Architecture Based on Multi-agent Systems to Support Decentralized Collaborative Processes / Jorge E. Hernández ; Raúl Poler ; Josefa Mula
Collaborative Manufacturing Management in Networked Supply Chains / Michel Pouly ; Souleiman Naciri ; Sébastien Berthold
Teams and Collaboration / Part 5：
Collaborative Capability of Teams in Network Organizations / Sebastian Ulbrich ; Heide Troitzsch ; Fred van den Anker ; Adrian Plüss ; Charles Huber
Knowledge Value Creation Characteristics of Virtual Teams: A Case Study in the Construction Sector / Chalee Vorakulpipat ; Yacine Rezgui
Social Protocols for Agile Virtual Teams / Willy Picard
Analysis of Interpersonal Communication Processes in Digital Factory Environments / Jens Schütze ; Heiko Baum ; Martin Laue ; Egon Müller
VO Breeding Environments Modeling / Part 6：
Modeling Virtual Organization Architecture with the Virtual Organization Breeding Methodology / Zbigniew Paszkiewicz
For a Methodology to Implement Virtual Breeding Environments - A Case Study in the Mold and Die Sector in Brazil / Fabiano Baldo ; Ricardo J. Rabelo
Virtual Operations in Common Information Spaces: Boundary Objects and Practices / Demosthenes Akoumianakis ; Giannis Milolidakis ; Dimitnos Stefanakis ; Anargyros Akrivos ; George Vellis ; Dimitrios Kotsalis ; Anargyros Plemenos ; Nikolaos Vidakis
An Alignment Model for Collaborative Value Networks / Carlos Bremer ; Rodrigo Cambiaghi Azevedo ; Alexandra Pereira Klen
Modeling and Managing Competencies - I / Part 7：
Competence-Based Approach in Value Chain Processes
Towards a Methodology for Managing Competencies in Virtual Teams - A Systemic Approach / Marinita Schumacher ; Julie Stal-Le Cardinal ; Jean-Claude Bocquet
An Organization's Extended (Soft) Competencies Model / João Rosas ; Patrícva Macedo ; Luis M. Camarinha-Matos
Modeling and Managing Competencies - II / Part 8：
A Generic Framework of Performance Measurement in Networked Enterprises / Duk-Hyun Kim ; Cheolhan Kim
Transferability of Industrial Management Concepts to Healthcare Networks / Dario Antonelli ; Agostino Villa ; Bart MacCarthy ; D. Bellomo
People at Work: Modelling Human Performance in Shop Floor for Process Improvement in Manufacturing Enterprises / Siti Nurhaida Khalil ; R. H. Weston ; J. O. Ajaefobi
Competence Ontology for Network Building / Kafil Hajlaoui ; Xavier Boucher ; Michel Beigbeder ; Jean Jacques Girardot
Knowledge Management in Collaboration / Part 9：
Knowledge Management with Snapshots / Hilda Tellioglu
Short-Term Semantic Consensus: Towards Agile Ontology Specification for Collaborative Networks / Carla Pereira ; Cristóvão Sousa ; António Lucas Soares
Ontological View-Driven Semantic Integration in Collaborative Networks / Yunjiao Xue ; Hamada ; H.Ghenniwa ; Wevming Shen
Partners Selection / Part 10：
Uncertainty in Partner Selection for Virtual Enterprises / José Crispim
Supplier Selection in Virtual Enterprise Model of Manufacturing Supply Network / Toskiya Kaihara ; Jayeola F. Opadiji
Design and Implementation of a Multi-agent Framework for the Selection of Partners in Dynamic VEs / Pedro Sanz Angulo ; Juan José de Benito Martín
e-Procurement and Collaborative Procurement / Part 11：
Collaborative Procurement within Enterprise Networks: A Literature Review, a Reference Framework and a Case Study / Mohamed Sameh
eProcurement for Industrial Maintenance Services / Maik Herfurth ; Axel Meinhardt ; Jõrg Schumacher ; Peter Weiß
Guide to a Strategic Procurement Planning Approach on Regulated Commodity Markets / Thorsten Wüst
Trust and Soft Issues in Collaboration / Part 12：
On Hard and Soft Models to Analyze Trust Life Cycle for Mediating Collaboration / SimonS.Msanjila ; Hamidth Afsarmanesh
Trust Building in Virtual / Jstván Mezgár
Value Co-creation and Co-innovation: Linking Networked Organisations and Customer Communities / David Romero ; Arturo Molina
Processes and Decision / Part 13：
Supporting Cross-Organizational Process Control / Samuil Angelov ; Jochem Vonk ; Krishnamurthy Vidyasankar ; Paul Grefen
A Service for Robust Decision Downloading in Collaborative Networks / Seiko Thimm ; Karsten Boye Rasmussen
A Practice-Based Analysis of an Online Strategy Game / Chris Kimble
An Anticipative Effects-Driven Approach for Analyzing Interoperability in Collaborative Processes / Nicolas Daclin ; Vincent Chapurlat
Management Aspects in Collaborative Networks / Part 14：
On Services for Collaborative Project Management / Martin Ollus ; Kim Jansson ; Iris Karvonen ; Mikko Uoti ; Heli Riikonen
Managing Decisions on Changes in the Virtual Enterprise Evolution / Marcus Vinicius Drissen-Silva ; Ricardo José Rabelo
An SSM-Based Approach to Implement a Dynamic Performance Management System / Roberto da Piedade Francisco ; Américo Azevedo
Performance Management / Part 15：
Performance Based Maintenance Scheduling for Building Service Components / Karsten Menzel ; Bna Tobin ; Kenneth N. Brown ; Mateo Burillo
An Approach to Measuring the Performance of a Large-Scale Collaboration / Ronald C. Beckett
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments
Agile Business Models / Part 16：
Thinking Outside the Box: Agile Business Models for CNOs / Leandro Loss ; Servane Crave
How to Increase Value hi the Footwear Supply Chain / Rosanna Fornasiero ; Mauro Tescaro ; Enrico Scarso ; Giorgio Gottardi
Waste Management Using Request-Based Virtual Organizations / Stamatia Ann Katriou ; Garyfallos Fragidis ; Ioannis Ignatiadis ; Evangelos Tolias ; Adamantios Koumpis
Service-Based Systems / Part 17：
Supporting Structural and Functional Collaborative Networked Organizations Modeling with Service Entities / Rubén Darío Franco ; Ángel Ortiz Bas ; Guillermo Prats ; Rosa Navarro Varela
Interoperability in Collaborative Processes: Requirements Characterisation and Proof Approach / Matthieu Roque
Services Systems to Leverage Innovators' Knowledge: The Telecoms Industry Case / Florie Bugeaud ; Eddie Soulier563
Formal Models / Part 18：
Formal Grammars for Product Data Management on Distributed Manufacturing Systems / Rui M. Sousa ; Paulo J. Martins ; Rui M. Lima
Information Flow Control for Cooperation Support in Virtual Enterprises / Peter Bertok ; Abdelkamel Tari ; Saadia Kedjar
ICoNOs MM: The IT-Enabled Collaborative Networked Organizations Maturity Model / Roberto Santana Tapia
Socio-technical Issues in Collaboration / Part 19：
A Socio-technical Approach for Transient SME Alliances
Social Requirements for Virtual Organization Breeding Environments / Jan Świerzowicz
Discovering Collaboration and Knowledge Management Practices for the Future Digital Factory / Myma Flores ; Tomas Vera ; Christopher Tucci
Collaborative Work Environments / Part 20：
Collaborative Environments to Support Professional Communities: A Living Lab Approach / Hans Schaffers ; Steffen Budweg ; Rudolf Ruland ; Kjetil Kristensen
Extracting and Utilizing Social Networks from Log Files of Shared Workspaces / Peyman Nasirifard ; Vassilios Peristeras ; Conor Hayes ; Stefan Decker
Supporting the Change of Cooperation Patterns by Integrated Collaboration Tools / Wolfgang Prinz ; Nils Jeners ; Matteo Villa
Virtual Enterprises for Integrated Energy Service Provision / Luke Allan
Collaborative Networks for Active Ageing - I / Part 21：
The Need for a Strategic R&D Roadmap for Active Ageing / Luis Camarinha-Matos ; Hamideh Afsarmanesh
A Well-Conceived Vision for Extending Professional Life of Seniors / Simon S. Msanjila
Exploring the Gap for Effective Extension of Professional Active Life in Europe / Will Leonard ; Jim Playfoot
Collaborative Networks for Active Ageing - II / Part 22：
New Organizational Forms to Extend the Professional Active Life / Antonio del Cura ; Filipa Ferrada ; Patricia del Cura
Towards Modeling a Collaborative Environment for Extension of Professional Active Life
Methodologies for Active Aging in the Manufacturing Sector / Domenica Berdicchia ; Mario Zambelli ; Giovanni Masino
Collaborative Networks for Active Ageing û III / Part 23：
Memory Support in Ambient Assisted Living / Ricardo Costa ; Paulo Novais ; Ângelo Costa ; José Neves
Practices and Services for Enabling the Independent Living of Elderly Population / Apostolos Vontas ; Nikolaos Protogeros ; Vasiliki Moumtizi
A Health Collaborative Network Focus on Self-care Processes in Personal Assistant Practice / Ma Victoria de la Fuente ; Lorenzo Ros
Collaborative Educational Networks û I / Part 24：
mEducator: A Best Practice Network for Repurposing and Sharing Medical Educational Multi-type Content / Panagiotis D. Bamidis ; Eleni Kaldoudi ; Costas Pattichis
Semantic Maps Capturing Organization Knowledge in e-Learning / Androklis Mavridis ; Stavros N. Demetriadis
Thinking Style Diversity and Collaborative Design Learning / Antonio P. Volpentesta ; Salvatore Ammirato ; Francesco Sofo
Collaborative Educational Networks û II / Part 25：
Collaborative Networking for the Development of Quality in Education at University Level / Anni Rytkönen ; Taina Kaivola
Provision of Training for the IT Industry: The ELEVATE Project / Iraklis Paraskakis ; Andreas Konstantinidis ; Thanassis Bouras ; Kostas Perakis ; Stelios Pantelopoulos ; Thanos Hatziapostolou
Building a Collaborative Network for Education and Training in International Trade Facilitation Clusters / John A. Clendenin ; Nadya N. Petrova ; Joshua K. Gill
New Vision of Collaborative Networked Study: Fundamentals, Applications and Discipline Formation at CEFET/RJ / Antonio José Caulliraux Pithon
Author Index
Co-innovation in Collaborative Networks / Part 1：
Networked Innovation in Innovation Networks: A Home Appliances Case Study / Luis Berasategi ; Joseba Arana ; Eduardo Castellano
Managing Distributed Innovation Processes in Virtual Organizations by Applying the Collaborative Network Relationship Analysis / Jens Eschenbächer ; Marcus Seifert ; Klaus-Dieter Thoben
95.

電子ブック
ＥＢ
95. Security and Privacy in Communication Networks
Ozgur Akan, Paolo Bellavista, Yan Chen, Yang Chen, Tassos D. Dimitriou, Jianying Zhou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Wireless Network Security I
Mitigating DoS Attacks on the Paging Channel by Efficient Encoding in Page Messages / Liang Cai ; Gabriel Maganis ; Hui Zang ; Hao Chen
FIJI: Fighting Implicit Jamming in 802.11 WLANs / Ioannis Broustis ; Konstantinos Pelechrinis ; Dimitris Syrivelis ; Srikanth V. Krishnamurthy ; Leandros Tassiulas
Deny-by-Default Distributed Security Policy Enforcement in Mobile Ad Hoc Networks / Mansoor Alicherry ; Angelos D. Keromytis ; Angelos Stavrou
Network Intrusion Detection
Baiting Inside Attackers Using Decoy Documents / Brian M. Bowen ; Shlomo Hershkop ; Salvatore J. Stolfo
MULAN: Multi-Level Adaptive Network Filter / Shimrit Tzur-David ; Danny Dolev ; Tal Anker
Automated Classification of Network Traffic Anomalies / Guilherme Fernandes ; Philippe Owezarski
Security and Privacy for the General Internet
Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets / Magdalena Payeras-Capellà ; Macià Mut-Puigserver ; Andreu Pere Isern-Deyà ; Josep L. Ferrer-Gomila ; Llorenç Huguet-Rotger
On the Security of Bottleneck Bandwidth Estimation Techniques / Ghassan Karame ; David Gubler ; Srdjan čapkun
An Eavesdropping Game with SINR as an Objective Function / Andrey Garnaev ; Wade Trappe
Malware and Misbehavior
Ensemble: Community-Based Anomaly Detection for Popular Applications / Feng Qian ; Zhiyun Qian ; Z. Morley Mao ; Atul Prakash
Using Failure Information Analysis to Detect Enterprise Zombies / Zhaosheng Zhu ; Vinod Yegneswaran ; Yan Chen
Dealing with Liars: Misbehavior Identification via Rényi-Ulam Games / William Kozma Jr. ; Loukas Lazos
Wireless Network Security II, Sensor Networks
Multichannel Protocols for User-Friendly and Scalable Initialization of Sensor Networks / Toni Perković ; Ivo Stančić ; Luka MaliÜa ; Mario Čagalj
Aggregated Authentication (AMAC) Using Universal Hash Functions / Wassim Znaidi ; Marine Minier ; Cédric Lauradoux
Sec-TMP: A Secure Topology Maintenance Protocol for Event Delivery Enforcement in WSN / Andrea Gabrielli ; Maura Conti ; Roberto Di Pietro ; Luigi V. Mancini
Hierarchical Self-healing Key Distribution for Heterogeneous Wireless Sensor Networks / Yanjiang Yang ; Jianying Zhou ; Robert H. Deng ; Feng Bao
Key Management, Credentials, Authentications
User-Centric Identity Using ePassports / Martijn Oostdijk ; Dirk-Jan van Dijk ; Maarten Wegdam
Defending against Key Abuse Attacks in KP-ABE Enabled Broadcast Systems / Shucheng Yu ; Kui Ren ; Wenjing Lou ; Jin Li
Breaking and Building of Group Inside Signature / S. Sree Vivek ; S. Sharmila Deva Selvi ; S. Gopi Nath ; C. Pandu Rangan
Use of ID-Based Cryptography for the Efficient Verification of the Integrity and Authenticity of Web Resources / Thanassis Tiropanis ; Tassos Dimitriou
Wireless Network Security III
Self-organized Anonymous Authentication in Mobile Ad Hoc Networks / Julien Freudiger ; Maxim Raya ; Jean-Pierre Hubaux
An Active Global Attack Model for Sensor Source Location Privacy: Analysis and Countermeasures / Yi Yang ; Sencun Zhu ; Guohong Cao ; Thomas LaPorta
Rogue Access Point Detection Using Innate Characteristics of the 802.11 MAC / Aravind Venkataraman ; Raheem Beyah
Secure Multicast, Emerging Technologies
A Novel Architecture for Secure and Scalable Multicast over IP Network / Yawen Wei ; Zhen Yu ; Yong Guan
Reliable Resource Searching in P2P Networks / Michael T. Goodrich ; Jonathan Z. Sun ; Roberto Tamassia ; Nikos Triandopoulos
The Frog-Boiling Attack: Limitations of Anomaly Detection for Secure Network Coordinate Systems / Eric Chan-Tin ; Daniel Feldman ; Nicholas Hopper ; Yongdae Kim
Author Index
Wireless Network Security I
Mitigating DoS Attacks on the Paging Channel by Efficient Encoding in Page Messages / Liang Cai ; Gabriel Maganis ; Hui Zang ; Hao Chen
FIJI: Fighting Implicit Jamming in 802.11 WLANs / Ioannis Broustis ; Konstantinos Pelechrinis ; Dimitris Syrivelis ; Srikanth V. Krishnamurthy ; Leandros Tassiulas
96.

電子ブック
ＥＢ
96. Communication and Networking
Dominik; Chang, Alan Chin-Chen Slezak, Alan Chin-Chen Chang, Tai-Hoon Kim, MingChu Li, Kouichi Sakurai, Dominik Slezak, Thanos Vasilakos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
A Dynamic Interval Scheduling and Congestion Control Scheme for Sensor Networks / Sun-Min Hwang ; Seung-Min Han ; Ga-Won Lee ; Eui-Nam Huh
Game Theoretic Packet Scheduling in a Non-cooperative Wireless Environment / Zhen Kong ; Yu-Kwong Kwok
Security Authentication for U-Health Application Services / Byeong Ho Ahn ; Jinkeun Hong ; Donghoon Lee
Priority Early Frame Discard Algorithm for TCP-Based Video Streaming / Kai-Pu Chan ; Wen-Jyi Hwang ; Chih-Peng Lin ; Tun-Hao Yu
CDN-Based Video Streaming Using Dynamic Bandwidth Allocation / Chia-Yi Jan
2-Layered SOA Test Architecture Based on BPA-Simulation Event / Youngkon Lee
Impacts of Power Ramping for ARQ-Aided Downlink Time Switched Transmit Diversity in the WCDMA LCR-TDD System / Ri-A. Ma ; Cha-Eul Jeon ; Seung-Hoon Hwang
Active Worm Propagation in Hierarchical Peer-to-Peer Network Management Systems: Modeling and Analysis / Zahra Zohoor Saadat ; Saleh Yousefi ; Mahmood Fathy
Security Enhancement on an Improvement on Two Remote User Authentication Scheme Using Smart Cards / HanCheng Hsiang ; TienHo Chen ; WeiKuan Shih
Improving the Performance of Beacon Safety Message Dissemination in Vehicular Networks Using Kalman Filter Estimation / Mohammadreza Armaghan
Media-Oriented Service Overlay Network Architecture over Future Internet Research for Sustainable Testbed / Sungwon Lee ; Sang Woo Han ; Jong Won Kim ; Seung Gwan Lee
Monotonically Increasing Bit Vector for Authenticated Anonymous Routing / Roman Schlegel ; Duncan S. Wong
Avoid Unnecessary Handovers in a High Dense Environment / Ara Cho ; Navrati Saxena ; Abhishek Roy ; Swades De ; Hari M. Gupta
Adaptive Beamforming in Wireless Sensor Network in the Presence of Interference Sources / Husnain Naqvi ; Muhammad Sulayman ; Mehwish Riaz
Performance Analysis of Collaborative Communication with Imperfect Frequency Synchronization and AWGN in Wireless Sensor Networks / Stevan Berber ; Zoran Salcic
The Performance Improvement of Searching a Moving Vehicle on Fisheye CCTV Image Using Inverse Diffusion Equation / In-Jung Lee
Scheduling Algorithm for Beacon Safety Message Dissemination in Vehicular Ad-hoc Networks / Vahid Sadatpour ; Amir Masoud Rahmani ; Eun-suk Cho ; Min-kyu Choi
Influence of Low-Pass Filtering on Perceived Quality of Asymmetrically Coded Stereoscopic Images / Xu Wang ; Mei Yu ; You Yang ; Gangyi Jiang
Module-Based Finite Automata: A Scalable and Memory-Efficient Architecture for Multi-pattern Matching in Deep Packet Inspection / Junchen Jiang ; Yi Tang ; Xiaofei Wang ; Bin Liu
Architecture of Personal Healthcare Information System in Ubiquitous Healthcare / Mangal Sain ; Sachin Bhardwaj ; HoonJae Lee ; Wan-Young Chung
BcN Deployment Strategies in Korea / Hyongsoon Kim ; Eun-Young Lee
Communication Delay Prediction of Pipelined Circuit Switching in Mesh-Based Networks / Farshad Safaei ; Mohammad Mahdi Gilak
The Distance-Power Consumption Tradeoff for Cooperative Wireless Sensor Networks / Inwhee Joe ; Sungmoon Chung
Research on Rule-Based AR System for Users' Situation Awareness / Jae-gu Song ; Sungmo Jung ; Seoksoo Kim
Automatic Web Service Detection in Oil and Gas / Kari Anne Haaland Thorsen ; Odd Frode Torbjørnse ; Chunming Rong
Eperfi: Design and implementation of End-to-End Network Performance Measurement and Diagnosis System for High-Speed Networks / Young-Ju Han ; Min-Woo Park ; Jong-Myoung Kim ; Yoonjoo Kwon ; Tai-Myoung Chung
FIST: A Framework for Flexible and Low-Cost Wireless Testbed for Sensor Networks / Cheng Guo ; R. Venkatesha Prasad ; JiangJie He ; Martin Jacobsson
A Novel Energy Optimization Approach for Wireless Sensor Networks / Lianhe Luo ; Yuebin Bai ; Wei Wu
Intrusion Detection Systems for Wireless Sensor Networks: A Survey / Ashfaq Hussain Farooqi ; Farrukk Aslam Khan
A New Routing Protocol Based on Fuzzy Combination Model for Predicting Link Stability of Wireless Ad Hoc Networks / Yi Sha ; Xing-zi Wei ; Yan Yang ; Li Huang ; Guang-xing Wang
Experiments on an Election Algorithm for Decision Element Failures in 4D Future Internet Architecture / Songqing Yue ; Yang Xiao ; Geoffrey G. Xie
A Study on Broadcasting Video Quality by Routing Protocols in the IPTV Network / Mi-Jin Kim ; Jong-Wook Jang
A Study on Effective RS Deployment in Mobile WiMAX MMR / Mun-Han Bae ; B. Otgonbayar ; Ghishigjargal
Architecting Adaptable Security Infrastructures for Pervasive Networks through Components / Marc Lacoste
Software Verification and Validation of Graphical Web Services in Digital 3D Worlds / Andrés Iglesias
Analysis of Priority Queue-Based Scheme to Alleviate Malicious Flows from Distributed DoS Attacks / Chu-Hsing Lin ; Jung-Chun Liu ; Chien-Ting Kuo ; Chi Lo
A Heuristic Network Bandwidth Measurement with Domain-Based Model on Grids / Chao-Tung Yang ; Chih-Hao Lin ; Shih-Chi Yu
Analyzing VoIP Capacity with Delay Guarantee for Integrated HSPA Networks / Shin-Hua Yang ; Shun-Ren Yang ; Chien-Chi Kao
Cross-Layering between Physical Layer and Routing in Wireless Ad-Hoc Networks / Jean Michel Dricot ; Gianluigi Ferrari ; Philippe De Doncker
Matlab-Based KETpic Add-On for Generating and Rendering IPS Fractals / Akemi Gálvez ; Setsuo Takato
Clustering in Mobile Ad Hoc Networks Using Comprehensive Learning Particle Swarm Optimization (CLPSO) / Waseem Shakzad ; Farrukh Aslam Khan ; Abdul Basit Siddiqui
On Multipath Balancing and Expanding for Wireless Multimedia Sensor Networks / Min Chen ; Victor C.M. Leung ; Lei Shu ; Han-Chieh Chao
Reeling In Cognitive Radio: The Issues of Regulations and Policies Affecting Spectrum Management / Toe (Tom) Oh ; Young B. Choi ; Michael Guthrie ; Kristi Harold ; Daniel Copeland ; Tai-hoon Kim
Privacy Issues for Vehicular Ad-hoc Network / Hang Dok ; Ruben Echevarria ; Huirong Fu
Load-Similar Node Distribution for Prolonging Network Lifetime in PMRC-Based Wireless Sensor Networks / Qiaoqin Li ; Met Yang ; Yan Jin ; Jun Zheng ; Yingtao Jiang ; Jiazhi Zeng
Density-Aware Route Design for Ferry-Based DTNs Using Partitive Clustering Algorithms / Behrouz Jedari ; Rouhollah Goudarzi
A Distributed Deterministic and Resilient Replication Attack Detection Protocol in Wireless Sensor Networks / Ghano Kim ; Chanil Park ; Junbeom Hur ; Hanjin Lee ; Hyunsoo Yoon
Adaptive Quality-Aware Replication in Wireless Sensor Networks / Jana Neumann ; Christoph Reinke ; Nils Hoeller ; Volker Linnemann
Weaknesses and Improvements of Kuo-Lee's One-Time Password Authentication Scheme / Mijin Kim ; Byunghee Lee ; Seungjoo Kim ; Dongho Won
News Event Tracking Using an Improved Hybrid of KNN and SVM / Zhen Lei ; Yanjie Jiang ; Peng Zhao ; Jue Wang
Query Based Approach Model for Mobile Commerce Applications in Manet / G. Varaprasad
A Security Framework for Wireless Sensor Networks / Stuart Stent
Security in Tactical MANET Deployments
VLSI Architecture for the Fuzzy Fingerprint Vault with Automatic Alignment Module / Sung Jin Lim ; Seung-Hoon Chae ; Deasung Moon ; Yongwha Chung ; Namil Lee ; Sung Bum Pan
A Study on the Korean Banknote Recognition Using RGB and UV Information / Jong Kwang Kim
Performance of a Forwarding Layer for Mesh Network / Woonkang Heo ; Mina Lee ; Chohee Kim ; Minseok Oh
Design and Performance Analysis of Automatic Wireless Routing Mechanism for the Effective Formation of IMR (Integrated Meter Reading) Network / Moonsuk Choi ; Seongho Ju ; Yonghun Lim ; Jong-mock Back
An Improved Shock Graph-Based Edit Distance Approach Using an Adaptive Weighting Scheme / Solima Khanam ; Seok Woo Jang ; Woojin Paik
Design of an Object-Based Video Retrieval System Using SCA and Invariant Moments / Jang-Hui Kim ; Dae-Seong Kang
Configurations of Dual RAID System / Bongen Gu ; Yun-Sik Kwak ; Seung-Kook Cheong ; Jung-Yeon Hwang ; Kijeong Khil
Efficient Data Transmission Scheme among Multi-devices / Sang-Bong Byun ; Byungin Moon ; Yong-Hwan Lee
Shape Recovery by Focus Based Methods Using Low Pass Filter / S.M. Mannan ; Husna Mutahira ; Tae-Sun Choi
An Ant Colony Optimization Approach for the Preference-Based Shortest Path Search / Seung-Ho Ok ; Woo-Jin Seo ; Jin-Ho Ahn ; Sungho Kang ; Dyungin Moon
A Study on the Composite Power Line Communication Network / Duckhwa Hyun ; Younghun Lee ; Youngdeuk Moon
FMEA (Failure Mode Effect Analysis) for Maintenance of Mail Sorting Machine / Jeong-Hyun Park ; Hoyon Kim ; Jong-Heung Park
Advanced Integrated Model-Driven Development Tool for USN Applications in Pervasive Computing Environment / Woo-jin Lee ; Jang-Mook Kang ; Yoon-Seok Heo ; Bong-Hwa Hong
MSMAP: A Study on Robust Multiple Selection Scheme of Mobility Anchor Point in Hierarchical Mobile IPv6 Networks / Randy S. Tolentino ; Kijeong Lee ; Minho Song ; Yoon-Su Jeong ; Yong-Tae Kim ; Byungjio Park ; Gil-Cheol Park
A Personalization Recommendation Service Using Service Delivery Platform in IMS Networks / Youn-Gyou Kook ; Jae-Oh Lee ; Jin-Mook Kim ; Hwa-Young Jeong
Enhanced SVD Based Watermarking with Genetic Algorithm / Heechul Jung ; Moongu Jeon
Analysis and Comparison of Multicast Routing Protocols for Mobile IPTV / Yu-Doo Kim ; Il- Young Moon
Monitoring-Control System Using Multi-modal Interaction Agent in Ubiquitous Environment / Sungdo Park ; Jeongseok Kim ; Hyokyung Chang ; Bokman Jang ; Euiin Choi
Two Stage Demosaicing Algorithm for Color Filter Arrays / Hyeon-Mi Yang ; Sea-Ho Kim ; Yang-Ki Cho ; Joo-Shin Lee ; Hi-Seok Kim
Face Recognition Using Region-Based Nonnegative Matrix Factorization / Wonmin Byeon
Analysis of On-Chip Antennas with Multi-band due to Change the Slot Size in the Silicon Substrate / DongHee Park ; IlJun Choi ; Baekki Kim ; Yoonsik Kwak
Closely Spaced Multipath Channel Estimation in CDMA Networks Using Divided Difference Filter / Zahid Ali ; Mohamed A. Deriche ; M. Adnan Landolsi
Author Index
A Dynamic Interval Scheduling and Congestion Control Scheme for Sensor Networks / Sun-Min Hwang ; Seung-Min Han ; Ga-Won Lee ; Eui-Nam Huh
Game Theoretic Packet Scheduling in a Non-cooperative Wireless Environment / Zhen Kong ; Yu-Kwong Kwok
Security Authentication for U-Health Application Services / Byeong Ho Ahn ; Jinkeun Hong ; Donghoon Lee
97.

電子ブック
ＥＢ
97. e-Business and Telecommunications
International Conference on E-business and Telecommunication Networks, Joaquim Filipe, Mohammad S. Obaidat, Mohammad Salameh Obaidat
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Quality of Service in Heterogeneous Networks
Ozgur Akan, Novella Bartolini, Paolo Bellavista, Valeria Cardellini, Anirban Mahanti, Sotiris Nikoletseas, Prasun Sinha
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Information Quality Management Capability Maturity Model
Sa??a Ba??karada
出版情報: Springer eBooks Computer Science , Vieweg+Teubner, 2009
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Communications Infrastructure. Systems and Applications in Europe
Ozgur Akan, Paolo Bellavista, Eduardo Cerqueira, Imrich Chlamtac, Rashid Mehmood, Radoslaw Piesiewicz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Emerging Infrastructure and Technologies I
Building Digital Economy - The Research Councils Programme and the Vision / John Hand
Why the Internet Is So 'Small'? / Shi Zhou
Reactive Management of Quality of Service in Multimedia OBS Networks Based on GMPLS / Fernando N.N. Farias ; Rafael P. Esteves ; Waldir A. Moreira ; Antonio J.G. Abelém ; Michael A. Stanton
Enhancing Java RMI with Asynchrony through Reflection / Orhan Akin ; Nadia Erdogan
SNR Based Digital Estimation of Security in Wireless Sensor Networks / Adnan Ashraf ; AbdulRauf Rajput ; Marvie Mussadiq ; Bhawani S. Chowdhry ; Manzoor Hashmani
Quantifying the TV White Spaces Spectrum Opportunity for Cognitive Radio Access / Maziar Nekovee
Emerging Infrastructure and Technologies II
MIMO Free-Space Optical Communication Employing Subcarrier Intensity Modulation in Atmospheric Turbulence Channels / Zabih Ghassemlooy ; Wasiu O. Popoola ; Vahid Ahmadi ; Erich Leitgeb
RSVP-TE Based Impairments Collection Mechanism in DWDM Network / Marco Anisetti ; Valerio Bellandi ; Roberto Cassata ; Ernesto Damiani ; Zafar Ali
MIMO-OFDM System's Performance Using LDPC Codes for a Mobile Robot / Omar Daoud ; Omar Alani
Hybrid M-QAM with Adaptive Modulation and Selection Combining in MIMO Systems / Sang-Do Lee ; Young-Chai Ko
Performance Analysis of a Joint Space-Time Block Codes and Channel Estimation Scheme in DL-PUSC Mode of Mobile WiMAX / Phuong T. T. Pham ; Tomohisa Wada
Intelligent Transportation Systems (ITS)
The Changing Transport Datascape - Opportunities and Challenges / John Polak
Intelligent Control of Urban Road Networks: Algorithms, Systems and Communications / Mike Smith
Congestion Reduction Using Ad-Hoc Message Dissemination in Vehicular Networks / Thomas D. Hewer
Intelligent Mobility Systems: Some Socio-technical Challenges and Opportunities / Monika Büscher ; Paul Coulton ; Christos Efstratiou ; Hans Gellersen ; Drew Hemment ; Rashid Mehmood ; Daniela Sangiorgi
iRide: A Cooperative Sensor and IP Multimedia Subsystem Based Architecture and Application for ITS Road Safety / Muslim Elkotob ; Evgeny Osipov
DVB-T/H Portable and Mobile TV Performance in the New Channel Profiles Modes / Tomáš Kratochvíl
Localization to Enhance Security and Services in Wi-Fi Networks under Privacy Constraints / Gareth Ayres ; Keith Mitchell ; Nicholas J. P. Race
A Proportional Fairness with Bandwidth-Borrowing Scheme for a Two-Tier NEMO System / Bing-Chi Kuo ; Tsang-Ling Sheu
Intelligent Healthcare Systems (IHS)
Healthcare Information Systems - Requirements and Vision / John G. Williams
The Impact of eHealth on the Quality and Safety of Healthcare / Azeem Majeed ; Ashly Black ; Josip Car ; Chantelle Anandan ; Kathrin Cresswell ; Brian McKinstry ; Claudia Pagliari ; Rob Procter ; Aziz Sheikh
e-Labs and Work Objects: Towards Digital Health Economies / John D. Ainsworth ; Iain E. Buchan
Mandatory and Location-Aware Access Control for Relational Databases / Michael Decker
The Interaction of Production and Consumption in the News Media Social Space / Gary Graham ; Finola Kerrigan ; Mustafizur Rahman
Optimization of TCP/IP over 802.11 Wireless Networks in Home Environment / Toni Janevski ; Ivan Petrov
Analysis of the Contextual Behaviour of Mobile Subscribers / Hannu Verkasalo ; Borja Jimenez Salmeron
Work-in-Progress and Short Papers
Improved Classification and Framework Association of Security Vulnerability, Threats and Attacks in Wireless Sensor Networks
Challenges for Mobile Social Networking Applications / Juwel Rana ; Johan Kristiansson ; Josef Hallberg ; KÃ¥re Synnes
Mobile Monitoring Stations and Web Visualization of Biotelemetric System - Guardian II / Ondrej Krejcar ; Dalibor Janckulik ; Leona Motalova ; Jan Kufel
Practical Issues of Wireless Mobile Devices Usage with Downlink Optimization
Reliable Communications Using Multi-layer Transmission / Abdel-Nasser Assimi ; Charly Poulliat ; Inbar Fijalkow
Effects of the Distinction between Long and Short Data Grants in DOCSIS Network / Joon-Young Jung ; Jae-Min Ahn
Author Index
Emerging Infrastructure and Technologies I
Building Digital Economy - The Research Councils Programme and the Vision / John Hand
Why the Internet Is So 'Small'? / Shi Zhou
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼