5553 search results - page 800 / 1111 » Parallel Implementation of Sch |
154
click to vote
CCGRID
2005
IEEE
16 years 1 months ago
2005
IEEE
Efficient memory allocation and data transfer for cluster-based data-intensive applications is a difficult task. Both changes in cluster interconnects and application workloads ...
189
Voted
CSFW
2005
IEEE
16 years 1 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
214
Voted
EDOC
2005
IEEE
16 years 1 months ago
2005
IEEE
The web services architecture came as answers to the search for interoperability among applications. In recent years there has been a growing interest in deploying on the Internet...
211
Voted
ESCIENCE
2005
IEEE
16 years 1 months ago
2005
IEEE
Workflow is an important enabling technology for eScience. Research into workflow systems for eScience has yielded several specialized workflow engines. In this paper we investiga...
199
Voted
ESCIENCE
2005
IEEE
16 years 1 months ago
2005
IEEE
The Taverna e-Science Workbench is a central component of myGrid, a loosely coupled suite of middleware services designed to support in silico experiments in biology. Taverna enab...