2850 search results - page 286 / 570 » On Timed Models and Full Abstraction |
160
click to vote
BIOWIRE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this chapter we survey the most recent proposals for modelling user mobility in mobile pervasive networks, and specifically in opportunistic networks. We identify two...
162
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
167
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
163
click to vote
NETWORKING
2004
15 years 8 months ago
2004
Abstract. This paper studies the impact of variable transmission delays on the Transmission Control Protocol (TCP). Sudden delay variations, which are not uncommon in mobile networ...
209
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...