788 search results - page 100 / 158 » Coordination support in multi-agent systems |
156
click to vote
IEEESCC
2005
IEEE
15 years 12 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 ...
161
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...
139
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper? provides a description of our Network Time Interface M-Module NTI supporting high-accuracy external clock synchronization by hardware. The NTI is built around our custo...
168
click to vote
HICSS
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper we propose a framework that can be used for the implementation of reliable multi database system communication protocols. The framework provides transactions on shar...
164
click to vote
ECSCW
2003
15 years 7 months ago
2003
While tourism presents considerable potential for the use of new mobile technologies, we currently have little understanding of how tourists organise their activities or of the pro...