5465 search results - page 446 / 1093 » Assigning Types to Processes |
153
click to vote
ASIAN
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
161
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
Optimal resource scheduling in multiagent systems is a computationally challenging task, particularly when the values of resources are not additive. We consider the combinatorial ...
153
click to vote
CLEF
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper we report results of experiments conducted with strategies for improving text-based image retrieval. The adopted strategies were evaluated in the photograph...
146
Voted
CP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Stochastic Local Search (SLS) is a simple and effective paradigm for attacking a variety of Combinatorial (Optimization) Problems (COP). However, it is often non-trivial...
142
click to vote
DSOM
2007
Springer
16 years 10 days ago
2007
Springer
As service providers strive to improve the quality and efficiency of their IT (information technology) management services, the need to adopt a standard set of tools and processes...