close
1.

図書

図書
Michael Macrone ; illustrations by Tom Lulevitch
出版情報: New York : Gramercy Books, 1999, c1991  xiv, 238 p., [2] leaves of plates ; 22 cm
所蔵情報: loading…
2.

図書

図書
Michel Diaz, Philippe Owezarski, Patrick Sénac (eds.)
出版情報: Berlin ; New York : Springer, c1999  xi, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1718
所蔵情報: loading…
3.

図書

図書
Joxan Jaffar (ed.)
出版情報: Berlin : Springer, c1999  xii, 491 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1713
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
The Rough Guide to Constraint Propagation / Krzysztof R. Apt
Non-binary Constraints / Christian Bessière
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization / Benjamin W. Wah ; Zhe Wu
Regular Papers
Operational Equivalence of CHR Programs and Constraints / Slim Abdennadher ; Thom Frühwirth
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains / Eric Monfroy
Excluding Symmetries in Constraint Based Search / Rolf Baclofen ; Sebastian Will
On Forward Checking for Non-binary Constraint Satisfaction / Pedro Meseguer ; Eugene C. Freuder ; Javier Larrosa
Enforcing Arc Consistency on Global Constraints by solving subCSPs on the Fly / Jean-Charles Régin
Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP / Marcus Bjäreland ; Peter Jonsson
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time / Mathias Broxvall
A Meta-Heuristic Factory for Vehicle Routing Problems / Yves Caseau ; François Laburthe ; Glenn Silverstein
Closure Functions and Width 1 Problems / Victor Dalmau ; Justin Pearson
An Overview of HAL / Bart Demoen ; Maria García de la Banda ; Warwick Harvey ; Kim Marriott ; Peter Stuckey
Cost-Based Domain Filtering / Filippo Focacci ; Andrea Lodi ; Michela Milano
Resource Allocation in Networks Using Abstraction and Constraint Satisfaction Techniques / Christian Frei ; Boi Faltings
Optimal Distributed Arc-Consistency / Youssef Hamadi
The Goldilocks Problem / Tudor Hulubei
Multistep Filtering Operators for Ordinary Differential Equations / Micha Janssen ; Yves Deville ; Pascal Van Hentenryck
A Framework for Constraint Programming Based Column Generation / Ulrich Junker ; Stefan E. Karisch ; Niklas Kohl ; Bo Vaaben ; Torsten Fahle ; Meinolf Sellmann
Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems / Kazuya Kaneko ; Masazumi Yoshikawa ; Yoichiro Nakakuki
Applying Constraint Programming to Protein Structure Determination / Ludwig Krippahl ; Pedro Barahona
Partition-Based Lower Bound for Max-CSP
Constraint Diagram Reasoning / Bernd Meyer
Automatic Generation of Music Programs / François Pachet ; Pierre Roy
Search Procedures and Parallelism in Constraint Programming / Laurent Perron
Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search / Nicolas Prcovic ; Bertrand Neveu
Tight Cooperation and its Application in Piecewise Linear Optimization / Philippe Refalo
Arc Consistency for Global Cardinality Constraints with Costs
The Brélaz Heuristic and Optimal Static Orderings / Barbara M. Smith
A Fixpoint Definition of Dynamic Constraint Satisfaction / Timo Soininen ; Esther Gelle ; Ilkka Niemelä
Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation / Takayuki Suyama ; Makoto Yokoo ; Akira Nagoya
On the Behavior and Application of Constraint Weighting / John Thornton ; Abdul Sattar
Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization / Tao Wang
Poster Papers
On SAT01 Problem / Stanislav Busygin
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support / Jorge Cruz
CSPLib: A Benchmark Library for Constraints / Ian P. Gent ; Toby Walsh
Validated Constraint Compilation / Timothy J. Hickey ; David K. Wittenberg
Automated Theorem Proving with Disjunctive Constraints / Ortrun Ibens
Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms / Claudio Lottaz
Intelligent Domain Splitting for CSPs with Ordered Domains / Marius-Călin Silaghi ; Djamila Sam-Haroud
Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques / Katsutoshi Hirayama
Author Index
Invited Papers
The Rough Guide to Constraint Propagation / Krzysztof R. Apt
Non-binary Constraints / Christian Bessière
4.

図書

図書
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
出版情報: Berlin : Springer, c1999  xiv, 415 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1710
所蔵情報: loading…
目次情報: 続きを見る
Methodology / I:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle / C.A.R. Hoare
A Triptych Software Development Paradigm: Domain, Requirements and Software / D. Bjørner
Real-Time Constraints Through the ProCoS Layers / A.P. Ravn ; H. Rischel
Monotonicity in Calculational Proofs / D. Gries
Programming / II:
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming / K.R. Apt ; A. Schaerf
Type and Effect Systems / F. Nielson ; H.R. Nielson
Automation / III:
Proving Theorems About Java-Like Byte Code / J S. Moore
Multiple State and Single State Tableaux for Combining Local and Global Model Checking / A. Biere ; E.M. Clarke ; Y. Zhu
On the Existence of Network Invariants for Verifying Parameterized Systems / P.A. Abdulla ; B. Jonsson
Compilation / IV:
Verification of Compilers / G. Goos ; W. Zimmermann
Translation Validation: From SIGNAL to C / A. Pnueli ; O. Shtrichman ; M. Siegel
Compilation and Synthesis for Real-Time Embedded Controllers / M. Franzle ; M. Müller-Olm
Optimization Under the Perspective of Soundness, Completeness, and Reusability / J. Knoop ; O. Ruthing
Application / V:
Verification of Automotive Control Units / T. Bienmüller ; J. Bohn ; H. Brinkmann ; U. Brockmeyer ; W. Damm ; H. Hungar ; P. Jansen
Correct Real-Time Software for Programmable Logic Controllers / E.-R. Olderog
Formal Methods for the International Space Station ISS / J. Peleska ; B. Buth
MetaFrame in Practice: Design of Intelligent Network Services / B. Steffen ; T. Margaria
Author Index
Methodology / I:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle / C.A.R. Hoare
A Triptych Software Development Paradigm: Domain, Requirements and Software / D. Bjørner
5.

図書

図書
岡田雅人, 宮崎香編
出版情報: 東京 : 羊土社, 1999.10  193p ; 30cm
シリーズ名: 無敵のバイオテクニカルシリーズ ; 12 . タンパク質実験ノート / 岡田雅人, 宮崎香編||タンパクシツ ジッケン ノート ; 上
所蔵情報: loading…
6.

図書

図書
Jack Dongarra, Emilio Luque, Tomàs Margalef (eds.)
出版情報: Berlin : Springer, c1999  xvii, 551 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1697
所蔵情報: loading…
目次情報: 続きを見る
Evaluation and Performance / 1:
Performance Issues of Distributed MPI Applications in a German Gigabit Testbed / T. Eickermann ; H. Grund ; J. Henrichs
Reproducible Measurements of MPI Performance Characteristics / W. Gropp ; E. Lusk
Performance Evaluation of the MPI/MBCF with the NAS Parallel Benchmarks / K. Morimoto ; T. Matsumoto ; K. Hiraki
Performance and Predictability of MPI and BSP Programs on the CRAY T3E / J.A. González ; C. Rodríguez ; J.L. Roda ; D.G. Morales ; F. Sande ; F. Almeida ; C. León
Automatic Profiling of MPI Applications with Hardware Performance Counters / R. Rabenseifner
Monitor Overhead Measurement with SKaMPI / D. Krarizlmüller ; R. Reussner ; Ch. Schaubschläger
A Standard Interface for Debugger Access to Message Queue Information in MPI / J. Cowrie
Towards Portable Runtime Support for Irregular and Out-of-Core Computations / M. Bubak ; P. Łuszczek
Enhancing the Functionality of Performance Measurement Tools for Message Passing Environments / W Funika ; K.Iskra ; R. Maruszewski ; R. Wismüller
Performance Modeling Based on PVM / H. Mierendorff ; H. Schwamborn
Efficient Replay of PVM Programs / M. Neyman ; M. Bukowski ; P. Kuzora
Relating the Execution Behaviour with the Structure of the Application / A. Espinosa ; F. Parcerisa ; T. Margalef ; E. Luque
Extensions and Improvements / 2:
Extending PVM with Consistent Cut Capabilities: Application Aspects and Implementation Strategies / A. Clematis ; V. Gianuzzi
Flattening on the Fly: Efficient Handling of MPI Derived Datatypes / J. L. Träff ; R. Hempel ; H. Ritzdorf ; F. Zimmermann
PVM Emulation in the Harness Metacomputing System: A Plug-In Based Approach / M. Migliardi ; V. Sunderam
Implementing MPI-2 Extended Collective Operations / P. Silva ; J. G. Silva
Modeling MPI Collective Communications on the AP3000 Multicomputer / J. Touriño ; R. Doallo
MPL*: Efficient Record/Replay of Nondeterministic Features of Message Passing Libraries / J. Chassin de Kergommeaux ; M. Ronsse ; K. De Bosschere
Comparison of PVM and MPI on SGI Multiprocessors in a High Bandwidth Multimedia Application / R. Kutil ; A. Uhl
On Line Visualization or Combining the Standard ORNL PVM with a Vendor PVM Implementation / J. Borkowski
Native Versus Java Message Passing / N. Stankovic ; K. Zhang
JPT: A Java Parallelization Tool / K. Beyls ; E. D'Hollander ; Y. Yu
Facilitating Parallel Programming in PVM Using Condensed Graphs / J. P. Morrison ; R. W. Connolly
Nested Bulk Synchronous Parallel Computing / F. de Sande ; J. Roda ; J. A. González
Implementation Issues / 3:
An MPI Implementation on the Top of the Virtual Interface Architecture / M. Bertozzi ; F. Boselli ; G. Conte ; M. Reggiani
MiMPI: A Multithred-Safe Implementation of MPI / F. García ; A. Calderón ; J. Carretero
Building MPI for Multi-Programming Systems Using Implicit Information / F. C. Wong ; A.C. Arpaci-Dusseau ; D.E. Culler
The Design for a High Performance MPI Implementation on the Myrinet Network / L. Prylli ; B. Tourancheau ; R. Westrelin
Implementing MPI's One-Sided Communications for WMPI / F. E. Mourão
Tools / 4:
A Parallel Genetic Programming Tool Based on PVM / F. Fernández ; J. M. Sánchez ; M. Tomassini ; J.A. Gómez
Net-Console: A Web-Based Development Environment for MPI Programs / A. Papagapiou ; P. Evripidou ; G. Samaras
Visual MPI, A knowledge-Based System for Writing Efficient MPI Applications / D. Ferenc ; J. Nabrzyski ; M. Stroiński ; P. Wierzejewski
Algorithms / 5:
Solving Generalized Boundary Value Problems with Distributed Computing and Recursive Programming / I. Szeberényi ; G. Domokos
Hyper-Rectangle Distribution Algorithm for Parallel Multi-Dimensional Numerical Integration / R. Čiegis ; R. Šablinskas ; J. Waśniewski
Parallel Monte Carlo Algorithms for Sparse SLAE Using MPI / V. Alexandrov ; A. Karaivanova
A Method for Model Parameter Identification Using Parallel Genetic Algorithms / J. I. Hidalgo ; M. Prieto ; J. Lanchares ; F.Tirado ; B. de Andrés ; S. Esteban ; D. Rivera
Large-Scale FE Modelling in Geomechanics: A Case Study in Parallelization / R. Blaheta ; O. Jakl ; J. Starý
A Parallel Robust Multigrid Algorithm Based on Semi-Coarsening / R. Santiago ; I. M. Llorente ; F. Tirado
Applications in Science and Engineering / 6:
PLIERS: A Parallel Information Retrieval System Using MPI / A. MacFarlane ; J. A. McCann ; S.E. Robertson
Parallel DSIR Text Retrieval System / A. Rungsawang ; A. Tangpong ; P. Laohawee
PVM Implementation of Heterogeneous ScaLAPACK Dense Linear Solvers / V. Boudet ; F. Rastello ; Y. Robert
Using PMD to Parallel Solve Large-Scale Navier-Stokes Equations Performance Analysis on SGI/CRAY-T3E Machine / J. Chergui
Implementation Issues of Computational Fluid Dynamics Algorithms on Parallel Computers / J. Płażek ; K. Banaś ; J. Kitowski
A Scalable Parallel Gauss-Seidel and Jacobi Solver for Animal Genetics / M. Larsen ; P. Madsen
Parallel Approaches to a Numerically Intensive Application Using PVM / R. Baraglia ; R. Ferrini ; D. Laforenza ; A. Laganà
Solving the Inverse Toeplitz Eigenproblem Using ScaLAPACK and MPI / J. M. Badía ; A. M. Vidal
A Parallel Implementation of the Eigenproblem for Large, Symmetric and Sparse Matrices / E.M. Garzón ; I. García
Parallel Computation of the SVD of a Matrix Product / J. M. Claver ; M. Mollar ; V. Hernández
Porting Generalized Eigenvalue Software on Distributed Memory Machines Using Systolic Model Principles / P. Bassomo ; I. Sakho ; A. Corbel
Heading for an Asynchronous Parallel Ocean Model / J. Schuele
Distributed Collision Handling for Particle-Based Simulation / G. Frugoli ; A. Fava ; E. Fava
Parallel Watershed Algorithm on Images from Cranial CT-Scans Using PVM and MPI on a Distributed Memory System / C. Nicolescu ; B. Albers ; P. Jonker
MPIPOV: A Parallel Implementation of POV-Ray Based on MPI / M. Fava
Minimum Communication Cost Fractal Image Compression on PVM / P. -Y. Wu
Cluster Computing Using MPI and Windows NT to Solve the Processing of Remotely Sensed Imagery / J. A. Gallud ; J. M. García ; J. García-Consuegra
Ground Water Flow Modelling in PVM / L. Hluchý ; V. D. Tran ; L. Halada ; M. Dobrucký
Networking / 7:
Virtual BUS: A Simple Implementation of an Effortless Networking System Based on PVM / S. Ishihara ; S. Tani ; A. Takahara
Collective Communication on Dedicated Clusters of Workstations / L. P. Huse
Experiences Deploying a Distributed Parallel Processing Environment over a Broadband Multiservice Network / J. Corbacho-Lozano ; O.-I. Lepe-Aldama ; J. Solé-Pareta ; J. Domingo-Pascual
Asynchronous Communications in MPI - the BIP/Myrinet Approach / F. Chaussumier ; F. Desprez
Parallel Computing on PC Clusters - An Alternative to Supercomputers for Industrial Applications / M. Eberl ; W. Karl ; C. Trinitis ; A. Blaszczyk
Benchmarking the PVM Group Communication Efficiency / M.R.Matuszek ; A. Mazurkiewicz ; P. W. Umiński
Heterogeneous Distributed Systems / 8:
Dynamic Assignment with Process Migration in Distributed Environments / P. Czarnul ; H. Krawczyk
Parallelizing of Sequential Annotated Programs in PVM Environment / A. Godlevsky ; M. Gažák
Di_pSystem: A Parallel Programming System for Distributed Memory Architectures / F. Silva ; H. Paulino ; L. Lopes
Parallel NLP Strategies Using PVM on Heterogeneous Distributed Environments / G. E. Vazquez ; N. B. Brignole
Using PVM for Distributed Logic Minimization in a Network of Computers / L. Parrilla ; J. Ortega ; A. Lloris
Author Index
Evaluation and Performance / 1:
Performance Issues of Distributed MPI Applications in a German Gigabit Testbed / T. Eickermann ; H. Grund ; J. Henrichs
Reproducible Measurements of MPI Performance Characteristics / W. Gropp ; E. Lusk
7.

