152 search results - page 24 / 31 » Towards the Explanation of Workflows |
AMAST
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ATAL
2003
Springer
14 years 21 days ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
DEXAW
2002
IEEE
14 years 13 days ago
2002
IEEE
Cultural institutions increasingly see the need to play an important role in the lifelong learning of citizens. Recent trends, particularly in science museums, have been toward su...
ATAL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. In distributed resource allocation a set of agents must assign their resources to a set of tasks. This problem arises in many real-world domains such as distributed senso...
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...