5401 search results - page 166 / 1081 » Using Versions in GIS |
135
click to vote
SP
1997
IEEE
15 years 7 months ago
1997
IEEE
Encrypted Key Exchange (EKE) [1, 2] allows two parties sharing a password to exchange authenticated information over an insecure network by using a combination of public and secre...
123
click to vote
TON
1998
15 years 3 months ago
1998
This paper describes the analysis, implementation and performance of a new algorithm engineered to discipline a computer clock to a source of standard time, such as a GPS receiver...
166
click to vote
TSE
2011
14 years 11 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
140
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper describes a multi-user version of the "Virtual Raft Project" being exhibited in the Interactivity Program at CHI 2005. The Virtual Raft Project is an interact...
147
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...