Volume 2, Number 1, 2011
- Yinong Chen, Yoshiaki Kakuda:
Autonomous decentralised systems in web computing environment.
1-5

- Luis Carlos Coronado García, Carlos Perez Leguizamo:
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-Tung Nguyen:
Functional term rewriting systems towards symbolic model-checking.
378-408

Last update Sat May 25 20:26:22 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page