posted by user: mpstew || 2766 views || tracked by 19 users: [display]

JUCS Special issue 2009 : Journal of Universal Computer Science Special issue Interactions of discrete-event control and computer sciences

FacebookTwitterLinkedInGoogle

Link: http://www.jucs.org/ujs/jucs/info/special_issues/interactions_cfp_2009.pdf
 
When N/A
Where N/A
Submission Deadline Nov 15, 2008
Notification Due Feb 27, 2009
Categories    modelling   real-time   distributed systems   telecommunications
 

Call For Papers

The special issue focuses on the fruitful possible interactions between discrete-event control and computer science, especially in the domain of the modelling, analysis and control of real-time, reactive systems.

The topics include (but are not
limited to) the following:
• Formalisms and modelling methodologies: Petri nets, state automata,
statecharts, process algebras...
• Reactivity of discrete-event systems with emphasis on supervisory
control, real time control and on mode management
• Performance evaluation, diagnosis, optimization and implementation
• Discrete approaches of hybrid, reactive and embedded systems
• Applications including transportation systems, distributed systems, telecommunications, systems on chip, energy, manufacturing systems ...
• Emerging applications in critical systems and related fields:
performance assessment, on-line control, reconfiguration, mode management,
safe control, fault-tolerant systems...
• Software tools enabling efficient handling of industrial-sized systems.
• Validation techniques : verification, test generation, ...
• Specification and programming languages for describing discrete-event and reactive systems

Related Resources

ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
Euro-Par 2018   European Conference on Parallel Processing
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems
Middleware 2018   ACM/IFIP/USENIX Middleware 2018 Conference
ICSTR 2018   ICSTR Bangkok – International Conference on Science & Technology Research, 21-22 December, 2018
IDC 2018   12th International Symposium on Intelligent Distributed Computing
ICRST 2018   ICRST (2018) XIXth International Conference on Researches in Science & Technology, 26-27 October 2018, Colombo
SYSTOR 2018   11th ACM International Systems and Storage Conference
IEEE--ICCC--Ei Compendex and Scopus 2018   2018 4th IEEE International Conference on Computer and Communications (ICCC 2018)--Ei Compendex and Scopus
SRDS 2018   The 37th IEEE International Symposium on Reliable Distributed Systems