図書

図書
Rolf Stadler, Burkhard Stiller (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xii, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1700
所蔵情報: loading…
目次情報: 続きを見る
Decentralized Monitoring and Anomaly Detection
On the Performance and Scalability of Decentralized Monitoring Using Mobile Agents / Antonio Liotta ; Graham Knight ; George Pavlou
Programmable Agents for Active Distributed Monitoring / Ehab S. Al-Shaer
A Distributed and Reliable Platform for Adaptive Anomaly Detection in IP Networks / L. Lawrence Ho ; Christopher J. Macey ; Ronald Hiller
Management Components and Multi-domain Management
Integrating Service and Network Management Components for Service Fulfilment / David Lewis ; Chris Malbon ; Costas Stathopoulos ; Enric Jaen Villoldo
Distributed Connection Management Architecture for Optimal VPC Provisioning on Hierarchical ATM Transport Network / Won-Kyu Hong ; Dong-Sik Yun
A Multi-agent Paradigm for the Inter-domain Demand Allocation Process / Monique Calisti ; Boi Faltings
Providing Managed Services to End-Users
The Future of SNMP-based Management
Next Generation Structure of Management Information for the Internet / Jürgen Schönwälder ; Frank Strauß
An XML-based Framework for Dynamic SNMP MIB Extension / Ajita John ; Keith Vanderveen ; Binay Sugla
Directory Supported Management with SNMPv3 / Salima Omari ; Raouf Boutaba ; Omar Cherkaoui
Programmable SNMP-based Management
Remote Service Deployment on Programmable Switches with the IETF SNMP Script MIB / Jürgen Quittek ; Cornelia Kappler
Integrating SNMP into a Mobile Agent Infrastructure / Paulo Simões ; Luis Moura Silva ; Fernando Boavida Fernandes
JAMAP: A Web-based Management Platform for IP Networks / Jean-Philippe Martin-Flatin ; Laurent Bovet ; Jean-Pierre Hubaux
Management of Programmable and Active Networks
Service Configuration and Management in Adaptable Networks / Livio Ricciulli
Virtual Active Networks - Safe and Flexible Environments for Customer-managed Services / Marcus Brunner ; Rolf Stadler
Accelerating Code Deployment on Active Networks / Tôru Egashira ; Yoshiaki Kiriha
Are Programmable Networks Unmanageable?
IT and Enterprise Management
Characterization and Measurements of Enterprise Network Traffic with RMON2 / Luciano Paschoal Gaspary ; Liane Rockenbach Tarouco
Derivation of Backup Service Management Applications from Service and System Models / Ingo Lück ; Marcus Schönbach ; Arnulf Mester ; Heiko Krumm
A Framework for the Integration of Legacy Devices into a Jini Management Federation / Gerd Aschemann ; Svetlana Domnitcheva ; Peer Hasselmeyer ; Roger Kehr ; Andreas Zeidler
Management Tools
Ntop: Beyond ping and traceroute / Luca Deri ; Stefano Suin
EventBrowser: A Flexible Tool for Scalable Analysis of Event Data / Sheng Ma ; Joseph L. Hellerstein
Challenges for Management Research
Author Index
Decentralized Monitoring and Anomaly Detection
On the Performance and Scalability of Decentralized Monitoring Using Mobile Agents / Antonio Liotta ; Graham Knight ; George Pavlou
Programmable Agents for Active Distributed Monitoring / Ehab S. Al-Shaer
8.

図書

図書
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  viii, 207 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1657
所蔵情報: loading…
目次情報: 続きを見る
On Relating Type Theories and Set Theories / Peter Aczel
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson
A Modal Lambda Calculus with Iteration and Case Constructs / Joëlle Despeyroux ; Pierre Leleu
Proof Normalization Modulo / Gilles Dowek ; Benjamin Werner
Proof of Imperative Programs in Type Theory / Jean-Christophe Filliâtre
An Interpretation of the Fan Theoremin Type Theory / Daniel Fridlender
Conjunctive Types and SKInT / Jean Goubault-Larrecq
Modular Structures as Dependent Types in Isabelle / Florian Kammüller
Metatheory of Verification Calculi in LEGO / Thomas Kleymann
Bounded Polymorphism for Extensible Objects / Luigi Liquori
About Effective Quotients in Constructive Type Theory / Maria Emilia Maietti
Algorithms for Equality and Unification in the Presence of Notational Definitions / Frank Pfenning ; Carsten Schurmann
A Preview of the Basic Picture: A New Perspective on Formal Topology / Giovanni Sambin ; Silvia Gebellato
On Relating Type Theories and Set Theories / Peter Aczel
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson
9.

図書

図書
Harold Boley
出版情報: Berlin : Springer, c1999  xi, 169 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1712 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
マルセル・グラネ [著] ; 栗本一男訳
出版情報: 東京 : 平凡社, 1999.10  253p ; 18cm
シリーズ名: 東洋文庫 ; 661
所蔵情報: loading…
11.

図書

図書
Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)
出版情報: Berlin : Springer, c1999  vii, 143 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1686
所蔵情報: loading…
12.

図書

図書
Maria Teresa Pazienza (ed.)
出版情報: Berlin : Springer, c1999  viii, 164 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1714 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Can We Make Information Extraction More Adaptive? / Yorick Wilks ; Roberta Catizone
Natural Language Processing and Digital Libraries / Jean-Pierre Chanod
Natural Language Processing and Information Retrieval / Ellen M. Voorhees
From Speech to Knowledge / Veronica Dahl
Relating Templates to Language and Logic / John F. Sowa
Inferential Information Extraction / Marc Vilain
Knowledge Extraction from Bilingual Corpora / Harold Somers
Engineering of IE Systems: An Object-Oriented Approach / Roberto Basili ; Massimo Di Nanni ; Maria Teresa Pazienza
Can We Make Information Extraction More Adaptive? / Yorick Wilks ; Roberta Catizone
Natural Language Processing and Digital Libraries / Jean-Pierre Chanod
Natural Language Processing and Information Retrieval / Ellen M. Voorhees
13.

図書

図書
Jean-François Sadoc and Rémy Mosseri
出版情報: Cambridge ; New York : Cambridge University Press, 1999  xii, 307 p. ; 26 cm
シリーズ名: Collection Aléa-Saclay : monographs and texts in statistical physics
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction to geometrical frustration / 1:
Ideal models / 2:
Finite structures / 3:
Decurving and disclinations / 4:
Hierarchical polytopes / 5:
Some physical properties / 6:
Periodic structures with large cells / 7:
Quasiperiodic order and frustration / 8:
Appendices
Bibliography
Index
Preface
Introduction to geometrical frustration / 1:
Ideal models / 2:
14.

図書

図書
Dror G. Feitelson, Larry Rudolph (eds.)
出版情報: Berlin : Springer, c1999  235 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1659
所蔵情報: loading…
目次情報: 続きを見る
Scheduling for Parallel Supercomputing: A Historical Perspective of Achievable Utilization / James Patton Jones ; Bill Nitzberg
On the Design and Evaluation of Job Scheduling Algorithms / Jochen Krallmann ; Uwe Schwiegelshohn ; Ramin Yahyapour
Comparing Logs and Models of Parallel Workloads Using the Co-plot Method / David Talby ; Dror G. Feitelson ; Adi Raveh
Benchmarks and Standards for the Evaluation of Parallel Job Schedulers / Steve J. Chapin ; Walfredo Cirne ; Scott T. Leutenegger ; Warren Smith
The Effect of Correlating Quantum Allocation and Job Size for Gang Scheduling / Gaurav Ghare
Scheduling on AP/Linux for Fine and Coarse Grain Parallel Processes / Kuniyasu Suzaki ; David Walsh
Job Re-packing for Enhancing the Performance of Gang Scheduling / B. B. Zhou ; R. P. Brent ; C. W. Johnson ; D. Walsh
Process Tracking for Parallel Job Control / Hubertus Franke ; Jose E. Moreira ; Pratap Pattnaik
The Legion Resource Management System / Dimitrios Katramatos ; John Karpovich ; Andrew S. Grimshaw
Scheduling a Metacomputer with Uncooperative Sub-schedulers / Jorn Gehring ; Thomas Preiss
Using Run-Time Predictions to Estimate Queue Wait Times and Improve Scheduler Performance / Valerie Taylor ; Ian Foster
Deterministic Batch Scheduling without Static Partitioning / Kostadis Roussos ; Nawaf Bitar ; Robert English
Author Index
Scheduling for Parallel Supercomputing: A Historical Perspective of Achievable Utilization / James Patton Jones ; Bill Nitzberg
On the Design and Evaluation of Job Scheduling Algorithms / Jochen Krallmann ; Uwe Schwiegelshohn ; Ramin Yahyapour
Comparing Logs and Models of Parallel Workloads Using the Co-plot Method / David Talby ; Dror G. Feitelson ; Adi Raveh
15.

図書

図書
Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.)
出版情報: Berlin : Springer, c1999  x, 243 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1660
所蔵情報: loading…
16.

図書

図書
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
出版情報: Berlin : Springer, c1999  vi, 285 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1669 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving / Wen-tsün Wu
Solving Geometric Problems with Real Quantifier Elimination / Andreas Dolzmann
Automated Discovering and Proving for Geometric Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle / Jacques D. Fleuriot ; Lawrence C. Paulson
Readable Machine Solving in Geometry and ICAI Software MSG / Chuan-Zhong Li ; Jing-Zhong Zhang
Plane Euclidean Reasoning / Desmond Fearnley-Sander
A Clifford Algebraic Method for Geometric Reasoning / Haiquan Yang ; Shugong Zhang ; Guochen Feng
Clifford Term Rewriting for Geometric Reasoning in 3D / Thierry Boy de la Tour ; Stéphane Fèvre ; Dongming Wang
Some Applications of Clifford Algebra to Geometries / Hongbo Li
Decomposing Algebraic Varieties
An Application of Automatic Theorem Proving in Computer Vision / Didier Bondyfalat ; Bernard Mourrain ; Thèodore Papadopoulo
Automated Geometry Diagram Construction and Engineering Geometry / Xiao-Shan Gao
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction / Jae Yeol Lee
Variant Geometry Analysis and Synthesis in Mechanical CAD / Zongying Ou ; Jun Liu
Author Index
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving / Wen-tsün Wu
Solving Geometric Problems with Real Quantifier Elimination / Andreas Dolzmann
Automated Discovering and Proving for Geometric Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia
17.

図書

図書
Robert France, Bernhard Rumpe (eds.)
出版情報: Berlin : Springer-Verlag, c1999  xvii, 724 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1723
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
Extending Architectural Representation in UML with View Integration / Alexander Egyed ; Nenad Medvidovic
Enabling the Refinement of a Software Architecture into a Design / Marwan Abi-Antoun
Using the UML for Architectural Description / Rich Hilliard
UML and Other Notations
Viewing the OML as a Variant of the UML / Brian Henderson-Sellers ; Colin Atkinson ; Don Firesmith
A Comparison of the Business Object Notation and the Unified Modeling Language / Richard F. Paige ; Jonathan S. Ostroff
Formalizing the UML Class Diagram Using Object-Z / Soon-Kyeong Kim ; David Carrington
Formalizing Interactions
A Formal Approach to Collaborations in the Unified Modeling Language / Gunnar Övergaard
A Formal Semantics for UML Interactions / Alexander Knapp
Panel 1
UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? / Moderator: Chris Kobryn ; Michael Jesse Chonoles ; Steve Cook ; Desmond D'Souza ; Sridhar Iyengar ; Guus Ramackers
Meta-Modeling
Core Meta-Modelling Semantics of UML: The pUML Approach / Andy Evans ; Stuart Kent
A Metamodel for OCL / Mark Richters ; Martin Gogolla
Tools
Tool-Supported Compressing of UML Class Diagrams / Ferenc Dósa Rácz ; Kai Koskimies
A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository / Mariano Belaunde
Components
Modeling Dynamic Software Components in UML / Axel Wienberg ; Florian Matthes ; Marko Boger
Extending UML for Modeling Reflective Software Components / Junichi Suzuki ; Yoshikazu Yamamoto
UML Extension Mechanisms
Nine Suggestions for Improving UML Extensibility / Nathan Dykman ; Martin Griss ; Robert Kessler
A Classification of Stereotypes for Object-Oriented Modeling Languages / Stefan Berner ; Martin Glinz ; Stefan Joos
First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns / Aamod Sane ; Alan Birchenough
Process Modeling
UML-Based Fusion Analysis / Shane Sendall ; Alfred Strohmeier
Using UML for Modelling the Static Part of a Software Process / Xavier Franch ; Josep M. Ribó
Framework for Describing UML Compatible Development Processes / Pavel Hruby
Invited Talk 2
On the Behavior of Complex Object-Oriented Systems / David Harel
Real-Time Systems
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain / Dominikus Herzberg
Modeling Hard Real Time Systems with UML - The OOHARTS Approach / Laila Kabous ; Wolfgang Nebel
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems / Pekka Kähkipuro
Constraint Languages
Defining the Context of OCL Expressions / Anneke Kleppe ; Richard Mitchell ; Jos Warmer ; Alan Wills
Mixing Visual and Textual Constraint Languages / John Howse
Correct Realizations of Interface Constraints with OCL / Michel Bidoit ; Rolf Hennicker ; Françoise Tort ; Martin Wirsing
Analyzing UML Models 1
Generating Tests from UML Specifications / Jeff Offutt ; Aynur Abdurazik
Formalising UML State Machines for Model Checking / Johan Lilius ; Iván Porres Paltor
Panel 2
SDL as UML: Why and What / Moderator: Bran Selic ; Philippe Dhaussy ; Anders Ek ; Øystein Haugen ; Philippe Leblanc,Birger Møller-Pedersen
Coding 1
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages / Jean Louis Sourrouille
UML Collaboration Diagrams and Their Transformation to Java / Gregor Engels ; Roland Hücking ; Stefan Sauer ; Annika Wagner
Analyzing UML Models 2
Towards Three-Dimensional Representation and Animation of UML Diagrams / Oliver Radfelder
Typechecking UML Static Models / Tony Clark
Precise Behavioral Modeling
Analysing UML Use Cases as Contracts / Ralph-Johan Back ; Luigia Petre
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior / Holger Giese ; Jörg Graf ; Guido Wirtz
Static Modeling
Black and White Diamonds / Franck Barbier
Interconnecting Objects via Contracts / Luís Filipe Andrade ; José Luiz Fiadeiro
How Can a Subsystem Be Both a Package and a Classifier? / Joaquin Miller ; Rebecca Wirfs-Brock
Applying the UML
Using UML/OCL Constraints for Relational Database Design / Birgit Demuth ; Heinrich Hussmann
Towards a UML Extension for Hypermedia Design / Hubert Baumeister ; Nora Koch ; Luis Mandel
Why Unified is Not Universal? - UML Shortcomings for Coping with Round-Trip Engineering / Serge Demeyer ; Stéphane Ducasse ; Sander Tichelaar
Sequence Diagrams
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study / Thomas Firley ; Michaela Huhn ; Karsten Diethers ; Thomas Gehrke ; Ursula Goltz
Timing Analysis of UML Sequence Diagrams / Xuandong Li
Coding 2
The Normal Object Form: Bridging the Gap from Models to Code / Christian Bunse
Modeling Exceptional Behavior / Neelam Soundarajan ; Stephen Fridella
Panel 3
Advanced Methods and Tools for a Precise UML / Moderator: Andy Evans ; Steve Mellor
Author Index
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
18.

