1414 search results - page 111 / 283 » Combining Intruder Theories |
148
Voted
GECCO
2009
Springer
16 years 9 days ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...
151
click to vote
SAGT
2009
Springer
16 years 8 days ago
2009
Springer
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
137
click to vote
SAGT
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. This paper studies a setting where a principal needs to motivate teams of agents whose efforts lead to an outcome that stochastically depends on the combination of agent...
152
click to vote
GLVLSI
2007
IEEE
16 years 2 days ago
2007
IEEE
This paper proposes a library-free technology mapping algorithm to reduce delay in combinational circuits. The algorithm reduces the overall number of series transistors through t...
138
click to vote
LICS
2007
IEEE
16 years 14 hour ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...