6274 search results - page 962 / 1255 » Proofs, Programs, Processes |
142
click to vote
ICSOC
2005
Springer
15 years 8 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
121
click to vote
PVM
2005
Springer
15 years 8 months ago
2005
Springer
We present design and implementation details as well as performance results for two new parallel checkpointing libraries developed by us for parallel MPI applications. The first o...
118
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
128
click to vote
GRAPHITE
2004
ACM
15 years 8 months ago
2004
ACM
Growing demand for ubiquitous and pervasive computing has triggered a sharp rise in handheld device usage. At the same time, dynamic multimedia data has become accepted as core ma...
168
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...