The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineering and verification of complex computer-based systems (where complex means large, distributed and heterogeneous) in critical applications, with special emphasis on model-based approaches and industrial case-studies. Critical computer-based systems include real-time control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.
The peers@play project investigates how peer-to-peer technology can be used to create distributed interactive world models that are able to fulfill the highest requirements with respect to scalability, security and consistency. Such world models can, e.g.
Real-time image transmission is crucial to an emerging class of distributed embedded systems operating in open network environments. Examples include avionics mission re-planning over Link-16, security systems based on wireless camera networks, a
G. Malik. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), том 2746 из Lecture Notes in Computer Science, стр. 257-270. Springer, (2003)
G. Malik. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), том 3127 из Lecture Notes in Computer Science, стр. 213-226. Springer, (2004)
K. Wolff. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), том 3596 из Lecture Notes in Computer Science, стр. 250-266. Springer, (2005)