図書

図書
Dennis Dams ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 276 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1680
所蔵情報: loading…
19.

図書

図書
秀島英露著 . [著者未詳] . 中山雄平著
出版情報: 東京 : 農山漁村文化協会, 1999.10  500, xiiip, 図版4p ; 22cm
シリーズ名: 日本農書全集 / 山田龍雄 [ほか] 編 ; 第55巻 . 園芸 / 佐藤常雄, 徳永光俊, 江藤彰彦 [編集]||エンゲイ ; 2
所蔵情報: loading…
20.

図書

図書
日鉄ヒューマンデベロプメント著
出版情報: 東京 : 学生社, 1999.9  413p ; 18cm
所蔵情報: loading…
21.

図書

図書
Arnold M. Kossevich
出版情報: Berlin : Wiley-VCH, 1999  326 p. ; 24 cm
所蔵情報: loading…
22.

図書

図書
金仁謙 [著] ; 高島淑郎訳注
出版情報: 東京 : 平凡社, 1999.11  425p ; 18cm
シリーズ名: 東洋文庫 ; 662
所蔵情報: loading…
23.

図書

図書
David J. Duke, Ivan Herman, M. Scott Marshall
出版情報: Berlin : Springer, c1999  xii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1591
所蔵情報: loading…
目次情報: 続きを見る
PREMO: A Standard for Distributed Multimedia
Introduction / 1.1:
What PREMO Is / 1.1.1:
What PREMO Isn't / 1.1.2:
Formal Description Techniques and PREMO / 1.2:
Structure of the Book / 1.3:
Typographical Conventions / 1.4:
Graphical Conventions / 1.5:
An Overview of PREMO
The Structure of PREMO / 2.1:
The PREMO Object Model / 2.3:
Overview / 2.3.1:
From Language Bindings to Environment Bindings / 2.3.2:
Object References / 2.3.3:
Active Objects / 2.3.4:
Operation Dispatching / 2.3.5:
Attributes / 2.3.6:
Non-object Data Types / 2.3.7:
The Foundation Component / 2.4:
Structures, Services, and Types / 2.4.1:
Inter-Object Communication / 2.4.2:
Synchronization / 2.4.3:
Time / 2.4.4:
Property Management / 2.4.5:
Object Factories / 2.4.6:
The Multimedia Systems Services Component / 2.5:
The Paradigm of Media Networks / 2.5.1:
Virtual Resources / 2.5.2:
Stream Control / 2.5.3:
Virtual Devices / 2.5.4:
Virtual Connections / 2.5.5:
Higher-Levels of Organization: Groups and Logical Devices / 2.5.6:
Working in Unison / 2.5.7:
The Modelling, Rendering, and Interaction Component / 2.6:
Object-Oriented Rendering / 2.6.1:
Primitives / 2.6.2:
Modelling and Rendering Devices / 2.6.3:
Coordination / 2.6.4:
Closing Remarks / 2.7:
The Fundamentals of PREMO
Basic Concepts / 3.1:
PREMO Objects and Object Types / 3.2.1:
Non-object Types / 3.2.2:
Object Identity and Object References / 3.2.4:
Operations / 3.3:
Subtyping / 3.4:
Inheritance / 3.5:
Protected Operations / 3.6:
Operation Selection, and Casting / 3.7:
Operation Request Modes / 3.8:
Exceptions / 3.9:
The Object and Object Reference Lifecycle / 3.10:
The Environment Binding / 3.11:
General Implementation Issues
Implementation Choices / 4.1:
Implementation Language / 4.1.1:
Implementation Environment / 4.1.2:
PREMO Specifications in Java and Java RMI / 4.2:
Constraints on the Specification Details / 4.2.1:
Registering Server Objects / 4.2.2:
PREMO Non-object Types / 5.1:
Basic Data Types / 5.2.1:
Constructed Data Types / 5.2.2:
Top Layer of the PREMO Object Hierarchy / 5.2.3:
The PREMOObject Interface / 5.3.1:
Simple PREMO Objects / 5.3.2:
Event Structures / 5.3.2.1:
Constraint Structures / 5.3.2.2:
Callbacks / 5.3.3:
Enhanced PREMO Objects / 5.3.4:
Enhanced PREMO Objects as Service Objects / 5.3.4.1:
Top Layer of PREMO / 5.3.4.2:
General Utility Objects / 5.4:
Event Management / 5.4.1:
The PREMO Event Model / 5.4.1.1:
The Event Handler Object / 5.4.1.2:
Synchronization Points / 5.4.1.3:
Finite State Machines: Controller Objects / 5.4.2:
Detailed Specification of a Controller / 5.4.2.1:
Activity of Controllers / 5.4.2.2:
Time Objects / 5.4.3:
General Notions / 5.4.3.1:
Specification of the PREMO Time Objects / 5.4.3.2:
Synchronization Facilities / 5.5:
Synchronizable Objects / 5.5.1:
Overview: Event-Based Synchronization / 5.5.1.1:
State Transition Monitoring / 5.5.1.2:
Detailed Specification of the Synchronizable Object / 5.5.1.3:
Synchronizable Objects as Callbacks / 5.5.1.4:
Time and Synchronizable Objects / 5.5.2:
Stop-Watch and Progression / 5.5.2.1:
Time and Progression Space / 5.5.2.2:
Reference Point Specifications in Time / 5.5.2.3:
Combining TimeSynchronizable Objects: Time Slaves / 5.5.3:
Time-Lines / 5.5.4:
Negotiation and Configuration Management / 5.6:
Property Inquiry Objects / 5.6.1:
Constraining Properties / 5.6.3:
Dynamic Change of Properties / 5.6.4:
Interaction among Properties / 5.6.5:
Some Conclusions on the Negotiation Facilities / 5.6.6:
Creation of Service Objects / 5.7:
Generic Factory Objects / 5.7.1:
Factory Finders / 5.7.2:
Use of Factories and Factory Finders / 5.7.3:
Multimedia Systems Services Component
Configuration Objects / 6.1:
Format Objects / 6.2.1:
Transport and Media Stream Protocol Objects / 6.2.2:
Quality of Service Descriptor Objects / 6.2.3:
The StreamControl Object / 6.3:
SyncStreamControl Objects / 6.3.2:
Property Control of Configurations / 6.4:
Resource and Configuration Management / 6.4.2:
Monitoring Resource Behaviour and Quality of Service Violations / 6.4.3:
Configuring Devices / 6.5:
Global Configuration / 6.5.1.1:
Port Configurations / 6.5.1.2:
Examples of Virtual Devices / 6.5.2:
Simple Media Devices / 6.5.2.1:
Transformer Devices / 6.5.2.2:
Detailed Specification of Virtual Connections / 6.6:
Examples of Virtual Connections / 6.6.3:
Multicast Connections / 6.6.4:
Groups / 6.7:
Logical Devices / 6.8:
The Role of Primitives in PREMO / 7.1:
The Hierarchy in Overview / 7.2.2:
Captured Primitives / 7.2.3:
Form Primitives / 7.2.4:
Tactile Primitives / 7.2.5:
Modifier Primitives / 7.2.6:
Wrapper Primitives / 7.2.7:
Tracer Primitives / 7.2.8:
Structured Primitives / 7.2.9:
Aggregate Primitives / 7.2.9.1:
TimeComposite / 7.2.9.2:
Reference Primitives / 7.2.10:
Coordinate Spaces / 7.3:
Coordinate / 7.3.1:
TimeLocation / 7.3.2:
Colour / 7.3.3:
Devices for Modelling, Rendering, and Interaction / 7.4:
MRI_Format / 7.4.1:
Efficiency Measures / 7.4.2:
MRI Device / 7.4.3:
Modeller / 7.4.4:
Renderer / 7.4.5:
MediaEngine / 7.4.6:
Input Devices, and Routing / 7.5:
InputDevice / 7.5.1:
Router / 7.5.2:
The Scene Database / 7.6:
Management / 7.7:
Allocation / 7.7.2:
Detailed Java Specifications of the PREMO Objects / 7.7.3:
Foundation Objects / 8.1:
Enumerations / 8.2.1:
Additional Data Types / 8.2.2:
Top Level of PREMO Hierarchy / 8.2.3:
Structures / 8.2.4:
Controllers / 8.2.5:
Sychronization Objects / 8.2.5.3:
Multimedia Systems Services / 8.2.7:
Structures and Additional Data Types / 8.3.1:
Virtual Resource / 8.3.3:
Virtual Device / 8.3.6:
Group / 8.3.7:
Logical Device / 8.3.9:
Objects for Coordinate Spaces / 8.4:
Coordinate Object / 8.4.1.1:
Colour Object / 8.4.1.2:
TimeLocation Object / 8.4.1.3:
Name Object / 8.4.2:
Objects for Media Primitives / 8.4.3:
Primitive Object / 8.4.3.1:
Captured Object / 8.4.3.2:
Primitives with Spatial and/or Temporal Form / 8.4.3.3:
Form Primitives for Audio Media Data / 8.4.3.4:
Form Primitives for Geometric Media Data / 8.4.3.5:
Primitives for the Modification of Media Data / 8.4.3.6:
Modifier Primitives for Audio Media Data / 8.4.3.7:
Modifier Primitives for Structural Aspects of Media Data / 8.4.3.8:
Modifier Primitives for Visual Aspects of Media Data / 8.4.3.9:
Organising Primitives into Structures / 8.4.3.10:
Organising Media Data within Time / 8.4.3.11:
Objects for Describing Properties of Devices / 8.4.4:
MRI_Format Object / 8.4.4.1:
EfficiencyMeasure Object / 8.4.4.2:
Processing Devices for Media Data / 8.4.5:
MRI_Device Object / 8.4.5.1:
Modeller Object / 8.4.5.2:
Renderer Object / 8.4.5.3:
MediaEngine Object / 8.4.5.4:
Scene Object / 8.4.6:
Objects for Supporting Interaction / 8.4.7:
InputDevice Object / 8.4.7.1:
Router Object / 8.4.7.2:
Coordinator Object / 8.4.8:
Selected Implementation Issues
The PREMO Environment / A.1:
Activity of Objects / A.1.1:
Top Level of the PREMO Hierarchy / A.1.2:
Distribution and the Creation of PREMO Objects / A.1.3:
Specific Part 3 Objects / A.2:
Virtual Connection Objects / A.2.1:
Devices on the Same JVM: Piped Streams / A.2.1.1:
Devices on Different JVM's: Sockets / A.2.1.2:
References / A.2.1.3:
Index
PREMO: A Standard for Distributed Multimedia
Introduction / 1.1:
What PREMO Is / 1.1.1:
24.

図書

図書
Matthew M. Huntbach, Graem A. Ringwood
出版情報: Berlin : Springer, c1999  xiv, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1630 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The Art in Artificial Intelligence / Chapter 1:
Realism / 1.1:
Purism / 1.2:
Rococo / 1.3:
Classicism / 1.4:
Romanticism / 1.5:
Symbolism / 1.6:
Neo-Classicism / 1.7:
Impressionism / 1.8:
Post-Impressionism / 1.9:
Precisionism / 1.10:
New Realism / 1.11:
Baroque / 1.12:
Pre-Raphaelite Brotherhood / 1.13:
Renaissance / 1.14:
Hindsight / 1.15:
Fifth Generation Architecture / Chapter 2:
Architecture and Design / 2.1:
Design as Evolution / 2.2:
Design as Co-evolution / 2.3:
Design as Theorem / 2.4:
Design as Premise / 2.5:
Design as Paradigm / 2.6:
Impressionist Design / 2.7:
Classical Design / 2.8:
Logic Machines / 2.9:
Metamorphosis / 2.10:
Apparent Scope for Parallelism / 3.1:
Or-Parallelism / 3.2:
The Prolog Phenomenon / 3.3:
Concurrency and Operating Systems / 3.4:
Concurrency and Distributed Systems / 3.5:
Symbiosis Between Programming Language and System Engineering / 3.6:
Event Driven Synchronization / 3.7:
Earlier Manifestations of Guarded Commands / 3.8:
Condition Synchronization in AI / 3.9:
Guarded Definite Clauses / 3.10:
Simulation of Parallelism by Interleaving / 3.11:
Indeterminacy / 3.12:
The Premature Binding Problem Revisited / 3.13:
Decision Tree Compilation / 3.14:
A Brief History of Guarded Definite Clauses / 3.15:
Event Driven Condition Synchronization / Chapter 4:
Streams for Free / 4.1:
A Picture is Worth a Thousand Words / 4.2:
Dataflow Computation / 4.3:
Dataflow Design / 4.4:
Dataflow Programming / 4.5:
Message Passing / 4.6:
Eager and Lazy Produces / 4.7:
The Client-Server Paradigm / 4.8:
Self-Balancing Merge / 4.9:
Synchronization / 4.10:
Readers and Writers / 4.11:
The Dining Philosophers / 4.12:
The Brock-Ackerman Anomaly / 4.13:
Conditional Semantics / 4.14:
Open Worlds and Abduction / 4.15:
Implementation Issues / 4.16:
Actors and Agents / Chapter 5:
The Actor Model / 5.1:
Haggling Protocols / 5.2:
Consensus Protocols / 5.3:
Market Forces / 5.4:
Poker Faced / 5.5:
Virtual Neural Networks / 5.6:
Biological and Artificial Networks / 5.7:
Self-Replicating Neural Networks / 5.8:
Neuron Specialization / 5.9:
The Teacher Teaches and the Pupil Learns / 5.10:
Neural Simulation / 5.11:
Simulated Life / 5.12:
Life Yet in GDC / 5.13:
Cheek by Jowl / 5.14:
Distributed Implementation / 5.15:
Agent Micro-Architectures / 5.16:
Metalevel Agent Architectures / 5.17:
Actor Reconstruction of GDC / 5.18:
Inheritance Versus Delegation / 5.19:
Concurrent Search / Chapter 6:
A Naive Prolog Solution to the 8-Puzzle / 6.1:
Speculative Parallelism / 6.2:
Non-speculative, Non-parallel Linear Search / 6.3:
A Practical Prolog Solution to the 8-Puzzle / 6.4:
A Generic Search Program / 6.5:
Layered Streams / 6.6:
Eliminating Redundant Search / 6.7:
A Direct GDC Solution Using Priorities / 6.8:
Search Anomalies / 6.9:
Branch-and-Bound Search / 6.10:
Game Tree Search / 6.11:
Minimax and Alpha-Beta Search / 6.12:
Parallel Game Tree Search / 6.13:
Parallel Search and Cooperative Distributed Solving / 6.14:
Distributed Constraint Solving / Chapter 7:
All-Pairs Shortest Path Problem / 7.1:
The Graph Coloring Problem / 7.2:
Minimal Spanning Trees / 7.3:
Conclusion / 7.4:
Meta-interpretation / Chapter 8:
Metalanguage as Language Definition and Metacircular Interpreters / 8.1:
Introspection / 8.2:
Amalgamating Language and Metalanguage in Logic Programming / 8.3:
Control Metalanguages / 8.4:
A Classification of Metalevel Systems / 8.5:
Some GDC Monolingual Interpreters / 8.6:
GDC Bilingual Interpreters / 8.7:
An Interpreter for Linda Extensions to GDC / 8.8:
Parallelization via Concurrent Meta-interpretation / 8.9:
Partial Evaluation / 8.10:
Futamura Projections / 9.1:
Supercompilation / 9.3:
Partial Deduction / 9.4:
Partial Evaluation and Reactive Systems / 9.5:
An Algorithm for Partial Evaluation of GDC Programs / 9.6:
Actor Fusion / 9.7:
Actor Fusion Examples / 9.8:
Partial Evaluation of an Interpreter / 9.9:
Agents and Robots / Chapter 10:
Reactive Agents: Robots and Softbots / 10.1:
A Simple Robot Program / 10.2:
Reaction and Intelligence / 10.3:
Objects, Actors and Agents / 10.4:
Objects in GDC / 10.5:
Agents in GDC / 10.6:
Top-Down and Bottom-Up Multi-agent Systems / 10.7:
GDC as a Coordination Language / 10.8:
Networks and Mobile Agents / 10.9:
References and Bibliography / 10.10:
The Art in Artificial Intelligence / Chapter 1:
Realism / 1.1:
Purism / 1.2:
25.

