4255 search results - page 365 / 851 » Cover |
189
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
To successfully search multiple coadaptive subcomponents in a solution, we developed a novel cooperative evolutionary algorithm based on a new computational multilevel selection f...
179
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
145
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper introduces a new situational method for Web applications design. The purpose of the approach is to respond to the following limits of web development methods: t...
186
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we show that computational proofs of indistinguishabili...
181
click to vote
BPM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper aims at carrying out business process modelling and business process improvement using TAD methodology. The methodology consists of six phases; the first three...