October 16, 1999, Alexandria, Virginia, USA
A CP'99 post-conference international workshop on REAL-TIME CONSTRAINTS is being organized at CP'99. Real-time systems and applications all require stringent timing constraints for correct operation. Such real-time constraints are often difficult to design as well as verify. Varied techniques that deal with real-time constraints have been proposed in various application domains. This workshop will try to find a consensus in the various techniques that appear in different domains related to real-time constraint specification, programming, design, validation, and verification.
All topics related to real-time constraints are invited. Topics of interest include, but are not limited to, the following:
|
|
|
|
|
|
|
|
|
|
|
|
|
SUBMISSION OF PAPERS: To submit a paper to the workshop, please do the following:
Extended Submission Deadline |
September 7, 1999 |
Acceptance Notification |
September 15, 1999 |
Camera-Ready Papers |
September 25, 1999 |
WORKSHOP ORGANIZERS:
For further detailed information on CP'99, please refer to the
conference home page:
http://www.isse.gmu.edu/cp99/
Postal Address
Dr. Pao-Ann Hsiung Institute of Information Science Academia Sinica No. 128, Sec. 2, Academic Road Nankang, Taipei 115, TAIWAN, R.O.C. E-mail
eric@iis.sinica.edu.tw
Telephone +886-2-27883799 Fax +886-2-27824814 URL
http://www.iis.sinica.edu.tw/~eric/cp99-rtc/
Program Committee: Click Here!