1170 search results - page 88 / 234 » Between ends and fibers |
CCR
2000
14 years 11 months ago
2000
We propose an enhancement to TCP's error recovery scheme, which we call the Eifel algorithm. It eliminates the retransmission ambiguity, thereby solving the problems caused b...
ENTCS
2002
14 years 11 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
116
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
KES
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents a high level view of a project which aims at improving the communication between people who do not share the same language by using a 3D animation upper layer t...