9626 search results - page 1639 / 1926 » Invariant Based Programming |
219
click to vote
DFKI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
191
click to vote
EDCC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
173
click to vote
EGC
2005
Springer
16 years 5 days ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...
179
click to vote
EGC
2005
Springer
16 years 5 days ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
158
click to vote
EMO
2005
Springer
16 years 5 days ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...