図書

図書
Peter Widmayer, Gabriele Neyer, Stephan Eidenbenz (eds.)
出版情報: Berlin : Springer, c1999  xi, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1665
所蔵情報: loading…
目次情報: 続きを見る
Invited Lecture: Silver Graphs: Achievements and New Challenges / Hartmut Noltemeier
Invited Lecture: Online Algorithms: A Studyof Graph-Theoretic Concepts / Susanne Albers
Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and
Car Manufacturing Industries / Thomas Lengauer
Informatica, Scuola, Communita: Uno Sguardo dall' Occhio del Ciclone / N. Santoro
Proximity-Preserving Labeling Schemes and Their Applications / David Peleg
Euler is Standing in Line / D. Hauptmeier ; S. O. Krumke ; J. Rambau ; H.-C. Wirth
Lower Bounds for Approximating Shortest Superstrings over an Alphabet of Size 2 / Sascha Ott
ComplexityClassification of Some Edge Modification Problems / Assaf Natanzon ; Ron Shamir ; Roded Sharan
On Minimum Diameter Spanning Trees under Reload Costs / Hans-Christoph Wirth ; Jan Steffan
Induced Matchings in Regular Graphs and Trees / Michele Zito
Mod-2 Independence and Domination in Graphs / Magnús M. Halldó rsson ; Jan Kratochvil ; Jan Arne Telle
On the Nature of Structure and Its Identification / Ojvind Johansson ; Benno Stein ; Oliver Niggemann
On the Clique-Width of Perfect Graph Classes / Martin Charles Golumbic ; Udi Rotics
An Improved Algorithm for Finding Tree Decompositions of Small Width / Ljubomir Perkovic ; Bruce Reed
Efficient Analysis of Graphs with Small Minimal Separators / K. Skodinis
Generating All the Minimal Separators of a Graph / Anne Berry ; Jean-Paul Bordat ; Olivier Cogis
Two Broadcasting Problems in FaultyHypercubes / Stefan Dobrev ; Imrich Vrto
Routing Permutations in the Hypercube / Olivier Baudon ; Guillaume Fertin ; Ivan Havel
An Optimal Fault-Tolerant Routing for Triconnected Planar Graphs / Koichi Wada ; Yoriyuki Nagata ; Wei Chen
Optimal Irreversible Dynamos in Chordal Rings / Paola Flocchini ; Frédéric Geurts ; Nicola Santoro
Recognizing Bipartite Incident-Graphs of Circulant Digraphs / Johanne Cohen ; Pierre Fraigniaud ; Cyril Gavoille
Optimal Cuts for Powers of the Petersen Graph / Sergei L. Bezrukov ; Sajal K. Das ; Robert Elsässer
Dihamiltonian Decomposition of Regular Graphs with Degree Three / Jung-Heum Park ; Hee-Chul Kim
Box-Rectangular Drawings of Plane Graphs / Md. Saidur Rahman ; Shin-ichi Nakano ; Takao Nishizeki
A Multi-Scale Algorithm for Drawing Graphs Nicely / Ronny Hadany ; David Harel
All Separating Triangles in a Plane Graph Can Be Optimally "Broken" in Polynomial Time / Anna Accornero ; Massimo Ancona ; Sonia Varini
Linear Orderings of Random Geometric Graphs / Josep Diaz ; Mathew D. Penrose ; Jordi Petit ; Maria Serna
Finding Smallest Supertrees Under Minor Containment / Naomi Nishimura ; Prabhakar Ragde ; Dimitrios M. Thilikos
Vertex Cover: Further Observations and Further Improvements / Jianer Chen ; Iyad A. Kanj ; Weijia Jia
On the Hardness of Recognizing Bundles in Time Table Graphs / Annegret Liebers ; Dorothea Wagner ; Karsten Weihe
Optimal Solutions for FrequencyAssignment Problems via Tree Decomposition / Arie M.C.A. Koster ; Stan P.M. van Hoesel ; Antoon W.J. Kolen
Fixed-Parameter Complexity of ?-Labelings / Jiri Fiala ; Ton Kloks
Linear Time Algorithms for Hamiltonian Problems on (Claw,Net)-Free Graphs / Andreas Brandstädt ; Feodor F. Dragan ; Ekkehard Köhler
On Claw-Free Asteroidal Triple-Free Graphs / Harald Hempel ; Dieter Kratsch
Vertex Partitioning of Crown-Free Interval Graphs / Giuseppe Confessore ; Paolo Dell'Olmo ; Stefano Giordani
Author Index / I. Parfenoff ; F. Roussel ; I. Rusu
Invited Lecture: Silver Graphs: Achievements and New Challenges / Hartmut Noltemeier
Invited Lecture: Online Algorithms: A Studyof Graph-Theoretic Concepts / Susanne Albers
Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and
26.

図書

図書
Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 558 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1711 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
On Text Mining Techniques for Personalization / C. C. Aggarwal ; P. S. Yu
A Road to Discovery Science / S. Arikawa
Rough Computing: Foundations and Applications
Calculi of Granules Based on Rough Set Theory: Approximate Distributed Synthesis and Granular Semantics for Computing with Words / L. Polkowski ; A. Skowron
Discovery of Rules about Complications / S. Tsumoto
Rough Genetic Algorithms / P. Lingras ; C. Davies
Classifying Faults in High Voltage Power Systems: A Rough-Fuzzy Neural Computational Approach / L. Han ; J. F. Peters ; S. Ramanna ; R. Zhai
Rough Set Theory and Its Applications
Toward Spatial Reasoning in the Framework of Rough Mereology
An Algorithm for Finding Equivalence Relations from Tables with Non-deterministic Information / H. Sakai ; A. Okuma
On the Extension of Rough Sets under Incomplete Information / J. Stefanowski ; A. Tsoukias
On Rough Relations: An Alternative Formulation / Y. Y. Yao ; T. Wang
Formal Rough Concept Analysis / J. Saquer ; J. S. Deogun
Noise Reduction in Telecommunication Channels Using Rough Sets and Neural Networks / R. Krolikowski ; A. Czyzewski
Rough Set Analysis of Electrostimilation Test Database for the Prediction of Post-Operative Profits in Cochlear Implanted Patients / H. Skarzynski ; B. Kostek
A Rough Set-Based Approach to Text Classification / A. Chouchoulas ; Q. Shen
Modular Rough Fuzzy MLP: Evolutionary Design / P. Mitra ; S. Mitra ; S. K. Pal
Approximate Reducts and Association Rules: Correspondence and Complexity Results / H. S. Nguyen ; D. Slezak
Handling Missing Values in Rough Set Analysis of Multi-Attribute and Multi-Criteria Decision Problems / S. Greco ; B. Matarazzo ; R. Slowinski
The Generic Rough Set Inductive Logic Programming Model and Motifs in Strings / A. Siromoney ; K. Inoue
Rough Problem Settings for Inductive Logic Programming / C. Liu ; N. Zhong
Using Rough Sets with Heuristics to Feature Selection / J. Z. Dong ; S. Ohsuga
The Discretization of Continuous Attributes Based on Compatibility Rough Set and Genetic Algorithm / L. Sun ; W. Gao
Fuzzy Set Theory and Its Applications
Level Cut Conditioning Approach to the Necessity Measure Specification / M. Inuiguchi ; T. Tanino
Four c-regression Methods and Classification Functions / S. Miyamoto ; K. Umayahara ; T. Nemoto
Context-Free Fuzzy Sets in Data Mining Context / T. Y. Lin
Applying Fuzzy Hypothesis Testing to Medical Data / M. Last ; A. Schenker ; A. Kandel
Generating A Macroeconomic Fuzzy Forecasting System Using Evolutionary Search / R. Veliev ; A. Rubinov ; A. Stranieri
Fuzzy Control of Nonlinear Systems Using Nonlinearized Parameterization / H. Han ; H. Kawabata
Control of Chaotic Systems Using Fuzzy Model-Based Regulators / K. Watanabe ; L. Udawatta ; K. Kiguchi ; K. Izumi
Fuzzy Behavior-Based Control for the Obstacle Avoidance of Multi-Link Manipulators / P. Dassanayake
Fuzzy Future Value and Annual Cash Flow Analyses / N. Cetin ; C. Kahraman
Semi-Linear Equation with Fuzzy Parameters / S. Melliani
Non-Classical Logic and Approximate Reasoning
First Order Rough Logic-Revisited / Q. Liu
A Generalized Decision Logic in Interval-set-valued Information Tables
Many-Valued Dynamic Logic for Qualitative Decision Theory / C. J. Liau
Incorporating Fuzzy Set Theory and Matrix Logic in Multi-Layer Logic / H. Yamauchi
Fuzzy Logic as Interfacing Media for Constraint Propagation Based on Theories of Chu Space and Information Flow / K. Sato ; T. Horiuchi ; T. Hiraoka ; H. Kawakami ; O. Katai
Pattern Reasoning: A New Solution for Knowledge Acquisition Problem / H. Tsukimoto
Probabilistic Inference and Bayesian Theorem Based on Logical Implication / Y. Yamauchi ; M. Mukaidono
Reasoning with Neural Logic Networks / R. Yasdi
The Resolution for Rough Propositional Logic with Lower (L) and Upper (H) Approximate Operators
Information Granulation and Granular Computing
Information Granules in Distributed Environment / J. Stepaniuk
Evolving Granules for Classification for Discovering Difference in the Usage of Words / T. Yoshida ; T. Kondo ; S. Nishida
Interval Evaluation by AHP with Rough Sets Concept / K. Sugihara ; Y. Maeda ; H. Tanaka
Interval Density Functions in Conflict Analysis / K. Senoo
Incorporating Personal Databases by Granular Computing / Y. Kakemoto
Data Mining and Knowledge Discovery
Knowledge-Driven Discovery of Operational Definitions / J. M. Żytkow
A Closest Fit Approach to Missing Attribute Values in Preterm Birth Data / J. W. Grzymala-Busse ; W. J. Grzymala-Busse ; L. K. Goodwin
Visualizing Discovered Rule Sets with Visual Graphs Based on Compressed Entropy Density / E. Suzuki ; H. Ishihara
A Distance-Based Clustering and Selection of Association Rules on Numeric Attributes / X. Du ; S. Suzuki ; N. Ishii
Knowledge Discovery for Protein Tertiary Substructures / C. K. Chen ; D. Y. Y. Yun
Integrating Classification and Association Rule Mining: A Concept Lattice Framework / K. Hu ; Y. Lu ; L. Zhou ; C. Shi
Using Rough Genetic and Kohonen's Neural Network for Conceptual Cluster Discovery in Data Mining / H. Kiem ; D. Phuc
Towards Automated Optimal Equity Portfolios Discovery in A Knowledge Sharing Financial Data Warehouse / Y. C. Lu ; H. Cheng
Rule-Evolver: An Evolutionary Approach for Data Mining / C. Lopes ; M. Pacheco ; M. Vellasco ; E. Passos
Machine Learning
Decision Making with Probabilistic Decision Tables / W. Ziarko
The Iterated Version Space Learning / J. J. Zhang ; N. Cercone
An Empirical Study on Rule Quality Measures / A. An
Rules as Attributes in Classifier Construction / M. S. Szczuka
An Algorithm to Find the Optimized Network Structure in An Incremental Learning / J. C. Lee ; W. D. Lee ; M. S. Han
Patterns in Numerical Data: Practical Approximations to Kolmogorov Complexity
Performance Prediction for Classification Systems / F. Sun
Intelligent Agents and Systems
Flexible Optimization and Evolution of Underwater Autonomous Agents / E. Eberbach ; R. Brooks ; S. Phoha
Ontology-Based Multi-Agent Model of An Information Security System / V. I. Gorodetski ; L. J. Popyack ; I. V. Kotenko ; V. A. Skormin
Optimal Multi-Scale Time Series Decomposition for Financial Forecasting Using Wavelet Thresholding Techniques / T. Shin ; I. Han
Computerized Spelling Recognition of Words Expressed in the Sound Approach / M. Higgins
An Adaptive Handwriting Recognition System / G. Qian
Author Index
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
27.

図書

図書
Kwok Yan Lam, Eiji Okamoto, Chaoping Xing (eds.)
出版情報: Berlin : Springer, c1999  xi, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1716
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Modulus Search for Elliptic Curve Cryptosystems / K. Koyama ; Y. Tsuruoka ; N. Kunihiro
Asymmetric Key Cryptosystems
On the Lai-Massey Scheme / S. Vaudenay
On Cryptographically Secure Vectorial Boolean Functions / T. Satoh ; T. Iwata ; K. Kurosawa
Analysis
Equivalent Keys of HPC / C. D'Halluin ; G. Bijnens ; B. Preneel ; V. Rijmen
Cryptanalysis of Five Rounds of CRYPTON Using Impossible Differentials / H. Seki ; T. Kaneko
Cryptanalysis of Two Cryptosystems Based on Group Actions / S. R. Blackburn ; S. D. Galbraith
Probabilistic Higher Order Differential Attack and Higher Order Bent Functions
Elliptic Curve Cryptosystems
Fast Algorithms for Elliptic Curve Cryptosystems over Binary Finite Field / Y. F. Han ; P.-C. Leong ; P.-C. Tan ; J. Zhang
Optimizing the Menezes-Okamoto-Vanstone (MOV) Algorithm for Non-supersingular Elliptic Curves / J. Shikata ; Y. Zheng ; J. Suzuki ; H. Imai
Speeding up the Discrete Log Computation on Curves with Automorphisms / I. Duursma ; P. Gaudry ; F. Morain
ECC: Do We Need to Count? / J.-S. Coron ; H. Handschuh ; D. Naccache
Elliptic Scalar Multiplication Using Point Halving / E. W. Knudsen
Public Key Cryptosystems
On the Design of RSA with Short Secret Exponent / H.-M. Sun ; W.-C. Yang ; C.-S. Laih
Efficient Public-Key Cryptosystems Provably Secure Against Active Adversaries / P. Paillier ; D. Pointcheval
Adaptively-Secure Optimal-Resilience Proactive RSA / Y. Frankel ; P. MacKenzie ; M. Yung
Integers and Computation
Factorization of RSA-140 Using the Number Field Sieve / S. Cavallar ; B. Dodson ; A. Lenstra ; P. Leyland ; W. Lioen ; P. L. Montgomery ; B. Murphy ; H. te Riele ; P. Zimmermann
How to Prove that a Committed Number Is Prime / T. V. Le ; K. Q. Nguyen ; V. Varadharajan
Reducing Logarithms in Totally Non-maximal Imaginary Quadratic Orders to Logarithms in Finite Fields / D. Huhnlein ; T. Takagi
General Adversaries in Unconditional Multi-party Computation / M. Fitzi ; M. Hirt ; U. Maurer
Network Security
Approximation Hardness and Secure Communication in Broadcast Channels / Y. Desmedt ; Y. Wang
Mix-Networks on Permutation Networks / M. Abe
Secure Communication in an Unknown Network Using Certificates / M. Burmester
Random Number
Linear Complexity versus Pseudorandomness: On Beth and Dai's Result
A Class of Explicit Perfect Multi-sequences / C. P. Xing ; K. Y. Lam ; Z. H. Wei
Cryptanalysis of LFSR-Encrypted Codes with Unknown Combining Function / S. Palit ; B. K. Roy
Key Management
Doing More with Fewer Bits / A. E. Brouwer ; R. Pellikaan ; E. R. Verheul
A Quick Group Key Distribution Scheme with "Entity Revocation" / J. Anzai ; N. Matsuzaki ; T. Matsumoto
An Efficient Hierachical Identity-Based Key-Sharing Method Resistant Against Collusion-Attacks / G. Hanaoka ; T. Nishioka
Periodical Multi-secret Threshold Cryptosystems / M. Numao
Authentication
A Signature Scheme with Message Recovery as Secure as Discrete Logarithm / T. Okamoto
Broadcast Authentication in Group Communication / Y. J. Wang ; R. Safavi-Naini ; H. X. Wang
Author Index
Invited Talk
Modulus Search for Elliptic Curve Cryptosystems / K. Koyama ; Y. Tsuruoka ; N. Kunihiro
Asymmetric Key Cryptosystems
28.

