6722 search results - page 1141 / 1345 » Reuse-Conducive Development Environments |
118
Voted
HPCN
1999
Springer
15 years 8 months ago
1999
Springer
We describe a prototypical storage service through which we are addressing some of the open storage issues in wide-area distributed high-performance computing. We discuss some of t...
110
Voted
ICDT
1999
ACM
15 years 8 months ago
1999
ACM
In data integration systems, queries posed to a mediator need to be translated into a sequence of queries to the underlying data sources. In a heterogeneous environment, with sour...
129
Voted
ICIAP
1999
ACM
15 years 8 months ago
1999
ACM
The auroral emissions observed in the high-latitude regions encircling the magnetic poles are a key element in studying plasmaphysical processes in the near-Earth space, the magne...
98
Voted
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
159
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...