Sciweavers

Share
2 search results - page 1 / 1
» On Freeze LTL with Ordered Attributes
Sort
View
FOSSACS
2016
Springer
4 years 4 months ago
On Freeze LTL with Ordered Attributes
This paper is concerned with Freeze LTL, a temporal logic on data words with registers. In a (multi-attributed) data word each position carries a letter from a finite alphabet and...
Normann Decker, Daniel Thoma
INFOCOM
2000
IEEE
10 years 12 days ago
Freeze-TCP: A True End-to-End TCP Enhancement Mechanism for Mobile Environments
Abstract— Optimizing TCP (Transport Layer) for mobility has been researched extensively. We present a brief summary of existing results which indicates that most schemes require ...
Tom Goff, James Moronski, Dhananjay S. Phatak, Vip...
books