2205 search results - page 114 / 441 » Mutation Operators for Specifications |
101
Voted
WSC
2008
15 years 4 months ago
2008
In this paper, we present a comparative study of different stochastic components of genetic algorithms for simulationbased optimisation of the buffer allocation problem. We explor...
103
click to vote
PDPTA
2004
15 years 3 months ago
2004
Spores is a push and pull peer-to-peer method of file sharing and storage, making use of publicly available space on the network. A user stores a file by pushing it to a set of pe...
123
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
112
click to vote
CICLING
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we propose a new approach to the description of Arabic morphology using 2-tape finite state transducers, based on a particular and systematic use of the operation of ...
117
click to vote
LISA
2000
15 years 3 months ago
2000
Here we describe Pelendur, a system for the management of common system operation tasks. Specifically, Pelendur focuses on the management of user accounts and related information ...