5553 search results - page 800 / 1111 » Parallel Implementation of Sch |
139
Voted
CCGRID
2005
IEEE
16 years 10 days 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 ...
174
click to vote
CSFW
2005
IEEE
16 years 10 days 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 ...
186
click to vote
EDOC
2005
IEEE
16 years 10 days 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...
193
click to vote
ESCIENCE
2005
IEEE
16 years 10 days 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...
170
click to vote
ESCIENCE
2005
IEEE
16 years 10 days 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...