期刊名称：REAL-TIME SYSTEMS ISSN： 0922-6443 出版频率： Bi-monthly 出版社： SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ   出版社网址： http://www.wkap.nl/ 期刊网址： http://www.kluweronline.com/issn/0922-6443 影响因子： 1.267 主题范畴： COMPUTER SCIENCE, THEORY & METHODS 期刊简介(About the journal)    投稿须知(Instructions to Authors)    编辑部信息(Editorial Board)    About the journal  Real-time   systems Real-time systems are defined as those systems in which the correctness of the system depends not only on the logical result of computation, but also on the time at which the results are produced. The journal Real-Time Systems publishes papers that concentrate on real-time computing principles and applications. Real-Time Systems publishes research papers, invited papers, project reports and case studies, standards and corresponding proposals for general discussion, and a partitioned tutorial on real-time systems as a continuing series. Much of the work in building sophisticated, modern real-time systems is interdisciplinary in nature and, up until now, has been found scattered throughout the primary literature. Real-Time Systems provides a single-source coverage of the state of the art in this exciting and expanding field. The editorial board, the writers and the readers of the journal are drawn from all parts of the world, from industry, and from academe. Papers published in Real-Time Systems cover the following topics, among others: requirements engineering, specification and verification techniques, design methods and tools, programming languages, operating systems, scheduling algorithms, architecture and hardware (especially interfacing), fault tolerance, distributed and other novel architectures, communications, distributed databases, AI, expert systems, and application case studies. Applications are found in command and control systems, process control systems, automated manufacturing, flight control, avionics, space avionics and defense systems, shipborne systems, vision and robotics, and robot teams in hazardous environments.   Indexing/Abstracting Services Real-Time Systems is indexed/abstracted in ACM Computing Reviews; ACM Guide to Computing Literature; Automatic Subject Citation Alert; COMPENDEX Plus; CompuMath Citation Index; CompuTec; Computer and Information Systems Abstracts; Computer Literature Index; Current Contents/Engineering, Technology, & Applied Sciences; Current Mathematical Publications; Ei Page One; Electronics and Communications Abstracts; Emerald Abstracts; Engineering Index; Information Science Abstracts; Inspec Database; INSPEC Information Services; The ISI Alerting Services; MATH; Mathematical Reviews; MathSci; Psychological Abstracts; Science Citation Index Expanded; Solid State and Superconductivity Abstracts; Zentralblatt MATH   Instructions to Authors   http://www.lwwonline.com/common/CopyrightTransfer/copyright-transfer-boston-CS.pdf Kluwer LaTeX Stylefiles for Submission If you are submitting your article in LaTeX, please use the most up-to-date versions of the stylefiles. These are available by downloading them from this page. Avoid using stylefiles acquired from other sources as these may not be correct or may be out-of-date. The current version is 1.3 and is dated 2000/04/29. All Kluwer journals have a common submission format, which differs from the style of any particular journal. Formatting for this style is done using the kluwer.cls file, and its accompanying stylefiles. PC and Mac users may download a .ZIP archive containing all necessary files by clicking below. kluwer.zip Unpacking: A popular Windows program to work with zip- and other archive formats is the shareware program WinZip, downloadable fromwww.winzip.com . A freeware program for opening zip- and other archive formats is Aladdin Expander, downloadable from www.aladdinsys.com. This program is available in versions for both Windows and the Macintosh. However, it can only open, not create zip archives. UNIX users may download a tar gzip archive containing all necessary files by clicking below. kluwer.tgz Unpacking: You can unpack it as follows: gzip -d kluwer.tgz tar xvf kluwer.tar The first command replaces kluwer.tgz with kluwer.tar; the second unpacks kluwer.tar. The archive includes a manual usrman, both in source- and PostScript format. It can also be downloaded separately from this page, both in PostScript- and pdf format: usrman.ps usrman.pdf For help on opening these files, or to report problems downloading, please contact us at: texhelp@wkap.nl Authors are encouraged to submit high quality, original works which have not appeared, nor are under consideration, in other journals. Papers which have previously appeared in conference proceedings will also be considered, and this should be so indicated at the time of submission. Authors should submit five hard copies of their final manuscript to the editor-in-chief for the author‘s region, at the following addresses: North American Region John A. Stankovic Dept. of Computer Science University of Virginia Thornton Hall Charlottesville, VA 22903-2442, USA Phone: 804 982-2275 Fax: 804 982-2214 Email: stankovic@cs.virginia.edu European Region Wolfgang A. Halang FernUniversitat Faculty of Electrical Engineering 58084 Hagen Germany Phone: 49-2331-987-372 Fax: 49-2331-987-375 Email: wolfgang.halang@fernuni-hagen.de Far East Region Kim-Fung Man City University of Hong Kong Dept. Of Electronic Engineering Tat Chee Avenue Kowloon, Hong Kong Phone: +852-2788-7754 Fax: +852-2788-7791 Email: eekman@cityu.edu.hk or k.man@ieee.org Enclose with each manuscript, on a separate page, from five to ten index terms (key phrases). Enclose originals for the illustrations, see "Style for Illustrations." Alternatively, good quality copies may be sent initially, with the originals ready to be sent immediately upon acceptance of paper. Upon acceptance of the paper, authors must supply a photograph and brief biographical sketch. Enclose a separate page giving your complete preferred mailing address (including street and bldg. nos.) for correspondence and return of proofs. Please be sure to include your telephone number and e-mail address. The refereeing is done by anonymous reviewers. Papers exceeding 40 pages in length (including figures) may be returned to the author for shortening. All papers should be written in English. Style for Manuscript Typeset, double space in English; use one side of sheet only (laser printed, typewritten and good quality duplication acceptable). Our LaTeX style file offers a draft mode for this purpose. Provide an informative 100- to 250-word abstract at the head of the manuscript. The abstracts are printed with the articles. Provide a separate double-space sheet listing all footnotes, beginning with "Affiliation of author" and continuing with numbered references. Acknowledgment of financial support may be given if appropriate. References should appear in a separate bibliography at the end of the paper in alphabetical order with items referred to in the text by author and date of publication in parentheses, e.g., (Marr 1982). References should be complete, in the following style: Style for papers: Authors, last names followed by first initials, year of publication, title, volume, inclusive page numbers. Style for books: Authors, year of publication, title, publisher and location, chapter and page numbers (if desired). Examples as follows: (Book) Marr, D. 1982. Vision, a Computational Investigation into the Human Representation & Processing of Visual Information. San Francisco: Freeman. (Journal) Rosenfeld, A., and Thurston, M. 1971. Edge and curve detection for visual scene analysis. IEEE Trans. Comput. C-20: 562-569. (Conference Proceedings) Witkin, A. 1983. Scales space filtering. Proc. Int. Joint Conf. Artif. Intell. Karlsruhe, West Germany, pp.1019--1021. (Lab. memo) Yuille, A. L. and Poggio, T. 1983. Scaling theorems for zero crossings. M.I.T. Artif. Intell. Lab., Massachusetts Inst. Technol., Cambridge, MA, A.I. Memo. 722. Provide a separate sheet listing all figure captions, in proper style for the typesetter, e.g., "Fig.3. Examples of the zero crossings of the second derivative of the (a)Gaussian and (b)sine filter for the same input function." Type or mark mathematical copy exactly as it should appear in print. Use box as an end of proof symbol. Journal style for letter symbols is as follows: variables, italic type (indicated by underline); constants, roman text type; matrices and vectors, boldface type (indicated by wavy underline). In word-processor manuscripts, use appropriate typeface. It will be assumed that letters in displayed equations are to be set in italic type unless you mark them otherwise. All letter symbols in text discussion must be marked if they should be italic or boldface. Indicate best breaks for equations in case they will not fit on one line. Style for Illustrations Originals for illustrations should be sharp, noise-free, and of good contrast. We regret that we cannot provide drafting or art service. All original illustrations should be placed on separate pages following the text, not within the manuscript text. Line drawings should be in laser printer output or in India ink on paper, or board. Use 8 x 11-inch (22 x 29cm) size sheets if possible, to simplify handling of the manuscript. Each figure should be mentioned in the text and numbered consecutively using Arabic numerals. Specify the desired location of each figure in the text, but place the figure itself on a separate page following the text. Number each table consecutively using Arabic numerals. Please label any material that can be typeset as a table, reserving the term "figure" for material that has been drawn. Specify the desired location of each table in the text, but place the table itself on a separate page following the text. Type a brief title above each table. All lettering should be large enough to permit legible reduction. Photographs should be glossy prints, of good contrast and gradation, and any reasonable size. Number each original on the back, or at the bottom of the front. Include a separate page listing the captions for all figures. Electronic Delivery Please send only the electronic version (of ACCEPTED paper) via one of the methods listed below. Note, in the event of minor discrepancies between the electronic version and hard copy, the electronic file will be used as the final version. The Kluwer LaTeX journal style file is no longer the preferred format for accepted paper submissions. Kluwer will accept any format for accepted paper submissions. Via electronic mail Please e-mail electronic version to: KAPfiles@wkap.com Recommended formats for sending files via e-mail: Binary files - uuencode or binhex Compressing files - compress, pkzip, or gzip Collecting files - tar The e-mail message should include the author‘s last name, the name of the journal to which the paper has been accepted, and the type of file (e.g., LaTeX or ASCII). Via anonymous FTP ftp: ftp.wkap.com cd: /incoming/production Send e-mail to KAPfiles@wkap.com to inform Kluwer electronic version is at this FTP site. Via disk Label a 3.5 inch floppy disk with the operating system and word processing program along with the authors?names, manuscript title, and name of journal to which the paper has been accepted. Mail disk to: Kluwer Academic Publishers Desktop Department 101 Philip Drive Assinippi Park Norwell, MA 02061, USA Any questions about the above procedures please send e-mail to: dthelp@wkap.com Proofing Page proofs for articles to be included in a journal issue will be sent to the first named author for proofing. The proofread copy should be received back by the Publisher within 72 hours. Copyright Upon acceptance of an article, authors will be required to sign a copyright form transferring the copyright from the authors or their employers to the publisher. Reprints First-named authors will be entitled to 25 free reprints of their paper. Additional reprints may be ordered from the Publisher prior to publication. An order form will be sent to authors with page proof. Editorial Board   Editors-in-Chief: John A. Stankovic University of Virginia   Wolfgang A. Halang FernUniversität, Hagen   Kim-Fung Man City University of Hong Kong Associate Editors: North American Region Barbara Hayes-Roth Stanford University Constance Heitmeyer Naval Research Laboratory Farnam Jahanian University of Michigan Michael Jones Microsoft John Lehoczky Carnegie Mellon University Jorg Liebeherr University of Virginia Jane Liu Microsoft C. Douglass Locke TimeSys Corporation Al Mok University of Texas David L. Parnas McMaster University Krithi Ramamritham University of Massachusetts Jim Ready Microtec Research Inc. Lui Sha University of Illinois at Urbana-Champaign Kang Shin University of Michigan Wei ZHAO TEXAS A&M University   European Region Sandro Bologna ENEA Alan Burns University of York Klaus Ecker Technische Universität Clausthal Dieter K. Hammer Technische Universiteit Eindhoven Richard Henn GPP mbH München Günter Hommel Technische Universität Berlin Hermann Kopetz Technische Universität Wien Miroslaw Malek Humboldt-Universität Berlin Leo Motus Tallinn Technical University Juan de la Puente Universidad Politécnica de Madrid Helmut Rzehak Universität der Bundeswehr München Ulrich Schmid Technische Universität Wien Jean-Jacques Schwarz University of Claude Bernard of Lyon Hartwig Steusloff Fraunhofer-Institut Karlsruhe Jan Wikander Kungliga Tekniska Högskolan Stockholm   Far East Region Jayant Haritsa Indian Institute of Science Young-Kuk Kim Chungnam National University Tei-Wei Kuo National Taiwan University Wook Hyun Kwon Seoul National University Sam Kwong City University of Hong Kong Chang-Huan Liu National Taiwan University of Science and Technology Joseph Ng Hong Kong Baptist University Heonshik Shin Seoul National University Arcot Sowmya University of New South Wales Mario Tokoro Sony Computer Science Laboratory, Inc. Hideyuki Tokuda Keio University/Carnegie Mellon University Yoshinori Yamaguchi University of Tsukuba Richard Zurawski Industrial & Societal Automation Co.