42 search results - page 3 / 9 » Can complexity science support the engineering of critical n... |
ICCS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Grids should not just be facilitating advances in science and engineering; rather they should also be making an impact on our daily lives by enabling sophisticated applic...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
DIMVA
2004
13 years 7 months ago
2004
: Large Critical Complex Infrastructures are increasingly dependent on IP networks. Reliability by redundancy and tolerance are an imperative for such dependable networks. In order...
CORR
2011
Springer
13 years 23 days ago
2011
Springer
Complex networks have been characterised by their specific connectivity patterns (network motifs), but their building blocks can also be identified and described by node-motifs—...
SOSP
2005
ACM
14 years 2 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...