図書

図書
Çetin K. Koç, Christof Paar (eds.)
出版情報: Berlin : Springer, c1999  xi, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1717
所蔵情報: loading…
29.

図書

図書
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999  x, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
目次情報: 続きを見る
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette
Lazy Lexing is Fast / Manuel M. T. Chakravarty
A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas
Implementing Encapsulated Search for a Lazy Functional Logic Language / Wolfgang Lux
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers / Armin Kühnemann
Automatic Verification Based on Abstract Interpretation / Mizuhito Ogawa
A Transformation System for Lazy Functional Logic Programs / María Alpuente ; Moreno Falaschi ; Ginés Moreno ; Germán Vidal
Termination Analysis of Tabled Logic Programs Using Mode and Type Information / Sofie Verbaeten ; Danny De Schreye
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems / Enno Ohlebusch
An Interval Lattice-Based Constraint Solving Framework for Lattices / Antonio J. Fernández ; Patricia M. Hill
Higher Order Matching for Program Transformation / Oege de Moor ; Ganesh Sittampalam
Automated Generalisation of Function Definitions / Adam Bakewell ; Colin Runciman
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping / Olivier Danvy
Using Types as Approximations for Type Checking Prolog Programs / Christoph Beierle ; Gregor Meyer
Typed Static Analysis: Application to Groundness Analysis of Prolog and ?Prolog / Olivier Ridoux ; Patrice Boizumault ; Frédéric Malésieux
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs / Ernie Johnson ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Prasad Rao
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code / Atsushi Ohori
On Reducing the Search Space of Higher-Order Lazy Narrowing.. / Mircea Marin ; Tetsuo Ida ; Taro Suzuki
Typed Higher-Order Narrowing without Higher-Order Strategies / Sergio Antoy ; Andrew Tolmach
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages / Michael Hanus ; Salvador Lucas
Author Index
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
30.

図書

図書
Vijay Varadharajan, Yi Mu (eds.)
出版情報: Berlin : Springer, c1999  xi, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1726
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
International Cryptography / Doug McGowan
Cryptanalysis
Reaction attacks against several public key cryptosystems / C. Hall ; I. Goldberg ; B. Schneier
Cryptanalysis of some AES candidate algorithms / W. Wu ; B. Li ; D. Feng ; S. Qing
Language Based Approach to Security
Issues in the design of a language for role based access control / M. Hitchens ; V. Varadharajan
Extending Erlang for safe mobile code execution / L. Brown ; D. Sahlin
Electronic Commerce and Secret Sharing
Detachable electronic coins / C. Pavlovski ; C. Boyd ; E. Foo
Linear secret sharing with divisible shares / J. Pieprzyk
Efficient publicly verifiable secret sharing schemes with fast or delayed recovery / F. Boudot ; J. Traore
Digital Signatures
Zero-knowledge proofs of possession of ElGamal-like digital signatures and its applications / K. Q. Nguyen ; F. Bao ; Y. Mu
Signature scheme for controlled environments / K. Viswanathan ; E. Dawson
On the cryptographic value of the Qth root problem / C. L. Beaver ; P. S. Gemmell ; A. M. Johnston ; W. Neumann
Protecting Critical Information Systems / Sushil Jajodia
Security Protocols
Delegation chains secure up to constant length / M. Abe ; T. Okamoto
Optimal construction of unconditionally secured ID-based key sharing scheme for large-scale networks / G. Hanaoka ; T. Nishioka ; Y. Zheng ; H. Imai
Enhancing the resistance of a provably secure key agreement protocol to a denial-of-service attack / S. Hirose ; K. Matsuura
An extended logic for analyzing timed-release public-key protocols / M. Kudo ; A. Mathuria
Applications
Bringing together X.509 and EDIFACT public key infrastructures: The DEDICA project / M. Rubia ; J. C. Cruellas ; M. Medina
User identification system based on biometrics for keystroke / K. Omote ; E. Okamoto
Boundary conditions that influence decisions about log file formats in multi-application smart cards / C. Markantonakis
Sending message into a definite future / W. Mao
Cryptography
Efficient accumulators without trapdoor / T. Sander
Evolutionary heuristics for finding cryptographically strong S-Boxes / W. Millan ; L. Burnett ; G. Garter ; A. Clark
Incremental authentication of tree-structured documents / P. Ekdahl ; B. Smeets
Complexity and Security Functions
Plateaued Functions / X.-M. Zhang
On the linear complexity of the Naor-Reingold pseudo-random function / F. Griffin ; I. E. Shparlinski
On the channel capacity of narrow-band subliminal channels / K. Kobara
Author Index
Keynote Speech
International Cryptography / Doug McGowan
Cryptanalysis
31.

図書

