505 | -- | 506 | Fairouz Kamareddine. Capsule Reviews |
507 | -- | 508 | Ing-Ray Chen, Bojan Cukic. High Assurance Software Systems |
509 | -- | 526 | Jinchun Xia, Carl K. Chang, Jeffrey C. Wise, Yujia Ge. An Empirical Performance Study on PSIM |
527 | -- | 540 | Guohui Li, LihChyun Shu. Design and Evaluation of a Low-Latency Checkpointing Scheme for Mobile Computing Systems |
541 | -- | 553 | Qizhi Ye, Yu Lei, David Chenho Kung. A Blocking-based Approach to Protocol Validation |
554 | -- | 561 | Engin Kirda, Christopher Krügel. Protecting Users against Phishing Attacks |
562 | -- | 584 | José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón. A Document-Oriented Paradigm for the Construction of Content-Intensive Applications |
585 | -- | 608 | Tiziana Calamoneri. The ::::L::::(::::h, k::::)-Labelling Problem: A Survey and Annotated Bibliography |
609 | -- | 618 | Alexander Thomasian, Lijuan Zhang. The Stepwise Dimensionality Increasing (SDI) Index for High-Dimensional Data |
619 | -- | 628 | Apostolos Syropoulos. Fuzzifying P Systems |