5726 search results - page 887 / 1146 » Supporting annotations on relations |
158
click to vote
RTSS
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
222
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
212
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
TID hash joins are a simple and memory-efficient method for processing large join queries. They are based on standard hash join algorithms but only store TID/key pairs in the hash...
191
click to vote
ICSE
1993
IEEE-ACM
15 years 10 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
165
click to vote
ECHT
1992
15 years 10 months ago
1992
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...