5588 search results - page 805 / 1118 » Parallel Implementation of Bags |
183
click to vote
CSFW
2005
IEEE
16 years 27 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 ...
207
click to vote
EDOC
2005
IEEE
16 years 27 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...
208
click to vote
ESCIENCE
2005
IEEE
16 years 27 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...
197
click to vote
ESCIENCE
2005
IEEE
16 years 27 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...
182
click to vote
FCCM
2005
IEEE
16 years 27 days ago
2005
IEEE
In many image processing applications, fast convolution of an image with a large 2D filter is required. Field Programable Gate Arrays (FPGAs) are often used to achieve this goal ...