35419 search results - page 33 / 7084 » How are we doing |
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
— To ensure the security of sensitive Web content, an organization must use TLS and do so correctly. However, little is known about how TLS is actually used on the Web. In this w...
FMCAD
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
SIGUCCS
2000
ACM
14 years 25 days ago
2000
ACM
This paper will discuss how the Information Services Client Services group facilitates the support of campus computer labs. It will discuss how one group consisting of three full-...
PPDP
2001
Springer
14 years 27 days ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
ECSCW
2001
13 years 9 months ago
2001
: "Text messaging" -- using a mobile phone to send a message -- has changed how teenagers use wireless phones to communicate and coordinate. While the media reports rapid...