default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Critical Computer-Based Systems, Volume 2
Volume 2, Number 1, 2011
- Yinong Chen
, Yoshiaki Kakuda:
Autonomous decentralised systems in web computing environment. 1-5 - Luis Carlos Coronado García, Carlos Pérez Leguízamo:
A mission-critical certification authority architecture for high reliability and response time. 6-24 - Chen Chen, Weili Han, Xin Wang:
Sybil attack detection based on signature vectors in VANETs. 25-37 - Jianli Sun:
A constant-time method for TCP/IP socket I/O multiplexing. 38-57 - Eitaro Kohno, Ryotaro Oda, Tomoyuki Ohta, Yoshiaki Kakuda:
Improvement of TCP/UDP performance using adaptive transmission power control for hierarchical MANET routing. 58-78 - Gwyduk Yeom, Wei-Tek Tsai, Xiaoying Bai, Youngkon Lee:
A design of policy-based composite web services QoS monitoring system. 79-91 - Xiaodong Lu, Kinji Mori:
Autonomous demand-oriented streaming system architecture and fault-tolerant technology for service continuity. 92-110
Volume 2, Number 2, 2011
- Tsuyoshi Suzuki, Takashi Kawano, Yutaka Umehara, Yoshihide Nagatsugu, Masayuki Matsumoto:
Assurance technology for the mode change of autonomous decentralised train control system. 111-124 - Takashi Kunifuji, Tadao Miura, Jun Nishiyama, Kinji Mori:
A proposal of safety-related autonomous decentralised technology and its practical application. 125-140 - Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo:
Byzantine consensus in asynchronous message-passing systems: a survey. 141-161 - Julian L. Rrushi:
A Bayesian theory of confirmation for intrusion report fusion in process control networks. 162-180 - Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke:
High-integrity agile processes for the development of safety critical software. 181-216
Volume 2, Numbers 3/4, 2011
- Abdelli Abdelkrim:
Improving the consistency verification and the quality of multimedia presentations. 221-245 - Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Éric Rutten, Mohamed Moez Yeddes:
An approach for the synthesis of decentralised supervisors for distributed adaptive systems. 246-265 - Annie Choquet-Geniet, Gaëlle Largeteau-Skapin:
Real-time scheduling using regularity criteria and a geometrical approach. 266-287 - Chafia Bouanaka, Faiza Belala, Kamel Barkaoui:
A tile logic-based semantics for mobile software architectures. 288-308 - Diana El Rabih, Gaël Gorgo, Nihal Pekergin, Jean-Marc Vincent:
Steady state property verification of very large systems. 309-331 - Florent Peres, Pierre-Emmanuel Hladik, François Vernadat:
Specification and verification of real-time systems using POLA. 332-351 - Antonio Bovenzi, Marcello Cinque, Domenico Cotroneo, Roberto Natella, Gabriella Carrozza:
OS-level hang detection in complex software systems. 352-377 - Yohan Boichut, Jean-Michel Couvreur, Duy-Tùng Nguyên:
Functional term rewriting systems towards symbolic model-checking. 378-408
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