図書
Peter P. Chen ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  xi, 387 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1727
所蔵情報: loading…
目次情報: 続きを見る
First International Workshop on Evolution and Change in Data Management (ECDM'99)
Introduction
Handling Evolving Data Through the Use of a Description Driven Systems Architecture / F. Estrella ; Z. Kovacs ; J.-M. Le Goff ; R. McClatchey ; M. Zsenei
Evolution of Schema and Individuals of Configurable Products / Timo Männistö ; Reijo Sulonen
Evolution in Object Databases
Updates and Application Migration Support in an ODMG Temporal Extension / Marlon Dumas ; Marie-Christine Fauvet ; Pierre-Claude Scholl
ODMG Language Extensions for Generalized Schema Versioning Support / Fabio Grandi ; Federica Mandreoli
Transposed Storage of an Object Database to Reduce the Cost of Schema Changes / Lina Al-Jadir ; Michel Léonard
Constraining Change
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating / Enric Mayol ; Ernest Teniente
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus / Carlos A. Mareco ; Leopoldo Bertossi
Schema Versioning for Archives in Database Systems / Ralf Schaarschmidt ; Jens Lufter
Conceptual Modeling of Change
Modeling Cyclic Change / Kathleen Hornsby ; Max J. Egenhofer ; Patrick Hayes
On the Ontological Expressiveness of Temporal Extensions to the Entity-Relationship Model / Heidi Gregersen ; Christian S. Jensen
Semantic Change Patterns in the Conceptual Schema / L. Wedemeijer
International Workshop on Reverse Engineering in Information Systems (REIS'99)
Methodologies for Reverse Engineering
The BRIDGE: A Toolkit Approach to Reverse Engineering System Metadata in Support of Migration to Enterprise Software / Juanita Walton Billings ; Lynda Hodgson ; Peter Aiken
Data Structure Extraction in Database Reverse Engineering / J. Henrard ; J.-L. Hainaut ; J.-M. Hick ; D. Roland ; V. Englebert
Documenting Legacy Relational Databases / Reda Alhajj
Relational Database Reverse Engineering: Elicitation of Generalization Hierarchies / Jacky Akoka ; Isabelle Comyn-Wattiau ; Nadira Lammari
Systems Migration
A Tool to Reengineer Legacy Systems to Object-Oriented Systems / Hernán Cobo ; Virginia Mauco ; Maria Romero ; Carlota Rodríguez
CAPPLES - A Capacity Planning and Performance Analysis Method for the Migration of Legacy Systems / Paulo Pinheiro da Silva ; Alberto H. F. Laender ; Rodolfo S. F. Resende ; Paulo B. Golgher
Reuse of Database Design Decisions / Meike Klettke
International Workshop on the World Wide Web and Conceptual Modeling (WWWCM'99)
Modeling Navigation and Interaction
Modeling Interactive Web Sources for Information Mediation / Bertram Ludäscher ; Amarnath Gupta
Web Application Models Are More than Conceptual Models / Gustavo Rossi ; Daniel Schwabe ; Fernando Lyardet
E/R Based Scenario Modeling for Rapid Prototyping of Web Information Services / Thomas Feyer ; Bernhard Thalheim
Directions in Web Modeling
Models for Superimposed Information / Lois Delcambre ; David Maier
Formalizing the Specification of Web Applications / D.M. Germán ; D.D. Cowan
"Modeling-by-Patterns" of Web Applications / Franca Garzotto ; Paolo Paolini ; Davide Bolchini ; Sara Valenti
Modeling Web Information
A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web / Wolfgang May ; Rainer Himmeröder ; Georg Lausen ; BertramLudäscher
Semantically Accessing Documents Using Conceptual Model Descriptions / Terje Brasethvik ; Jon Atle Gulla
Knowledge Discovery for Automatic Query Expansion on the World Wide Web / Mathias Géry ; M. Hatem Haddad
Modeling Web Applications
KnowCat: A Web Application for Knowledge Organization / Xavier Alamán ; Ruth Cobos
Meta-modeling for Web-Based Teachware Management / Christian Süß ; Burkhard Freitag ; Peter Brössler
Data Warehouse Design for E-Commerce Environments / Il-Yeol Song ; Kelly LeVan-Shultz
Author Index
First International Workshop on Evolution and Change in Data Management (ECDM'99)
Introduction
Handling Evolving Data Through the Use of a Description Driven Systems Architecture / F. Estrella ; Z. Kovacs ; J.-M. Le Goff ; R. McClatchey ; M. Zsenei
32.

図書

図書
Jacky Akoka ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  xiv, 540 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1728
所蔵情報: loading…
目次情報: 続きを見る
Supporting Schema Evolution / Session 1:
Three Levels of Reuse for Supporting the Evolution of Database Schemas / D. Castelli
A Unified Framework for Supporting Dynamic Schema Evolution in Object Databases / B. Benatallah
An Incremental and Semi-automatic Method Inheritance Graph Hierarchy Construction / M.M. Gammoudi ; I. Nafkha ; Z. Abdelouahab
Temporal Database Design / Session 2:
Developing an Object-Oriented Video Database System with Spatio-Temporal Reasoning Capabilities / S.S.-M. Chan ; Q. Li ; China
Entity Evolution in IsA Hierarchies / A. Olivé ; D. Costal ; M.-R. Sancho
Temporal ER Modeling with Description Logics / A. Artale ; E. Franconi
Schema Transformation / Session 3:
Automatic Migration and Wrapping of Database Applications - A Schema Transformation Approach / P. McBrien ; A. Poulovassilis
A Methodology for Clustering Entity Relationship Models - A Human Information Processing Approach / D.L. Moody ; A. Flitman
Designing Good Semi-structured Databases / S.Y. Lee ; M.L. Lee ; T.W. Ling ; L.A. Kalinichenko
Views and Conceptual Modeling / Session 4:
Building Views over Semistructured Data Sources / S. Castano ; V. De Antonellis
Modeling and Maintaining Multi-view Data Warehouses / I. Stanoi ; D. Agrawal ; A. El Abbadi
Object Views through Search Views of Web Datasources / Z. Lacroix
Reuse in Conceptual Modeling / Session 5:
Understanding and Modelling Business Processes with DEMO / J. L. G. Dietz
A Methodology for Building a Repository of Object-Oriented Design Fragments / T.-D. Han ; S. Purao ; V.C. Storey
An Algorithm to Extract Is_A Inheritance Hierarchies from a Relational Database / N. Lammari
Business Process Modeling and Workflows / Session 6:
DOTS: A Generic Infrastructure for Decision-Oriented Collaborative Task Support / J. Lonchamp
Dockets: A Model for Adding Value to Content / J. W. Schmidt ; H.-W. Sehring
Workflow Specification in TRAMs / M. Kradolfer ; A. Geppert ; K.R. Dittrich
Integrating Application Models / Session 7:
From CASE to CARE (Computer-Aided Requirements Engineering) / O. Pastor ; J.H. Canós ; I. Ramos
Solving the Problem of Semantic Heterogeneity in Defining Mediator Update Translators / V. M. P. Vidal ; B.F. Loscio
A Method for Requirements Elicitation and Formal Specification / M. Heisel ; J. Souquières
Data Warehouse Design / Session 8:
Dealing with Semantic Heterogeneity During Data Integration / Z. Kedad ; E. Métais
Detecting Redundancy in Data Warehouse Evolution / D. Theodoratos
Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects / J. Lewerenz ; K.-D. Schewe ; B. Thalheim
Modeling Concepts / Session 9:
Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas / M. Balaban ; P. Shoval
A Taxonomy of Recursive Relationships and Their Structural Validity in ER Modeling / J. Dullea ; I.-Y. Song
Extending Functional Dependencies in Indefinite Sequence Relations / W. Ng
Schema Integration / Session 10:
View Integration of Object Life-Cycles in Object-Oriented Design / G. Preuner ; S. Conrad
Towards an Automatic Integration of Statecharts / H. Frank ; J. Eder
Design Support for Database Federations / K. Schwartz ; I. Schmitt ; C. Türker ; M. Höding ; E. Hildebrandt ; S. Balko ; G. Saake
Advanced Conceptual Modeling / Session 11:
Operational Characterization of Genre in Literary and Real-Life Domains / A.L. Furtado ; A. E. M. Ciarlini
Contextualization as an Abstraction Mechanism for Conceptual Modelling / M. Theodorakis ; A. Analyti ; P. Constantopoulos ; N. Spyratos
Architectures for Evaluating the Quality of Information Models - A Meta and an Object Level Comparison / R. Schuette
Invited Papers
XML-based Components for Federating Multiple Heterogeneous Data Sources / G. Gardarin ; F. Sha ; T.D. Ngoc
A Process-Integrated Conceptual Design Environment for Chemical Engineering / M. Jarke ; T. List ; K. Weidenhaupt
ER Model, XML and the Web / P.P.S. Chen
Author Index
Supporting Schema Evolution / Session 1:
Three Levels of Reuse for Supporting the Evolution of Database Schemas / D. Castelli
A Unified Framework for Supporting Dynamic Schema Evolution in Object Databases / B. Benatallah
33.

図書

図書
Masahiro Mambo, Yuliang Zheng (eds.)
出版情報: Berlin : Springer, c1999  ix, 275 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1729
所蔵情報: loading…
目次情報: 続きを見る
Electronic Money
Spending Programs: A Tool for Flexible Micropayments / Josep Domingo-Ferrer ; Jordi Herrera-Joancomarti
Money Conservation via Atomicity in Fair Off-Line E-Cash / Shouhuai Xu ; Moti Yung ; Gendu Zhang ; Hong Zhu
Engineering an eCash System / Tim Ebringer ; Peter Thorne
Electronic Payment and Unlinkability
Unlinkable Electronic Coupon Protocol with Anonymity Control / Toru Nakanishi ; Nobuaki Haruna ; Yuji Sugiyama
On the Security of the Lee-Chang Group Signature Scheme and Its Derivatives / Marc Joye ; Narn-Yih Lee ; Tzonelih Hwang
Secure Software Components, Mobile Agents, and Authentication
Security Properties of Software Components / Khaled Khan ; Jun Han ; Yuliang Zheng
Methods for Protecting a Mobile Agent's Route / Dirk Westhoff ; Markus Schneider ; Claus Unger ; Firoz Kaderali
Non-interactive Cryptosystem for Entity Authentication / Hyung-Woo Lee ; Jung-Eun Kim ; Tai-Yun Kim
Network Security
Implementation of Virtual Private Networks at the Transport Layer / Jorge Davila ; Javier Lopez ; Rene Peralta
Performance Evaluation of Certificate Revocation Using k-Valued Hash Tree / Hiroaki Kikuchi ; Kensuke Abe ; Shohachiro Nakanishi
Active Rebooting Method for Proactivized System: How to Enhance the Security against Latent Virus Attacks / Yuji Watanabe ; Hideki Imai
Digital Watermarking
Highly Robust Image Watermarking Using Complementary Modulations / Chun-Shien Lu ; Hong-Yuan Mark Liao ; Shih-Kun Huang ; Chwen-Jye Sze
Region-Based Watermarking for Images / Gareth Brisbane ; Rei Safavi-Naini ; Philip Ogunbona
Digital Watermarking Robust Against JPEG Compression / Hye-Joo Lee ; Ji-Hwan Park
Protection of Software and Data
Fingerprints for Copyright Software Protection / Josef Pieprzyk
A Secrecy Scheme for MPEG Video Data Using the Joint of Compression and Encryption / Sang Uk Shin ; Kyeong Seop Sim ; Kyung Hyune Rhee
Electronic Money, Key Recovery, and Electronic Voting
On Anonymous Electronic Cash and Crime / Tomas Sander ; Amnon Ta-Shma
On the Difficulty of Key Recovery Systems / Seungjoo Kim ; Insoo Lee ; Masahiro Mambo ; Sungjun Park
An Improvement on a Practical Secret Voting Scheme / Miyako Ohkubo ; Fumiaki Miura ; Masayuki Abe ; Atsushi Fujioka ; Tatsuaki Okamoto
Digital Signatures
Undeniable Confirmer Signature / Khanh Nguyen ; Yi Mu ; Vijay Varadharajan
Extended Proxy Signatures for Smart Cards / Takeshi Okamoto ; Mitsuru Tada ; Eiji Okamoto
A New Digital Signature Scheme on ID-Based Key-Sharing Infrastructures / Tsuyoshi Nishioka ; Goichiro Hanaoka
Cryptanalysis of Two Group Signature Schemes
Author Index
Electronic Money
Spending Programs: A Tool for Flexible Micropayments / Josep Domingo-Ferrer ; Jordi Herrera-Joancomarti
Money Conservation via Atomicity in Fair Off-Line E-Cash / Shouhuai Xu ; Moti Yung ; Gendu Zhang ; Hong Zhu
34.

図書

図書
Hermann Hellwagner, Alexander Reinefeld (eds.)
出版情報: Berlin : Springer, c1999  xxi, 490 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1734
所蔵情報: loading…
目次情報: 続きを見る
SCI and Competitive Interconnects for Cluster Computing / Part I:
The SCI Standard and Applications of SCI / Hermann Hellwagner1:
Introduction / 1.1:
SCI Overview / 1.2:
Background / 1.2.1:
Goals / 1.2.2:
Concepts / 1.2.3:
Discussion / 1.2.4:
The SCI Standard and Some Extensions / 1.3:
Logical Layer / 1.3.1:
Cache Coherence Layer / 1.3.2:
Extensions / 1.3.3:
Applications of SCI / 1.4:
System Area Network for Clusters / 1.4.1:
Memory Interconnect for Cache-Coherent Multiprocessors / 1.4.2:
I/O Subsystem Interconnect / 1.4.3:
Large-Scale Data Acquisition System / 1.4.4:
Related Communication Networks and Concepts / 1.5:
Concluding Remarks / 1.6:
A Comparison of Three Gigabit Technologies: SCI, Myrinet and SGI/Cray T3D / Christian Kurmann ; Thomas Stricker2:
Levels of Comparison / 2.1:
Direct Deposit / 2.2.1:
Message Passing (MPI/PVM) / 2.2.2:
Protocol Emulation (TCP/IP) / 2.2.3:
Gigabit Network Technologies / 2.3:
The Intel 80686 Hardware Platform / 2.3.1:
Myricom Myrinet Technology / 2.3.2:
Dolphin PCI-SCI Technology / 2.3.3:
The SGI/Cray T3D - A Reference Point / 2.3.4:
ATM: QoS - But Still Short of a Gigabit/s / 2.3.5:
Gigabit Ethernet - An Outlook / 2.3.6:
Transfer Modes / 2.4:
Overview / 2.4.1:
"Native" and "Alternate" Transfer Modes in the Three Architectures / 2.4.2:
Performance Evaluation / 2.5:
Performance of Local Memory Copy / 2.5.1:
Performance of Direct Transfers to Remote Memory / 2.5.2:
Performance of MPI/PVM Transfers / 2.5.3:
Performance of TCP/IP Transfers / 2.5.4:
Discussion and Comparison / 2.5.5:
Summary / 2.6:
SCI Hardware / Part II:
Dolphin SCI Adapter Cards / Marius Christian Liaaen ; Hugo Kohmann3:
Overview of the Adapter Cards / 3.1:
Operating Modes of the SCI Cards / 3.3:
SCI Requester / 3.4:
Address Mapping / 3.4.1:
SCI Transaction Handling / 3.4.2:
SCI Packet Requester / 3.4.3:
SCI Responder / 3.5:
Mailbox / 3.5.1:
Access Protection / 3.5.2:
Atomic Access / 3.5.3:
Host Bridge Capabilities / 3.5.4:
DMA Transfers / 3.6:
DMA Transfers on the SBus Card / 3.6.1:
DMA Transfers on the PCI Card / 3.6.2:
Interrupter / 3.7:
Concurrency Issues / 3.8:
Write Assembly / 3.8.1:
Efficient Store Barrier / 3.8.2:
Performance / 3.9:
Applications and Topologies / 3.10:
SAN Interface Adapter / 3.10.1:
Remote I/O Connection and Data Acquisition / 3.10.2:
Switches and Topologies / 3.10.3:
Cluster Software / 3.11:
The TUM PCI/SCI Adapter / Georg Acher ; Wolfgang Karl ; Markus Leberecht4:
The PCI/SCI Adapter Architecture / 4.1:
SCI Packet Encoding and Decoding / 4.3:
Overview of Packet Processing / 4.3.1:
Choosing the Technology / 4.3.2:
Internal Structure of the FPGA / 4.3.3:
Structure of the Packet Manag er as a Microcode Sequencer / 4.3.4:
Microcode Examples / 4.3.5:
Benefits of the Micro Sequencer / 4.3.6:
The SCI Unit / 4.4:
Preliminary Results for the PCI/SCI Adapter / 4.5:
Related Work / 4.6:
Conclusion / 4.7:
Interconnection Networks with SCI / Part III:
Low-Level SCI Protocols and Their Application to Flexible Switches / Andreas C. Döring ; Wolfgang Obelöer ; Gunther Lustig ; Erik Maehle5:
Data Format of SCI Packets / 5.1:
Flow Control / 5.3:
Flow Control in Rings / 5.3.1:
Packet Sequence in SCI / 5.3.2:
Determination of State Transitions / 5.3.3:
Bandwidth Multiplexing / 5.4:
Bandwidth Management in One Ring / 5.4.1:
Idle Symbols / 5.4.2:
Time-Out Determination / 5.4.3:
Network Interface / 5.5:
Requirements / 5.5.1:
Products / 5.5.2:
Routers / 5.6:
Products and Challenges / 5.6.1:
Flexible Router / 5.6.3:
Strip-off Decision / 5.6.4:
Routing Decision and Topology / 5.6.5:
Rule-Based Routing / 5.7:
Conclusion and Outlook / 5.8:
SCI Rings, Switches, and Networks for Data Acquisition Systems / Harald Richter ; Richard Kleber ; Matthias Ohlenroth6:
SCI-based Data Acquisition Systems / 6.1:
SCINET Test Beds / 6.3:
Measurement Results / 6.4:
SCI Switches / 6.5:
Efficient Use of SCI Switches / 6.6:
Multistage SCI Networks / 6.7:
Simulation Results / 6.8:
Summary and Conclusions / 6.9:
Scalability of SCI Ringlets / Geir Horn7:
Do SCI Ringlets Scale in Number of Nodes? / 7.1:
Ringlet Bandwidth Model / 7.2:
Transaction Formats / 7.2.1:
Packet Generation / 7.2.2:
Address Distribution / 7.2.3:
Locality / 7.2.4:
Bypass Rate / 7.2.5:
Echo Packet Rate / 7.2.6:
Output Link Utilization Factor / 7.2.7:
Scalability Evaluation / 7.3:
Common Assumptions / 7.3.1:
Uniform Ringlet Traffic / 7.3.2:
Non-uniform Ringlet Traffic / 7.3.3:
Changing Packet Lengths / 7.3.4:
Affordable Scalability Using Multi-Cubes / HÃ¥kon Bugge ; Knut Omang7.4:
Interconnect Overview / 8.1:
Methodology / 8.3:
Analysis / 8.4:
"Hot-Link" Analysis / 8.4.1:
"Hot-B-Link" Analysis / 8.4.2:
Results / 8.5:
Conclusions / 8.6:
Device Driver Software and Low-Level APIs / Part IV:
Interfacing SCI Device Drivers to Linux / Roger Butenuth ; Hans-Ulrich Heiss9:
Layers of Functionality / 9.1:
Address Spaces / 9.2.1:
Levels of Hardware Abstraction / 9.2.2:
Resource Management / 9.2.3:
Virtual Mapping / 9.2.4:
Robustness / 9.2.5:
Why Linux? / 9.3:
Interfaces of the Driver / 9.4:
Hardware / 9.4.1:
Linux / 9.4.2:
User Processes / 9.4.3:
SCI Drivers on Other Nodes / 9.4.4:
SCI Physical Layer API / Volker Lindenstruth ; David B. Gustavson9.5:
Scope of the Standard / 10.1:
SCI Physical Layer API Architecture and Features / 10.2:
Exception Handling / 10.2.1:
Endianness / 10.2.2:
Supported Data Types / 10.3:
Miscellaneous Procedures / 10.4:
Address Translation Model / 10.5:
Global Object Identifier / 10.5.1:
SCI Global Address Resolution / 10.5.2:
Shared Memory Transactions / 10.6:
Packet Transactions / 10.7:
Block Transactions / 10.8:
Message Passing Transactions / 10.9:
Cache Transactions / 10.10:
Message Passing Libraries / 10.11:
SCI Sockets Library / Josef Weidendorfer11:
Rationale / 11.1:
Features and Design / 11.1.2:
Features / 11.2.1:
Components / 11.2.2:
Communication via the SSLib / 11.2.3:
Connection Setup / 11.2.4:
Handling Special System Calls / 11.2.5:
Other Calls Intercepted and Handled by the SSLib / 11.2.6:
Out of Band Data / 11.2.7:
Implementation Aspects / 11.3:
Communication Among Components / 11.3.1:
SSLib Layers / 11.3.2:
Choice of Most Efficient Communication Mechanism / 11.3.3:
SSLib Implementations / 11.3.4:
Control Transfers / 11.3.5:
Functional Tests and Performance / 11.4:
TCP/IP over SCI under Linux / Hüseyin Taskin11.5:
SCIP Structure / 12.1:
Packet Driver Interface / 12.2.1:
Hardware Address Resolution / 12.2.2:
Other Implementation Issues / 12.2.3:
Configuration / 12.3:
Latency / 12.3.2:
Throughput / 12.3.3:
PVM for SCI Clusters / Markus Fischer ; Alexander Reinefeld12.4:
Parallel Virtual Machine / 13.1:
PVM Implementations / 13.2.1:
Models for Zero-Memory-Copy Data Transfer / 13.2.2:
SCI Communication Model / 13.3:
PVM-SCI / 13.4:
System Architecture / 13.4.1:
Supporting Multiple Interconnects / 13.4.2:
Reducing Memory Copies / 13.4.3:
Ring Buffer Management / 13.4.4:
Performance Results / 13.4.5:
ScaMPI - Design and Implementation / L.P. Huse ; K. Omang ; H. Bugge ; H. Ry ; A.T. Haugsdal ; E. Rustad13.5:
Scali Systems / 14.1:
The SCI Memory Model / 14.3:
Coordinating Use of Shared Locations / 14.3.1:
Ensuring Safe Data Transport in SCI - Checkpointing / 14.3.2:
Shared Address Space Programming without the Drawbacks / 14.3.3:
ScaMPI Design Goals / 14.4:
ScaMPI Implementation / 14.5:
Fault Tolerance / 14.5.1:
User Friendliness / 14.5.2:
Third Party Software / 14.5.3:
Barrier / 14.6:
All-to-All Communication / 14.6.2:
Shared Memory Programming Models and Runtime Mechanisms / 14.7:
Shared Memory vs Message Passing on SCI: A CaseStudy Using Split-C / Max Ibel ; Michael Schmitt ; Klaus Schauser ; Anurag Acharya15:
Introduction to Split-C / 15.1:
Introduction to Active Messages / 15.1.2:
Message-Passing Implementation / 15.2:
Active Messages on Top of SCI / 15.2.1:
Split-C on Top of Active Messages / 15.2.2:
Shared Memory Implementation / 15.3:
Split-C on Top of SCI / 15.3.1:
Experimental Evaluation / 15.4:
Micro-benchmarks / 15.4.1:
SCI and Competitive Interconnects for Cluster Computing / Part I:
The SCI Standard and Applications of SCI / Hermann Hellwagner1:
Introduction / 1.1:
35.

図書

図書
David A. Forsyth ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  viii, 345 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1681
所蔵情報: loading…
36.

図書

図書
Marc Fossorier ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  xiii, 510 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1719
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Codes on Graphs: A Survey for Algebraists / G. David Forney, Jr.
RA Codes Achieve AWGN Channel Capacity / Hui Jin ; Robert J. McEliece
Monomial Ideals and Planar Graphs / Ezra Miller ; Bernd Sturmfels
A Fast Program Generator of Fast Fourier Transforms / Michael Clausen ; Meinard Müller
On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms / Tadao Kasami
Curves with Many Points and Their Applications / Ian F. Blake
Codes and Iterative Decoding
New Sequences of Linear Time Erasure Codes Approaching the Channel Capacity / M. Amin Shokrollahi
On the Theory of Low-Density Convolutional Codes / Karin Engdahl ; Michael Lentmaier ; Kamil Sh. Zigangirov
Combinatorics I: Arithmetic
On the Distribution of Nonlinear Recursive Congruential Pseudorandom Numbers of Higher Orders / Frances Griffin ; Harald Niederreiter ; Igor E. Shparlinski
A New Representation of Boolean Functions / Claude Carlet ; Philippe Guillot
Combinatorics II: Graphs and Matrices
An Algorithm to Compute a Nearest Point in the Lattice <$>A_n^{\ast}<$> / I. Vaughan ; L. Clarkson
Sequences from Cocycles / Kathy J. Horadam
Block Codes I
On the Second Greedy Weight for Binary Linear Codes / Wende Chen ; Torleiv Kløve
On the Size of Identifying Codes / Uri Blass ; Iiro Honkala ; Simon Litsyn
Algebra I: Rings and Fields
Fast Quantum Fourier Transforms for a Class of Non-abelian Groups / Markus Püschel ; Martin Rötteler ; Thomas Beth
Linear Codes and Rings of Matrices / M. Greferath ; S.E. Schmidt
On <$>{\op Z}_4<$>-Simplex Codes and Their Gray Images / Mahesh C. Bhandari ; Manish K. Gupta ; Arbind K. Lal
Decoding Methods
Some Results on Generalized Concatenation of Block Codes / M. Bossert ; H. Grießer ; J. Maucher ; V. V. Zyablov
Near Optimal Decoding for TCM Using the BIVA and Trellis Shaping / Qi Wang ; Lei Wei ; Rodney A. Kennedy
An Optimality Testing Algorithm for a Decoded Codeword of Binary BlockCodes and Its Computational Complexity / Yuansheng Tang ; Toru Fujiwara
Algebra II
Recursive MDS-Codes and Pseudogeometries / Elena Couselo ; Santos Gonzalez ; Victor Markov ; Alexandr Nechaev
Strength of MISTY1 without FL Function for Higher Order Differential Attack / Hidema Tanaka ; Kazuyuki Hisamatsu ; Toshinobu Kaneko
Code Construction
Quantum Reed-Solomon Codes / Markus Grassl ; Willi Geiselmann
Capacity Bounds for the 3-Dimensional (0,1) Runlength Limited Channel / Zsigmond Nagy ; Kenneth Zeger
Rectangular Codes and Rectangular Algebra / V. Sidorenko ; J. Mancher
Codes and Algebra I: Algebraic Curves
Decoding Hermitian Codes with Sudan's Algorithm / T. Høholdt ; R. Refslund Nielsen
Computing a Basis of <$>\cal {L}<$>(D) on an Affine Algebraic Curve with One Rational Place at Infinity / Ryntaroh Matsnmoto ; Shinji Miura
Cryptography
Critical Noise for Convergence of Iterative Probabilistic Decoding with Belief Propagation in Cryptographic Applications / Marc P. C. Fossorier ; Miodrag J. Mihaljević ; Hideki Imai
An Authentication Scheme over Non-authentic Public Channel in Information-Theoretic Secret-Key Agreement / Shengli Lin ; Ynmin Wang
Codes and Decoding
A Systolic Array Architecture for Fast Decoding of One-Point AG Codesand Scheduling of Parallel Processing on It / Shojiro Sakata ; Masaznmi Knrihara
Convolutional Codes
Computing Weight Distributions of Convolutional Codes via Shift Register Synthesis / Mehul Motani ; Chris Heegard
Properties of Finite Response Input Sequences of Recursive Convolutional Codes / Didier Le Ruyet ; Hong Sun ; Han Vu Thien
Combinatorics III: Designs
Lower Bounds for Group Covering Designs / K.K.P. Chandnka
Characteristic Functions of Relative Difference Sets, Correlated Sequences and Hadamard Matrices / Garry Hnghes
Decoding of Block Codes
Double Circulant Self-Dual Codes Using Finite-Field Wavelet Transforms / F. Fekri ; S. W. McLaughlin ; R.M. Mersereau ; R.W. Schafer
Algebra III: Rings and Fields
Linear Codes and Polylinear Recurrences over Finite Rings and Modules (a Survey) / V.L. Kurakin ; A.S. Kuzmin ; V.T. Markov ; A.V. Mikhalev ; A.A. Nechaev
Calculating Generators for Invariant Fields of Linear Algebraic Groups / Jörn Müller-Quade
Constructing Elements of Large Order in Finite Fields / Joachim von zur Gathen ; Igor Shparlinski
Modulation and Codes
New Lower Bounds on the Periodic Crosscorrelation of QAM Codes with Arbitrary Energy / Serdar Boztaş
Conjectures on the Size of Constellations Constructed from Direct Sums of PSK Kernels / Matthew G. Parker
Codes and Algebra II: Gröbner Bases and AG Codes
A New Criterion for Normal Form Algorithms / B. Mourrain
Discrete Fourier Transform and Gröbner Bases / A. Poli ; M.C.Gennero ; D. Xin
Block Codes II
On the State Complexities of Ternary Codes / Sylvia Encheva ; Gérard Cohen
Binary Optimal Linear Rate 1/2 Codes / Koichi Betsumiya ; T. Aaron Gulliver ; Masaaki Harada
On Binary/Ternary Error-Correcting Codes with Minimum Distance 4 / Patric R.J. Östergård
Algebra IV: Polynomials
The Euclidean Algorithm and Primitive Polynomials over Finite Fields / James W. Bond ; Stefen Hui ; Hank Schmidt
On the Computational Hardness of Testing Square-Freeness of Sparse Polynomials / Marek Karpinski
Mastrovito Multiplier for General Irreducible Polynomials / A. Halbuto&gcaron;ullari ; Ç.K. Koç
Author Index
Invited Talks
Codes on Graphs: A Survey for Algebraists / G. David Forney, Jr.
RA Codes Achieve AWGN Channel Capacity / Hui Jin ; Robert J. McEliece
37.

図書

図書
前川徹著
出版情報: 東京 : アスペクト, 1999.11  294p ; 20cm
所蔵情報: loading…
38.

図書

図書
ニナ・バルビエ, エマニュエル・ペレ [著] ; 北代美和子訳
出版情報: 東京 : 白水社, 1999.12  206, xip ; 20cm
所蔵情報: loading…
39.

図書

図書
フランシス・ヘッセルバイン [ほか] 編 ; 加納明弘訳
出版情報: 東京 : フォレスト出版, 1999.11  327p ; 20cm
所蔵情報: loading…
40.

図書

図書
Luigi Rizzo, Serge Fdida (eds.)
出版情報: Berlin : Springer, c1999  xiii, 338 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1736
所蔵情報: loading…
41.

図書

図書
Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
出版情報: Berlin : Springer, c1999  xiii, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1725
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Trends in Theory
Quantum Challenges / Jozef Gruska
Stability of Approximation Algorithms for Hard Optimization Problems / Juraj Hromkovic
Algorithms on Compressed Strings and Arrays / Wojciech Rytter
Core Technologies
WWW Based Collaboration with the BSCW System / Wolfgang Appelt
Middleware and Quality of Service / Christian Bac ; Guy Bernard ; Didier Le Tien ; Olivier Villin
Dynamic Reconfiguration of CORBA-Based Applications / Noemi Rodriguez ; Roberto Ierusalimschy
Fast, Error Correcting Parser Combinators: A Short Tutorial / S. Doaitse Swierstra ; Pablo R. Azero Alcocer
IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications / Ghica van Emde Boas
Software and Information Engineering
Databases and the World Wide Web / Paolo Atzeni
Exploiting Formality in Software Engineering / Juan C. Bicarregui
Biomolecular Computing and Programming (Extended Abstract) / Max H. Garzon ; Russell J. Deaton ; The Molecular Computing Group
Software Change and Evolution / Vaclav Rajlich
Distributed Simulation with Cellular Automata: Architecture and Applications / P. M. A. Sloot ; J. A. Kaandorp ; A. G. Hoekstra ; B. J. Overeinder
From Data to Knowledge
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors / Alejandro P. Buchmann ; Ming-Chuan Wu
On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract) / The Tutoring Research Group
Coherent Concepts, Robust Learning / Dan Roth ; Dmitry Zelenko
Applications
Application of Artificial Neural Networks for Different Engineering Problems / Martin Bogdan ; Wolfgang Rosenstiel
Factor Oracle: A New Structure for Pattern Matching / Cyril Allauzen ; Maxime Crochemore ; Mathieu Raffinot
Principles of Forecasting- A Short Overview / Emil Pelikán
Contributed Papers
UPV-Curry: An Incremental Curry Interpreter / M. Alpuente ; S. Escobar ; S. Lucas
Quantum Finite Multitape Automata / Andris Ambainis ; Richard Bonner ; RusinÜ Freivalds ; Marats Golovkins ; Marek Karpinski
Decomposable Bulk Synchronous Parallel Computers / Martin Beran
Component Change and Version Identification in SOFA / Premysl Brada
Pattern Equations and Equations with Stuttering / Ivana Cerna ; Ondrej Klima ; Jiri Srba
Garbage Collection for Mobile and Replicated Objects / Pablo Galdámez ; Francesc D. Muñoz-Escoí ; José M. Bernabéu-Aubán
Randomized Gossiping by Packets in Faulty Networks / Anna Gambin ; Adam Malinowski
Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus / Carlos Herrero ; Javier Oliver
Simulation Problems for One-Counter Machines / Petr Jancar ; Faron Moller ; Zdenek Sawa
On Semantics of Petri Nets over Partial Algebra / Gabriel Juhás
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals / Ivan Kramosil
Quantum Finite One-Counter Automata / Maksim Kravtsev
A Performance Comparison of Mobile Agents and RPC / David Rutter
Cyclic Cutwidth of the Mesh / Heiko Schroder ; Ondrej Sýkora ; Imrich Vrt'o
Some Afterthoughts on Hopfield NetworksJiri Sima / Pekka Orponen ; Teemu Antti-Poika
A Persistent-Set Approach to Abstract State-Space Construction in Verification / Ulrich Ultes-Nitsche
Computational Power of Neuroidal Nets / Jiri Wiedermann
Cellular Automata with Dynamically Reconfigurable Buses / Thomas Worsch
Author Index
Invited Talks
Trends in Theory
Quantum Challenges / Jozef Gruska
42.

図書

図書
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
出版情報: Berlin : Springer, c1999  xi, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
Locally Determined Logic Programs / D. Cenzer ; J. B. Remmel ; A. Vanderbilt
Annotated Revision Programs / V. Marek ; I. Pivkina ; M. Truszczynski
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning / J. Sefranek
An Argumentation Framework for Reasoning about Actions and Changes / A. Kakas ; R. Miller ; F. Toni
Representing Transition Systems by Logic Programs / V. Lifschitz ; H. Turner
Transformations of Logic Programs Related to Causality and Planning / E. Erdem
From Causal Theories to Logic Programs (Sometimes) / F. Lin ; K. Wang
Monotone Expansion of Updates in Logical Databases / M. Dekhtyar ; A. Dikovsky ; S. Dudakov ; N. Spyratos
Updating Extended Logic Programs through Abduction / C. Sakama ; K. Inoue
LUPS - A Language for Updating Logic Programs / J. J. Alferes ; L. M. Pereira ; H. Przymusinska ; T. Przymusinski
Pushing Goal Derivation in DLP Computations / W. Faber ; N. Leone ; G. Pfeifer
Linear Tabulated Resolution for Well Founded Semantics / Y. Shen ; L. Yuan ; J. You ; N. Zhou
A Case Study in Using Preference Logic Grammars for Knowledge Representation / B. Cui ; T. Swift ; D. S. Warren
Minimal Founded Semantics for Disjunctive Logic Programming / S. Greco
On the Role of Negation in Choice Logic Programs / M. De Vos ; D. Vermeir
Approximating Reiter's Default Logic / T. Linke ; T. Schaub
Coherent Well-founded Annotated Logic Programs / C. V. Damasio
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / T. Lukasiewicz
Extending Disjunctive Logic Programming by T-norms / C. Mateis
Extending the Stable Model Semantics with More Expressive Rules / P. Simons
Stable Model Semantics for Weight Constraint Rules / I. Niemelä ; T. Soininen
Towards First-Order Nonmonotonic Reasoning / R. Rosati
Comparison of Sceptical NAF-Free Logic Programming Approaches / G. Antoniou ; M.J. Maher ; Billington ; G. Governatori
Characterizations of Classes of Programs by Three-Valued Operators / P. Hitzler ; A. K. Seda
Invited Talks
Using LPNMR for Problem Specification and Code Generation (Abstract) / M. Cadoli
Answer Set Planning (Abstract)
World-Modeling vs. World-Axiomatizing / D. McAllester
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problems / L. Morgenstern
Author Index
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
43.

図書

図書
Jan Willers Amtrup
出版情報: Berlin : Springer, c1999  xii, 200 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1735 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Overview
Introduction / 1:
Incremental Natural Language Processing / 1.1:
Incremental Speech Understanding / 1.2:
Incremental Architectures and the Architecture of MILC / 1.3:
Summary / 1.4:
Graph Theory and Natural Language Processing / 2:
General Definitions / 2.1:
The Use of Word Graphs for Natural Language Processing Systems / 2.2:
Evaluation of Word Graphs: Size and Quality Measures / 2.3:
Evaluation of Word Graphs: Quality Measures / 2.4:
Further Operations on Word Graphs / 2.5:
Removing Isolated Silence / 2.5.1:
Removing Consecutive Silence / 2.5.2:
Removing All Silence Edges / 2.5.3:
Merging Mutually Unreachable Vertices / 2.5.4:
Hypergraphs / 2.6:
Formal Definition of Hypergraphs / 2.6.1:
Merging of Hyperedges / 2.6.2:
Combination of Hyperedges / 2.6.3:
Search in Graphs / 2.7:
Unification-Based Formalisms for Translation in Natural Language Processing / 2.8:
Unification-Based Formalisms for Natural Language Processing / 3.1:
Definition of Typed Feature Structures with Appropriateness / 3.1.1:
Type Lattices / 3.1.2:
Feature Structures / 3.1.3:
Functions as Values of Features / 3.1.4:
Unification-Based Machine Translation / 3.2:
Architecture and Implementation of the Formalism / 3.3:
Definition and Implementation of Type Lattices / 3.3.1:
Definition and Implementation of Feature Structures / 3.3.2:
MILC: Structure and Implementation / 3.4:
Layered Charts / 4.1:
Communication Within the Application / 4.2:
Communication Architecture of an Application / 4.2.1:
Channel Models / 4.2.2:
Information Service and Synchronization / 4.2.3:
Termination / 4.2.4:
Overview of the Architecture of MILC / 4.3:
Word Recognition / 4.4:
Idiom Processing / 4.5:
Parsing / 4.6:
Derivation of Verbal Complexes / 4.6.1:
Spontaneous Speech and Word Recognition / 4.6.2:
Structure and Processing Strategies / 4.6.3:
Utterance Integration / 4.7:
Transfer / 4.8:
Chart-Based Transfer / 4.8.1:
The Implementation of Transfer for MILC / 4.8.2:
Generation / 4.9:
Visualization / 4.10:
Extensions / 4.11:
Extension of the Architecture / 4.11.1:
Anytime Translation / 4.11.2:
System Size / 4.12:
Experiments and Results / 4.13:
Translation / 5.1:
Data Material / 5.2.1:
Linguistic Knowledge Sources / 5.2.2:
Experiments and System Parameters / 5.2.3:
Evaluation / 5.2.4:
Comparison With Non-incremental Methods / 5.2.5:
Conclusion and Outlook / 5.4:
Bibliography
Glossary
Index
Overview
Introduction / 1:
Incremental Natural Language Processing / 1.1:
44.

図書

図書
Patrik Fazekas
出版情報: Singapore : World Scientific, c1999  xvi, 777 p. ; 23 cm
シリーズ名: Series in modern condensed matter physics ; vol. 5
所蔵情報: loading…
45.

図書

図書
Hideki Imai, Yuliang Zheng (eds.)
出版情報: Berlin : Springer, c1999  ix, 326 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1560
所蔵情報: loading…
目次情報: 続きを見る
A New Type of "Magic Ink" Signatures - Towards Transcript-Irrelevant Anonymity Revocation / Feng Bao ; Robert H. Deng
A New Aspect of Dual Basis for Efficient Field Arithmetic / Chang-Hyi Lee ; Jong-In Lim
On the Security of Random Sources / Jean-Sébastien Coron
Anonymous Fingerprinting Based on Committed Oblivious Transfer / Josep Domingo-Ferrer
How to Enhance the Security of Public-Key Encryption at Minimum Cost / Eiichiro Fujisaki ; Tatsuaki Okamoto
Encrypted Message Authentication by Firewalls / Chandana Gamage ; Jussipekka Leiwo ; Yuliang Zheng
A Relationship between One-Wayness and Correlation Intractability / Satoshi Hada ; Toshiaki Tanaka
Message Recovery Fair Blind Signature / Hyung-Woo Lee ; Tai-Yun Kim
On Quorum Controlled Asymmetric Proxy Re-encryption / Markus Jakobsson
Mini-Cash: A Minimalistic Approach to E-Commerce
Preserving Privacy in Distributed Delegation with Fast Certificates / Pekka Nikander ; Yki Kortesniemi ; Jonna Partanen
Unknown Key-Share Attacks on the Station-to-Station (STS) Protocol / Simon Blake-Wilson ; Alfred Menezes
Toward Fair International Key Escrow - An Attempt by Distributed Trusted Third Agencies with Threshold Cryptography - / Shingo Miyazaki ; Ikuko Kuroda ; Kouichi Sakurai
How to Copyright a Function ? / David Naccache ; Adi Shamir ; Julien P. Stern
On the Security of RSA Screening
The Effectiveness of Lattice Attacks Against Low-Exponent RSA / Christophe Coupé ; Phong Nguyen ; Jacques Stern
A Trapdoor Permutation Equivalent to Factoring / Pascal Paillier
Low-Cost Double-Size Modular Exponentiation or How to Stretch Your Cryptoprocessor
Evaluating Differential Fault Analysis of Unknown Cryptosystems
Removing Interoperability Barriers Between the X.509 and EDIFACT Public Key Infrastructures: The DEDICA Project / Montse Rubia ; Juan Carlos Cruellas ; Manel Medina
Hash Functions and the MAC Using All-or-Nothing Property / Sang Uk Shin ; Kyung Hyune Rhee ; Jae Woo Yoon
Decision Oracles are Equivalent to Matching Oracles / Helena Handschuh ; Yiannis Tsiounis ; Moti Yung
Shared Generation of Random Number with Timestamp: How to Cope with the Leakage of the CA's Secret / Yuji Watanabe ; Hideki Imai
Auto-Recoverable Cryptosystems with Faster Initialization and the Escrow Hierarchy / Adam Young
A Secure Pay-per-View Scheme for Web-Based Video Service / Jianying Zhou ; Kwok-Yan Lam
Author Index
A New Type of "Magic Ink" Signatures - Towards Transcript-Irrelevant Anonymity Revocation / Feng Bao ; Robert H. Deng
A New Aspect of Dual Basis for Efficient Field Arithmetic / Chang-Hyi Lee ; Jong-In Lim
On the Security of Random Sources / Jean-Sébastien Coron
46.

図書

図書
Peter Zinterhof, Marian Vajteršic, Andreas Uhl (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999  xv, 604 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1557
所蔵情報: loading…
目次情報: 続きを見る
Parallel Numerics
Invited Talks
Teraflops Computing: A Challenge to Parallel Numerics? / F. Hossfeld
Non-standard Parallel Solution Strategies for Distributed Sparse Linear Systems / Y. Saad ; M. Sosonkina
Linear Algebra
Optimal Tridiagonal Solvers on Mesh Interconnection Networks / E.E. Santos
Parallel Pivots LU Algorithm on the Cray T3E / R. Asenjo ; E.L. Zapata
Experiments with Parallel One-Sided and Two-Sided Algorithms for SVD / M. Bečka ; S. Robert ; M. Vajteršic
Combined Systolic Array for Matrix Portrait Computation / G. Okša
Differential Equations and Interpolation
A Class of Explicit Two-Step Runge-Kutta Methods with Enlarged Stability Regions for Parallel Computers / H. Podhaisky ; R. Weiner
A Parallel Strongly Implicit Algorithm for Solution of Diffusion Equations / L. Halada ; M. Lucká
A Parallel Algorithm for Lagrange Interpolation on k-ary n-Cubes / H. Sarbazi-Azad ; L.M. Mackenzie ; M. Ould-Khaoua
(Quasi) Monte Carlo Methods
Parallel Quasi-Monte Carlo Integration Using (t,s)-Sequences / W.Ch. Schmid ; A. Uhl
Parallel Random Number Generation: Long-Range Correlations Among Multiple Processors / K. Entacher ; S. Wegenkittl
A Monte-Carlo Method with Inherent Parallelism for Numerical Solving Partial Differential Equations with Boundary Conditions / E. Hausenblas
Numerical Software
Blocking Techniques in Numerical Software / W.N. Gansterer ; D.F. Kvasnicka ; C.W. Ueberhuber
HPF and Numerical Libraries / H.J. Ehold
PARADEIS: An Object Library for Parallel Sparse Array Computation / F. Delaplace ; D. Remy
Numerical Applications
Performance Analysis and Derived Parallelization Strategy for a SCF Program at the Hartree Fock Level / S. Höfinger ; O. Steinhauser ; P. Zinterhof
Computational Issues in Optimizing Ophthalmic Lens / E. Fontdecaba ; J.M. Cela ; J.C. Dürsteler
Parallel Finite Element Modeling of Solidification Processes / R. Wyrzykovjski ; N. Sczygiol ; T. Olas ; J. Kanevski
Parallel Computing in Image Processing, Video Processing, and Multimedia
Architectural Approaches for Multimedia Processing / S. Panchanathan
On Parallel Reconfigurable Architectures for Image Processing / E. Pissaloux
Image Segmentation and Image Understanding
Parallel Multiresolution Image Segmentation with Watershed Transformation / A.N. Moga
Solving Irregular Inter-processor Data Dependency in Image Understanding Tasks / Y. Chung ; J.-W. Park
A New Parallelism Management Scheme for Multiprocessor Systems / X. Verians ; J.-D. Legat ; J.-J. Quisquater ; B. Macq
Motion Estimation and Block Matching
A Flexible VLSI Parallel Processing System for Block-Matching Motion Estimation in Low Bit-Rate Video Coding Applications / D. Xu ; R. Sotudeh
Hierarchical Block Matching Motion Estimation on a Hypercube Multiprocessor / C. Konstantopoulos ; A. Svolos ; C. Kaklamanis
Classification Based Speed-Up Methods for Fractal Image Compression on Multicomputers / J. Hämmerle
Accurate Motion Estimation in Image Sequences: Massive vs. Distributed Parallelism / L. Gatineau ; F. Meunier
Video Processing
A Real-Time Distributed Video Image Processing System on PC-Cluster / D. Arita ; Y. Hamada ; R. Taniguchi
Modeling and Scheduling for MPEG-4 Based Video Encoder Using a Cluster of Workstations / Y. He ; I. Ahmad ; M.L. Liou
Fractal Video Compression on Shared Memory Systems / A. Pommer
The Split-Proxy Approach: A New Architecture for Parallel Video Servers / G. De Pietro ; M. Lerro
Wavelet Techniques
A Wavelet Toolbox for Large Scale Image Processing / G. Uytterhoeven ; D. Roose ; A. Bultheel
Hardware and Software Aspects for 3-D Wavelet Decomposition on Shared Memory MIMD Computers / R. Kutil
On the Parallel Implementation of the Fast Wavelet Transform on MIMD Distributed Memory Environments / S. Corsaro ; L. D'Amore ; A. Murli
Algorithms and Programming Paradigms for 2-D Wavelet Packet Decomposition on Multicomputers and Multiprocessors / M. Feil
Real-Time Layered Video Compression Using SIMD Computation / M.V. Jensen ; B. Nielsen
Satellite Image Processing
Parallelisation of a Satellite Signal Processing Code - Strategies and Tools / I. Glendinning
MMIPPS- A Software Package for Multitemporal and Multispectral Image Processing on Parallel Systems / J. Janoth ; M.M. Eisl ; E.M. Bakker ; R.v. Sterkenburg ; R. Borgia ; S. Sabina ; F. Volpe
Parallel Matching of Synthetic Aperture Radar Images / A. Goller
General Aspects of Parallel Computation
Data Structures
Parallel Decomposition of Distance-Hereditary Graphs / S. Hsieh
Asynchronous Parallel Construction of Recursive Tree Hierarchies / D. Bartz ; W. Straßer
The Locality Property in Topological Irregular Graph Hierarchies / H. Kofler ; E.J. Haunschmid
Data Partitioning
Geometry-Aided Rectilinear Partitioning of Unstructured Meshes / R. Koppler
Reducing Cache Conflicts by a Parametrized Memory Mapping / D. Genius ; J. Eisenbiegler
Optimizing I/O for Irregular Applications on Distributed-Memory Machines / J. Carretero ; J. No ; A. Choudhary
Resource Allocation and Performance Analysis
Cellular Multiprocessor Arrays with Adaptive Resource Utilization / H.-J. Stolberg ; M. Ohmacht ; P. Pirsch
NOPE: A Nondeterministic Program Evaluator / D. Kranzlmütter ; J. Volkert
Visual-MCM: Visualizing Execution Histories on Multiple Memory Consistency Models / A.C. Melo ; S.C. Chagas
Cluster Computing
High Performance Implementation of MPI for Myrinet / M. Golebiewski ; M. Baum ; R. Hempel
Parallel Cluster Computing with IEEE1394-1995 / L. Böszörményi ; G. Hölzl ; E. Pirker
Simulating Load Balancing on Heterogenous Workstation Clusters / H. Hlavacs
Simulation and Applications
Global Virtual Time Approximation for Split Queue Time Warp / H. Hagenauer
MPI-parallelizied Radiance on SGI CoW and SMP / R. Koholka ; H. Mayer
Parallel Sub-collection Join Query Algorithms for a High Performance Object-Oriented Database Architecture / D. Taniar ; J.W. Rahayu
Posters
An Evaluation of Parallel Computing in PC Clusters with Fast Ethernet / M. Acacio ; O. Cánovas ; J.M. García ; P.E. López-de-Teruel
Parallel MPEG-2 Encoder on ATM and Ethernet-Connected Workstations / S.M. Akramullah
Block and Partitioned Neville Elimination / P. Alonso ; J.M. Peña
An Object-Oriented DataBase for Movie-on-Demand: Two Approaches / F. Amalfitano ; A. D'Acierno ; I. Marra ; L. Sansone
Parallel Tree Algorithms for N-body Simulations / V. Antonuccio-Delogu ; U. Becciani ; M. Gambera ; A. Pagliaro
Parallel Numerical Algorithms for Distributed Memory Machines / P. Bassomo ; I. Sakho ; A. Corhel
Dynamic Scheduling on a Network Heterogenous Computer System / J. Brest ; V. Žumer ; M. Ojsteršek
Interaction between PVM Parameters and Communication Performances on ATM Networks / M. Giordano ; M.M. Furnari ; F. Vitohello
How To Share a Divisible Load in a Hypercube / W. Glazek
Overlapped Four-Step FFT Computation / H. Karner
Design of a Parallel Processing System for Facial Image Retrieval / H. Lee ; K.-A. Moon
Inter-procedural Analysis for Parallelization of Java Programs / A. Magnaghi ; S. Sakai ; H. Tanaka
Fast Recursive Computation of Local Axial Moments by Using Primitive Kernel Functions / R. Palenichka
Speed Up Estimation for a Parallel Method for Systems of Linear Ordinary Differential Equations / M. Pavluš
Efficient Parallel Algorithms for Dense Cholesky Factorization / P.-Y. P. Chu
Author Index
Parallel Numerics
Invited Talks
Teraflops Computing: A Challenge to Parallel Numerics? / F. Hossfeld
47.

図書

図書
アーサー・ウェイリー [著] ; 加島祥造, 古田島洋介訳
出版情報: 東京 : 平凡社, 1999.3  381p ; 18cm
シリーズ名: 東洋文庫 ; 650
所蔵情報: loading…
48.

図書

図書
細井宜麻 [著] . 曾和直之進 [著]
出版情報: 東京 : 農山漁村文化協会, 1999.3  361, xiiip, 図版4p ; 22cm
シリーズ名: 日本農書全集 / 山田龍雄 [ほか] 編 ; 第40巻 . 地域農書||チイキ ノウショ ; 5
所蔵情報: loading…
49.

図書

図書
Christoph Meinel, Sophie Tison (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 582 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1563
所蔵情報: loading…
50.

図書

図書
Bruce Christianson ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  viii, 239 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1550
所蔵情報: loading…
目次情報: 続きを見る
Inductive Analysis of the Internet Protocol TLS / Lawrence C. Paulson
Discussion
External Consistency and the Veri cation of Security Protocols / Simon N. Foley
The Trust Shell Game / Carl Ellison
Overview of the AT&T Labs Trust-Management Project / Joan Feigenbaum
KeyNote: Trust Management for Public-Key Infrastructures / Matt Blaze ; Angelos D. Keromytis
Discussion - Trust Management
Application-Oriented Security Policies and Their Composition / Virgil D. Gligor ; Serban I. Gavrila
Secure Fingerprinting Using Public-Key Cryptography / Hiroshi Yoshiura ; Ryoichi Sasaki ; Kazuo Takaragi
Third Party Certi cation of HTTP Service Access Statistics / Francesco Bergadano ; Pancrazio De Mauro
Delegating Trust / William S. Harbison (Discussion)
Delegation of Responsibility / Bruno Crispo
Abuse of Process / Mark Lomas (Discussion)
A New Concept in Protocols: Veri able Computational Delegation / Peter Landrock
Delegation and Not-So Smart Cards / Bruce Christianson ; James A. Malcolm
Certi cation and Delegation / Michael Roe (Discussion)
Discussion - Di erences Between Academic and Commercial Security / Virgil Gligor ; Mark Lomas ; Raphael Yahalom ; John Warne
Optimistic Trust with Realistic eNvestigators
Insider Fraud / Dieter Gollmann
Panel Session - Future Directions / Stewart Lee ; Roger Needham
Contributor Index
Inductive Analysis of the Internet Protocol TLS / Lawrence C. Paulson
Discussion
External Consistency and the Veri cation of Security Protocols / Simon N. Foley
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