3602 search results - page 4 / 721 » Isn't It About Time |
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
CSCW
2011
ACM
13 years 2 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
CIDR
2011
12 years 11 months ago
2011
Organizations like the Internet Archive have been capturing Web contents over decades, building up huge repositories of time-versioned pages. The timestamp annotations and the she...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—To better support interactive applications, individual network operators are decreasing the timers that affect BGP convergence, leading to greater diversity in the timer setting...
PADS
1997
ACM
13 years 11 months ago
1997
ACM
This paper is a reminder of the danger of allowing \risk" when synchronizing a parallel discrete-event simulation: a simulation code that runs correctly on a serial machine m...