9626 search results - page 1371 / 1926 » Invariant Based Programming |
206
click to vote
CCS
2005
ACM
16 years 19 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
176
click to vote
CIE
2005
Springer
16 years 19 days ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
149
click to vote
CIKM
2005
Springer
16 years 19 days ago
2005
Springer
In this paper, we propose a novel framework using Genetic Programming to combine image database descriptors for content-based image retrieval (CBIR). Our framework is validated th...
183
click to vote
COCOON
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. The infrastructure for mobile distributed tasks is often formed by cellular networks. One of the major issues in such networks is interference. In this paper we tackle in...
174
click to vote
COORDINATION
2005
Springer
16 years 19 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...