Sciweavers

4400 search results - page 298 / 880
» A proposal for parallel self-adjusting computation
Sort
View
EDO
2000
Springer
15 years 10 months ago
Migrating and Specifying Services for Web Integration
With the explosive growth of the Internet, businesses of all sizes aim on applying e-business solutions to their IT infrastructures, migrating their legacy business processes into ...
Ying Zou, Kostas Kontogiannis
CONCUR
1991
Springer
15 years 10 months ago
Real Space Process Algebra
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
Jos C. M. Baeten, Jan A. Bergstra
CONCUR
2010
Springer
15 years 8 months ago
A Logic for True Concurrency
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
Paolo Baldan, Silvia Crafa
GRID
2008
Springer
15 years 7 months ago
An integrated resource management and scheduling system for grid data streaming applications
Grid data streaming applications are novel from others in that they require real-time data supply while the processing is going on, which necessitates harmonious collaborations am...
Wen Zhang, Junwei Cao, Yisheng Zhong, Lianchen Liu...
CCGRID
2010
IEEE
15 years 7 months ago
Dynamic Resource Pricing on Federated Clouds
Current large distributed systems allow users to share and trade resources. In cloud computing, users purchase different types of resources from one or more resource providers usi...
Marian Mihailescu, Yong Meng Teo