1894 search results - page 282 / 379 » A TLA Proof System |
146
click to vote
ECOOP
2007
Springer
16 years 8 days ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
161
click to vote
MSWIM
2006
ACM
16 years 2 days ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
136
click to vote
HPDC
2005
IEEE
15 years 11 months ago
2005
IEEE
Information dissemination is a fundamental and frequently occuring problem in large, dynamic, distributed systems. We propose a novel approach to this problem, interest-aware info...
171
click to vote
WPES
2004
ACM
15 years 11 months ago
2004
ACM
Quite often on the Internet, cryptography is used to protect private, personal communications. However, most commonly, systems such as PGP are used, which use long-lived encryptio...
149
click to vote
PCM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...