14190 search results - page 2767 / 2838 » Abstractions for hybrid systems |
120
click to vote
SAG
2004
Springer
15 years 3 months ago
2004
Springer
Grid workflows can be seen as special scientific workflows involving high performance and/or high throughput computational tasks. Much work in grid workflows has focused on improvi...
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
WISA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Cryptographic algorithms are used in a large variety of different applications to ensure security services. It is, thus, very interesting to investigate various implement...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
HPDC
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. We present PlanetP, a peer-to-peer (P2P) content search and retrieval infrastructure targeting communities wishing to share large sets of text documents. P2P computing is...