4859 search results - page 593 / 972 » Distributed Computing in a Heterogeneous Computing Environme... |
131
Voted
IEEESCC
2005
IEEE
15 years 10 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
CCGRID
2002
IEEE
15 years 10 months ago
2002
IEEE
There is an increasing interest in integrating Javabased, and in particular Jini systems, with the emerging Grid infrastructures. In this paper we explore various ways of integrat...
158
Voted
HPDC
2000
IEEE
15 years 9 months ago
2000
IEEE
Split execution is a common model for providing a friendly environment on a foreign machine. In this model, a remotely executing process sends some or all of its system calls back...
117
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
135
click to vote
CW
2006
IEEE
15 years 8 months ago
2006
IEEE
In addition to established methods, the treatment of mental disorders using Virtual Reality Exposure Therapy is becoming commonplace. We present an approach, which extends this co...