Sciweavers

6020 search results - page 574 / 1204
» A New Approach to Model Counting
Sort
View
ROBOCOMM
2007
IEEE
16 years 1 months ago
Information-theoretic integration of sensing and communication for active robot networks
Abstract—This paper presents an information-theoretic approach to sensor placement that incorporates communication capacity into an optimal formulation. A new formulation is pres...
Eric W. Frew
CRYPTO
2007
Springer
116views Cryptology» more  CRYPTO 2007»
16 years 1 months ago
Random Oracles and Auxiliary Input
We introduce a variant of the random oracle model where oracle-dependent auxiliary input is allowed. In this setting, the adversary gets an auxiliary input that can contain informa...
Dominique Unruh
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
16 years 1 months ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
GECCO
2005
Springer
120views Optimization» more  GECCO 2005»
16 years 21 days ago
Using predators and preys in evolution strategies
This poster presents an evolution strategy for single- and multi-objective optimization. The model uses the predatorprey approach from ecology to scale between both cases. Further...
Karlheinz Schmitt, Jörn Mehnen, Thomas Michel...
IWSAS
2001
Springer
15 years 11 months ago
Constraint-Guided Self-adaptation
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
Sandeep Neema, Ákos Lédeczi