20066 search results - page 327 / 4014 » T Spaces |
160
Voted
SSS
2009
Springer
15 years 11 months ago
2009
Springer
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we are interested in message forwarding problem in a m...
175
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
A turbo code has been included in the new CCSDS channel coding standard for space telemetry. Many future missions with critical link budgets will benefit of its large coding gain. ...
196
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Thispaper describes our design and implementation of a computer augmented environment that allows users to smoothly interchange digital information among their portable computers,...
163
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
As computer networks improve, more social and work interactions are carried out "virtually" by geographically separated group members. In this paper we discuss the desig...
189
Voted
SAS
1999
Springer
15 years 11 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...