1256 search results - page 169 / 252 » On Coordinated Checkpointing in Distributed Systems |
124
click to vote
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
127
click to vote
WICSA
2004
15 years 5 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
132
click to vote
AIS
2000
Springer
15 years 3 months ago
2000
Springer
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
121
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Groups of collaborative agents within organizations need to create group awareness in order to act as a single entity. The notion of collective belief, which has been used extensi...
160
click to vote
ISCIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...