4809 search results - page 361 / 962 » Scalable Analysis of Scalable Systems |
194
Voted
FMCO
2009
Springer
15 years 5 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
248
click to vote
CLUSTER
2010
IEEE
14 years 11 months ago
2010
IEEE
Many-task computing aims to bridge the gap between two computing paradigms, high throughput computing and high performance computing. Many-task computing denotes highperformance co...
198
click to vote
ERCIMDL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Decomate project enables mutual access to heterogeneous, distributed, and pooled digital resources of consortium members. Using a mediator architecture with a Broker ...
345
Voted
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
Abstract-- Scientific workflow management systems are increaingly providing the ability to manage and query the provenance of data products. However, the problem of differencing th...
231
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
— IP traffic measurements form the basis of several network management tasks, such as accounting, planning, intrusion detection, and charging. High-speed network links challenge ...