3148 search results - page 289 / 630 » On the Dynamic Initialization of Parallel Computers |
137
Voted
FTDCS
2004
IEEE
15 years 7 months ago
2004
IEEE
A lot of recent work has dealt with improving performance of content searching in peer-to-peer file sharing systems. In this paper we attack this problem by modifying the overlay ...
117
Voted
CW
2006
IEEE
15 years 7 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...
153
Voted
CW
2005
IEEE
15 years 5 months ago
2005
IEEE
In the recent years, the usage of 3D cyberworlds for educational purposes has increased. The metaphors behind the design of virtual places are quite diverse, from replication of r...
130
Voted
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
128
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...