Volume 2, Number 1, 2011
- Luis Carlos Coronado García, Carlos Perez Leguizamo: A mission-critical certification authority architecture for high reliability and response time. 6-24
- 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-Tung Nguyen: Functional term rewriting systems towards symbolic model-checking. 378-408
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team