3081 search results - page 464 / 617 » A Formal Ontology of Properties |
179
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...
156
click to vote
COORDINATION
2010
Springer
15 years 6 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
174
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
192
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...
169
click to vote
ASE
2007
15 years 6 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...