4463 search results - page 799 / 893 » computing 2000 |
115
Voted
EWC
2000
15 years 2 months ago
2000
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...
107
click to vote
EWC
2000
15 years 2 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
FAC
2000
15 years 2 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
104
Voted
FGCS
2000
15 years 2 months ago
2000
This paper focuses on parallel query optimization. We consider the operator problem and introduce a new class of execution strategies called Linear-Oriented Bushy Trees (LBTs). Co...
96
Voted
FUIN
2000
15 years 2 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...