close
1.

電子ブック
ＥＢ
1. Multiple Classifier Systems
Michal Haindl, Takeo Kanade, Josef Kittler, Fabio Roli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Databases in Networked Information Systems
Subhash Bhalla, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Domain Modeling and the Duration Calculus
Chris W. George, Takeo Kanade, Zhiming Liu, Jim Woodcock, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Formal Methods for Performance Evaluation
Marco Bernardo, Jane Hillston, David Hutchison, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Performance Modelling and Markov Chains / William J. Stewart
Queueing Networks / Simonetta Balsamo ; Andrea Marin
Introduction to Generalized Stochastic Petri Nets / Gianfranco Balbo
Stochastic Process Algebras / Allan Clark ; Stephen Gilmore ; Jane Hillston ; Mirco Tribastone
A Survey of Markovian Behavioral Equivalences / Marco Bernardo
Stochastic Model Checking / Marta Kwiatkowska ; Gethin Norman ; David Parker
Fluid Models in Performance Analysis / Marco Gribaudo ; Miklos Telek
Tackling Large State Spaces in Performance Modelling / William J. Knottenbelt ; Jeremy T. Bradley
Data Representation and Efficient Solution: A Decision Diagram Approach / Gianfranco Ciardo
Introduction to Software Performance Engineering: Origins and Outstanding Problems / Connie U. Smith
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms / Murray Woodside
Author Index
Performance Modelling and Markov Chains / William J. Stewart
Queueing Networks / Simonetta Balsamo ; Andrea Marin
Introduction to Generalized Stochastic Petri Nets / Gianfranco Balbo
5.

電子ブック
ＥＢ
5. Algebraic Informatics
Symeon Bozapalidis, Takeo Kanade, George Rahonis, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
On Generalizations of Weighted Finite Automata and Graphics Applications / Jurgen Albert ; German Tischler
Sturmian and Episturmian Words: A Survey of Some Recent Results / Jean Berstel
From Tree-Based Generators to Delegation Networks / Frank Drewes
Bifinite Chu Spaces / Manfred Droste ; Guo-Qiang Zhang
Tiling Recognizable Two-Dimensional Languages / Dora Giammarresi
Algebraic Methods in Quantum Informatics / Jozef Gruska
Recognizable vs. Regular Picture Languages / Oliver Matz
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems / Ulrike Prange ; Hartmut Ehrig
Contributed Papers
Deterministic Two-Dimensional Languages over One-Letter Alphabet / Marcella Anselmo ; Maria Madonia
Recognizable Picture Languages and Polyominoes / Giusi Castiglione ; Roberto Vaglica
An Algebra for Tree-Based Music Generation / Johanna Hogberg
Aperiodicity in Tree Automata / Zoltan Esik ; Szabolcs Ivan
The Syntactic Complexity of Eulerian Graphs / Antonios Kalampakas
Learning Deterministically Recognizable Tree Series-Revisited / Andreas Maletti
The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs / Sotiris Nikoletseas ; Christoforos Raptopoulos ; Paul G. Spirakis
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques / Iakovos Ouranos ; Petros Stefaneas
Nonassociativity a la Kleene / Jean-Marcel Pallo
Restarting Tree Automata and Linear Context-Free Tree Languages / Heiko Stamer ; Friedrich Otto
Author Index
Invited Papers
On Generalizations of Weighted Finite Automata and Graphics Applications / Jurgen Albert ; German Tischler
Sturmian and Episturmian Words: A Survey of Some Recent Results / Jean Berstel
6.

