3153 search results - page 511 / 631 » Programming the Grid: Component Systems for Distributed Appl... |
142
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
175
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
164
click to vote
KCAP
2009
ACM
16 years 26 days ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...
157
click to vote
AICCSA
2005
IEEE
15 years 12 months ago
2005
IEEE
Detection and self-protection against viruses, worms, and network attacks is urgently needed to protect network systems and their applications from catastrophic failures. Once a n...
179
click to vote
AUTONOMICS
2007
ACM
15 years 10 months ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...