Our Sponsors
FORTE 2012 - 14th Formal Methods for Open Object-Based Distributed Systems
Website http://discotec.ict.kth.se/ |
Edit Freely
Category FORTE 2012
Deadline: March 30, 2012 | Date: June 13, 2012-June 16, 2012
Venue/Country: Stockholm, Sweden
Updated: 2012-03-20 17:24:41 (GMT+9)
Call For Papers - CFP
The joint conference FMOODS & FORTE is a forum for fundamental research on theory and applications of distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of:component- and model-based designobject technology, modularity, software adaptationservice-oriented, ubiquitous, pervasive, grid, cloud and mobile computing systemssoftware quality, reliability, availability, safety and securityadaptive distributed systems, self-stabilization, self-healing/organizingverification, validation, formal analysis and testing of the aboveThe conference encourages contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems. FMOODS & FORTE covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real time systems, as well as networking and communication security and reliability.Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.