ESPRIT '88: Putting the Technology to Use : Proceedings of the 5th Annual ESPRIT Conference, Brussels, November 14-17, 1988, Part 2North-Holland, 1988 - 1759 pages |
From inside the book
Results 1-3 of 71
Page 941
Multivaluedness is always assumed by default, as this has the advantage that the
structure of the output is determined by the Select clause of a query (even if
inference is used) and not by the details of the schema. This benefits beginners,
and ...
Multivaluedness is always assumed by default, as this has the advantage that the
structure of the output is determined by the Select clause of a query (even if
inference is used) and not by the details of the schema. This benefits beginners,
and ...
Page 1216
The specification does, however, ensure that the buffer is capable of holding at
least one element. process buffer [input, output] : noexit := buff [input, output] (
empty) where process buff [input, output] (b:bsort) : no exit := ibuff [input, ...
The specification does, however, ensure that the buffer is capable of holding at
least one element. process buffer [input, output] : noexit := buff [input, output] (
empty) where process buff [input, output] (b:bsort) : no exit := ibuff [input, ...
Page 1217
... output] : no exit := hide b in ( btype [b] | [b] I buff [input, output, b] ) endproc type
ctype sorts command opns full, notempty, addto, frontof, restof: -> command
endtype process buff [input, output, b] : no exit := ( b : notempty false; ibuff [input, ...
... output] : no exit := hide b in ( btype [b] | [b] I buff [input, output, b] ) endproc type
ctype sorts command opns full, notempty, addto, frontof, restof: -> command
endtype process buff [input, output, b] : no exit := ( b : notempty false; ibuff [input, ...
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Client Design for the MULTOS Multimedia Office Filing System | 893 |
Speech Integration in an Office Demonstrator Project | 906 |
Natural Language Dialogue in an Office Environment Project | 917 |
Copyright | |
57 other sections not shown
Other editions - View all
Common terms and phrases
abstract activities algorithm allows analysis application architecture basic CCITT CFRV client CNMA COMANDOS communication complex components concept database defined described Directory Discrete Cosine Transform distributed document processing domain entities environment ESPRIT Project evaluation factors FAOR Figure format functions gateway graphical hardware implementation input integration interaction internal invocation kernel language layout logical LOTOS machine manufacturing mapped Mbit/s messages method methodology module node object oriented office information system operating system packet PANGLOSS performance Petri nets phase planning possible predicates procedure processors production programming protocol query QUIPU reference requirements ring robot scheme selection semantics server SGML slot specification standard structure subnetworks subsystem task techniques token ring UCOL UNIX uptake user interface workcells workstation X Window System