Sciweavers

3667 search results - page 551 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
GECCO
2005
Springer
153views Optimization» more  GECCO 2005»
15 years 9 months ago
Finding needles in haystacks is harder with neutrality
This research presents an analysis of the reported successes of the Cartesian Genetic Programming method on a simplified form of the Boolean parity problem. We show the method of...
M. Collins
137
Voted
IMA
2005
Springer
127views Cryptology» more  IMA 2005»
15 years 9 months ago
On the Automatic Construction of Indistinguishable Operations
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
Manuel Barbosa, Dan Page
122
Voted
OOPSLA
2005
Springer
15 years 9 months ago
CodeQuest: querying source code with datalog
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kri...
101
Voted
SERA
2005
Springer
15 years 9 months ago
A Model-driven Environment for Component Deployment
This paper presents Deployment Factory, a modeldriven unified environment for deploying componentbased applications. While there are projects aiming to develop a unified deploymen...
Petr Hnetynka
239
Voted
ATAL
2005
Springer
15 years 9 months ago
A decentralized bargaining protocol on dependent continuous multi-issue for approximate pareto optimal outcomes
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
Nicola Gatti, Francesco Amigoni