3943 search results - page 704 / 789 » Architecture-Level Requirements Specification |
125
Voted
SEAL
1998
Springer
15 years 8 months ago
1998
Springer
The allocation of office space in any large institution is usually a problematical issue, which often demands a substantial amount of time to perform manually. The result of this a...
129
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...
115
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
A broad spectrum of data is available on the Web in distinct heterogeneous sources, and stored under different formats. As the number of systems that utilize this heterogeneous da...
134
click to vote
WAN
1998
Springer
15 years 8 months ago
1998
Springer
In this paper the Northrhine-Westphalian metacomputing initiative is described. We start by discussing various general aspects of metacomputing and explain the reasons for founding...
114
Voted
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...