4586 search results - page 575 / 918 » Computing stable models in parallel |
148
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
158
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
129
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
Data replication is one of the key components in data grid architecture as it enhances data access and reliability and minimises the cost of data transmission. In this paper, we a...
114
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The Storage Exchange (SX) is a new platform allowing storage to be treated as a tradeable resource. Organisations with varying storage requirements can use the SX platfor...
133
click to vote
GCC
2006
Springer
15 years 8 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...