3153 search results - page 511 / 631 » Programming the Grid: Component Systems for Distributed Appl... |
107
click to vote
IPPS
2006
IEEE
15 years 9 months 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...
133
click to vote
ISSTA
2004
ACM
15 years 9 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...
127
Voted
KCAP
2009
ACM
15 years 10 months 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...
122
Voted
AICCSA
2005
IEEE
15 years 9 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...
149
Voted
AUTONOMICS
2007
ACM
15 years 7 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...