6201 search results - page 1031 / 1241 » Implementation of Axiomatic Language |
163
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
179
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
172
click to vote
ICMI
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents Latent Semantic Googling, a variant of Landauer’s Latent Semantic Indexing that uses the Google search engine to judge the semantic closeness of sets of word...
162
click to vote
ISW
2005
Springer
16 years 2 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
160
click to vote
KES
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes a lightweight middleware agent framework (LAF) for coordinating a large array of computers with attached cameras to construct high resolution video-rate image ...