Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818686162

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rationality postulates for relevance relations

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730788 ◽

2002 ◽

Author(s):

A.G. Maguitman ◽

G.R. Simari

Keyword(s):

Rationality Postulates

Download Full-text

On a tree-like representation for symbolic-numeric data and its use in Galois lattice method

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730782 ◽

2002 ◽

Cited By ~ 1

Author(s):

M.C. Daniel-Vatonne ◽

C. Hemce

Keyword(s):

Lattice Method ◽

Galois Lattice ◽

Numeric Data

Download Full-text

A dynamic logic model for the formal foundation of object-oriented analysis and design

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730792 ◽

2002 ◽

Author(s):

C. Pons ◽

G. Baum ◽

M. Felder

Keyword(s):

Dynamic Logic ◽

Object Oriented ◽

Logic Model ◽

Analysis And Design ◽

Object Oriented Analysis

Download Full-text

Automatic verification of hybrid systems: an audio control protocol

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730798 ◽

2002 ◽

Author(s):

L.R.S. Abbate

Keyword(s):

Hybrid Systems ◽

Automatic Verification ◽

Control Protocol ◽

Verification Of Hybrid Systems

Download Full-text

Software architectural specification for optimal object distribution

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730779 ◽

2002 ◽

Cited By ~ 3

Author(s):

M.C. Bastarrica ◽

S.A. Demurjian ◽

A.A. Shvartsman

Download Full-text

Analyzing performance of cache server hierarchies

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730790 ◽

2002 ◽

Cited By ~ 3

Author(s):

W. Meira ◽

E. Fonseca ◽

C. Murta ◽

V. Almeida

Download Full-text

Dynamic programming as frame for efficient parsing

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730784 ◽

2002 ◽

Cited By ~ 1

Author(s):

M.V. Ferro ◽

D.C. Souto ◽

M.A.A. Pardo

Keyword(s):

Dynamic Programming

Download Full-text

AMACA: a multi-agent collaborative architecture

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730796 ◽

2002 ◽

Author(s):

J.E. Sagula ◽

M.F. Puricelli ◽

G.J. Bobeff ◽

G.M. Martin ◽

M.F. Milrad

Keyword(s):

Multi Agent

Download Full-text

Formalising the software evaluation process

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730778 ◽

2002 ◽

Author(s):

J.M. Ares Casal ◽

O. Dieste Tubio ◽

R. Garcia Vazquez ◽

M. Lopez Fernandez ◽

S. Rodriguez Yanez

Keyword(s):

Evaluation Process ◽

Software Evaluation

Download Full-text

Resurrecting Ada's Rendez-Vous in Java

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) ◽

10.1109/sccc.1998.730789 ◽

2002 ◽

Cited By ~ 1

Author(s):

L. Mateu ◽

J.M. Piquer ◽

J. Leon

Download Full-text

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Rationality postulates for relevance relations

On a tree-like representation for symbolic-numeric data and its use in Galois lattice method

A dynamic logic model for the formal foundation of object-oriented analysis and design

Automatic verification of hybrid systems: an audio control protocol

Software architectural specification for optimal object distribution

Analyzing performance of cache server hierarchies

Dynamic programming as frame for efficient parsing

AMACA: a multi-agent collaborative architecture

Formalising the software evaluation process

Resurrecting Ada's Rendez-Vous in Java

Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212)
Latest Publications