電子ブック
ＥＢ
6. Algorithms for Sensor and Ad Hoc Networks
Dorothea Wagner, Takeo Kanade, Roger Wattenhofer, Roger Peter Wattenhofer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Applications of Sensor Networks / H.-J. Hof1：
Introduction / 1.1：
Current Hardware Platforms / 1.2：
Upcoming Applications / 1.4：
Chapter Notes / 1.5：
Modeling Sensor and Ad Hoc Networks / F. Schuh2：
Distributed Algorithms / 2.1：
Communication / 2.3：
Energy / 2.4：
Mobility / 2.5：
Clustering / T. Moscibroda2.6：
Models / 3.1：
Clustering Algorithms for Unit Disk Graphs / 3.3：
Clustering Algorithms for General Graphs / 3.4：
Conclusionsand Open Problems / 3.5：
MAC Layer and Coloring / S. Mecke3.6：
Algorithms for Vertex Coloring / 4.1：
Conclusion / 4.3：
Topology Control / K. Buchin ; M. Buchin4.4：
Quality Criteria / 5.1：
Locally Defined Geometric Graphs and Further Proximity Graphs / 5.3：
Localized Algorithms / 5.4：
Interference and Signal-to-Noise-Ratio / A. Kröller5.5：
Interference Models / 6.1：
Low-Interference Topologies / 6.3：
Topology Scheduling / 6.4：
Flow and Path Scheduling / 6.5：
Lower Bounds / Z. Benenson6.6：
A Lower Boundon3-Coloringa Ring / 7.1：
Locally Checkable Labelings / 7.3：
Minimum-Weight Spanning Trees / 7.4：
Facility Location / C. Frank7.5：
Problem Definition / 8.1：
Centralized Approximations / 8.3：
Simple Distributed Approximation / 8.4：
Fast Distributed Approximation / 8.5：
Discussionand Outlook / 8.6：
Geographic Routing / A. Zollinger8.7：
Related Work / 9.1：
Models and Preliminaries / 9.3：
Greedy Routing / 9.4：
Routing with Faces / 9.5：
A Lower Bound / 9.6：
Combining Greedy and Face Routing / 9.7：
Compact Routing / M. Dom9.8：
Definitions / 10.1：
Overview / 10.3：
Algorithms / 10.4：
Pseudo Geometric Routing for Sensor Networks / O. Landsiedel10.5：
Routing Algorithmsfor Sensor Networks / 11.1：
Virtual Coordinate Based Routing / 11.3：
Beacon Vector Routing / 11.4：
Algorithmic View / 11.5：
Minimal Range Assignments for Broadcasts / C. Gunia11.6：
The Algorithm RAPMST and Its Analysis / 12.1：
Distributed Computation of an MST / 12.3：
Further Advances / 12.4：
Conclusion and Open Questions / 12.5：
Data Gathering in Sensor Networks / L. Scharf12.6：
Network Model / 13.1：
Minimum Energy Data Gathering / 13.3：
Maximum Lifetime Data Gathering / 13.4：
Location Services / B. Fabian ; M. Fischmann ; S.F. Gürses13.5：
Grid Location Service (GLS) / 14.1：
Locality-Aware Location Service (LLS) / 14.3：
Mobility-Aware Location Service (MLS) / 14.4：
Outlook / 14.5：
Positioning / D. Fleischer ; C. Pich14.6：
Hardness Results / 15.1：
Security / E.-O. Blaß15.3：
Symmetric Key Distribution / 16.1：
Public-Key Distribution / 16.3：
Open Questions / 16.4：
Trust Mechanisms and Reputation Systems / E. Buchmann16.5：
General Trust Models / 17.1：
Reputation-Based Trust Protocols in Ad Hoc Networks / 17.3：
Open Problems / 17.4：
Selfish Agents and Economic Aspects / 17.5：
Mechanism Design / 18.1：
Unicast in Selfish Networks / 18.3：
Multicast in Selfish Networks / 18.5：
Time Synchronization / M. Busse ; T. Streichert18.6：
Time Synchronization Approaches / 19.1：
Synchronizing Clocks in the Presence of Faults / 19.3：
Theoretical Bounds for Clock Synchronization and Ordering ofEvents / 19.4：
Gradient Clock Synchronization / 19.5：
Bibliography / 19.6：
Author Index
Subject Index
Preface
Applications of Sensor Networks / H.-J. Hof1：
Introduction / 1.1：
7.

電子ブック
ＥＢ
7. All About Maude - A High-Performance Logical Framework
Manuel Clavel, Francisco Durán, Steven Eker, Takeo Kanade, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, Josef Kittler, Carolyn L. Talcott
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Approximation and Online Algorithms
Thomas Erlebach, Christos Kaklamanis, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Combinatorial Pattern Matching
Bin Ma, Takeo Kanade, Kaizhong Zhang, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Computational Science and Its Applications – ICCSA 2007
Osvaldo Gervasi, Marina L. Gavrilova, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