6381 search results - page 277 / 1277 » Alternative Implementation of the C |
173
click to vote
UIST
2003
ACM
16 years 20 days ago
2003
ACM
People use their awareness of others' temporal patterns to plan work activities and communication. This paper presents algorithms for programatically detecting and modeling t...
180
click to vote
BIRTHDAY
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
193
click to vote
IPTPS
2003
Springer
16 years 18 days ago
2003
Springer
Considerable research effort has recently been devoted to the design of structured peer-to-peer overlays, a term we use to encompass Content-Addressable Networks (CANs), Distribut...
183
click to vote
JAVA
2001
Springer
15 years 12 months ago
2001
Springer
Compile-time program optimizations are similar to poetry: more are written than are actually published in commercial compilers. Hard economic reality is that many interesting opti...
213
click to vote
NDSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Suppose that messages have been signed using a user's signature private key during the period of time after a key compromise but before the compromise is detected. This is a ...