1.
ＥＢ
Francisco J. Perales, Robert B. Fisher, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
2.
ＥＢ
Peter J. Bentley, Sungwon Jung, Takeo Kanade, Doheon Lee
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
3.
ＥＢ
V??ra K??rkov??, Takeo Kanade, Jan Koutn??k, Roman Neruda
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
4.
ＥＢ
V??ra K??rkov??, Takeo Kanade, Jan Koutn??k, Roman Neruda
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
5.
ＥＢ
Luca Aceto, Ivan Damg?rd, Leslie Ann Goldberg, Magn?s M. Halld?rsson, Anna Ing?lfsd?ttir, Takeo Kanade, Igor Walukiewicz
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
6.
ＥＢ
Luca Aceto, Ivan Damg?rd, Leslie Ann Goldberg, Magn?s M. Halld?rsson, Anna Ing?lfsd?ttir, Takeo Kanade, Igor Walukiewicz
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
7.
ＥＢ
Sungdeok (Steve) Cha, Jin-Young Choi, Takeo Kanade, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
8.
ＥＢ
Chunming Rong, Martin Gilje Jaatun, Takeo Kanade, Jianhua Ma, Frode Eika Sandnes, Laurence T. Yang
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
9.
ＥＢ
Bertrand Meyer, Takeo Kanade, Jerzy R. Nawrocki, Bartosz Walter
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
10.
ＥＢ
Pietro Li?, Jon Crowcroft, Takeo Kanade, Dinesh C. Verma, Eiko Yoneki
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
11.
ＥＢ
Fernando Bello, P. J. Eddie Edwards, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
12.
ＥＢ
Ben Schouten, Andrzej Drygajlo, Niels Christian Juul, Takeo Kanade, Massimo Tistarelli
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
13.
ＥＢ
Marlon Dumas, Takeo Kanade, Manfred Reichert, Ming-Chien Shan
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
14.
ＥＢ
Hiroshi Umeo, Stefania Bandini, Takeo Kanade, Toshihiko Komatsuzaki, Shin Morishita, Katsuhiro Nishinari
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
15.
ＥＢ
Zolt?n Horv?th, Takeo Kanade, Rinus Plasmeijer, Anna So?s, Vikt?ria Zs?k
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
Abstract [lambda]-Calculus Machines / Werner E. Kluge
Programming in [Omega]mega / Tim Sheard ; Nathan Linger
A Tutorial on Object-Oriented Functional Programming / Horia F. Pop
Use Cases for Refactoring in Erlang / Tamas Kozsik ; Zoltan Horvath ; Roland Kiraly ; Robert Kitlei ; Laszlo Lovei ; Tamas Nagy ; Melinda Toth ; Aniko Vig
From Interpretation to Compilation / Jan Martin Jansen
Author Index
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
16.
ＥＢ
Yan Ma, Shingo Ata, Deokjai Choi, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
17.
ＥＢ
Manfred Tscheligi, Takeo Kanade, Artur Lugmayr, Marianna Obrist
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
18.
ＥＢ
?ngela Barbero, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
19.
ＥＢ
Manfred Nagl, Takeo Kanade, Wolfgang Marquardt
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
20.
ＥＢ
Boting Yang, Ding-Zhu Du, Dingzhu Du, Takeo Kanade, Cao An Wang
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
21.
ＥＢ
Paolo Ferragina, Takeo Kanade, Gad M. Landau
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
22.
ＥＢ
Laurie Hendren, Laurie J. Hendren, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
23.
ＥＢ
Nadia Creignou, Takeo Kanade, Phokion G. Kolaitis, Heribert Vollmer
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help? / Nadia Creignou ; Heribert Vollmer
Basics of Galois Connections / Ferdinand Börner
Recent Results on the Algebraic Approach to the CSP / Andrei A. Bulatov ; Matthew A. Valeriote
Dualities for Constraint Satisfaction Problems / Andrei Krokhin ; Benoit Larose
A Logical Approach to Constraint Satisfaction / Phokion G. Kolaitis ; Moshe Y. Vardi
Uniform Constraint Satisfaction Problems and Database Theory / Francesco Scarcello ; Georg Gottlob ; Gianluigi Greco
Constraint Satisfaction Problems with Infinite Templates / Manuel Bodirsky
Partial Polymorphisms and Constraint Satisfaction Problems / Henning Schnoor ; Ilka Schnoor
Introduction to the Maximum Solution Problem / Peter Jonsson ; Gustav Nordh
Present and Future of Practical SAT Solving / Oliver Kullmann
Author Index
Introduction
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help? / Nadia Creignou ; Heribert Vollmer
Basics of Galois Connections / Ferdinand Börner
24.
ＥＢ
Michel R. V. Chaudron, Takeo Kanade, Ralf Reussner, Clemens Szyperski
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
25.
ＥＢ
Sargur N. Srihari, Katrin Franke, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
26.
ＥＢ
Hiro Ito, Takeo Kanade, Mikio Kano, Naoki Katoh, Yushi Uno
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
27.
ＥＢ
Jacek M. Zurada, Takeo Kanade, Jun Wang, Jun Li Jim Wang, Gary G. Yen
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Machine Learning and Brain Computer Interface
A New Framework for Machine Learning / Christopher M. Bishop
Bilevel Optimization and Machine Learning / Kristin P. Bennett ; Gautam Kunapuli ; Jing Hu ; Jong-Shi Pang
Bayesian Ying Yang System, Best Harmony Learning, and Gaussian Manifold Based Family / Lei Xu
The Berlin Brain-Computer Interface / Benjamin Blankertz ; Michael Tangermann ; Florin Popescu ; Matthias Krauledat ; Siamac Fazli ; Marton Donaczy ; Gabriel Curio ; Klaus-Robert Muller
Basic Scheme of Neuroinformatics Platform: XooNIps / Shiro Usui ; Yoshihiro Okumura
Fuzzy Modeling and Control
Collaborative Architectures of Fuzzy Modeling / Witold Pedrycz
Information Fusion for Man-Machine Cooperation / Ronald R. Yager
Bio-inspired Self-Organizing Relationship Network as Knowledge Acquisition Tool and Fuzzy Inference Engine / Takeshi Yamakawa ; Takanori Koga
Type-2 Fuzzy Logic Controllers: A Way Forward for Fuzzy Systems in Real World Environments / Hani Hagras
Computational Evolution
The Burden of Proof: Part II / David B. Fogel
Evolution of Altruistic Robots / Dario Floreano ; Sara Mitri ; Andres Perez-Uribe ; Laurent Keller
Simulated Evolution under Multiple Criteria Conditions Revisited / Gunter Rudolph ; Hans-Paul Schwefel
Handling Uncertainties in Evolutionary Multi-Objective Optimization / Kay Chen Tan ; Chi Keong Goh
Applications
VCV2 - Visual Cluster Validity / Jacalyn M. Huband ; James C. Bezdek
Data Management by Self-Organizing Maps / Teuvo Kohonen
Cocktail Party Processing / DeLiang Wang ; Guoning Hu
Similarities in Fuzzy Data Mining: From a Cognitive View to Real-World Applications / Bernadette Bouchon-Meunier ; Maria Rifqi ; Marie-Jeanne Lesot
Attaining Fault Tolerance through Self-adaption: The Strengths and Weaknesses of Evolvable Hardware Approaches / Garrison W. Greenwood
Author Index
Machine Learning and Brain Computer Interface
A New Framework for Machine Learning / Christopher M. Bishop
Bilevel Optimization and Machine Learning / Kristin P. Bennett ; Gautam Kunapuli ; Jing Hu ; Jong-Shi Pang
28.
ＥＢ
Osvaldo Gervasi, Marina L. Gavrilova, Takeo Kanade, Antonio Lagan?, Youngsong Mun, Beniamino Murgante, David Taniar
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
29.
ＥＢ
Osvaldo Gervasi, Marina L. Gavrilova, Takeo Kanade, Antonio Lagan?, Youngsong Mun, Beniamino Murgante, David Taniar
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
30.
ＥＢ
Marian Bubak, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
31.
ＥＢ
Marian Bubak, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
32.
ＥＢ
Marian Bubak, Geert Dick Albada, Jack Dongarra, Takeo Kanade, Peter M. A. Sloot
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
33.
ＥＢ
Aarti Gupta, Takeo Kanade, Sharad Malik
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
34.
ＥＢ
Richard Kronland-Martinet, Kristoffer Jensen, Takeo Kanade, S?lvi Ystad
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
35.
ＥＢ
Nigel Thomas, Carlos Juiz, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
36.
ＥＢ
Michael D. Harrison, Takeo Kanade, Mark-Alexander Sujan
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
37.
ＥＢ
Michael Kaminski, Takeo Kanade, Simone Martini, European Association for Computer Science Logic.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
38.
ＥＢ
Sushil Jajodia, Takeo Kanade, Javier Lopez, Javier L?pez
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
39.
ＥＢ
Antonios Gasteratos, Takeo Kanade, John K. Tsotsos, Markus Vincze
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
40.
ＥＢ
David Forsyth, Takeo Kanade, Philip Torr, Andrew Zisserman
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
41.
ＥＢ
David Forsyth, Takeo Kanade, Philip Torr, Andrew Zisserman
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
42.
ＥＢ
David Forsyth, Takeo Kanade, Philip Torr, Andrew Zisserman
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
43.
ＥＢ
David Forsyth, Takeo Kanade, Philip Torr, Andrew Zisserman
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
44.
ＥＢ
Seongil Lee, Hyunseung Choo, Sungdo Ha, Takeo Kanade, In Chul Shin
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
45.
ＥＢ
H. Jaap Herik, Jaap van den Herik, Takeo Kanade, Zongmin Ma, Mark H. M. Winands, Xinhe Xu
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
46.
ＥＢ
Klaus Miesenberger, Takeo Kanade, Arthur Karshmer, Joachim Klaus, Wolfgang Zagler
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
47.
ＥＢ
Xiaodong Hu, Takeo Kanade, Jie Wang
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
48.
ＥＢ
Qing Li, Takeo Kanade, Antoni Oliv?, Stefano Spaccapietra, Eric Yu
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
49.
ＥＢ
Franck Breugel, Franck van Breugel, Marsha Chechik, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
50.
ＥＢ
Pierpaolo Degano, Rocco De Nicola, Takeo Kanade, Jos? Meseguer, Ugo Montanari, Rocco Nicola
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer
Graph Transformation
Ugo Montanari and Graph Transformation / Andrea Corradini
Unfolding Graph Transformation Systems: Theory and Applications to Verification / Paolo Baldan ; Barbara Konig
Graph-Based Design and Analysis of Dynamic Software Architectures / Roberto Bruni ; Antonio Bucchiarone ; Stefania Gnesi ; Dan Hirsch ; Alberto Lluch Lafuente
Graph Transformation Units - An Overview / Hans-Jorg Kreowski ; Sabine Kuske ; Grzegorz Rozenberg
Synchronous Multiparty Synchronizations and Transactions / Ivan Lanese ; Hernan Melgratti
Transformations in Reconfigurable Place/Transition Systems / Ulrike Prange ; Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg
Explicit State Model Checking for Graph Grammars / Arend Rensink
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design / Leila Ribeiro ; Fernando Luis Dotti
Constraint and Logic Programming
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section / Francesca Rossi
Semiring-Based Soft Constraints / Stefano Bistarelli
Declarative Debugging of Membership Equational Logic Specifications / Rafael Caballero ; Narciso Marti-Oliet ; Adrian Riesco ; Alberto Verdejo
Spreadspaces: Mathematically-Intelligent Graphical Spreadsheets / Nachum Dershowitz ; Claude Kirchner
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy / Manuel V. Hermenegildo ; Francisco Bueno ; Manuel Carro ; Pedro Lopez ; Jose F. Morales ; German Puebla
AND/OR Multi-valued Decision Diagrams for Constraint Networks / Robert Mateescu ; Rina Dechter
Software Engineering
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section
Modeling Business within a UML-Based Rigorous Software Development Approach / Egidio Astesiano ; Gianna Reggio ; Filippo Ricca
From Domain to Requirements / Dines Bjorner
Business Process Modeling for Organizational Knowledge Management / Luca Abeti ; Paolo Ciancarini ; Rocco Moretti
Event-Based Service Coordination / Gian-Luigi Ferrari ; Roberto Guanciale ; Daniele Strollo ; Emilio Tuosto
Dynamically Evolvable Dependable Software: From Oxymoron to Reality / Carlo Ghezzi ; Paola Inverardi ; Carlo Montangero
The Temporal Logic of Rewriting: A Gentle Introduction
A Heterogeneous Approach to UML Semantics / Maria Victoria Cengarle ; Alexander Knapp ; Andrzej Tarlecki ; Martin Wirsing
Concurrency Theory
Ugo Montanari and Concurrency Theory / Roberto Gorrieri
On the Synthesis of Zero-Safe Nets / Philippe Darondeau
A Note on Persistent Petri Nets / Eike Best
Secure Data Flow in a Calculus for Context Awareness / Doina Bucur ; Mogens Nielsen
On Beta-Binders Communications / Paola Quaglia
On the Asynchronous Nature of the Asynchronous [pi]-Calculus / Romain Beauxis ; Catuscia Palamidessi ; Frank D. Valencia
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes / Ezio Bartocci ; Flavio Corradini ; Radu Grosu ; Emanuela Merelli ; Oliviero Riganelli ; Scott A. Smolka
Models of Computation
Models of Computation: A Tribute to Ugo Montanari's Vision / Vladimiro Sassone
Automatic Mutual Exclusion and Atomicity Checks / Martin Abadi
Petri Nets, Discrete Physics, and Distributed Quantum Computation / Samson Abramsky
A Category of Explicit Fusions / Filippo Bonchi ; Maria Grazia Buscemi ; Vincenzo Ciancia ; Fabio Gadducci
What Do Semantics Matter When the Meat Is Overcooked? / Jose Luiz Fiadeiro
Calculating Colimits Compositionally / Robert Rosebrugh ; Nicoletta Sabadini ; Robert F.C. Walters
Observability Concepts in Abstract Data Type Specification, 30 Years Later / Donald Sannella
Software Verification
Ugo Montanari and Software Verification
History Dependent Automata for Service Compatibility / Marco Pistore
A Type System for Client Progress in a Service-Oriented Calculus / Lucia Acciai ; Michele Boreale
Session and Union Types for Object Oriented Programming / Lorenzo Bettini ; Sara Capecchi ; Mariangiola Dezani-Ciancaglini ; Elena Giachino ; Betti Venneri
The Pairing of Contracts and Session Types / Cosimo Laneve ; Luca Padovani
Specifying and Analysing SOC Applications with COWS / Alessandro Lapadula ; Rosario Pugliese ; Francesco Tiezzi
Approximating Behaviors in Embedded System Design / Roberto Passerone ; Alberto L. Sangiovanni-Vincentelli
Friends
Ugo Montanari and Friends
Calculating with Automata / Jos C.M. Baeten
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra / Gerard Boudol ; Ilaria Castellani ; Matthew Hennessy ; Glynn Winskel
Some Theorems Concerning the Core Function / Angelo Raffaele Meo
The Seventies / Alberto Martelli
Categories, Software and Meaning / Robin Milner
A Roman Senator / Jan Rutten
The Semantics of Ugo Montanari / Franco Turini
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years / Daniel Yankelevich
Author Index
Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer
Graph Transformation
Ugo Montanari and Graph Transformation / Andrea Corradini
51.
ＥＢ
Yuhua Luo, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
52.
ＥＢ
Doug Lea, Takeo Kanade, Douglas Lea, Gianluigi Zavattaro
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
53.
ＥＢ
Elisabeth Oswald, Takeo Kanade, Pankaj Rohatgi, International Association for Cryptologic Research.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
54.
ＥＢ
Matthew K. Franklin, Lucas Chi Kwong Hui, Takeo Kanade, Duncan S. Wong
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
55.
ＥＢ
Vijay Atluri, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
56.
ＥＢ
Abdelkader Hameurlain, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
57.
ＥＢ
Il-Yeol Song, Johann Eder, Takeo Kanade, Tho Manh Nguyen
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
58.
ＥＢ
Jayant R. Haritsa, Takeo Kanade, Ramamohanarao Kotagiri, Vikram Pudi
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
59.
ＥＢ
Irene Eusgeld, Felix C. Freiling, Takeo Kanade, Ralf Reussner
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction to Dependability Metrics / Irene Eusgeld ; Felix C. Freiling1：
Foundations / I：
On Metrics and Measurements / Rainer Bohme2：
Validation of Predictions with Measurements / Ralf Reussner3：
Consistent Metric Usage: From Design to Deployment / Kenneth Chan ; Iman Poernomo4：
Basic and Dependent Metrics / Viktoria Firus5：
Goal, Question, Metric / Heiko Koziolek6：
Quality of Service Modeling Language / Steffen Becker7：
Markov Models / Michael Kuperberg8：
Reliability Metrics / II：
Hardware Reliability / Bernhard Fechner ; Felix Salfner ; Max Walter ; Philipp Limbourg ; Lijun Zhang9：
Software Reliability / Falk Fraikin ; Matthias Rohr ; Ute Wappler10：
Security Metrics / III：
Introduction to Security Metrics / 11：
Cryptographic Attack Metrics / Zinaida Benenson ; Ulrich Kuhn ; Stefan Lucks12：
Security Measurements and Metrics for Networks / Thorsten Holz13：
Industrial Approaches and Standards for Security Assessment / Steffen Weiss14：
Economic Security Metrics / Thomas Nowey15：
Human Factors / Martin Mink16：
Performance Metrics / IV：
Introduction to Performance Metrics / 17：
Performance-Related Metrics in the ISO 9126 Standard / 18：
Analytical Performance Metrics / Jens Happe19：
Performance Metrics in Software Design Models / Antonino Sabetta20：
Measuring Performance Metrics: Techniques and Tools / 21：
Performance Metrics for Specific Domains / 22：
Overlapping Metrics / V：
Introduction to Overlapping Attributes / 23：
Performability / 24：
Reliability vs. Security: A Subjective Overview / 25：
Appendix
Biographies of Contributors / 26：
References / 27：
Subject Index
Author Index
Introduction to Dependability Metrics / Irene Eusgeld ; Felix C. Freiling1：
Foundations / I：
On Metrics and Measurements / Rainer Bohme2：
60.
ＥＢ
Diego Zamboni, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
61.
ＥＢ
Masami Ito, Takeo Kanade, Masafumi Toyama
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
62.
ＥＢ
George Buchanan, Sally Jo Cunningham, Takeo Kanade, Masood Masoodian
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
63.
ＥＢ
Elizabeth A. Krupinski, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
64.
ＥＢ
Ren? Meier, Takeo Kanade, Sotirios Terzis
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
65.
ＥＢ
Gadi Taubenfeld, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
66.
ＥＢ
Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Takeo Kanade, Bhaskar Krishnamachari, Institute of Electrical and Electronics Engineers.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
67.
ＥＢ
Maria Marinaro, Takeo Kanade, M. Marinaro, Silvia Scarpetta, Yoko Yamaguchi
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Hippocampus and Neural Oscillations
The Brain Computation Based on Synchronization of Nonlinear Oscillations: On Theta Rhythms in Rat Hippocampus and Human Scalp EEG / Yoko Yamaguchi
Theta Phase Coding in Human Hippocampus: A Combined Approach of a Computational Model and Human Brain Activity Analyses / Naoyuki Sato
Mechanisms for Memory-Guided Behavior Involving Persistent Firing and Theta Rhythm Oscillations in the Entorhinal Cortex / Michael E. Hasselmo ; Lisa M. Giocomo ; Mark P. Brandon ; Motoharu Yoshida
Encoding and Replay of Dynamic Attractors with Multiple Frequencies: Analysis of a STDP Based Learning Rule / Silvia Scarpetta ; Masahiko Yoshioka ; Maria Marinaro
A Biophysical Model of Cortical Up and Down States: Excitatory-Inhibitory Balance and H-Current / Zaneta Navratilova ; Jean-Marc Fellous
Dynamics in Olfactory System and Behaviour
Dynamical Architecture of the Mammalian Olfactory System / Leslie M. Kay
From Behaviour to Brain Dynamics / Allen Cheung
Correlation Structure of Spiking Trains
Impact of Higher-Order Correlations on Coincidence Distributions of Massively Parallel Data / Sonja Grun ; Moshe Abeles ; Markus Diesmann
Comparing Kurtosis Score to Traditional Statistical Metrics for Characterizing the Structure in Neural Ensemble Activity / Peter Stratton ; Janet Wiles
Neural Network Theories on Associative Memory
Pioneeristic Works on Neuronal Nets: A Short History
Place-Field and Memory Formation in the Hippocampus / Gergely Papp
Improving Recall in an Associative Neural Network of Spiking Neurons / Russell Hunter ; Stuart Cobb ; Bruce P. Graham
Author Index
Hippocampus and Neural Oscillations
The Brain Computation Based on Synchronization of Nonlinear Oscillations: On Theta Rhythms in Rat Hippocampus and Human Scalp EEG / Yoko Yamaguchi
Theta Phase Coding in Human Hippocampus: A Combined Approach of a Computational Model and Human Brain Activity Analyses / Naoyuki Sato
68.
ＥＢ
Giuseppe Psaila, Takeo Kanade, Roland Wagner, Roland R. Wagner
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
69.
ＥＢ
Maria A. Wimmer, Enrico Ferro, Takeo Kanade, Hans J. Scholl, Jochen Scholl
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
70.
ＥＢ
Modeling, and Simulation International Conference on Embedded Computer Systems: Architectures, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
71.
ＥＢ
Peter Forbrig, Takeo Kanade, Fabio Patern?
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
72.
ＥＢ
Jan Gulliksen, Morton Borup Harning, Takeo Kanade, Philippe Palanque, Gerrit C. Veer, Janet Wesson
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
73.
ＥＢ
Emilio Luque, Domingo Ben?tez, Takeo Kanade, E. Luque, Tom?s Margalef
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
74.
ＥＢ
Jano Hemert, Carlos Cotta, Takeo Kanade, Jano Van Hemert
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
75.
ＥＢ
Elena Marchiori, Takeo Kanade, E. Marchiori, Jason H. Moore
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
76.
ＥＢ
Gregory S. Hornby, Pauline C. Haddow, Gregory Scott Hornby, Takeo Kanade, Luk???? Sekanina
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
77.
ＥＢ
Catherine C. McGeoch, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
78.
ＥＢ
Kaisa Nyberg, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
79.
ＥＢ
Gene Tsudik, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
80.
ＥＢ
Jorge Cuellar, Takeo Kanade, Thomas S. E. Maibaum, Tom Maibaum, Kaisa Sere
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
81.
ＥＢ
Norbert Fuhr, Jaap Kamps, Takeo Kanade, Mounia Lalmas, Andrew Trotman
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
82.
ＥＢ
Robert M. Hierons, Jonathan P. Bowen, Jonathan Peter Bowen, Mark Harman, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
83.
ＥＢ
Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
84.
ＥＢ
Marco Bernardo, Pierpaolo Degano, Takeo Kanade, Gianluigi Zavattaro
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Regular Lectures / Part I：
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman
Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher
Simulation Methods in Systems Biology / Daniel T. Gillespie
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies / Gheorghe Paun ; Francisco Jose Romero-Campero
Petri Nets for Systems and Synthetic Biology / Monika Heiner ; David Gilbert ; Robin Donaldson
Process Algebras in Systems Biology / Federica Ciocchetta ; Jane Hillston
The BlenX Language: A Tutorial / Lorenzo Dematte ; Corrado Priami ; Alessandro Romanel
BISCA Talks / Part II：
Cells in Silico: A Holistic Approach / Davide Chiarugi ; Pierpaolo Degano ; Jan Bert Van Klinken ; Roberto Marangoni
The Calculus of Looping Sequences / Roberto Barbuti ; Giulio Caravagna ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Giovanni Pardini
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology / Luca Bortolussi ; Alberto Policriti
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi / Cristian Versari ; Roberto Gorrieri
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form / Gianluigi Zavattaro
Author Index
Regular Lectures / Part I：
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
85.
ＥＢ
Gilles Barthe, Frank S. Boer, Frank S. de Boer, Takeo Kanade, IFIP Working Group 6.1.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
86.
ＥＢ
Franck Cassez, Claude Jard, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
87.
ＥＢ
Kenji Suzuki, Khaled El-Fakih, Teruo Higashino, Takeo Kanade, Keiichi Yasumoto
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
88.
ＥＢ
Roberto Amadio, Roberto M. Amadio, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
89.
ＥＢ
Franco P. Preparata, Takeo Kanade, Xiaodong Wu, Jianping Yin
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
90.
ＥＢ
Panos Markopoulos, Wijnand IJsselsteijn, Wijnand A. IJsselsteijn, Takeo Kanade, Duncan Rowland, Duncan Andrew Rowland, Boris Ruyter, Boris de Ruyter
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
91.
ＥＢ
Jos? Luiz Fiadeiro, Paola Inverardi, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
92.
ＥＢ
Ralf L?mmel, Takeo Kanade, Jo?o Saraiva, Joost Visser
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Full Tutorials / I：
Design Space of Heterogeneous Synchronization / Michal Antkiewicz ; Krzysztof Czarnecki
Software Reuse beyond Components with XVCL (Tutorial) / Stan Jarzabek
QL: Object-Oriented Queries Made Easy / Oege de Moor ; Damien Sereni ; Mathieu Verbaere ; Elnar Hajiyev ; Pavel Avgustinov ; Torbjorn Ekman ; Neil Ongkingco ; Julian Tibble
Transforming Data by Calculation / Jose N. Oliveira
How to Write Fast Numerical Code: A Small Introduction / Srinivas Chellappa ; Franz Franchetti ; Markus Puschel
A Gentle Introduction to Multi-stage Programming, Part II / Walid Taha
WebDSL: A Case Study in Domain-Specific Language Engineering / Eelco Visser
Short Tutorials / II：
Model-Driven Engineering of Rules for Web Services / Marko Ribaric ; Dragan Gasevic ; Milan Milanovic ; Adrian Giurca ; Sergey Lukichev ; Gerd Wagner
An Introduction to Context-Oriented Programming with ContextS / Robert Hirschfeld ; Pascal Costanza ; Michael Haupt
A Landscape of Bidirectional Model Transformations / Perdita Stevens
Evolving a DSL Implementation / Laurence Tratt
Adding Dimension Analysis to Java as a Composable Language Extension (Extended Abstract) / Eric Van Wyk ; Yogesh Mali
Participants Contributions / III：
Model Transformations for the Compilation of Multi-processor Systems-on-Chip / Eric Piel ; Philippe Marquet ; Jean-Luc Dekeyser
Implementation of a Finite State Machine with Active Libraries in C++ / Zoltan Juhasz ; Adam Sipos ; Zoltan Porkolab
Automated Merging of Feature Models Using Graph Transformations / Sergio Segura ; David Benavides ; Antonio Ruiz-Cortes ; Pablo Trinidad
Modelling the Operational Semantics of Domain-Specific Modelling Languages / Guido Wachsmuth
Author Index
Full Tutorials / I：
Design Space of Heterogeneous Synchronization / Michal Antkiewicz ; Krzysztof Czarnecki
Software Reuse beyond Components with XVCL (Tutorial) / Stan Jarzabek
93.
ＥＢ
EuroGP 2008, Takeo Kanade, Michael O'Neill
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
94.
ＥＢ
Thomas J. Cova, Kate Beard, Andrew U. Frank, Michael F. Goodchild, Takeo Kanade, Harvey J. Miller
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
95.
ＥＢ
Silvia Nittel, Takeo Kanade, Alexandros Labrinidis, Anthony Stefanidis
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
96.
ＥＢ
Hartmut Ehrig, Reiko Heckel, Takeo Kanade, Grzegorz Rozenberg, Gabriele Taentzer
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
97.
ＥＢ
Hajo Broersma, Thomas Erlebach, Tom Friedetzky, Takeo Kanade, Daniel Paulusma
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
98.
ＥＢ
Wenyin Liu, Takeo Kanade, Josep Llad?s, Jean-Marc Ogier
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
99.
ＥＢ
J?rn Altmann, Thomas Fahringer, Takeo Kanade, Dirk Neumann
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
100.
ＥＢ
Antti Pirhonen, Stephen Brewster, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
子書誌情報:
loading…
所蔵情報:
loading…
ＥＢ
