1888 search results - page 123 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
197
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
117
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
137
Voted
JSS
2008
15 years 1 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
134
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– Our recent work on robotic surgical assistant systems has led us to develop a method to generate spatial motion constraints associated with complex 3D geometry for controlling ...
111
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...