External Links

    Journal: Comput. J.

    Volume 52, Issue 8

    851 -- 860Chi-Yi Lin, Szu-Chi Wang, Sy-Yen Kuo, Chi-Yuan Chen. Increasing Service Availability in a Wireless Home Network Environment
    861 -- 870Deqing Zou, Jong Hyuk Park, Tai-Hoon Kim, Xueguang Chen. SH-CRBAC: Integrating Attribute and Status Constraints into the RBAC Model in Smart Home Systems
    871 -- 877Yun-kyung Lee, Deok-Gyu Lee, Jong-Wook Han, Tai-Hoon Kim. Home Network Device Authentication: Device Authentication Framework and Device Certificate Profile
    878 -- 889Navrati Saxena, Abhishek Roy, Jitae Shin. Near-Optimal Tracking for Residents Comfort in Context-Aware Heterogeneous Smart Environments
    890 -- 901Chih-Hsun Chou, Chang-Hsing Lee, Ya-Hui Chen. GA-Based Keyword Selection for the Design of an Intelligent Web Document Search System
    902 -- 909Ting Zhang, Zhenyong Chen, Yuanxin Ouyang, Jiuyue Hao, Zhang Xiong. An Improved RFID-Based Locating Algorithm by Eliminating Diversity of Active Tags for Indoor Environment
    910 -- 921Wenjun Liu, Tianjiang Wang, Fang Liu. Multi-Agent Group Programming Based On Co-evolution
    922 -- 937Christos Goumopoulos, Achilles Kameas. Ambient Ecologies in Smart Homes
    938 -- 949Jong-Hyouk Lee, Byung-Jin Han, Hyung-Jin Lim, Yeong-Deok Kim, Navrati Saxena, Tai-Myoung Chung. Optimizing Access Point Allocation Using Genetic Algorithmic Approach for Smart Home Environments
    950 -- 959Liang Zhou, Baoyu Zheng, Anne Wei, Benoit Geller, Jingwu Cui. Joint Routing and Rate Control Scheme for Multi-Stream High-Definition Video Transmission over Wireless Home Networks
    960 -- 968Chin-Feng Lai, Hsien-Chao Huang, Yueh-Min Huang, Han-Chieh Chao. Design and Implementation of the DLNA Family Intercom System for Smart Homes
    969 -- 987Francesco Marcelloni, Massimo Vecchio. An Efficient Lossless Compression Algorithm for Tiny Nodes of Monitoring Wireless Sensor Networks
    988 -- 1005Beihong Jin, Xinchao Zhao, Zhenyue Long, Fengliang Qi, Shuang Yu. Effective and Efficient Event Dissemination for RFID Applications
    1006 -- 1026Christian Huemer, Philipp Liegl, Rainer Schuster, Marco Zapletal. B2B Services: Worksheet-Driven Development of Modeling Artifacts and Code

    Volume 52, Issue 7

    727 -- 728Boris Mirkin, Mark Levene. Special Issue on Profiling Expertise and Behaviour
    729 -- 748Craig Macdonald, Iadh Ounis. Searching for Expertise: Experiments with the Voting Model
    749 -- 770Panagiotis Germanakos, Nikos Tsianos, Zacharias Lekkas, Constantinos Mourlas, George Samaras. Realizing Comprehensive User Profile as the Core Element of Adaptive and Personalized Communication Environments and Systems
    771 -- 788Daniela Godoy, Analía Amandi. Interest Drifts in User Profiling: A Relevance-Based Approach and Analysis of Scenarios
    789 -- 798Adriana Santarosa Vivacqua, Jonice Oliveira, Jano Moreira de Souza. i-ProSE: Inferring User Profiles in a Scientific Context
    799 -- 807Gilles Dowek, Ying Jiang. Enumerating Proofs of Positive Formulae
    808 -- 823Liang Bai, Songyang Lao, Alan F. Smeaton, Noel E. O Connor, David A. Sadlier, David Sinclair. Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts
    824 -- 849Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya. lambda_SAOP: A Security AOP Calculus
    850 -- 0Elizabeth Harrin. Alison Phipps: ::::Women in Science, Engineering and Technology: Three Decades of UK Initiatives:::: Trentham Books (2008) ISBN-13 978 1 85856 402 9

    Volume 52, Issue 6

    599 -- 625Monika Kapus-Kolar. Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines
    626 -- 645Jaesung Lee, Hyuk-Jae Lee, Chanho Lee. A Phase-Based Approach for On-Chip Bus Architecture Optimization
    646 -- 655Hung-Yu Chien, Tzong-Chen Wu. Provably Secure Password-Based Three-Party Key Exchange With Optimal Message Steps
    656 -- 670Daniel Lacks, Mainak Chatterjee, Taskin Koçak. Design and Evaluation of a Distributed Clustering Algorithm for Mobile ::::ad hoc:::: Networks
    671 -- 689Tzu-Chi Huang, Ce-Kuen Shieh, Yu-Ben Miao. Just-In-Time Cache for Capsule-Based Active Networks
    690 -- 698Daniel Greenfield, Simon W. Moore. Implications of Electronics Technology Trends for Algorithm Design
    699 -- 723Zhongqiang Chen, Yuan Zhang, Zhongrong Chen, Alex Delis. A Digest and Pattern Matching-Based Intrusion Detection Engine
    724 -- 725Jakub Marecek. Yves Pochet and Laurence A. Wolsey: ::::Production Planning Using Mixed Integer Programming:::: Springer (2006) ISBN 978-0-387-29959-4
    725 -- 0Elizabeth Harrin. Jean Tabaka: ::::Collaboration Explained: Facilitation Skills for Software Project Leaders:::: Addison Wesley (2006) ISBN-13 978-0321268778
    725 -- 726Mamdouh Refaat. Data Mining and Predictive Analytics: Intelligence Gathering and Crime Analysis Elsevier (2007) ISBN 0-7506-7796-1

    Volume 52, Issue 5

    513 -- 0Hong Zhu, S. C. Cheung, Joseph Robert Horgan, J. Jenny Li. Guest Editorial to the Special Issue on Automation of Software Testing
    514 -- 529Leonard Gallagher, Jeff Offutt. Test Sequence Generation For Integration Testing Of Component Software
    530 -- 544Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi. Automated Worst-Case Execution Time Analysis Based on Program Modes
    545 -- 556Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li. UML Activity Diagram-Based Automatic Test Case Generation For Java Programs
    557 -- 570Aynur Abdurazik, Jeff Offutt. Using Coupling-Based Weights for the Class Integration and Test Order Problem
    571 -- 588Lijun Shan, Hong Zhu. Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool
    589 -- 597Qian Yang, J. Jenny Li, David M. Weiss. A Survey of Coverage-Based Testing Tools

    Volume 52, Issue 4

    393 -- 394Fairouz Kamareddine. Capsule Reviews
    395 -- 396Aggelos K. Katsaggelos, Rafael Molina. Guest Editorial
    397 -- 412Fabrice Saffre, Richard Tateson, José Halloy, Mark Shackleton, Jean-Louis Deneubourg. Aggregation Dynamics in Overlay Networks and Their Implications for Self-Organized Distributed Applications
    413 -- 428Anastasis A. Sofokleous, Marios C. Angelides. Dynamic Selection of a Video Content Adaptation Strategy from a Pareto Front
    429 -- 460Zhongqiang Chen, Alex Delis, Peter Wei. A Pragmatic Methodology for Testing Intrusion Prevention Systems
    461 -- 482Natarajan Meghanathan. A Location Prediction-Based Reactive Routing Protocol to Minimize the Number of Route Discoveries and Hop Count per Path in Mobile Ad Hoc Networks
    483 -- 498Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein. Preserving the Fault-Containment of Ring Protocols Executed on Trees
    499 -- 509Kuo-Qin Yan, Shun-Sheng Wang, Shu-Ching Wang. The Agreement Problem in Unreliable Scale-Free Networks
    510 -- 0Olav Geil. Tracey Ho and Desmond S. Lun: ::::Network Coding: An Introduction.:::: Cambridge University Press (2008). ISBN 9780521873109, 184 pp
    510 -- 511Elizabeth Harrin. John E. Gibson, William T. Scherer and William F. Gibson: ::::How to do Systems Analysis.:::: Wiley (2007). ISBN-13: 978-0-470-00765-5, 360 pp

    Volume 52, Issue 3

    277 -- 279Fairouz Kamareddine. Capsule Reviews
    280 -- 287Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun. Heuristic-Guided Abstraction Refinement
    288 -- 304Ricardo Pereira e Silva, Evandro César Freiberger. Metrics to Evaluate the Use of Object Oriented Frameworks
    305 -- 325David J. Power, Mark Slaymaker, Andrew C. Simpson. On Formalizing and Normalizing Role-Based Access Control Systems
    326 -- 333Alexander Gammerman, Volodya Vovk, Brian Burford, Ilia Nouretdinov, Zhiyuan Luo, Alexey Ya. Chervonenkis, Mike Waterfield, Rainer Cramer, Paul Tempst, Josep Villanueva, Musarat Kabir, Stephane Camuzeaux, John Timms, Usha Menon, Ian Jacobs. Serum Proteomic Abnormality Predating Screen Detection of Ovarian Cancer
    334 -- 347Florentin Ipate. Test Selection for Hierarchical and Communicating Finite State Machines
    348 -- 367Jesús Manuel Almendros-Jiménez, Luis Iribarne. UML Modeling of User and Database Interaction
    368 -- 377Jukka Teuhola. Tournament Coding of Integer Sequences
    378 -- 387Simon H. Lavington. An Appreciation of Dina St Johnston (1930-2007) Founder of the UK s First Software House

    Volume 52, Issue 2

    169 -- 170Fairouz Kamareddine. Capsule Reviews
    171 -- 185Chung-Ming Huang, Chung-Wei Lin, Xin-Ying Lin. A Predictive Video-on-Demand Bandwidth Management Using the Kalman Filter over Heterogeneous Networks
    186 -- 209Giuseppe Anastasi, Emilio Ancillotti, Marco Conti, Andrea Passarella. Design and Performance Evaluation of a Transport Protocol for ::::Ad hoc:::: Networks
    210 -- 239Abdelgadir Ibrahim, Liping Zhao. Supporting the OSGi Service Platform with Mobility and Service Distribution in Ubiquitous Home Environments
    240 -- 267Tomás Sánchez López, Daeyoung Kim, Gonzalo Huerta Canepa, Koudjo Koumadi. Integrating Wireless Sensors and RFID Tags into Energy-Efficient and Dynamic Context Networks
    268 -- 275Yamin Li, Shietung Peng, Wanming Chu. Optimal Algorithms for Finding a Trunk on a Tree Network and its Applications

    Volume 52, Issue 1

    1 -- 14Murat Gevrekci, Bahadir K. Gunturk, Yucel Altunbasak. Restoration of Bayer-sampled Image Sequences
    15 -- 30Michael Elad, Dmitry Datsenko. Example-Based Regularization Deployed to Super-Resolution Reconstruction of a Single Image
    31 -- 42M. Dirk Robinson, Sina Farsiu, Peyman Milanfar. Optimal Registration Of Aliased Images Using Variable Projection With Applications To Super-Resolution
    43 -- 63Hayit Greenspan. Super-Resolution in Medical Imaging
    64 -- 79Mohamed-Jalal Fadili, Jean-Luc Starck, Fionn Murtagh. Inpainting and Zooming Using Sparse Representations
    80 -- 89Priyam Chatterjee, Sujata Mukherjee, Subhasis Chaudhuri, Guna Seetharaman. Application Of Papoulis-Gerchberg Method In Image Super-Resolution and Inpainting
    90 -- 100Huanfeng Shen, Michael K. Ng, Pingxiang Li, Liangpei Zhang. Super-Resolution Reconstruction Algorithm To MODIS Remote Sensing Images
    101 -- 113Lyndsey C. Pickup, David P. Capel, Stephen J. Roberts, Andrew Zisserman. Bayesian Methods for Image Super-Resolution
    114 -- 125Jongseong Choi, Min Kyu Park, Moon Gi Kang. High Dynamic Range Image Reconstruction with Spatial Resolution Enhancement
    126 -- 141Ali Mohammad-Djafari. Super-Resolution: A Short Review, A New Method Based on Hidden Markov Modeling of HR Image and Future Challenges
    142 -- 152Filip Sroubek, Jan Flusser, Gabriel Cristóbal. Super-Resolution and Blind Deconvolution For Rational Factors With an Application to Color Images
    153 -- 167Miguel Vega, Javier Mateos, Rafael Molina, Aggelos K. Katsaggelos. Super-Resolution of Multispectral Images
    runs on