7623 search results - page 861 / 1525 » Constructive Volume Modeling |
190
click to vote
BIRTHDAY
2005
Springer
16 years 25 days ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
169
click to vote
DSOM
2005
Springer
16 years 24 days ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
158
click to vote
GECCO
2005
Springer
16 years 24 days ago
2005
Springer
Evolutionary computation is used to construct undetectable computer attack scripts. Using a simulated operating system, we show that scripts can be evolved to cover their tracks a...
198
Voted
INDOCRYPT
2005
Springer
16 years 23 days ago
2005
Springer
In this paper we design several double length hash functions and study their security properties in the random oracle model. We design a class of double length hash functions (and ...
194
click to vote
MATA
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...