2205 search results - page 114 / 441 » Mutation Operators for Specifications |
WSC
2008
13 years 11 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...
PDPTA
2004
13 years 10 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...
ICALP
2000
Springer
14 years 24 days 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...
CICLING
2008
Springer
13 years 11 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 ...
LISA
2000
13 years 10 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 ...