All manuscripts and any supplementary material should be submitted via the journal's
online submission and peer-review systems at http://www.ees.elsevier.com/peva. Please follow the instructions given on this
site.
It is essential that authors provide fax and telephone numbers and an e-mail address when submitting a manuscript.
Submission of your manuscript is welcome provided that it, or any translation of it
has not been copyrighted
or published
is not being submitted for publication elsewhere
If a paper contains material previously presented
at a conference, authors are required to cite the previous work. Copies of the earlier publication(s) should be provided as part of the
submission. In addition, authors are requested to explain in a cover letter to the editor-in-chief, in which way the new submission provides
substantial novel contributions beyond those of the previously published work. Violations of these rules will normally result in an immediate
rejection of the submission without further review. Upon acceptance of an article, the author(s) will be asked to transfer copyright
of the article to the Publisher. This transfer will ensure the widest possible dissemination of information.
Type of contributions
The journal welcomes the following types of contributions:
Original research articles
Survey articles, providing a comprehensive
review on a scientific topic short
communications: Short,self-contained articles on ongoing research, or reporting interesting, possibly
tentative, ideas, or comments on previously published research
General Author Instructions
Each paper should be introduced
by three to five keywords as well as by a selfcontained abstract of no more than 100 words not counting the formulas.
Please make
sure that the paper is submitted in its final form. Corrections in the proof stage other than printer's errors should be avoided: costs
arising from such corrections will be charged to the authors.
Footnotes should be avoided if possible and be brief. They should be
numbered consecutively.
References should be listed alphabetically, as in the following examples: books [1], articles in journals
[2], papers in a contributed volume [3,4], unpublished papers [5].[1] E. Borger, Computability, Complexity, Logic, North-Holland, Amsterdam,
1989.[2] D.E. Knuth, Theory and practice, Theoret. Comput. Sci. 90 (1991) 1-15.[3] A.K. Lenstra, H.W. Lenstra, Jr., Algorithms in number
theory, in: J. van Leeuwen, (Ed.), Handbook of Computer Science, vol. A, Elsevier, Amsterdam, 1990, pp. 673-715.[4] M. Li, Lower bounds
by Kolmogorov complexity, in; Proc. ICALP '85, Lecture Notes in Computer Science, vol. 194, Springer, Berlin, 1985, pp. 383-393.[5] A.
Rajasekar, Semantics for logic programs, Ph.D. Thesis, Department of Computer Science, University of Maryland, 1989.
Figures should
be provided in a form suitable for photographic reproduction and reduction. Lettering should be uniform of size corresponding to the
anticipated reduction.Handwritten lettering on figures is not acceptable. Figures should be identified by arabic numerals and the captions
should be typed, double-spaced, on a separate sheet rather than lettered on the figures themselves. Photographs and coloured pictures
must be of impeccable quality. Please note that for colour photographs the publisher will charge the printing costs to the author. A
final accepted manuscript can be submitted in paper only (typed on one side in double spacing with wide margins). An accepted article
can also be submitted in electronic form (a LaTeX file, or as a file from other word processers).
Electronic Submissions: LaTeX
If the LaTeX file is suitable, proofs will be produced without rekeying the text. The article should preferably be written using Elsevier's
document class "elsart", or alternatively the standard document class "article".
The Elsevier LaTeX package (including detailed
instructions for LaTeX preparation) can be obtained from the Quickguide: http://www.elsevier.com/latex or from the Comprehensive
TeX Archive Network (CTAN): see below, in the directory /tex-archive/macros/latex/contrib/supported/elsevier. It consists of the files:
elsart.cls, guidelines for users of elsart, a template file for quick start, and the instruction booklet "Preparing articles with LaTeX".
CTAN is an archive with up-to-date copies of all the public-domain versions of TeX, LaTeX, Metafont and ancillary programs, which
is made available via a mirrored network of FTP servers. You can enter the CTAN archive via a Web interface in the UK (http://www.tex.ac.uk),
in the USA (http://www.ctan.org), or in Germany (http://www.dante.de/software/ctan in German). You can search
for a package on CTAN via http://www.ucc.ie/cgi-bin/ctan/. You can also enter the archive via FTP at ftp.tex.ac.uk, at ftp.dante.de,
at ctan.tug.org, or at one of the many mirror servers; see for a list the UK or USA CTAN Web pages. When a CTAN server does not respond,
please try another one.
Note that CTAN is not related to Elsevier, and that Elsevier's author support cannot accept complaints or
answer questions about the availability of any CTAN server.
Figures may be inserted in the usual way using an includegraphics command,
at the position in the article where they are cited.
Your LaTeX file will be most useful as input for the printed article if you
obey the following rules of thumb:
1. Be consistent. If you use a macro for a phrase, use it throughout.
2. Use standard LaTeX
mark-up. Do not hardcode your own layout for e.g. section headings, but use the usual LaTeX macro for this purpose.
3. Keep it simple.
Do not define macros that accomplish complicated layout. They will also make the input process complicated.
Keyword Instructions
Important Notice: please add one to five keywords to your article. Keywords are essential for the accessibility and retrievability of
your article. Keywords assigned to articles will be assembled in a keyword index which will be printed in the last issue of each volume,
and in cumulative indexes. In addition, it is planned to make keywords available on Internet.To maximize the consistency with which such
keywords are assigned by different authors, the following guidelines have been drawn up.
Each keyword (which can be a phrase of more
than one word) should describe one single concept. Often words like "and" or "of" should be avoided. Avoid very general keywords which
become meaningless once in a keyword list. Examples to avoid are "action";, "computer", "mathematics";. Check whether the keywords as
a whole describe the outlines of the article.
Use natural language: for instance "automatic error recovery" rather than "error recovery,
automatic".
Try to use nouns and adjectives as much as possible (i.e. use "automatic error recovery" rather than "recovering errors
automatically"). Do not use nouns in the plural form. Use English rather than American spelling (regardless of the spelling used for
the article itself).
Avoid the use of abbreviations as much as possible, unless an abbreviation is so well-established that the full
term is rarely used (e.g. use "laser" instead of "Light Amplification by Stimulated Emission of Radiation", but use "computer aided design"
instead of "CAD"). Although these guidelines are not mandatory, they should be adhered to where possible.
Author enquiries
For enquiries relating to the submission of articles (including electronic submission where available) please visit this journal's homepage
at http://www.elsevier.com/locate/peva. You can track accepted articles at http://www.elsevier.com/trackarticle
and set up e-mail alerts to inform you of when an article's status has changed, as well as copyright information, frequently asked questions
and more.
Contact details for questions arising after acceptance of an article, especially those relating to proofs, are provided
after registration of an article for publication
Author benefits The corresponding author, at no cost, will be provided
with a PDF file of the article via e-mail or, alternatively, 25 free paper offprints. The PDF file is a watermarked version of the published
article and includes a cover sheet with the journal cover image and a disclaimer outlining the terms and conditions of use.
