1676 search results - page 217 / 336 » Coordination for Distributed Business Systems |
IEEESCC
2005
IEEE
15 years 3 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 ...
WICSA
2004
14 years 11 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...
AIS
2000
Springer
14 years 10 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...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
ATAL
2005
Springer
15 years 3 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...