627 search results - page 118 / 126 » integration 1998 |
SIGOPSE
1998
ACM
13 years 11 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
SIGSOFT
1998
ACM
13 years 11 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
FQAS
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...
FTRTFT
1998
Springer
13 years 11 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
HPCN
1998
Springer
13 years 11 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...