Digest of papers : the Fifteenth Annual International Symposium on Fault-Tolerant Computing : FTCS 15, June 19-21, 1985, Horace H. Rackham Building, the University of Michigan, Ann Arbor, Michigan, USA

>> Google Books

所蔵情報QRコード

Digest of papers : the Fifteenth Annual International Symposium on Fault-Tolerant Computing : FTCS 15, June 19-21, 1985, Horace H. Rackham Building, the University of Michigan, Ann Arbor, Michigan, USA / sponsored by the IEEE Computer Society's Technical Committee on Fault-Tolerant Computing, in cooperation with Department of Electrical Engineering and Computer Science, the University of Michigan and IFIP Working Group 10.4 on Reliable Computing and Fault-Tolerance

資料種別:

図書

出版情報:

Silver Spring, MD : IEEE Computer Society Press, c1985

形態:

xvii, 445 p. ; 28 cm

著者名:

ISBN:

9780818606182 [0818606185] (: pbk)
9780818686184 [0818686189] (: hard)

書誌ID:

BA06889798

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:

The Fifteenth Annual International Symposium on Fault-Tolerant Computing
FTCS 15

ISSN:

07313071

注記:

"IEEE catalog number 85CH2143-6."
"IEEE Computer Society order number 618."
Includes bibliographies and index

主題:

Fault-tolerant computing--Congresses

言語:

英語

目次情報:

Foreword

Program Committee

A Model for Visualizing Large Answers in WWW Retrieval / O. Alonso ; R. Baeza-Yates

Query Evaluation in Almost Consistent Databases using Residues / M. Arenas ; L. Bertossi ; J. Chomicki

Formalising the Software Evaluation Process / J. Ares ; O. Dieste ; R. Garcia ; M. Lopez ; S. Rodriguez

Software Architectural Specification for Optimal Object Distribution / M. Bastarrica ; S. Demurjian ; A. Shvartsman

Specifying Active Databases in the Situation Calculus / J. Pinto ; R. Valdivia

Intelligent Management of Computer Networks: The GIR Proposal / A. Britto Jr. ; E. Paraiso ; E. Scalabrin ; C. Kaestner ; B. Avila

On a Tree-like Representation for Symbolic-Numeric Data and its use in Galois Lattice Method / M. Daniel-Vatonne ; C. Hemce

Workflow Modeling: Exception and Failure Handling Representation / N. Edelweiss ; M. Nicolao

Dynamic Programming as Frame for Efficient Parsing / M. Ferro ; D. Souto ; M. Pardo

The Use of Agents Techniques on Intelligent Tutoring Systems / L. Giraffa ; R. Viccari

Meta Data Support for Evolutionary Software Systems / R. Kutsche ; A. Sunbul

An Improvement of the Guajardo-Paar Method for Multiplication on Non-Supersingular Elliptic Curves / J. Lopez ; R. Dahab

Rationality Postulates for Relevance Relations / A. Maguitman ; G. Simari

Resurrecting Ada's Rendez-Vous in Java / L. Mateu ; J. Piquer ; J. Leon

Analyzing Performance of Cache Server Hierarchies / W. Meira Jr. ; E. Fonseca ; C. Murta ; V. Almeida

An Adaptive Model for Programming Distributed Real-Time Applications in CORBA / C. Montez ; R. Oliveira ; J. Fraga

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design / C. Pons ; G. Baum ; M. Felder

Clipping: A Technique for Improving Retrieval Performance / B. Ribeiro-Neto ; G. Guimaraes ; I. Silva

Parallel Generation of Inverted Files for Distributed Text Collections / J. Kitajima ; G. Navarro ; C. Sant'Ana ; N. Ziviani

Evolutionary Algorithms for Constraint Satisfaction Problems / M. Riff

AMACA: A Multi-Agent Collaborative Architecture / J. Sagula ; M. Puricelli ; G. Bobeff ; G. Martin ; M. Milrad

Behavior of Keys in Random Databases / O. Seleznjev ; B. Thalheim

Automatic Verification of Hybrid Systems: An Audio Control Protocol / L. Sierra

Tool Support for Helping the use of Frameworks / R. Silva ; R. Price

Constraints in Generalization Structures in Conceptual Database Schemes / M. Varas ; R. Contreras ; D. Campos

Index of Authors

Foreword

Program Committee

A Model for Visualizing Large Answers in WWW Retrieval / O. Alonso ; R. Baeza-Yates

Query Evaluation in Almost Consistent Databases using Residues / M. Arenas ; L. Bertossi ; J. Chomicki

Formalising the Software Evaluation Process / J. Ares ; O. Dieste ; R. Garcia ; M. Lopez ; S. Rodriguez

Software Architectural Specification for Optimal Object Distribution / M. Bastarrica ; S. Demurjian ; A. Shvartsman

続きを見る

東工大ブックレビュー

類似資料:

1 図書 The Nineteenth International Symposium on Fault-Tolerant Computing : digest of papers : FTCS-19 (: pbk. ; : case) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society IEEE Computer Society Press	7 図書 Digest of papers : FTCS 12th Annual International Symposium on Fault-Tolerant Computing, June 22-24, 1982, Miramar Sheraton Hotel, Santa Monica, California International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … The Institute of Electrical and Electronics Engineers
2 図書 Digest of papers : Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, June 15-18, 1999, Madison, Wisconsin, USA (: soft ; : case) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society	8 図書 Digest of papers : FTCS-10, October 1-3, 1980 : the 10th International Symposium on Fault-Tolerant Computing, Kyoto, Japan International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE
3 図書 The Fourteenth International Conference on Fault-Tolerant Computing : digest of papers : FTCS-14, June 20-22, 1984, Hyatt Orlando Hotel, Kissimmee, Florida USA (: pbk. ; : case) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society Press	9 図書 Digest of papers : 16th Annual International Symposium on Fault-Tolerant Computing Systems : FTCS 16, Vienna, Austria, 1-4 July, 1986 (: pbk ; : case) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society Press
4 図書 Digest of papers : the Seventeenth International Symposium on Fault-Tolerant Computing : FTCS 17 : Fault-Tolerant Computing Symposium, July 6-8, 1987, Sheraton … (paper ; microfiche ; case) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society Press	10 図書 Digest of papers : Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, June 23-25, 1998, Munich, Germany (: pbk ; : case) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society
5 図書 Digest of papers : the Twenty-Third International Symposium on Fault-Tolerant Computing : FTCS 23, June 22-24, 1993, Toulouse, France (: paper ; : case ; : microfiche) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society Press	11 図書 Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing : digest of papers, June 24-27, 1997, Seattle, Washington (: case ; : pbk. ; : microfiche) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society Press
6 図書 Digest of papers : the Twenty-Fourth International Symposium on Fault-Tolerant Computing, June 15-17, 1994, Austin, Texas (: paper ; : case ; : microfiche) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society Press	12 図書 Digest of papers : the Twenty-Fifth International Symposium on Fault-Tolerant Computing, June 27-30, 1995, Pasadena, California (: softbound ; : casebound ; : microfiche) International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society Press