391 search results - page 35 / 79 » A Generic Execution Management Framework for Scientific Appl... |
PST
2008
15 years 1 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
121
click to vote
CBMS
2009
IEEE
15 years 3 months ago
2009
IEEE
Resource-intensive and complex medical imaging applications can benefit from the use of scientific workflow technology for their design, rapid implementation and reuse, but at the...
ASAP
2007
IEEE
15 years 6 months ago
2007
IEEE
Though all of the current main-stream OSs have supported superpage to some extent, most of them need runtime information provided by applications, simulator or other tools. Transp...
172
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
112
click to vote
ICWE
2009
Springer
15 years 6 months ago
2009
Springer
The lack of QoS attributes and their values is still one of the fundamental drawbacks of web service technology. Most approaches for modelling and monitoring QoS and web service pe...