930 search results - page 113 / 186 » Advanced Engineering Informatics |
116
Voted
DFN
2004
15 years 2 months ago
2004
: In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The...
112
Voted
IJIT
2004
15 years 2 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
140
click to vote
AVI
2010
15 years 1 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...
126
Voted
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
120
Voted
CONCURRENCY
2006
15 years 20 days ago
2006
In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The ...